Privacy Pools on Starknet — Circom circuits with Garaga-generated Cairo verifiers for deposit/withdraw flows and membership proofs, backed by an off-chain Rust association-set architecture.