3 papers
cs.DC2020
Specification of the Giskard Consensus Protocol
Elaine Li, Karl Palmskog, Mircea Sebe +1
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 s…
cs.CR2019
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Musab A. Alturki, Jing Chen, Victor Luchangco +4
The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactl…
cs.NI2018
P4K: A Formal Semantics of P4 and Applications
Ali Kheradmand, Grigore Rosu
Programmable packet processors and P4 as a programming language for such devices have gained significant interest, because their flexibility enables rapid development of a diverse…