package coq-algorand

  1. Overview
  2. No Docs
A verified model of the Algorand consensus protocol in Coq

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. M
    Musab A. Alturki
  2. J
    Jing Chen
  3. V
    Victor Luchangco
  4. B
    Brandon Moore
  5. K
    Karl Palmskog
  6. L
    Lucas Peña
  7. G
    Grigore Roșu

Maintainers

  1. P
    palmskog@gmail.com

Sources

release-1.4.tar.gz
sha512=8a1bf5df4126f32d72af91fcaba61756b197adea880974f8d1905d509eb23383f8fbbc2bf5d4a9bf22648d1d57dca69d0238358296fa6ce186cfed4212c52930

Description

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.

Tags

category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:distributed algorithms keyword:blockchain keyword:consensus keyword:algorand logpath:Algorand date:2022-11-20

Published: 21 Nov 2022

Dev Dependencies

None

Used by

None

Conflicts

None