PetraProver / PetraVMLinks
A verifiable supercomputer
☆60Updated this week
Alternatives and similar repositories for PetraVM
Users that are interested in PetraVM are comparing it to the libraries listed below
Sorting:
- Client side zero-knowledge proving.☆68Updated this week
- ☆34Updated 2 weeks ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆68Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated 11 months ago
- Proof system backends for OpenVM.☆30Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆112Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- On-chain Ethereum light client built with SP1☆53Updated this week
- An observatory fork of SP1☆69Updated 3 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated 3 weeks ago
- ☆40Updated 2 years ago
- ☆23Updated 2 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆19Updated this week
- ☆50Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆40Updated 7 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆52Updated last month
- ☆51Updated last year
- ☆27Updated last month
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Verifiable FHE with GKR☆26Updated 7 months ago
- client side proving☆30Updated 2 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆42Updated 4 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- For practice to using halo2☆22Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated 3 months ago
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- Spartan on Arkworks☆42Updated 5 months ago