Skip to content
LogoLogo

Contracts

  • Pool.sol: shield/initiate/resolve/reclaim/unshield; hold records; note tree with root history; nullifier set; fiState[]; the welds in §4.9.
  • Registry.sol: §4.6, including the root window and revoked[].
  • verifiers/: generated UltraHonk (Keccak, ZK) verifiers for the five main circuits and W, plus a VerifierRouter keyed by protocol version so a VK_W rotation is a router write.
  • No upgradeability proxy in v1; a new protocol version is a new pool with a migration path via unshield/shield.