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.☆16Updated last week
- Compress cryptographic outputs via mining☆23Updated 2 years ago
- Common infrastructure used by multiple Mysten projects☆37Updated 2 years ago
- Pure Move implementation of U256 numbers☆29Updated last year
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 9 months ago
- ☆34Updated last week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- ☆44Updated last week
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆65Updated 9 months ago
- High performance EraVM for zkSync.☆23Updated last week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Bringing divine order to remote task execution.☆24Updated 4 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- ☆15Updated 2 years ago
- ☆25Updated last year
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 7 months ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆52Updated 2 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆21Updated this week
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Updated 6 months ago
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 8 months ago
- Specification of P2P protocol for StarkNet nodes☆49Updated last month
- ☆21Updated 9 months ago
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- The digital asset standard for Sui. (Deprecated; see /capsules instead.)☆15Updated 2 years ago