pos cryptocurrency prototype
Haskell JavaScript PureScript Other
Failed to load latest commit information.
bench [CSL-519] Move LRC logic into Pos.Lrc Jan 9, 2017
daedalus daedalus: support Windows Jan 16, 2017
installers Cosmetics Dec 23, 2016
scripts Merge branch 'master' into wallet-stable Jan 15, 2017
secrets [CSL-566] Binary data for testing production mode Jan 14, 2017
src Move NumSoftwareVersion from Pos.DB to Pos.Types.Version Jan 16, 2017
test Merge branch 'master' into feature/csl522-pay-us Jan 16, 2017
.gitignore Bump .gitignore Jan 15, 2017
.travis.yml Make travis send notifications only on status change Jan 10, 2017
LICENSE Adds to README, adds licence and README to cabal file Nov 29, 2016
README.md Rollback AppVeyor badge Jan 16, 2017
Setup.hs Cosmetics Dec 23, 2016
appveyor.yml Enable appveyor notifications on state change only Jan 10, 2017
cardano-sl.cabal Merge branch 'master' into feature/csl522-pay-us Jan 16, 2017
constants-dev.yaml Bump genesisN of dev constants Jan 15, 2017
constants-prod.yaml Merge branch 'cardano-sl-0.1' Jan 15, 2017
constants-wallet-prod.yaml [CSL-597] Add constants-wallet-prod Jan 16, 2017
constants.production.yaml [] Final preparations for testnet launch Jan 15, 2017
genesis.bin Update genesis.bin file to contain testnet stakes Jan 15, 2017
log-config-prod.yaml Add log config for prod Jan 15, 2017
logs.yaml [] Final preparations for testnet launch Jan 15, 2017
shell.nix [CSL-566] Production mode data is complete Jan 14, 2017
stack.yaml stack.yaml: bump rocksdb for Windows support Jan 16, 2017


A Provably Secure Proof-of-Stake Blockchain Protocol

Build Status Windows build status Release

This repository

This repository contains a Haskell implementation of the Provably Secure Proof-of-Stake white paper[1], done in conjunction with members of IOHK, 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.


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.


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.






[1]: A. Kiayias, I. Konstantinou, A. Russell, B. David, R. Oliynykov, "A Provably Secure Proof-of-Stake Blockchain Protocol"