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
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- celestia blobs, evm execution☆19Updated 11 months ago
- rust types and services for Zenith 🎀☆29Updated 9 months ago
- An API compatible port of the Stone prover.☆19Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 4 years ago
- ☆49Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- storage proof made by sp1☆25Updated last year
- ☆28Updated 4 years ago
- ☆23Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆32Updated 2 years ago
- Installation tooling for Noir☆32Updated 7 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 10 months ago
- ☆17Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Andromeda revm execution service☆32Updated last year
- Zig EVM☆34Updated last month
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- ☆13Updated 2 years ago
- ☆18Updated 2 years ago
- ZK Theorem Proving☆10Updated last year
- ☆22Updated 3 years ago