Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.
☆58Dec 29, 2024Updated last year
Alternatives and similar repositories for hotstuff_rs
Users that are interested in hotstuff_rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple template to bootstrap a Substrate node with BABE consensus☆10Jun 11, 2021Updated 4 years ago
- Uniswap V1 ported to substrate☆18Nov 29, 2023Updated 2 years ago
- ☆12Jun 5, 2025Updated 10 months ago
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated last month
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆286Jun 22, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Rust implementation of the Modified Patricia Tree (aka Trie).☆20Oct 30, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆19Jun 5, 2025Updated 10 months ago
- ☆224Feb 2, 2026Updated 2 months ago
- Implementation of the HotStuff consensus protocol.☆162Aug 20, 2024Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆48Dec 18, 2025Updated 3 months ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- Audit reports can be found at https://docs.lighter.xyz/security/security-audits☆61Mar 30, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jan 20, 2025Updated last year
- Pass Rust strings to C with potentially not needing heap allocation☆13Jan 25, 2026Updated 2 months ago
- forge development env for SUAVE key management☆20Aug 8, 2024Updated last year
- RFCs for changes to Sway☆26Feb 23, 2026Updated last month
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- ☆13Sep 10, 2025Updated 7 months ago
- The Symposium implementation the Agent Client Protocol specification☆24Mar 18, 2026Updated 3 weeks ago
- Generic, minimalist, parallelizable Merkle tree☆14Oct 9, 2018Updated 7 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Tari Layer-2 Protocol☆22Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆158Mar 9, 2026Updated last month
- A lightweight, performant microkernel for TCP peer-to-peer (P2P) networking. Handles connection pooling and framing, leaving the logic to…☆60Mar 23, 2026Updated 2 weeks ago
- The Minimal (Testing/Learning-Only) Template From Polkadot SDK☆44Feb 11, 2026Updated last month
- ☆17Apr 25, 2023Updated 2 years ago
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Bringing divine order to remote task execution.☆30Nov 25, 2024Updated last year
- ☆30Aug 18, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 8 months ago
- Reusable Actions workflows☆12Jan 20, 2026Updated 2 months ago
- ☆16Jan 5, 2024Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- FS-DKR: One Round Distributed Key Rotation☆34Oct 20, 2023Updated 2 years ago
- ☆11Jan 22, 2024Updated 2 years ago
- TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR,…☆37Mar 28, 2026Updated last week