scroll-tech / zkvm-proverLinks
Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
☆21Updated this week
Alternatives and similar repositories for zkvm-prover
Users that are interested in zkvm-prover are comparing it to the libraries listed below
Sorting:
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆61Updated 4 months ago
- An observatory fork of SP1☆73Updated 7 months ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆13Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- A collection of ZK light client libraries for various blockchains☆58Updated 9 months ago
- An API compatible port of the Stone prover.☆19Updated 10 months ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 9 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 2 months ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆25Updated 2 weeks ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆24Updated last month
- A rust implementation of the Falcon post-quantum signature scheme☆20Updated 10 months ago
- A standard library wrapper for use in the `arkworks` ecosystem☆42Updated 5 months ago
- Cryptography libraries for ZKsync☆35Updated last week
- On-chain Ethereum light client built with SP1☆70Updated this week
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- Plonkish Nova implementation along with advanced features☆16Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 7 months ago
- Pessimistic proof for the AggLayer.☆28Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated 3 months ago
- Rust encryption library for practical time-lock encryption.☆34Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆29Updated last week
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Updated last year
- Bringing divine order to remote task execution.☆27Updated 9 months ago
- ☆49Updated 2 years ago
- ☆30Updated 2 years ago
- EraVM implementation☆19Updated last year
- ☆31Updated 5 months ago