Alternatives and similar repositories for acvm-backend-barretenberg

Users that are interested in acvm-backend-barretenberg are comparing it to the libraries listed below

• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆31Updated 2 years ago
• rkrasiuk / op-reth
  ☆23Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated 2 years ago
• trianglesphere / rnode
  ☆21Updated 2 years ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆30Updated 4 months ago
• hrkrshnn / solmate-math-fuzz
  ☆35Updated 3 years ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• onbjerg / promg
  A small CLI tool to create a plot from a Prometheus query
  ☆23Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆22Updated 2 years ago
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆17Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• hrkrshnn / gobblerwatch
  GobblerWatch: Discord notifications for ArtGobblers
  ☆21Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• b-chiang / schnorr-nizk
  ☆14Updated 3 years ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• clabby / op-reth
  ☆17Updated 2 years ago
• AmanGotchu / RandaoZKP
  ☆22Updated 2 years ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated last year
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year
• DaniPopes / zevm
  Zig EVM
  ☆32Updated 9 months ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated last year
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• joelburget / evm-rust
  Minimal EVM implementation in Rust
  ☆29Updated 7 years ago
• S1nus / blevm
  celestia blobs, evm execution
  ☆19Updated 7 months ago
• realbigsean / mock-relay
  ☆21Updated 2 years ago