Bitcoin no ejecuta programas, pero podría verificar razonamientos complejos off-chain y resolver disputas on-chain sin cambiar el protocolo.
Un ejemplo sencillo: una apuesta en ajedrez sin árbitros ni intermediarios.
BitVM explicado sin tecnicismos, si quieres saber más sobre el tema, publicación del artículo en
https://dinerosinreglas.com/bitvm
o en