Skip to resource evidence

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:216da3bebba4c86ea11cca430eef6c65a32f23e26f51a6ecc59cca3f143520e6

    Normative catalog semantics and anti-overclaim rules for every historical module record.

  • Base sourceCandidate file recorded
    full-v3/base/src/MldsaSp1AuthorizationV3.solsha256:19df891e1dbd70da6e0fce1aec0b1d66bb5441efdd84c299e1c7576cfe02923c

    Repository file observed; availability does not imply deployment, audit, or runtime support.

  • Base testsCandidate file recorded
    full-v3/base/test/MldsaSp1Authorization.t.solsha256:b9353e4bb57542a0eabc8a4f8a2206f1aca84002795cb8f435eb3d0bae3133c9

    Repository file observed; availability does not imply deployment, audit, or runtime support.

  • Base compiled artifactUnavailable
    No path

    No reproducible compiled artifact identified.

  • Solana sourceCandidate file recorded
    full-v3/solana/programs/vaultfire_v3_successor/src/lib.rssha256:757dc082fad8fa58c99e4326b9366feaef5b3d5127d89ca85ca3c48679122bde

    Candidate 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:cd754ee3fc3a3c765b942b04fcfa8b4a71139a8da8712e8800a410c9313142d9

    Candidate 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:05711b680a5e8b49966f7c92843ce63cc48cd3ea04d1117fb7853cb70e630b6e

    Reproducible 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:ee246fc2dbb38dfb9516cc2da831ae36ea35f9e5004dfc7011a39019b8b698d2

    Repository file observed; availability does not imply deployment, audit, or runtime support.

  • SDK support sourceCandidate file recorded
    full-v3/sdk/src/modules/index.tssha256:d3024af947efac9bccb632873f4e5c38c77de5b6e717b17575cc9817b6325fcf

    Repository file observed; availability does not imply deployment, audit, or runtime support.

  • x402 evidenceUnavailable
    No path

    No module-specific x402 route identified.

  • Sandbox demo evidenceUnavailable
    No path

    No module-specific sandbox demonstration with release-bound evidence is established.

  • Immutable module candidate/source artifactCandidate file recorded
    full-v3/mldsa-sp1/fixtures/guest.elfsha256:2161c4b20e5f3a9be6539a77eb4f932e3215758b5041df89118e509100aa00c7

    Reproducible 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:763d5b8b774bfb7c8846a5b5f5170d98a2c051fde8a74d0f0eedaeb2e32e80b2

    Canonical frozen V2 ABI identity for DilithiumAttestor.

  • V2 sourceUnavailable
    No path

    No 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.
Return to this module in the catalog