ethstorage / pmLinks
☆11Updated 4 months ago
Alternatives and similar repositories for pm
Users that are interested in pm are comparing it to the libraries listed below
Sorting:
- EraVM implementation☆19Updated 9 months ago
- A parallel proving service for ZKM.☆21Updated last week
- ☆23Updated last year
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- Template for zkGraph.☆19Updated last year
- Cryptography libraries for ZKsync☆32Updated last month
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆42Updated this week
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- On-chain Ethereum light client built with SP1☆57Updated 2 weeks ago
- Polyhedra ZK knowledge base☆23Updated 7 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 9 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆74Updated 8 months ago
- ZKM Development Template/Framework☆25Updated last month
- Mozak RISC-V Virtual Machine☆25Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated 2 weeks ago
- An observatory fork of SP1☆69Updated 4 months ago
- A set of tooling of halo2 circuits verification in Move environments☆16Updated 10 months ago
- ☆25Updated 5 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆73Updated 4 months ago
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- ☆25Updated last month
- ☆42Updated 11 months ago
- customizable halo2 circuits batcher☆31Updated last month
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- ☆38Updated last month
- STARK book☆20Updated 9 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆56Updated last month