Quantum Commons Get started

A NON-PROFIT · PUBLIC INFRASTRUCTURE FOR POST-QUANTUM CRYPTOGRAPHY

Proof, not a sticker.

We run the official NIST tests on any post-quantum implementation, log the result in a public ledger, and let anyone reproduce it. Free for everybody.

Verify an implementation Sponsor
PROOF RECORD · FIRST ENTRY L1 CONFORMANCE
implementationmlkem-zig 0.1.0
algorithmML-KEM-512 / 768 / 1024 · FIPS 203
vectorsNIST ACVP-Server 975de31e
result240 / 240 PASS
interopZig std ML-KEM, both directions
containersha256:[CONTAINER DIGEST]
log entry[TRANSPARENCY LOG INDEX]
reproduce it: qc verify --record [ID]
500+days of waiting for a FIPS 140-3 module certificate today
~20laboratories in the world allowed to issue one
0new laboratories accepted since March 2026. Applications are paused.

Trust comes from the log, not from us.

The mechanism that keeps every TLS certificate on the internet honest — a public, append-only record anyone can check — applied to post-quantum cryptography.

01

Connect

A small binary that reads one JSON request and writes one JSON answer. Zig, Rust, Go, C, Python, WASM — the harness does not care what you wrote it in.

02

Run

A fixed container runs three batteries: the official NIST vectors plus edge cases, timing-leak measurement, and interoperability against independent implementations.

03

Log

Result, source commit, vector set and container digest are signed and appended to a public transparency log. Anyone reruns it and gets the same bytes.

FOUR LEVELS · EACH SAYS EXACTLY WHAT WAS CHECKED

L1

Conformance

All official ACVP vectors; invalid keys, implicit rejection, serialization edge cases.

L2

Hardening

Constant-time measurement, fuzzing, no secret-dependent division in the binary.

L3

Interop

Keys from one implementation, ciphertexts from another, decapsulation by a third.

L4

Reviewed

Signed human review. Reputation from track record, not from a license.

Every implementation, side by side.

Open the registry
IMPLEMENTATIONLANGUAGEML-KEMML-DSALEVELLAST RUN
mlkem-zigZig240/240—L12026-10-30
liboqsCnot yet runnot yet run——
Go crypto/mlkemGonot yet run———
libcruxRustnot yet runnot yet run——
CIRCLGonot yet runnot yet run——

A record says "passed these tests, reproducibly". It never says "secure". Negative results are published with the same weight as positive ones.

FOR BUILDERS

One line in your CI. A badge in your README.

Students, solo developers, small teams: the same verification the big libraries get, with no lab and no invoice. Every commit, every time. AI agents can call it through MCP.

Read the docs
.github/workflows/verify.yml
- uses: quantumcommons/verify@v1
with:
adapter: ./zig-out/bin/mlkem-kat
algorithms: ml-kem
level: L1
README.md
![proof](https://quantumcommons.org/badge/[ID].svg)

FOR ENTERPRISES

Private runs, supported builds, reports your auditor accepts.

The public registry is free and open. For closed code, regulated environments and deadlines, the commercial arm offers what the lab queue cannot: continuous verification today, and a straight path to CAVP when you need the certificate.

Private registry

Your inventory of cryptography, continuously verified, inside your perimeter.

Supported builds

Verified post-quantum libraries and containers, with updates and an SLA.

CAVP readiness

Pass the NIST demo server before you pay a lab. One submission instead of three.

Regulator reports

Signed post-quantum readiness reports for DORA, NIS2 and central-bank requirements.

Talk to us

The registry belongs to no one.

Quantum Commons is a non-profit foundation with open governance. The specification, the tooling and the log are public goods. The founding builder is INAI; the technical committee is whoever shows up and does the work.

WE SAY"Verified against NIST ACVP vectors." "Passed the L2 timing battery."
WE NEVER SAY"Secure." "Certified." "FIPS validated." Those belong to governments and to guarantees we do not sell.
WHO PAYSFounding sponsors and public grants fund the free layer. Sponsors get a logo, never a say over records.
Become a sponsor Donate
FOUNDING SPONSORS [SPONSOR] [SPONSOR] [SPONSOR] [SPONSOR]