0xPolygonHermez / pil2-proofmanView external linksLinks
Prover Manager
☆25Updated this week
Alternatives and similar repositories for pil2-proofman
Users that are interested in pil2-proofman are comparing it to the libraries listed below
Sorting:
- ☆33Mar 27, 2024Updated last year
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 9 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- ☆15Nov 22, 2025Updated 2 months ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- ☆21Dec 1, 2025Updated 2 months ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆48Jan 23, 2026Updated 3 weeks ago
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆57Updated this week
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- ☆41Jan 7, 2024Updated 2 years ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated last month
- ☆175Updated this week
- REST API for snarkjs prover☆19Mar 14, 2023Updated 2 years ago
- ☆22Dec 19, 2024Updated last year
- ☆24Jan 10, 2024Updated 2 years ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆153Feb 3, 2026Updated last week
- High performance EraVM for zkSync.☆23Oct 20, 2025Updated 3 months ago
- ☆21Aug 30, 2022Updated 3 years ago
- A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations☆27May 11, 2018Updated 7 years ago
- ☆65May 2, 2024Updated last year
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- Rust implementation of the Modified Patricia Tree (aka Trie).☆20Oct 30, 2024Updated last year
- ☆23Mar 8, 2024Updated last year
- Parallel EVM inspired by BlockSTM☆38Updated this week
- Efficient nibble-sized (4-bit) byte sequence data structure☆35Updated this week
- Template repository for a CG proposal or work item.☆16Aug 30, 2024Updated last year
- Opinionated Rust implementation of the Uniswap V4 SDK with a focus on readability and performance☆33Jan 12, 2026Updated last month
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- Andromeda revm execution service☆32Jul 25, 2024Updated last year
- ☆30Oct 7, 2022Updated 3 years ago
- Remote Attestation VErification☆35Jul 29, 2024Updated last year
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Nov 17, 2024Updated last year
- Futhark implementation of neptune-compatible Poseidon.☆27Apr 4, 2021Updated 4 years ago
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated this week
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 5 months ago
- ☆36Oct 14, 2024Updated last year
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year