scroll-tech / ceno
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
☆93Updated this week
Alternatives and similar repositories for ceno:
Users that are interested in ceno are comparing it to the libraries listed below
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆106Updated this week
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- A SNARK using towers of binary fields, implemented in Rust☆97Updated this week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 2 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Verifiable FHE with GKR☆26Updated 5 months ago
- Proof system backends for OpenVM.☆29Updated this week