Skip to main content

4 docs tagged with "consensus"

View all tags

Safety & Liveness Proofs

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.

Savanna Consensus

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