scroll-tech / zkvm-proverLinks
Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
☆25Updated 3 weeks ago
Alternatives and similar repositories for zkvm-prover
Users that are interested in zkvm-prover are comparing it to the libraries listed below
Sorting:
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 6 months ago
- An API compatible port of the Stone prover.☆19Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated 8 months ago
- Projects from the Succinct ZK Residency☆21Updated last year
- SimpleSerialize (SSZ) implementation optimised for speed and security☆27Updated 3 weeks ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last year
- Rust library for practical time-lock encryption using `drand` threshold network☆41Updated 3 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- An observatory fork of SP1☆76Updated 11 months ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆26Updated 4 months ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 10 months ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated 3 weeks ago
- Plonkish Nova implementation along with advanced features☆16Updated 2 years ago
- ☆49Updated 2 years ago
- Cryptography libraries for ZKsync☆38Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated 2 years ago
- Poseidon Rust library☆38Updated 2 years ago
- A standard library wrapper for use in the `arkworks` ecosystem☆42Updated 3 months ago
- A collection of ZK light client libraries for various blockchains☆66Updated last year
- KZG commitments over BLS12-381☆37Updated 3 years ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Updated 2 years ago
- Delve into low-level RISC Zero machine☆29Updated 2 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Updated 2 years ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 3 years ago
- ☆31Updated 2 months ago
- On-chain Ethereum light client built with SP1☆80Updated 3 weeks ago
- A minimal RedDSA implementation for use in Zebra and zcashd.☆14Updated last month