Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol
Analysis of the Blockchain Protocol in Asynchronous Networks