Tree-shaped programs like Miniscript are easy to read and analyze. Simplicity follows in these footsteps, enabling arbitrary computation using a tree, which can bring covenants, delegation, and more to Bitcoin.
Read the latest from #BlockstreamResearch:
From Miniscript to Simplicity
Bitcoins are managed by computer programs that unlock funds in exchange for a valid witness. These Bitcoin scripts encode spending conditions that define what is and what is not a valid witness. Every transaction rests on this mechanism. Making sure that this works means making sure that transactions work. How