1. Overview
3. Consensus Algorithm
4. 1. Formalization of the Consensus Algorithm
6. Balance Drift
7. 2. Safety Analysis of Balance Drift