Alternatives and similar repositories for audits

Users that are interested in audits are comparing it to the libraries listed below

• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated 2 years ago
• privacy-scaling-explorations / researches
  ☆10Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆16Updated 9 months ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆36Updated 2 years ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 4 months ago
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆16Updated 2 years ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆23Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆39Updated 2 years ago
• SorellaLabs / angstrom-santa-claus
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13Updated 3 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated 9 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 10 months ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 2 years ago
• crate-crypto / rust-eth-kzg
  ☆25Updated last week
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated last month
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• 0xPolygon / zkevm-testvectors
  ☆30Updated 3 months ago
• x676f64 / awesome-substrate-security
  A repo to for sharing information on Substrate security
  ☆19Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 4 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago