o1-labs / verkle-tree
☆27Updated 3 years ago
Alternatives and similar repositories for verkle-tree
Users that are interested in verkle-tree are comparing it to the libraries listed below
Sorting:
- Client side zero-knowledge proving.☆63Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆51Updated last year
- Implementation of Plonk by Hand in rust☆61Updated last year
- ☆50Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆72Updated 3 months ago
- ☆20Updated 2 years ago
- ☆26Updated last year
- For practice to using halo2☆22Updated last year
- ☆40Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆30Updated 2 years ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated 2 months ago
- Proof system backends for OpenVM.☆29Updated last week
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- ☆30Updated last month
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆42Updated last year
- Solidity implementation of Nova proving system verifier☆61Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 4 months ago
- ZKM Development Template/Framework☆25Updated last week
- ☆42Updated 9 months ago
- ☆56Updated last year
- ☆41Updated last year
- ☆2Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 8 months ago