arXiv Open Access 2020

Specification of the Giskard Consensus Protocol

Elaine Li Karl Palmskog Mircea Sebe Grigore Roşu

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.DC cs.CR

Penulis (4)

Elaine Li

Karl Palmskog

Mircea Sebe

Grigore Roşu

Format Sitasi

APA MLA BibTeX

Li, E., Palmskog, K., Sebe, M., Roşu, G. (2020). Specification of the Giskard Consensus Protocol. https://arxiv.org/abs/2010.02124

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