Achieving Predictability and Safety in Bitcoin Programming

This chapter highlights the significance of formal safety guarantees in Bitcoin development, focusing on the need for reliable systems to prevent malfunctions. The discussion includes the development of the Simplicity programming model, which aims to combine expressive power with user-friendly transaction validation.

Transcript

Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app