MystenLabs / mysticeti
Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
☆65Updated 9 months ago
Alternatives and similar repositories for mysticeti:
Users that are interested in mysticeti are comparing it to the libraries listed below
- Reference implementation of the node for the Polygon Miden rollup☆59Updated this week
- ☆91Updated 3 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 9 months ago
- EraVM implementation☆20Updated 6 months ago
- An advanced fork of Nova (contact:@huitseeker)☆83Updated 3 weeks ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆71Updated last month
- Expander Compiler☆33Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆119Updated last week
- A zero-knowledge Move language runtime environment.☆79Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 11 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated 11 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆49Updated 3 months ago
- ☆141Updated 3 weeks ago
- Crypto Gadgets for Plonky2☆72Updated 10 months ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆90Updated last week
- RISC-V interactive fault proof tech☆102Updated last week
- ZKM Development Template/Framework☆24Updated last week
- Bringing divine order to remote task execution.☆24Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Cryptography libraries for ZKsync☆29Updated this week
- ☆37Updated 4 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆33Updated this week
- A set of tooling of halo2 circuits verification in Move environments☆16Updated 7 months ago
- Cryptographic primitives used in Polygon Miden rollup☆111Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- ☆62Updated 10 months ago