Work

Specification of the Giskard Consensus Protocol

Year: 2020

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2010.02124

Authors: Li, Elaine, Palmskog, Karl, Sebe, Mircea, Roşu, Grigore

Institutions: Runtime Verification (United States), KTH Royal Institute of Technology

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3093510300

Cites: 1

Cited by:

Related to: 10