package coq-giskard
Verified model of the Giskard consensus protocol in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.tar.gz
sha512=697f20bd03688742a657e4078921a91395190fb0b75b668184a9822f57670a19da9047cbed197379eea38beb6e53bc312aba61e88c793c9082d797bfe09d75dd
Description
The Giskard consensus protocol is used to validate transactions and computations in the PlatON network. This project provides a model of Giskard in Coq, and formally proves several key safety properties of the protocol.
Tags
category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:Giskard keyword:consensus keyword:blockchain logpath:Giskard date:2020-10-06Published: 27 Oct 2020
On This Page