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 2 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆32Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆23Updated 2 years ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• b-chiang / schnorr-nizk
  ☆14Updated 3 years ago
• hrkrshnn / solmate-math-fuzz
  ☆35Updated 3 years ago
• trianglesphere / rnode
  ☆21Updated 2 years ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆30Updated 4 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated 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
• rkrasiuk / op-reth
  ☆23Updated 2 years ago
• AmanGotchu / RandaoZKP
  ☆22Updated 3 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• joelburget / evm-rust
  Minimal EVM implementation in Rust
  ☆29Updated 7 years ago
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated 2 years ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• realbigsean / mock-relay
  ☆21Updated 2 years ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆17Updated 2 years ago
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 3 years ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated 2 years ago