View the project on GitHub


Welcome to the Algorand Verification project website!

The Algorand consensus protocol is the foundation of a decentralized digital currency and transactions platform. This project provides a model of the protocol in Coq, expressed as a transition system over global states in a message-passing distributed system. Included is a formal proof of safety for the transition system.

This is an open source project, licensed under the University of Illinois/NCSA Open Source License.

Get the code

The latest release of Algorand Verification can be downloaded from GitHub.


Generated HTML documentation is available for source files in the latest release:

Help and contact