Analysis of the Bitcoin Backbone Protocol - Podcast
Bryan DeHart
Narrator Lucy Wilson, Luke Bridges
Publisher: Loudly
Summary
This podcast formally analyzes Bitcoin's core protocol, identifying and testing fundamental properties such as the common prefix, chain quality, and chain growth. It demonstrates how these properties support protocols for Byzantine agreement and public transaction records. The analysis explores different models, including static and adaptive adversaries, and models with bounded communication delays. Finally, the implications of the results for Bitcoin's security and scalability are discussed, along with future research directions.
Duration: 15 minutes (00:15:29) Publishing date: 2024-12-11; Adapted; Copyright Year: 2024. Copyright Statment: —