ethstorage / pmLinks
☆11Updated last week
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 6 months ago
- Parallel EVM layer2☆33Updated 2 months ago
- ☆51Updated 7 months ago
- ☆22Updated last year
- A fast zero-knowledge proof friendly Move language runtime environment.☆47Updated 2 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 3 months ago
- EraVM implementation☆19Updated last year
- A zero-knowledge Move language runtime environment.☆83Updated 4 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆62Updated 4 months ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 8 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆28Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- ☆30Updated 2 years ago
- ☆33Updated 2 years ago
- An observatory fork of SP1☆75Updated 7 months ago
- ☆42Updated last year
- On-chain Ethereum light client built with SP1☆70Updated last week
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Updated last year
- ☆31Updated 5 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago
- ☆41Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"☆21Updated 2 years ago