Un desarrollador de Bitcoin propone contratos inteligentes fuera de cadena sin bifurcación suave
BitVM es un enfoque novedoso para desarrollar contratos inteligentes fuera de la cadena completos de Turing para Bitcoin, que son capaces de resolver cualquier problema computable. BitVM verifica la lógica del contrato en Bitcoin mediante pruebas y desafíos de fraude, sin alterar las regulaciones subyacentes del protocolo. Permite numerosas aplicaciones y amplía la funcionalidad de Bitcoin, pero BitVM requiere una gran cantidad de trabajo fuera de la cadena y solo funciona para dos partes. Además, Tree++ es un requisito del lenguaje de programación para BitVM, que se basa en la actualización de Taproot.

Según se informa, un desarrollador de Bitcoin propuso un nuevo método para incorporar contratos inteligentes fuera de la cadena más expresivos en Bitcoin (BTC) sin un cisma suave. BitVM, según un documento técnico publicado el 9 de octubre por el líder del proyecto ZeroSync, Robin Linus, y titulado "BitVM: Compute Anything on Bitcoin", facilita contratos de Bitcoin completos en Turing sin modificar las reglas de consenso de Bitcoin. En teoría, es posible que un sistema Turing Complete ofrezca una solución a cualquier problema computacional.
BitVM tiene como objetivo implementar la ejecución fuera de la cadena de la "lógica" del contrato de Bitcoin al tiempo que garantiza la fundamentación en la cadena de bloques de Bitcoin, similar a los resúmenes optimistas observados en Ethereum. Un modelo de desafío-respuesta y pruebas de fraude sustentan la arquitectura de BitVM, en la que un "probador" puede afirmar afirmaciones y un "verificador" puede ejecutar una prueba de fraude para penalizar al probador por hacer afirmaciones falsas. Según Linus, Bitcoin, tal como está actualmente, está restringido a operaciones fundamentales como hashlocks, timelocks y firmas. Sin embargo, esta limitación se puede ampliar con la incorporación de BitVM, que, en su opinión, es capaz de computar una variedad de aplicaciones interesantes.
Como afirma Linus, la funcionalidad del modelo está restringida a una configuración bipartita que comprende un probador y un verificador. Además, la ejecución del programa requiere una cantidad sustancial de computación y comunicación fuera de la cadena. Linus afirmó que el próximo "hito" será la implementación completa de BitVM y Tree++, un lenguaje de programación de alto nivel utilizado para el desarrollo y depuración de contratos de Bitcoin. La funcionalidad BitVM fue iniciada por la bifurcación suave Taproot en noviembre de 2021.
¡Reembolso de bonificación para ayudar a los inversores a crecer en el mundo del trading!