BitVM: Any arbitrary computation can now be verified on Bitcoin, with no softfork necessary, in a challenge-response based protocol that can be enforced on-chain. https://bitcoinmagazine.com/technical/the-big-deal-with-bitvm-arbitrary-computation-now-possible-on-bitcoin-without-a-fork