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
  ☆27Updated 2 years ago
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆16Updated last year
• SorellaLabs / angstrom-santa-claus
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13Updated 6 months ago
• x676f64 / awesome-substrate-security
  A repo to for sharing information on Substrate security
  ☆19Updated last year
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated last year
• privacy-ethereum / researches
  ☆10Updated 3 years ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆36Updated 3 years ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated 2 years ago
• crate-crypto / rust-eth-kzg
  ☆30Updated last month
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• vacp2p / zk-explorations
  ☆31Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• circlefin / malaketh-turbo
  ☆22Updated last month
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 7 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• 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
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• Cardinal-Cryptography / zk-apps
  Shielding tokens with zkSNARKs
  ☆21Updated last year
• sky-ecosystem / dss-kiln
  Slow burner for protocol assets.
  ☆33Updated 2 years ago
• nerolation / eth-gas-limit-analysis
  This repo hosts the code for an analysis on Ethereum gas limit.
  ☆17Updated last year
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 9 months ago