lurk-lang / bellpepper
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
☆71Updated 2 months ago
Alternatives and similar repositories for bellpepper:
Users that are interested in bellpepper are comparing it to the libraries listed below
- An advanced fork of Nova (contact:@huitseeker)☆83Updated last month
- Solidity implementation of Nova proving system verifier☆61Updated last year
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆97Updated this week
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆53Updated 7 months ago
- ☆42Updated 9 months ago
- Proof system backends for OpenVM.☆30Updated this week
- ☆31Updated last year
- An observatory fork of SP1☆68Updated 2 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated last year
- ☆61Updated last year
- Circom AES-GCM circuits☆29Updated 2 weeks ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated 10 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆47Updated 3 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆66Updated 6 months ago
- ☆150Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago
- ☆77Updated 3 months ago
- ☆50Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Email verification circuit in halo2☆68Updated 9 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 10 months ago