PUBLISHED PROOF CHAIN
What the current certificate establishes
The current v2 certificate links exact arithmetic to the production source. Inspect the reproduced results and their declared composition, compiler, preprocessing and resource conditions. Historical v1 evidence remains available in the research frontier.
| Layer | Status | Established result | Source |
|---|---|---|---|
Mainnet v2 joint-bank soundness accountingv2-joint-bank-accounting | VERIFIED | The source-linked v2.0.3 calculator reproduces the September exact report for wallet, legacy History, v2 History and sparse retirement. Its dominant work floor is 173.3897612554174 descriptive bits and ideal Category 1 envelope is approximately 0.04937388373372754.Parano1d v2.0.3 mainnet bank c2a6df73 at activation height 210537. Verified conditional arithmetic. The October source evidence covers specific retirement, parent/transcript and snapshot obligations; the complete adaptive composition, fixed-hash and response-price conditions remain explicit. | Integrated v2 accounting and premisesExact v2.0.3 reproduction |
V2 authenticated snapshot correspondencev2-production-correspondence | VERIFIED | The audited node snapshot path fully verifies the height-selected terminal against the exact header, epoch and origin, then authenticates the same segment bytes that its atomic MDBX transaction installs.Authenticated snapshot admission and durable installation at pinned v2.0.3. Conditional on terminal soundness, root binding, native fork choice and the fixed callback. This evidence does not cover every ordinary-block, live-suffix, reorg or local-producer path. | Pinned integrated certificateOctober scoped source proof and reproduction |
V2 all-root composition conditionv2-all-root-composition | PREMISE | The terminating all-root worklist must cover wallet, legacy History, v2 History and sparse evaluation under one adversarial budget, retaining every legacy ancestry obligation.The deterministic v2 worklist terminates and preserves ancestry under the stated local hypotheses. The full adaptive database-game embedding remains open: statement-exclusive transitions, representation of each required extracted child in the same database, and one budget including embedded-verifier oracle queries. | V2 composition and fixed-compiler premisesConditional worklist lemma and unresolved compiler obligations |
V2 selected-parent transcript correspondencev2-compiler-correspondence | VERIFIED | The fixed v2 bank preserves native/trace transcript framing, selects exactly one nonbase parent, carries every inactive matrix lane unchanged and binds contract execution to the authenticated proving relation.Verified named source bindings at v2.0.3, conditional on authenticated sidecar/local extraction and exact arithmetic. General concrete Fiat-Shamir security, fixed-hash self-reference resistance and the complete adaptive shared-database compiler remain separate conditions. | September concrete-compiler reviewV2 composition assumptionsOctober scoped source proof and reproduction |
V2 preprocessing and retirement bindingv2-retirement-correspondence | VERIFIED | Both release preprocessing keys match independent reconstruction from canonical matrices. The production origin path binds every live retirement obligation to its complete point/value, request context, authenticated key and all eleven sparse column openings.Pinned v2.0.3 release keys and legacy-to-v2 origin path. Independent table construction shares the canonical decoder and PCS implementation. The source mapping is conditional on the declared local algebraic, commitment and extraction conditions. | Sparse-retirement obligationsOctober scoped source proof and reproduction |
V2 coherent response cost premisev2-coherent-response-minimum | PREMISE | The current v2 calculator uses declared scalar and batch response prices to translate typed query probabilities into gate-depth resources. Complete construction upper bounds do not establish those minimum prices.Exact current production response interfaces and every resource price charged to the 20-event v2 joint-bank inventory. | Pinned integrated certificate |
V2 fixed Poseidon2b deviation conditionv2-fixed-poseidon2b-delta | PREMISE | For the exact v2 joint-bank event, the fixed Poseidon2b compiler deviation must fit within the exact headroom remaining below one half after the ideal Category 1 envelope of approximately 0.04937388373372754.Current v2 joint-bank conditional accounting. This condition is not discharged by the October arithmetic reproduction. | V2 composition and fixed-compiler premises |
V2 Poseidon2b nonlinear-subspace auditv2-poseidon2b-classical-audit | VERIFIED | The source-linked production matrix specialization reproduces a nonzero rank core, trail lengths two and four, and the exact semi-regular Macaulay projections for the v2.0.3 Poseidon2b implementation.Exact component arithmetic in the production GF(2^128) field: concrete balancing rank, trail lengths, exhaustive substitution placements and four Macaulay dimensions and squares under the stated semi-regular model with omega=2. | Pinned integrated certificateV2 matrix audit reproduction and exact artifacts |
Production Poseidon2b parameter provenanceposeidon2b-reference-correspondence | VERIFIED | All 264 round constants and both 16-entry linear matrices in v2.0.3 match the authors' pinned reference byte for byte.Exact comparison of 296 u128 values. This does not prove that the public reference is free of weaknesses. | October reproduction and limitations |
Public state sourcee8185fdbbb191476f4b64b8669ee4470a98a043f
Certificate revision50d6dac5a37b9f1be425b5e6cd823de48f843b50