Search

Search for projects by name or address

ZK Catalog

Privacy Pools logo
Privacy Pools0xbow

About

A selective-disclosure privacy system for Ethereum that adds compliance-aware association sets.


  • Total Value SecuredTVS
    $9.32 M2.12%

  • Trusted Setups

    Used in

    Privacy Pools logo

    Verifiers

    1by

    Used in

    Privacy Pools logo

    Verifiers

    1by

    Tech Stack

    zkVM
    BN254
    Snarkjs
  • Total Value SecuredTVS
    $9.32 M2.12%
  • About

    A selective-disclosure privacy system for Ethereum that adds compliance-aware association sets.



    Total
    Canonically BridgedCanonically Bridged ValueCanonical
    Natively MintedNatively Minted TokensNative
    Externally BridgedExternally Bridged ValueExternal

    ETH & derivatives
    Stablecoins
    BTC & derivatives
    Other

    Privacy Pools

    Snarkjs

    Detailed description

    Trusted setupGeneration of a piece of data that must then be used for some cryptographic protocol to run. Generating this data requires some secret information. The "trust" comes from the fact the secret must be destroyed after the ceremony, otherwise cryptographic properties of the protocol could be broken. Once the data is generated, and the secrets are forgotten, no further participation from the creators of the ceremony is required. There are two types of trusted setups for SNARKs: (i) trusted setup per circuit where it is generated from scratch for each circuit, (ii) trusted universal setup per proving system where it can be used for several circuits. for two Groth16A zk-SNARK proving system introduced by Groth in 2016 that proves arithmetic circuits and requires a separate trusted setup for each circuit. It allows extremely efficient proof verification. Privacy Pools circuits: the Ragequit circuitA program written for the purpose of being proven within a proving system. A circuit is a mathematical representation of the computation to be executed, arithmetic circuits and zkVM execution trace are examples of circuits. Circuits can be written in different languages, ranging from low-level to high-level. and the private Withdrawal circuit.

    This trusted setup ceremony builds on top of the 80th contribution to the Perpetual Powers of Tau ceremony as phase 1For Groth16 trusted setup, phase 1 represents circuit-independent part of the trusted setup (e.g. Perpetual Powers of Tau), which could be reused across different circuits. It generates a part of the secret cryptographic data required for Groth16 ZK protocol to work. If the outcome of phase 1 trusted setup ceremony is known, arbitrary proofs could be forged..

    Phase 2For Groth16 trusted setup, phase 2 represents circuit-dependent part of the trusted setup. It generates a part of the secret cryptographic data required for Groth16 ZK protocol to work. If the outcome of phase 2 trusted setup ceremony is known, arbitrary proofs could be forged. of the ceremony was publicly announced, open to anonymous and identified participants, and concluded in March 2025. It contains 514 contributions to the Withdraw circuit and 513 participants to the Ragequit circuit. The finalized zKeys were published for independent verification, and the ceremony code and UI were open-sourced.

    List of different onchain verifiers for this proving system. Unique ID distinguishes differents deployments of the same verifier from different verifiers (e.g. different versions).

    Groth16: Snarkjs

    Circom / iden3 implementation of Groth16 proving system written in JS.

    Verifier
    Verification
    Used in
    Known deployments
    Privacy Pools verifiers v1.2.1
    by
    Privacy Pools logo