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.
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.