View the project on GitHub
Welcome to the Giskard Verification project website!
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.
This is an open source project, licensed under the University of Illinois/NCSA Open Source License.
The latest release of Giskard Verification can be downloaded from GitHub.
The latest coqdoc presentations of the source files can be browsed online.