## Keyboard shortcuts

Press `←` or `→` to navigate between chapters

Press `S` or `/` to search in the book

Press `?` to show this help

Press `Esc` to hide this help

- Auto
- Light
- Dark

# Algorand Specifications

This part describes the _Algorand Byzantine Fault Tolerance Protocol_ (ABFT).

The [_normative_ section](https://specs.algorand.co/abft/abft) formally defines the agreement protocol and its parametrization, the messages, and the state machine.

The [_non-normative_ section](https://specs.algorand.co/abft/non-normative/abft-nn) provides a high-level and more discursive overview of the protocol with diagrams, pseudocode, and examples.