← Safety Soft-IP
Post-Quantum Cryptography

Post-Quantum Crypto IP

NIST-standardized post-quantum accelerators, in portable SystemVerilog, verified bit-exact.

Talk to us →All IP
What’s inside

Architecture at a glance

ML-KEM · FIPS 203KeyGenEncapsDecapsML-DSA · FIPS 204KeyGenSignVerifyShared verified primitivesNTT · SHAKE/Keccak · samplers · (de)serializeEvery primitive checked bit-exact against the pq-crystals reference.

The migration to post-quantum cryptography is underway, and hardware acceleration is where the latency and energy budget is won. Our PQC line implements the two NIST standards — ML-KEM (FIPS 203, key encapsulation) and ML-DSA (FIPS 204, digital signatures) — as synthesizable soft-IP, each primitive checked bit-exact against the reference implementation.

ML-KEM (FIPS 203) — key encapsulation

A complete, parameterized ML-KEM engine across all three NIST security levels:

LevelML-KEM-512ML-KEM-768ML-KEM-1024
Status

Built from verified primitives — NTT, CBD noise sampler, rejection sampler, SHAKE/Keccak XOF, and byte (de)serialization — orchestrated through KeyGen / Encaps / Decaps. Bit-exact vs the pq-crystals reference.

ML-DSA (FIPS 204) — digital signatures

The Dilithium signature primitives, each golden-checked and safety-wrapped:

The method


Architecture details, throughput, and the RTL data room under mutual NDA.Talk to us →

circuit-design.space · +1-971-357-1400 · sales@circuit-design.space

Bring Post-Quantum Crypto IP into your program

Full FMEDA, DFA/formal proofs, and the RTL data room follow under a mutual NDA.

Talk to us →Browse the catalog

Figures are pre-silicon engineering-grade estimates for a Safety Element out of Context (SEooC); final ASIL sign-off is the integrator’s, supported under NDA. “ISO 26262-ready” means the work products are generated — not that the IP is third-party certified.

circuit-design.space · +1-971-357-1400 · sales@circuit-design.space