Algorand Ledger State Machine Specification

Algorand replicates a state and the state’s history between protocol participants.

This state and its history are called the Algorand Ledger.