7 cores. All available.

Keccak permutations, SHA-3 hashing, SHAKE extendable-output functions, NTT engines, polynomial arithmetic, and sampling primitives. Each core is verified, foundry-portable, and licensable individually.

keccak_f1600Available
PQC Building Blocks

Keccak-f[1600] Core

FIPS 202 permutation, the engine under all SHA-3/SHAKE/cSHAKE. Verified vs XKCP KATs + 200 randomized vectors.

keccak_shake_xofAvailable
PQC Building Blocks

SHAKE-128/256 XOF

FIPS 202 extendable-output sponge, arbitrary output length. Absorb/pad/squeeze. Verified vs hashlib at both levels + SHAKE256("") KAT.

keccak_sha3Available
PQC Building Blocks

SHA3-224/256/384/512

FIPS 202 fixed-output SHA-3 hash functions. All four output lengths. Verified vs hashlib incl. empty-message KATs.

ntt_r16Available
PQC Building Blocks

NTT Core (Radix-16)

FIPS 203 256-point forward/inverse NTT (q=3329). Parameterized single-butterfly datapath. Verified vs golden + hardware round-trip. Roadmap: R8, R32.

poly_multAvailable
PQC Building Blocks

Polynomial Multiplier

FIPS 203 NTT-domain base multiplication. Verified by composition (INTT of basemul == negacyclic product).

rejection_samplerAvailable
PQC Building Blocks

Rejection Sampler

FIPS 203 Parse: uniform sampler for ML-KEM public matrix. SHAKE-128 source. Constant-time rejection loop.

cbd_samplerAvailable
PQC Building Blocks

CBD Noise Sampler

FIPS 203 SamplePolyCBD, constant-time. Centered binomial distribution, eta in {2,3}. Verified vs golden at both eta.

Standard deliverables.
Every core.

All Building Block cores ship as foundry-portable soft IP with a complete verification and integration package.

RTL

Synthesizable SystemVerilog RTL

Foundry-portable design targeting any process node. Technology-independent by default. Synthesis scripts and constraint templates included.

Verification

Self-Checking Testbench(es)

Automated pass/fail testbenches that verify RTL output byte-exact against golden reference vectors on every run.

Golden Model

Python Golden Reference Model

Independent software oracle for comparison and integration testing. Matches the NIST/RFC specification at every parameter set.

Regression

cocotb Regression

Full cocotb-based test infrastructure for rapid integration into customer verification flows and CI pipelines.

Synthesis

Synthesis Scripts

Ready-to-run scripts for technology-independent synthesis. Constraint templates for timing closure on your target process.

Documentation

Integration / User Guide

Complete interface specification, timing diagrams, integration examples, and design-in guidance for SoC assembly.

Request a product brief.

Detailed specifications, block diagrams, and resource estimates for any Building Block core. NDA-protected evaluation available.