matter-labs / zksync-airbenderLinks
RISC-V prover system for ZKsync OS
☆97Updated this week
Alternatives and similar repositories for zksync-airbender
Users that are interested in zksync-airbender are comparing it to the libraries listed below
Sorting:
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 6 months ago
- A repo of example Noir projects.☆69Updated 2 weeks ago
- ☆70Updated last year
- barretenburg in rust (here we go)☆99Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆138Updated 4 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- ☆94Updated last year
- ZK Email in Noir☆74Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆141Updated 3 weeks ago
- Ethereum zkEVM book☆75Updated 3 weeks ago
- ☆77Updated last week
- A collection of learning materials on the Beam chain and Ream client.☆45Updated last week
- ☆104Updated last year
- ☆129Updated this week
- OS for next iteration of the world computer☆43Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Updated 3 weeks ago
- A curated list of repos related to Circom☆101Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 10 months ago
- A Cairo VM prover implemented using Winterfell☆157Updated 3 years ago
- Unified zkVM Interface & Toolkit☆37Updated last week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated 2 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆86Updated 10 months ago
- Client side zero-knowledge proving.☆91Updated this week
- Honk Verifier in Solidity☆50Updated last year
- ☆59Updated this week
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆130Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆56Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆61Updated this week
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- ☆27Updated 6 months ago