HotStuff-rs

HotStuff-rs is a Rust Programming Language implementation of the HotStuff consensus protocol. It offers: 1. Guaranteed Safety and Liveness in the face of up to 1/3rd of Voting Power being Byzantine at any given moment, 2. A small API (Executor) for plugging in state machine-based applications like blockchains, and 3. Well-documented, 'obviously correct' source code.

Protocol Specification

Types

NODE(parent, command, justify)

QC(view_num, node, sigs)

Messages

PROPOSE(view_num, node)

VOTE(view_num, node, sig)

NEW-VIEW(viewnum, highqc)

INFORM(Vec\