Verifier workspace

Read a compact Zcash decision packet

The verifier view highlights the policy outcome, receipt references, and decision rationale needed to approve with minimal back-and-forth.

Return homeReview trust model

Verifier rail

Verify the shared Zcash bundle

Verifier idle

Confirm the holder proof against the current Halo2 IPA parameters, then fetch the Orchard memo when an anchor transaction is present.

Verifier idleNo prepared proof is attached to this flow yet. Seed and prove a holder flow first, then return here to verify it.

Policy context

Zcash income passport policy

Zcash Mainnet · Orchard

A holder authorizes a compact disclosure, the verifier checks a Halo2 proof with IPA verification, and the audit receipt is anchored to shielded Zcash state.

Outcome firstReceipt traceDecision rationale

Verifier workspace

Read a compact Zcash decision packet

The verifier view highlights the policy outcome, receipt references, and decision rationale needed to approve with minimal back-and-forth.

Decision packet ready

The route is shaped for a reviewer who needs threshold confirmation and audit references without reconstructing the holder dossier.

Review rail
What the verifier confirms
Policy note
A verifier can confirm the proof capsule, the validity window, and the audit trail reference while keeping the review surface calm and legible.
Current focus
IPA verification confirms the disclosed policy result.