Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol
Cryptocurrencies without Proof of Work