feat(shielded-pool-extension): PIR + epoch-nullifier extension (PoC) - #74

Merged

Meyanis95 merged 22 commits into

feat/shielded-pool-extension-impl

Jun 5, 2026

Commits on Jun 1, 2026

feat(shielded-pool-extension): scaffold + epoch-bound primitives
Meyanis95
committed
feat(shielded-pool-extension): extended deposit circuit (epoch-bound, attestation relaxed)
Meyanis95
committed
feat(shielded-pool-extension): minimal deposit contract (ShieldedPoolExt)
Meyanis95
committed
feat(shielded-pool-extension): epoch rollover + indexed Merkle nullifier tree
Meyanis95
committed
feat(shielded-pool-extension): state-replica core + cleartext PIR seam
Meyanis95
committed
feat(shielded-pool-extension): IVC chain-update circuit + Noir 1.0 recursion
Meyanis95
committed
feat(shielded-pool-extension): spend circuits (transfer + withdraw)
Meyanis95
committed
feat(shielded-pool-extension): insertion circuit + relayer witness builder
Meyanis95
committed
feat(shielded-pool-extension): two-proof transfer spend path
Meyanis95
committed
feat(shielded-pool-extension): withdraw two-proof spend path
Meyanis95
committed
feat(shielded-pool-extension): generate real on-chain verifiers
Meyanis95
committed
feat(shielded-pool-extension): domain proof + witness types
Meyanis95
committed
feat(shielded-pool-extension): recursive EVM transfer proving
Meyanis95
committed
feat(shielded-pool-extension): EVM deposit + insertion proving
Meyanis95
committed

Commits on Jun 3, 2026