Inspect the proof path without trusting the pitch.
This page gives judges a compact lab for validating the live proof story: proof system, public inputs, circuit hash, verifier key hash, contract anchors, receipt transaction checks, and nullifier replay evidence.
Proof Statement
Circuit proof is generated off-chain and verified by Soroban.
pi_a, pi_b, and pi_c are packed before verifier submission.
Binds proof to the active campaign Merkle root.
Prevents proof reuse across campaigns.
Requires active issuer registry status.
SHA-256 of circuits/aidshield-groth16/circuit.circom.
SHA-256 of the local verification_key.json artifact used for verifier initialization.
Contract Anchors
Artifact Anchors
The deployed verifier contract exposes proof verification, not a public VK getter. These hashes are reproducible from the repo artifacts and should be checked alongside the contract ID and successful proof path.