https://twitter.com/robin_linus/status/1786350024827322659 Andrew Poelstra, Director of Research at @blksresearch, wrote an excellent explainer on Lamport signatures, which are the key mechanism underlying BitVM.

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.

BITCOIN SCRIPT LAMPORT SIGNATURES BITVM AND EQUIVOCATION INTERLUDE: SMALL SCRIPT AND BIG SCRIPT INTERLUDE: WORMHOLES TRANSACTION TREES