README.md
A Provably Secure Proof-of-Stake Blockchain Protocol
This repository
This repository contains a Haskell implementation of the Provably Secure Proof-of-Stake white paper[1], done in conjunction with members ofIOHK, the University of Edinburgh, the University of Athens, and the University of Connecticut.
In the paper that lends its name to this project¹, a "Proof-of-Stake" protocol with rigorous security guarantees is described in detail, one upon which a full-fledged cryptocurrency can be based.
This repository is the first implementation of a cryptocurrency that uses the provably secure distributed consensus "proof-of-stake" model proposed in the aforementioned paper.
The paper was as closely followed as possible by the implementation's authors.
Introduction
This repository hosts the prototype implementation of "A Provably Secure Proof-of-Stake Blockchain Protocol", the latest version of which can be found in the IOHK website.
Where to start
Aside from reading the paper[1], a good starting point is the source code hosted herein. We recommend starting with the following source files:
Platform support
At the moment, the only supported platform is Linux. Mac OS X isn't
officially supported, but pos-haskell-prototype on Mac OS X has thus far
been ran and partially tested on Mac OS X.
Windows support is a milestone actively being worked on, and planned for the near future.
Installation
To build from source, clone this repository, navigate to the directory
into which the project was cloned and run stack build.
The stack system is
required before pos-haskell-prototype can be built.
Benchmarking
Pending
Contributing
Pending
References
[1]: A. Kiayias, I. Konstantinou, A. Russell, B. David, R. Oliynykov, "A Provably Secure Proof-of-Stake Blockchain Protocol"