matter-labs / zksync-airbenderLinks
RISC-V prover system for ZKsync OS
☆80Updated 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 repo of example Noir projects.☆61Updated last week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆53Updated 3 months ago
- ☆94Updated 11 months ago
- ☆110Updated last week
- barretenburg in rust (here we go)☆98Updated last year
- A collection of learning materials on the Beam chain and Ream client.☆47Updated last week
- OS for next iteration of the world computer☆43Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 4 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆132Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 11 months ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆76Updated 9 months ago
- Email verification circuit in halo2☆68Updated last year
- ☆54Updated this week
- ZK Email in Noir☆74Updated 3 weeks ago
- A monorepo of reusable Noir circuits.☆43Updated this week
- Include halo2 example circuits☆90Updated last year
- ☆61Updated last year
- ☆69Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆82Updated 7 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- ☆99Updated last year
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆114Updated 6 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆78Updated 3 weeks ago
- ☆27Updated 3 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- ☆56Updated 2 weeks ago
- Cairo STARK proof verifier for Starknet☆73Updated 3 weeks ago