Según CoinDesk, un artículo de investigación publicado esta semana describió un nuevo paradigma llamado BitVM, que tiene como objetivo llevar contratos inteligentes al estilo Ethereum a la red Bitcoin. El artículo fue escrito por Robin Linus, colaborador principal de ZeroSync, un proyecto que desarrolla herramientas para utilizar pruebas de conocimiento cero en Bitcoin. El objetivo de BitVM es permitir contratos Bitcoin completos de Turing sin complicar la red para otros usuarios. Los cálculos se realizarían fuera de la cadena y luego se verificarían en la cadena, similar a la mecánica de los resúmenes optimistas en Ethereum.
El protocolo involucra dos partes: un 'probador' y un 'verificador'. El demostrador afirma que una función específica produce una salida particular cuando se le dan ciertas entradas. Prefirman una secuencia de transacciones, lo que permite un juego de desafío-respuesta entre ambos. Luego realizan depósitos en la cadena a una dirección de Bitcoin, activan el contrato y comienzan a intercambiar datos fuera de la cadena, y el verificador puede tomar el depósito del probador si se realiza algún reclamo incorrecto. Esto debería significar que los atacantes siempre pierden sus depósitos, escribió Linus.
Sin embargo, la propuesta de BitVM ha recibido respuestas mixtas, y algunos comentaristas señalaron sus limitaciones. El escritor seudónimo de bitcoin, Shinobi, señaló que el costo de la gestión de datos fuera de la cadena es "enorme", y el protocolo que solo involucra a dos partes, el probador y el verificador, también es una "gran limitación". Bob Bodily, director ejecutivo del mercado de Ordinals Bioniq, comparó BitVM con una versión limitada muy temprana de la máquina virtual Ethereum (EVM), pero también reconoció que es un avance sorprendente con problemas solucionables. "Durante los próximos meses espero que muchos de estos agujeros se llenen, momento en el cual tendremos un script de Bitcoin más capaz sin una actualización de Bitcoin", dijo.
Los esfuerzos para implementar capacidades de contratos inteligentes en la red Bitcoin no son nuevos. Los desarrolladores han estado tratando de encontrar formas de sortear las limitaciones de la red debido a su lenguaje de programación más simple en comparación con cadenas de bloques como Ethereum o Solana. En diciembre del año pasado, el proyecto blockchain Stacks publicó un documento técnico que presentaba sus activos digitales 'Stacks bitcoin' (sBTC), presentado como una forma de llevar contratos inteligentes a Bitcoin.
