Provably-Secure Proof-of-Stake Blockchains - From Bitcoin to Ouroboros

Explore the groundbreaking Ouroboros blockchain protocols in this seminar by Alex Russell from the University of Connecticut. Delve into the world of proof-of-stake mechanisms as an energy-efficient alternative to Bitcoin's proof-of-work system. Gain insights into the analytic challenges of proof-of-stake and learn how Ouroboros provides provable security in this setting. Discover the protocol's deployment in the Cardano/ADA cryptocurrency and its connections to coupled Markov chains, combinatorics, and the UC-model of protocol security. Examine the Bitcoin system, understand the double spending attack, and compare proof-of-work and proof-of-stake approaches. Investigate the Ouroboros protocol's structure, including epochs, block structure, and stake protocols, while considering adversarial scenarios.

Introduction
IOHK
Agenda
Ouroboros
Original
Problem
Blockchain
Proofofwork
Bitcoin Protocol
Incentives
Double Spending Attack
Immutable Consensus
Proof of Stake
Proof of Work
Protocols
Blockchain Ledger
The Challenge
Ouroboros Protocol
Epoques
friendliest setting
Block structure
Statustake Protocol
adversarial slot owners