Standardizing EVM Precompiled Contracts for FIPS 203 ML-KEM and FIPS 204 ML-DSA

Core engineering and protocols for EVM PQC Precompiles.

Why Smart Contracts Cannot Verify PQC in Pure Solidity

Executing 256-point Number Theoretic Transforms and modular polynomial vector multiplications directly in standard EVM bytecode would consume tens of millions of gas per transaction—exceeding current Ethereum block gas limits. Efficient post-quantum verification requires native precompiled contracts written in compiled C++ or Rust and exposed at designated precompile addresses.

Benchmarking and Gas Pricing for Precompile Ingestion

PQCEVM establishes rigorous benchmark profiles to price precompile invocations. By pricing ML-DSA-65 signature verification at approximately 55,000 gas, smart contracts can verify post-quantum signatures with costs comparable to classical ECDSA (3,000 gas) and pairing precompiles (45,000 gas), ensuring economic sustainability.

Explore Technical Architecture & Portfolio