Feb 10, 2021

Here's the paper of Cardano's provably secure PoS algorithm https://eprint.iacr.org/2016/889.pdf