noir-lang / acvm-backend-barretenbergView external linksLinks
☆41Aug 31, 2023Updated 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:
- ☆49Sep 20, 2023Updated 2 years ago
- A Noir's backend implementation using Gnark☆35Mar 8, 2024Updated last year
- ☆18Mar 8, 2023Updated 2 years ago
- ☆21May 9, 2023Updated 2 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- ☆18Feb 25, 2023Updated 2 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 3 years ago
- Installation tooling for Noir☆32Jun 2, 2025Updated 8 months ago
- ☆14May 3, 2023Updated 2 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆30Feb 1, 2023Updated 3 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- My utils for long-lived, fault-tolerant rust tasks☆43Dec 7, 2023Updated 2 years ago
- Lightweight Lua EVM☆59May 1, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- Compare Bloxroute and Fiber transaction streams☆10Nov 22, 2024Updated last year
- ☆17Mar 25, 2023Updated 2 years ago
- Proof-of-concept Huff smart contracts for deploying arbitrary bytecode to deterministic addresses☆36Jan 16, 2023Updated 3 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117May 6, 2024Updated last year
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- My notes and code from the Paradigm CTF☆41Aug 22, 2022Updated 3 years ago
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Oct 27, 2022Updated 3 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- Definitions for standard Ethereum JSONRPC APIs☆13Nov 10, 2022Updated 3 years ago
- A toy Cairo VM implementation in Rust™☆72Jun 7, 2022Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61May 22, 2023Updated 2 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- Testing Ethereum reorgs in a private geth network☆29Jan 6, 2023Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆94Aug 19, 2024Updated last year
- Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching☆86Oct 13, 2022Updated 3 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Mar 8, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- Fiber client in Rust☆54Dec 15, 2025Updated 2 months ago
- Smart contract audit / optimization reports generated by solstat.☆14Nov 3, 2022Updated 3 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- GitHub action that installs huffc☆17Mar 22, 2023Updated 2 years ago