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.
It is recommended to start by reading the documentation, which is available here. Its repository is here. Developers are encouraged to contribute.
At the moment, supported platforms are Windows, macOS and Linux. There are installers for Windows and macOS, which include a node and a wallet.
To build from source, please refer to this page of the documentation.
Note that the stack system is
required before cardano-sl can be built.
For developer convenience, also note that in the scripts and util-scripts folders
there are a variety of utility scripts to build various components of the system,
such as the general util-scripts/build.sh, or the util-scripts/clean.sh to remove
byproducts of compilation.
If you wish to launch and run nodes locally please refer to this page of the documentation.
Build the project and run stack exec --nix -- cardano-wallet-web-docs. Look at the generated:
./docs/wallet-web-api.md./docs/wallet-table-web-api.md
Pending
This project uses
universumas default prelude
Pending
[1]: A. Kiayias, I. Konstantinou, A. Russell, B. David, R. Oliynykov, "A Provably Secure Proof-of-Stake Blockchain Protocol"