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:
- A parallel proving service for ZKM.☆22Updated last month
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 7 months ago
- EraVM implementation☆19Updated last year
- ☆50Updated 11 months ago
- Cryptography libraries for ZKsync☆39Updated last week
- ☆22Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Parallel EVM layer2☆34Updated 6 months ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Updated last year
- A fast zero-knowledge proof friendly Move language runtime environment.☆47Updated 2 years ago
- An observatory fork of SP1☆76Updated 11 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆63Updated last week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- ABCDE Internal POC: Parallel go-ethereum☆29Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- ☆31Updated 9 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Updated 6 months ago
- The Spire Based Stack☆22Updated 2 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- A zero-knowledge Move language runtime environment.☆84Updated 8 months ago
- ☆65Updated last year
- ☆33Updated last year
- A set of tooling of halo2 circuits verification in Move environments☆16Updated this week