Algorand Byzantine Fault Tolerance Protocol

This part describes the Algorand Byzantine Fault Tolerance Protocol (ABFT).

The normative section formally defines the agreement protocol and its parametrization, the messages, and the state machine.

The non-normative section provides a high-level and more discursive overview of the protocol with diagrams, pseudocode, and examples.