redesigned · historical module record
ML-DSA / Dilithium History and Replacement
Replace legacy Dilithium naming with standards-based ML-DSA and real-proof gates.
Candidate ML-DSA-65 implementation, reproducible SP1 guest ELF/vkey, and a successfully compiled Groth16 prover exist. The real CPU proof attempt timed out after 900 seconds without proof output; production verifier, real-proof chain tests, independent review, and deployment gates remain blocked.
Status is not readiness
- V2 identity
- unavailable
- Base
- source-only
- Solana
- partial-source
- SDK
- review-only
- x402
- unavailable · 0 routes
- Sandbox
- blocked
- Tests
- blocked
- Deployment
- not-deployed-not-authorized
- Security
- not-independently-audited
Complete direct-resource contract
- SpecificationCandidate file recorded
full-v3/specs/HISTORICAL_MODULE_CATALOG_SPEC.mdsha256:216da3bebba4c86ea11cca430eef6c65a32f23e26f51a6ecc59cca3f143520e6Normative catalog semantics and anti-overclaim rules for every historical module record.
- Base sourceCandidate file recorded
full-v3/base/src/MldsaSp1AuthorizationV3.solsha256:19df891e1dbd70da6e0fce1aec0b1d66bb5441efdd84c299e1c7576cfe02923cRepository file observed; availability does not imply deployment, audit, or runtime support.
- Base testsCandidate file recorded
full-v3/base/test/MldsaSp1Authorization.t.solsha256:b9353e4bb57542a0eabc8a4f8a2206f1aca84002795cb8f435eb3d0bae3133c9Repository file observed; availability does not imply deployment, audit, or runtime support.
- Base compiled artifactUnavailable
No pathNo reproducible compiled artifact identified.
- Solana sourceCandidate file recorded
full-v3/solana/programs/vaultfire_v3_successor/src/lib.rssha256:757dc082fad8fa58c99e4326b9366feaef5b3d5127d89ca85ca3c48679122bdeCandidate Solana source includes fail-closed ML-DSA/SP1 policy and vkey binding; this is not deployment evidence.
- Solana testsCandidate file recorded
full-v3/solana/programs/vaultfire_v3_successor/tests/adversarial.rssha256:cd754ee3fc3a3c765b942b04fcfa8b4a71139a8da8712e8800a410c9313142d9Candidate adversarial tests cover the fail-closed Solana ML-DSA gate; no real-proof success is claimed.
- Solana compiled artifactCandidate file recorded
full-v3/solana/evidence/sbf/vaultfire_v3_successor.sosha256:05711b680a5e8b49966f7c92843ce63cc48cd3ea04d1117fb7853cb70e630b6eReproducible SBF candidate artifact; SHA-256 and size are locally verified, but deployment is not authorized.
- SDK exampleCandidate file recorded
full-v3/sdk/examples/mldsa-provider.tssha256:ee246fc2dbb38dfb9516cc2da831ae36ea35f9e5004dfc7011a39019b8b698d2Repository file observed; availability does not imply deployment, audit, or runtime support.
- SDK support sourceCandidate file recorded
full-v3/sdk/src/modules/index.tssha256:d3024af947efac9bccb632873f4e5c38c77de5b6e717b17575cc9817b6325fcfRepository file observed; availability does not imply deployment, audit, or runtime support.
- x402 evidenceUnavailable
No pathNo module-specific x402 route identified.
- Sandbox demo evidenceUnavailable
No pathNo module-specific sandbox demonstration with release-bound evidence is established.
- Immutable module candidate/source artifactCandidate file recorded
full-v3/mldsa-sp1/fixtures/guest.elfsha256:2161c4b20e5f3a9be6539a77eb4f932e3215758b5041df89118e509100aa00c7Reproducible SP1 guest ELF candidate; no real proof, production verifier pin, independent audit, or deployment authorization.
Historical V2 evidence
- V2 ABICandidate file recorded
legacy/v2/abis/DilithiumAttestor.jsonsha256:763d5b8b774bfb7c8846a5b5f5170d98a2c051fde8a74d0f0eedaeb2e32e80b2Canonical frozen V2 ABI identity for DilithiumAttestor.
- V2 sourceUnavailable
No pathNo exact Solidity source identity is established by the frozen V2 ABI record for DilithiumAttestor.
No deployment address/runtime identity was established for this module by the canonical V2 manifest.
Exact blockers
- Real CPU Groth16 prove-and-verify timed out after 900 seconds with observed RSS at least 4,417,416 KiB and emitted no proof, public values, or completed resource JSON.
- No approved production verifier address or runtime codehash.
- No real-proof Base or Solana success test and no completed proof-resource dataset.
- Independent cryptography/protocol/proof review remains absent.
- Deployment and payment activation remain unauthorized.
- Hybrid financial authorization has no authorized deployment or independently audited production configuration.
- Runtime code guard coverage is source/test evidence only and does not authorize arbitrary target code.