Alternatives and similar repositories for multi-prover-avs

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

• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆50Updated last year
• jat9292 / noir-elgamal
  A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve
  ☆10Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated 2 years ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• succinctlabs / sp1-tee
  ☆26Updated last month
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆60Updated 2 years ago
• polybase / zk-benchmarks
  ☆42Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 5 months ago
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated 10 months ago
• michaelneuder / crypto-primitives
  ☆15Updated 2 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• privacy-ethereum / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆65Updated 11 months ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆59Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• blockhackersio / zrclib
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Updated last year
• yetanotherco / zkRust
  ☆42Updated 11 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• privacy-ethereum / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• ingonyama-zk / fast-danksharding
  Danksharding Builder with GPU acceleration
  ☆51Updated 2 years ago
• zkemail / proof-of-twitter
  Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.
  ☆49Updated 7 months ago