matter-labs / zksync-airbenderLinks
RISC-V prover system for ZKsync OS
☆86Updated 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☆54Updated 4 months ago
- A repo of example Noir projects.☆64Updated 2 weeks ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 10 months ago
- ☆70Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆84Updated 8 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆133Updated 2 weeks ago
- ☆116Updated this week
- barretenburg in rust (here we go)☆98Updated last year
- A collection of learning materials on the Beam chain and Ream client.☆46Updated last week
- SNARKifying Ethereum☆108Updated this week
- ☆94Updated last year
- A curated list of repos related to Circom☆100Updated 2 years ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆157Updated 3 years ago
- Technical documentation of the zkEVM☆91Updated last year
- Export Circom verifier to Cairo☆49Updated 3 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆107Updated 2 months ago
- Client side zero-knowledge proving.☆77Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- ☆55Updated this week
- A monorepo of reusable Noir circuits.☆43Updated 2 weeks ago
- Provable play of Nintendo Entertainment System in Noir☆137Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆78Updated last month
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- ZK Email in Noir☆74Updated last month
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- ☆27Updated 4 months ago
- ☆59Updated last week