argumentcomputer / sphinx
An observatory fork of SP1
☆68Updated 2 months ago
Alternatives and similar repositories for sphinx:
Users that are interested in sphinx are comparing it to the libraries listed below
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- Spartan on Arkworks☆41Updated 4 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated last week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Proof system backends for OpenVM.☆30Updated this week
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated 2 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 weeks ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- ☆40Updated 5 months ago
- Public releases for the Valida toolchain☆19Updated last month
- ☆28Updated last week
- Fiat-Shamir for the masses.☆63Updated 2 weeks ago
- Solidity implementation of Nova proving system verifier☆61Updated last year
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- ☆50Updated last year
- Email verification circuit in halo2☆68Updated 9 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- ☆50Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆50Updated 10 months ago
- ☆38Updated last year
- Expander Compiler☆35Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆23Updated 4 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆71Updated 2 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 2 months ago
- Mozak RISC-V Virtual Machine☆25Updated 3 weeks ago
- On-chain Ethereum light client built with SP1☆46Updated this week
- An advanced fork of Nova (contact:@huitseeker)☆83Updated last month
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago