In this talk, Dr. Bernardo David introduces Ouroboros, the first blockchain protocol based on Proof-of-Stake with rigorous security guarantees. Ouroboros is currently used by the Cardano project blockchain.
Bernardo also walks us through the Ouroboros Praos protocol, which improves on the efficiency of Ouroboros and is scheduled to be deployed in the next versions of the Cardano project. He will highlight the main techniques developed in the process of designing these protocols, which find applications in the design and security analysis of other PoS protocols.