Según Cointelegraph, un desarrollador de Bitcoin ha propuesto un nuevo método para llevar contratos inteligentes fuera de la cadena más expresivos a Bitcoin (BTC) sin necesidad de una bifurcación suave. En un documento técnico del 9 de octubre titulado 'BitVM: Compute Anything on Bitcoin' escrito por Robin Linus, líder del proyecto de ZeroSync, BitVM permite contratos de Bitcoin completos en Turing sin alterar las reglas de consenso de Bitcoin. En teoría, un sistema Turing Complete puede proporcionar una respuesta a cualquier problema computacional.
Con BitVM, la "lógica" de los contratos de Bitcoin se ejecutaría fuera de la cadena, pero la verificación se realizaría en Bitcoin, similar a los optimistas rollups de Ethereum. La arquitectura de BitVM se basa en pruebas de fraude y un modelo de desafío-respuesta donde un "probador" puede hacer afirmaciones y un "verificador" puede realizar una prueba de fraude para castigar al probador cuando se hacen afirmaciones falsas. Linus explicó que Bitcoin, en su forma actual, se limita a operaciones básicas, como firmas, bloqueos de tiempo y hashlocks, pero eso ahora se puede ampliar con BitVM, que según Linus puede calcular una serie de aplicaciones interesantes.
Linus dijo que una limitación del modelo es que se limita a una configuración bipartita con un probador y un verificador y que se necesita una cantidad significativa de cálculo y comunicación fuera de la cadena para ejecutar programas. Linus dijo que el próximo "hito" es implementar completamente BitVM además de Tree++, un lenguaje de programación de alto nivel para escribir y depurar contratos de Bitcoin. BitVM está habilitado por la bifurcación suave Taproot que tuvo lugar en noviembre de 2021.
