Search

Search for projects by name or address

ZK Catalog

zkAPI logo
zkAPIOpen Anonymity

The vault owner can blockAn ordered list of transactions and chain-related metadata that gets bundled together and published to the L1/DA layer. Nodes execute the transactions contained within blocks to change the rollup chain’s state. Protocol rules dictate what constitutes a valid block, and invalid blocks are skipped over. withdrawals until deposits expire and become sweepable to the treasury. The proofs rely on a single-party 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..

About

Anonymous access to AI models, prepaid with ETH, that hides which deposit pays for which request.


  • Total Value SecuredTVS
    $2.33 K33.1%

  • Trusted Setups

    Used in

    zkAPI logo

    Verifiers

    1

    Used in

    zkAPI logo

    Verifiers

    1

    Tech Stack

    zkVM
    Arkworks
    BN254
  • Total Value SecuredTVS
    $2.33 K33.1%
  • About

    Anonymous access to AI models, prepaid with ETH, that hides which deposit pays for which request.



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

    ETH & derivatives
    Stablecoins
    BTC & derivatives
    Other

    Application-specific request and withdrawal 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. circuits over BN254. Poseidon Merkle membership and note-bound Baby-JubJub balance commitments hide the note and balance during authorization. Withdrawals expose the note id and remaining balance.

    zkapi-v2-note-bound-v1 single-party setup

    Arkworks

    Detailed description

    The request and withdrawal 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. keys were generated by one party. There was no multi-party ceremony. Security requires that this party erased the setup secrets, otherwise it can forge withdrawal proofs. Matching public artifacts cannot prove erasure. Setup implementation, provenance.

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

    Groth16: Arkworks

    Arkworks implementation of Groth16 written in Rust.

    Verifier
    Verification
    Used in
    Known deployments
    zkapi note-bound request and withdrawal verifier
    zkAPI logo