How covenants can be built on Bitcoin today with no softforks (for an outrageously expensive set up price) using hash collisions. By Andrew Poelstra from Blockstream.
A breakdown by Andrew Poelstra on how Lamport Signatures, a hash based signature scheme, can be used to create a global state that any Bitcoin transaction can reference to settle smart contracts.