Skip to content
LogoLogo

Reference crate

Single source of truth for everything both Noir and TS must agree on:

  • Poseidon2 with the domain tag table, taken from Noir's own blackbox solver crate so parameters cannot drift; Grumpkin ops; Schnorr; envelope encryption.
  • Note, nullifier, commitment tree, registry tree, context tree (all four regions), state tree, params encoding, attestation encoding.
  • schema::context_v1 and schema::payload_v1 loaded from the JSON files at build time; generates the Noir weld::schema::v1 accessor module and the TS types.
  • The golden world and its conformance vectors, emitted as Prover.toml files and JSON, pinned by tests in all three languages (TS via bb.js).
  • The leakage profile as executable tests over recorded transcripts (§9).