Concrete scenario
What this looks like in practice
A benefits system auto-denies an application. The applicant appeals and asks for proof the rules engine version and inputs hash used on the decision date. The vendor will not expose full case files to the public docket, yet the city must still show a recognized commitment existed.
Problem
What breaks today
Automated eligibility, permitting, and enforcement workflows already affect public life. Citizens need proof of machine-assisted decisions without forcing private case files onto the public internet or into vendor dashboards.
Mechanism
How ZK-SNAP responds
Agencies anchor receipt commitments with public recognition facts while sensitive fields remain in permissioned disclosure paths governed by profile rules and sealed claim openings. Optional attribution profiles separate who signed from what is publicly shown on civic recognition surfaces without exposing PII by default.
Verifiable outcome
What a verifier can check
- Decision receipt verifies offline before civic recognition is considered.
- Public recognition facts separate from PII-bearing disclosure paths.
- Inclusion proofs support on-log claims when DoT-5 is in scope.
- Undisclosed fields remain sealed until authorized opening.
Scope boundary
What a receipt does not replace
Receipts support accountable civic automation — not open records law compliance by themselves, electoral politics, or full transparency of every vendor subsystem.