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.3.tar.gz
sha512=00b6134cab0b37aa04a397685f8b4b4118d4816cd33cacd9d2ddf03f649b7074cdfecb87bbfded8069a801a2972b35afe712d0a50975f3fd978c1461ddff0d5b

Description

The Algorand consensus protocol provides the foundation for 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:2020-08-25

Published: 26 Aug 2020

Dev Dependencies

None

Used by

None

Conflicts

None