2 docs tagged with "BFT"

A rigorous treatment of the two fundamental properties of BFT consensus, grounded in Savanna's actual voting rules as implemented in `finalizer.cpp`. Derived from wire-sysio / Antelope Spring v1.0.

How Antelope achieved 1-second finality - BFT pipelining, BLS aggregate signatures, and the 2-chain rule