Specification of the Giskard Consensus Protocol
This work addresses the need for reliable protocol implementation and formal verification in blockchain networks, but it is incremental as it focuses on specification rather than new algorithmic development.
The authors tackled the problem of validating transactions and computations in the PlatON network by providing a rigorous specification of the Giskard consensus protocol, proving that it guarantees several notable safety properties.
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.