o1-labs / verkle-tree
☆27Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for verkle-tree
- A toy Cairo VM implementation in Rust™☆71Updated 2 years ago
- For practice to using halo2☆22Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- ☆41Updated 11 months ago
- ☆40Updated 3 months ago
- Implementation of Plonk by Hand in rust☆61Updated 8 months ago
- ☆37Updated 2 years ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆118Updated 3 weeks ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated last week
- Solidity implementation of Nova proving system verifier☆59Updated 8 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆34Updated last year
- Zirgen compiler and RISC Zero circuits☆49Updated this week
- ☆26Updated 8 months ago
- ☆32Updated 10 months ago
- ☆49Updated last year
- EraVM implementation☆20Updated 2 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆55Updated last month
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- ☆29Updated last year
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆48Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- Spartan on Arkworks☆38Updated 4 months ago
- barretenburg in rust (here we go)☆97Updated 10 months ago
- ☆14Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago