Alternatives and similar repositories for multi-prover-avs

Users that are interested in multi-prover-avs are comparing it to the libraries listed below

• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆50Updated 2 years ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated 2 years ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated 2 years ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆28Updated 2 years ago
• privacy-ethereum / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• yetanotherco / zkRust
  ☆42Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• Ethan-000 / halo2_backend
  ☆39Updated last year
• vacekj / air-fried-gyatt
  Breathe air
  ☆25Updated last year
• succinctlabs / hypercube-verifier
  ☆46Updated 3 weeks ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆32Updated last year
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆59Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 8 months ago
• jat9292 / noir-elgamal
  A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve
  ☆11Updated 2 years ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• concrete-eth / concrete-geth
  Concrete is a framework for building application-specific rollups on the OP Stack
  ☆48Updated last year
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• ingonyama-zk / fast-danksharding
  Danksharding Builder with GPU acceleration
  ☆52Updated 2 years ago
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆76Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆52Updated 2 years ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• privacy-ethereum / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆66Updated last year