Contracts

Pool

At the core of our protocol is the Bermuda pool. It is a standard Solidity smart contract without any privileged admin functions. ZK circuit verifiers deployed as satellite contracts perform the ZK proof verification while the pool handles auxiliary constraints, preconditions and side-effects.

Verifiers

The pool's associated verifier contracts encapsulate the ZK proof verification given a proof and its public inputs. These are factory verifiers shipped by the Noir team. We have multiple verifier instances attached to our pool to accommodate various UTXO topologies and spending scenarios. These verifiers as well as our pool are fully immutable contracts.

Compliance Gateway

The Compliance Gateway is the on-chain enforcement layer that governs fund flow in and out of the shielded pool. It ensures that all deposits are pre-screened through KYT (Know Your Transaction) checks before entering the pool, supporting custom compliance policies tailored to individual partners and regulated institutions. Throughout the pool lifecycle, the gateway enforces that compliance requirements remain satisfied — preventing any circumvention of configured policies. On withdrawal, it verifies that funds leaving the private set meet the compliance and policy constraints set by the respective partner, ensuring end-to-end regulatory adherence without compromising user privacy.

---

For deployed contract addresses on each network, see Supported Networks.