noir-lang / acvm-backend-barretenbergLinks
☆41Updated 2 years ago
Alternatives and similar repositories for acvm-backend-barretenberg
Users that are interested in acvm-backend-barretenberg are comparing it to the libraries listed below
Sorting:
- A tool for single Ethereum archival block state proofs.☆35Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆32Updated 2 years ago
- ☆28Updated 3 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- ☆17Updated 2 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- Andromeda revm execution service☆31Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- ☆14Updated 3 years ago
- ☆35Updated 3 years ago
- ☆21Updated 2 years ago
- Installation tooling for Noir☆30Updated 4 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- ☆23Updated 2 years ago
- ☆22Updated 3 years ago
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Minimal EVM implementation in Rust☆29Updated 7 years ago
- Better assertion macros for pure Huff tests.☆19Updated 2 years ago
- storage proof made by sp1☆25Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- ☆21Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- ☆40Updated 3 years ago
- Writing MACI circuits in Noir☆16Updated 2 years ago