Phase 06 — Proofs and Privacy

The proofs and privacy branch connects commitments, circuits, witnesses, proof systems, Solidity verifiers, nullifiers, and metadata limits.

Exit condition: you can identify the claimed statement, public inputs, trusted setup or cryptographic assumptions, verifier binding, replay domain, privacy leakage, and every off-circuit dependency.