matter-labs / zksync-airbenderLinks
RISC-V prover system for ZKsync OS
☆92Updated 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
- OS for next iteration of the world computer☆43Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- A repo of example Noir projects.☆67Updated last month
- ☆70Updated last year
- barretenburg in rust (here we go)☆99Updated last year
- ☆125Updated this week
- Ethereum zkEVM book☆72Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated last week
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆84Updated 9 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated 11 months ago
- ☆94Updated last year
- A collection of learning materials on the Beam chain and Ream client.☆45Updated this week
- ☆58Updated this week
- ☆61Updated last month
- A Cairo VM prover implemented using Winterfell☆157Updated 3 years ago
- the race to prove Ethereum in real-time☆116Updated this week
- ☆27Updated 5 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆108Updated 3 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- ZK Email in Noir☆74Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated 2 years ago
- Include halo2 example circuits☆91Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆112Updated 6 months ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- ☆36Updated last week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆123Updated this week
- ☆31Updated 4 months ago