All work
ML-DSA-65 verifier.
Post-quantum. Pure Solidity.
Solidity / Foundry / Rust
The idea behind the build
An implementation of ML-DSA-65 signature verification for EVM following FIPS-204. The verifier implements Keccak-f[1600], SHAKE, NTT, and Algorithm 8 in Solidity.
Its 72 tests cross-validate against @noble/post-quantum and the Rust ml-dsa crate. An optimistic fraud-proof path explores practical L1 verification cost. The deployed address is on Base Sepolia, not mainnet.
Under the surface.
A closer look at the connection.
- ML-DSA signature
- SHAKE / NTT
- Solidity verification
- Base Sepolia
The record
72 tests
From the lab’s project recordSolidityFoundryRust