Specification of the Giskard Consensus Protocol
Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Ro\c{s}u
TL;DR
This paper provides a formal specification of the Giskard consensus protocol used in the PlatON network, ensuring clarity for implementation and verification.
Contribution
It offers a rigorous, formal specification of Giskard, facilitating accurate implementation and enabling formal verification of safety properties.
Findings
Proves safety properties of the Giskard protocol
Provides a reference specification for implementation
Supports formal verification efforts
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Petri Nets in System Modeling · Mobile Agent-Based Network Management