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:
- 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 2 months ago
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆287Jun 22, 2023Updated 2 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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☆19Apr 24, 2026Updated last week
- ☆224Feb 2, 2026Updated 2 months ago
- Implementation of the HotStuff consensus protocol.☆163Aug 20, 2024Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆53Dec 18, 2025Updated 4 months ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jan 20, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Pass Rust strings to C with potentially not needing heap allocation☆12Jan 25, 2026Updated 3 months ago
- Crypto red packet with zk-proof.☆36Jan 22, 2024Updated 2 years ago
- forge development env for SUAVE key management☆20Aug 8, 2024Updated last year
- Audit reports can be found at https://docs.lighter.xyz/security/security-audits☆62Mar 30, 2026Updated last month
- RFCs for changes to Sway☆26Apr 16, 2026Updated 2 weeks ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- ☆13Sep 10, 2025Updated 7 months ago
- Generic, minimalist, parallelizable Merkle tree☆14Oct 9, 2018Updated 7 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- A lightweight, performant microkernel for TCP peer-to-peer (P2P) networking. Handles connection pooling and framing, leaving the logic to…☆60Apr 20, 2026Updated last week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆158Apr 16, 2026Updated 2 weeks ago
- The Minimal (Testing/Learning-Only) Template From Polkadot SDK☆44Feb 11, 2026Updated 2 months ago
- ☆17Apr 25, 2023Updated 3 years ago
- Yul precompile library to speedup elliptic curves operations.☆50Apr 20, 2024Updated 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
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Sep 6, 2021Updated 4 years ago
- AI Agents on 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.
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated last year
- 🦄 Smart contracts for Uniswap protocol fees 🦄☆25Updated this week
- ☆30Aug 18, 2020Updated 5 years ago
- Tari Layer-2 Protocol☆26Updated this week
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 9 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- ☆16Jan 5, 2024Updated 2 years ago