MystenLabs / dapol
DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
☆16Updated last year
Alternatives and similar repositories for dapol:
Users that are interested in dapol are comparing it to the libraries listed below
- Deterministic executor + network sim for tokio-based systems.☆14Updated 2 weeks ago
- Compress cryptographic outputs via mining☆23Updated 2 years ago
- High performance EraVM for zkSync.☆23Updated 2 months ago
- ☆33Updated last week
- Common infrastructure used by multiple Mysten projects☆37Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated this week
- Pessimistic proof for the AggLayer.☆26Updated 6 months ago
- Pure Move implementation of U256 numbers☆28Updated 10 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 5 months ago
- Specification of P2P protocol for StarkNet nodes☆48Updated this week
- customizable halo2 circuits batcher☆30Updated last month
- ☆59Updated 5 months ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 6 months ago
- ☆15Updated 7 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Bringing divine order to remote task execution.☆23Updated last month
- ☆23Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆62Updated 6 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆19Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated 3 months ago
- Secure and optimized communication layer for rollups using EigenDA.☆16Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- The zkEVM assembly tools☆10Updated 5 months ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated 11 months ago
- ☆14Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- powdr application running Ethereum tests via revm☆17Updated 6 months ago
- Pint, the constraint-based programming language for declarative blockchains☆18Updated this week
- ☆51Updated this week