DCOct 5, 2020
Specification of the Giskard Consensus ProtocolElaine Li, Karl Palmskog, Mircea Sebe et al.
The Giskard consensus protocol is used to validate transactions and computations in the PlatON network. In this paper, we provide a rigorous specification of Giskard, suitable to serve as a reference in protocol implementation and in formal verification. Using our specification, we prove that the protocol guarantees several notable safety properties.