El surgimiento de BitVM, una propuesta para implementar una máquina virtual en Bitcoin que permita ejecutar contratos y programas inteligentes, de alguna manera similar a la utilizada por Ethereum, despertó el interés de toda la comunidad de desarrolladores. Sin embargo, se está cuestionando su potencial para absorber o generar una red de proyectos que estén vinculados a la red principal (por ejemplo de altcoins), como es habitual entre los desarrolladores, que de esta forma obtienen comentario para mejorar el software que diseñan.

BitVM se puede definir como un sistema completo de Turing. Es decir, se trata de una máquina virtual universal (o VM por sus siglas en inglés), capaz de emular matemáticamente cualquier programa o sistema informático. En principio, BitVM es un puente entre Bitcoin y cualquier programa externo eso requiere correr en la cadena principal, según informó CriptoNoticias. En una palabra, Este protocolo verifica la validez de las solicitudes de programas informáticos que quieren ser compatibles con bitcóin.

La magia de todo esto radica en la capacidad del sistema para integrar programas externos en la cadena principal sin necesidad de realizar ningún cambio en el código fuente de Bitcoin. Por aquí, Podrás vincular redes de contratos inteligentes, oráculos predictivos, cadenas laterales, rollups y ejecutar códigos de otros programas experimentales sin intervenir en la configuración de la red principal.

Debido a su diseño, BitVM tiene el potencial de vincular y procesar grandes cantidades de datos prácticamente sin dejar huellas en la cadena principal y su archivo (o cadena de bloques).

Todas estas características parecen increíbles y, en conjunto, ofrecen una perspectiva sobre el futuro en el que el universo de las altcoins (o monedas alternativas) probablemente se transformará, ya que existiría la posibilidad de que estuvieran vinculadas al libro mayor de Bitcoin. Al respecto, los desarrolladores han hecho algunos juicios y argumentos preliminares, incluso comparando este sistema con la máquina virtual de Etereum.

¿Qué puedes hacer con BitVM y qué no?

De acuerdo a documento técnico o papel blanco desde BitVM, “Cualquier función computable se puede verificar en Bitcoin” con este sistema. Super Testnet, un desarrollador independiente de Bitcoin, que revisó el artículo, dicho:

Este es probablemente el descubrimiento más emocionante en la historia de la escritura Bitcoin. Parece derribar prácticamente todas las puertas y nos da acceso a los pactos. [convenios], cadenas laterales y potencias similares a Liquid o EVM, todo a la vez sin necesidad de bifurcaciones. No puedo esperar para publicar mi demostración.

Super Testnet, desarrollador independiente de Bitcoin

Aunque muchos desarrolladores insisten en que se puede ejecutar “cualquier cosa” con BitVM, El propio documento técnico indica que vincular cadenas laterales a Bitcoin a través de BitVM requiere más trabajo: “permite una funcionalidad para la que pensamos que necesitaríamos una bifurcación suave. Podría permitir cadenas laterales sin confianza, pero eso aún no está completamente resuelto”, escribe Super Testnet. Maxim Orlovsky, programador jefe de RGB, fósforo con la necesidad de una bifurcación suave si el protocolo se va a implementar para casos de uso prácticos y eso podría llevar varios años.

Para Sam Parker, CTO y cofundador de Blockchain Transition, Sería Es posible “eliminar todo tipo de servicios de custodia confiables o semiconfiables que requieran una versión de Bitcoin sin esto”. Y agrega: “Control de congestión/agregadores CoinJoin, quórumes de cadena lateral, ciertos tipos de oráculos DLC, todos pueden ir desde confiables/semiconfiables hasta 100% sin confianza. La falta de confianza en Bitcoin es tan fuerte como el eslabón más débil en la interacción que se realiza con él. Además, afirmó, La cadena de transmisión sería innecesaria con esto, un tema sobre el cual se ha discutido mucho durante las últimas semanas según informó CriptoNoticias.

Por su parte, Bob Bodily, CEO de Bioniq, concluye que “es probable que existan algunos casos de uso clave simples que podrían comenzar a aprovechar BitVM ahora mismo para reducir las suposiciones de confianza (oráculos DLC)”. Sin embargo, cree que BitVM no es mejor que EV Ethereum, porque requiere mayores recursos computacionales (y, por tanto, económicos) por parte de los servicios o cadenas que solicitan vincularse a Bitcoin a través de esta herramienta. Como te lo explicamos en nuestro artículo Anteriormente, el diseño de BitVM no requería cambios en Bitcoin y no consumía recursos de los nodos de la red, sino de programas externos.

Necesitamos una variedad de caminos diferentes para brindarnos capacidad de programación adicional en Bitcoin, por lo que aplaudo a cualquiera que trabaje en soluciones en esta área (incluido BitVM). Espero que muchos desarrolladores creen demostraciones realmente interesantes que resuelvan grandes problemas para las personas.

Bob Body, director ejecutivo de Bioniq.

Respecto a la posibilidad de utilizar BitVM para acumulaciones, Super Testnet dijo: “También permite grupos 1-N similares a las acumulaciones. Puede hacer que una parte central cobre una tarifa por realizar cálculos para un grupo. Todos en el grupo saben que el partido central no puede mentir o el grupo puede tomar y distribuir entre ellos un vínculo masivo.

El sistema bipartidista

Una de las características que llamó la atención de quienes analizaron el documento técnico de BitVM se relaciona con la arquitectura de dos partes del sistema. Esto significa que BitVM le permite verificar la solicitud de un evaluador, de modo que se pueda demostrar la veracidad de la información proporcionada. Algunos han comparado este sistema con el de Lightning Network: “BitVM es muy similar a Lightning Network en que (al menos en el documento) hay un requisito de firma múltiple 2:2”, escribió Bodily.

