ProjectZKM / zkm-proverLinks
A parallel proving service for ZKM.
☆21Updated last week
Alternatives and similar repositories for zkm-prover
Users that are interested in zkm-prover are comparing it to the libraries listed below
Sorting:
- ☆25Updated last week
- Pessimistic proof for the AggLayer.☆26Updated last year
- powdr application running Ethereum tests via revm☆18Updated last year
- STARK book☆20Updated 10 months ago
- A collection of ZK light client libraries for various blockchains☆56Updated 8 months ago
- Poseidon Rust library☆38Updated 2 years ago
- Halo2 Merkle tree circuits☆32Updated 4 years ago
- Plonkish Nova implementation along with advanced features☆16Updated last year
- ☆21Updated last month
- GPU-acceselerated cryptography libraries for ZKsync☆20Updated this week
- ☆16Updated last week
- A set of tooling of halo2 circuits verification in Move environments☆16Updated last week
- ☆23Updated last year
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- High performance EraVM for zkSync.☆24Updated 3 months ago
- An observatory fork of SP1☆72Updated 5 months ago
- EraVM implementation☆19Updated 10 months ago
- ☆30Updated 3 months ago
- Circuits for Pluto's `web-prover`☆22Updated 3 months ago
- ☆30Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated 2 years ago
- ☆40Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Prover Manager☆14Updated this week
- ☆42Updated last year
- ☆12Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated last month
- plonky2 implementation of bn254 pairing☆18Updated last year
- customizable halo2 circuits batcher☆31Updated last week