"Formal verification, this mathematical approach, this rigorousness, is a new standard for #Bitcoin - @Blockstream Research on Simplicity @Cody Ellingham | The Transformation of Value

A new standard for Bitcoin. • Clip by @orangemart • Listen on Fountain