Dylan LeClair, director de inteligencia de mercado de UTXO Management, público: «Corríjanme si me equivoco: aunque técnicamente es muy diferente, es como LN en el sentido de que es una multifirma 2:2 donde se pueden construir TX/aplicaciones/contratos sobre Bitcoin, pero verificación y liquidación ocurren en la cadena. Entiendo que esto permitiría vinculaciones BTC sin confianza [peg-ins] (?)»

A lo que Parker respondió: “Permite básicamente cualquier cosa que desee habilitar, incluidas las conexiones sin confianza”. [peg-ins]. Es muy similar en espíritu a Lightning en ese sentido, sí. Creo que ejecutar este protocolo dentro de un canal Lightning será el verdadero juego de poder. “Sospecho que hay una manera de aprovechar las transacciones Lightning de una manera muy sinérgica”.

«Es compatible con un Estado global. “La Parte A puede probar declaraciones a la Parte B sobre un libro de contabilidad global como Bitcoin o una cadena lateral o incluso una cadena alternativa”, explicó Super Testnet. ¿Quién confía en que BitVM pueda funcionar para un estado global? algo que muchos cuestionan debido a la característica de “canales” que utiliza el sistema para conectar programas con Bitcoin.

Al respecto, Eric Wall, un desarrollador de Bitcoin que actualmente se enfoca en el protocolo Ordinals, preguntó lo siguiente: “¿Es correcto decir que hoy BitVM solo describe una forma mediante la cual un verificador puede robar un enlace de un probador dependiendo del resultado de un cálculo completo de Turing, pero en realidad no describe una arquitectura para conexiones/salidas? ¿Participantes externos? La respuesta a esta pregunta es sí, esto es exactamente lo que es BitVM en este momento.

Otra de las voces que sumo La discusión estuvo a cargo de Adam Back, director ejecutivo de Blockstream. “Para las personas que se emocionan (demasiado), esto es genial, pero en realidad es una generalización de un juego de dos partes – lo resume en pocas palabras – por lo que es un poco como el ejemplo de implementación de pagos contingentes ZKP de Greg Maxwell en 2016. En este sentido , Robin Linus, programador principal de ZeroSync y autor del documento técnico de BitVM, dicho: «Es estrictamente superior [que el ejemplo ZKP de 2016 de Greg Maxwell porque] en un ZKCP el tester tiene que conocer la solución de antemano”, algo que se indica en el desarrollo del documento.

¿Complejidad o simplicidad?

Una de las principales desventajas de BitVM es la complejidad. Se necesitan muchas firmas previas para que BitVM funcione y requiere grandes recursos computacionales, ancho de banda y, en última instancia, es más costoso. que, por ejemplo, la máquina virtual Ethereum.

Eric Wall señaló: “Tengo una aversión natural a los esquemas que requieren intercambios de transacciones prefirmadas muy grandes en una fase de configuración; No sé qué problemas pueden surgir de tales esquemas. “Los gastos generales y los permisos son los dos grandes problemas”.

Por cierto, Rijndael, desarrollador y ex ingeniero principal de AWS, comentó: “Parece que CTV reduciría la prefirma. “Sería fantástico construirlo con bitcoin actual y luego determinar cuánta interactividad podría eliminarse con CTV y si es bueno o imprescindible”. CTV es un tipo de pactos, específicamente Esta es la propuesta BIP-119 lo cual ha sido ampliamente debatido desde 2021 y genera controversia. En todo caso, Esta propuesta requiere un soft fork, algo sobre lo que no hay consenso entre los desarrolladores de Bitcoin.

Una de las principales preocupaciones de los desarrolladores está relacionada con la demanda computacional del sistema. Algunos, como Olaoluwa Osuntokun, CTO de Lightning Labs, señalaron la posibilidad de sobrecarga debido a la complejidad del esquema de verificación y archivo de la información. como explicamos en nuestro artículo anterior. “Quizás la sobrecarga sea manejable para tipos específicos de cálculo, como las pruebas zk [o de conocimiento cero]”Dijo el muro.

“Si BitVM funciona bien para verificar una prueba zk dentro de él, entonces eso es interesante: BitVM entonces cumpliría el papel de la capa zkwasm [que proporciona privacidad]», dijo Eric Wall.

Algunos desarrolladores han comentado que Muchas de las características que propone BitVM podrían solucionarse con un código operativo de Bitcoin, pero esa alternativa no nos permitiría tener una máquina virtual ahora mismo, porque requiere cambios en el código de Bitcoin y eso lleva tiempo. “Si la máquina virtual de Bitcoin era tan completa como Turing como la de Ethereum no era una cuestión de expresividad, sino simplemente una cuestión de tiempo de ejecución, siendo la limitación más estricta el límite de tamaño de la pila”. comentó Sam Parker.

Todo lo que BitVM hace es permitirnos dividir el tiempo de ejecución de alguna lógica que estaría fuera de los límites de una sola transacción ENTRE MÚLTIPLES TRANSACCIONES. Eso es todo. No estamos agregando ninguna característica semántica nueva, solo estamos aumentando exponencialmente la duración de los programas que podemos ejecutar.

Sam Parker, CTO y cofundador de Blockchain Transition.

En lo que parece haber consenso es en la posibilidad de que muchas transacciones sean requeridas para ejecutar programas externos compatibles con Bitcoin, a través de este protocolo. Puedes hacer de todo, o casi todo, pero a un precio elevado.