web3wagmi
← All standards

EIP-8051 Precompile for ML-DSA signature verification

DraftCorecreated 2025-10-15requires EIP-7932

Precompiled contracts for FIPS-204 ML-DSA signature verification and an EVM-optimized variant

Authors: Renaud Dubois (@rdubois-crypto), Simon Masson (@simonmasson)

Depends on (1)

Proposals this one names in its requires field.

EIP-7932Secondary Signature Algorithms

What the specification covers

AbstractMotivationSpecificationSub-algorithms of ML-DSANumber Theoretic TransformEXtendable Output FunctionHints in ML-DSASample In Ball ChallengeML-DSA verification algorithmML-DSA-ETH verification algorithmRequired checks in ML-DSA(-ETH) verificationPrecompiled contract specificationML-DSA precompiled contractError CasesML-DSA-ETH precompiled contractError CasesPrecompiled contract gas usageCompliance with EIP-7932RationaleBackwards CompatibilityTest CasesReference ImplementationSecurity ConsiderationsCopyright

This proposal declares no Solidity interface, so there is nothing to compute. It may be a core protocol change, a meta proposal, or written in prose only.

Compare with

Parsed from the canonical specification · discussion