informalsystems / malachiteLinks
Flexible BFT consensus engine in Rust
☆235Updated this week
Alternatives and similar repositories for malachite
Users that are interested in malachite are comparing it to the libraries listed below
Sorting:
- Commonware Library Primitives and Examples☆239Updated this week
- ☆140Updated 3 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆99Updated this week
- Quick Merkle Database☆241Updated last month
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Updated 2 years ago
- Compaction-Less Database Optimized for Efficiently Storing Recent Merkleized Blockchain State☆131Updated this week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆202Updated this week
- A STARK-based VM focused on code reuse, performance, and modularity☆323Updated 6 months ago
- Rust implementation of the Inter-Blockchain Communication (IBC) protocol.☆222Updated last month
- Wasm friendly Celestia light node implementation in Rust☆150Updated last week
- Left curve monorepo☆112Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆163Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆421Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆457Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆176Updated this week
- Multi-party computation libraries written in Rust 🦀☆257Updated last week
- A Rust implementation of the Groth16 zkSNARK☆291Updated 2 months ago
- This is a solidity implementation of IBC v2.☆78Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆237Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆119Updated this week
- A pure Rust PLONK implementation using arkworks as a backend.☆309Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆265Updated 3 months ago
- Secure SGX Sidecar for CosmWasm☆41Updated 2 weeks ago
- An EVM compatible framework for blockchain development with the Cosmos SDK☆65Updated this week
- Blazingly fast Parallel EVM☆288Updated last month
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Super-fast Merklized Embedded Key-Value Store for blockchain nodes☆265Updated this week
- Noname: a programming language to write zkapps☆214Updated last week
- ☆265Updated last month
- Building generic merkle proof format for IBC☆121Updated last month