Specification of the Giskard Consensus Protocol

10/05/2020
by   Elaine Li, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset