Analysis of the Bitcoin Backbone Protocol

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...