We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DC
< prev | next >
new | recent | 2010

Change to browse by:

cs
cs.CR

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: Specification of the Giskard Consensus Protocol

Authors: Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Roşu
(Submitted on 5 Oct 2020)
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.
Comments: 15 pages plus 2 pages as appendix, 2 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR)
ACM classes: F.3.1; C.2.4
Cite as: arXiv:2010.02124 [cs.DC]
  (or arXiv:2010.02124v1 [cs.DC] for this version)

Submission history

From: Karl Palmskog [view email]
[v1] Mon, 5 Oct 2020 16:10:33 GMT (50kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.