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.
Cite
@article{arxiv.2010.02124,
title = {Specification of the Giskard Consensus Protocol},
author = {Elaine Li and Karl Palmskog and Mircea Sebe and Grigore Roşu},
journal= {arXiv preprint arXiv:2010.02124},
year = {2020}
}