matter-labs / zksync-airbenderLinks
RISC-V prover system for ZKsync OS
☆118Updated 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.☆72Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆146Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 9 months ago
- ☆106Updated last year
- ZK Email in Noir☆79Updated last month
- A Cairo VM prover implemented using Winterfell☆155Updated 3 years ago
- ☆170Updated this week
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆103Updated 2 months ago
- ☆94Updated 3 weeks ago
- the race to prove Ethereum in real-time☆135Updated this week
- barretenburg in rust (here we go)☆99Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆126Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- Introduction to various ZK languages☆89Updated 4 months ago
- A curated list of repos related to Circom☆103Updated 3 years ago
- A collection of learning materials on the Beam chain and Ream client.☆51Updated last week
- ☆94Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 7 months ago
- Technical documentation of the zkEVM☆91Updated last year
- ☆71Updated last year
- Email verification circuit in halo2☆68Updated last year
- ☆64Updated this week
- EigenLayer Rust Developer Tooling☆92Updated last week
- Ethereum zkEVM book☆80Updated 3 months ago
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…☆37Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆68Updated 2 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆110Updated 9 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆206Updated this week