Publicado el documento técnico de BitVM, ¿qué piensan los desarrolladores senior sobre la visión de "computar cualquier cosa en Bitcoin"?

Escrito por: Jaleel, BlockBeats

Anoche, el líder del proyecto ZeroSync publicó un documento técnico titulado “BitVM: Compute Anything on Bitcoin” que provocó una acalorada discusión.

Como se puede ver en este documento técnico revisado por Super Testnet y Sam Parker, BitVM es un nuevo paradigma informático diseñado por Robin Linus en Zero Sync, que integra Optimistic Roll Up, Fraud Proof, Taproot Leaf y Bitcoin.

BitVM permite la expresión de contratos Bitcoin completos de Turing sin cambiar las reglas de consenso de la red Bitcoin, y puede ejecutar cualquier función computable para cálculos fuera de línea sin dejar ningún rastro en la cadena. El documento técnico también presenta la arquitectura, la entrada y salida, las limitaciones y las perspectivas de BitVM.

El documento técnico alcanzó 110.000 visitas en solo una hora después de su publicación. En el momento de escribir este artículo, el número de visitas ha alcanzado 1,82 millones. Las discusiones en la comunidad inglesa son extremadamente acaloradas y se ha convertido en uno de los mayores puntos calientes. en el círculo del cifrado en los últimos tiempos. KOL @LeonidasNFT pensó que se trataba de una innovación emocionante, por lo que grabó el papel de BitVM en la inscripción de Bitcoin, haciéndolo existir para siempre de una manera más nativa.

¿Qué piensan los desarrolladores de Bitcoin?

El ecosistema de Bitcoin está particularmente animado este año. El mercado de Ordinals ha generado muchas narrativas de expansión de Bitcoin, y los desarrolladores de Bitcoin también están muy animados.

Actualmente centrado en el mercado y la plataforma de lanzamiento de Ordinals, el director ejecutivo de BioniqMarket, @BobBodily, ha estado creando herramientas para ayudar a los desarrolladores a aprovechar Bitcoin. Dijo en sus redes sociales: “BitVM no es una solución única. BitVM no es tan bueno como EVM, es más lento, más caro y complejo. La principal ventaja de BitVM es que ahora podemos obtener seguridad adicional en Bitcoin. . Programable sin actualizaciones. No se requieren nuevos códigos de operación. No se requieren bifurcaciones suaves. Funciona ahora”.

Al mismo tiempo, BobBodily también dijo: “Los casos de uso potenciales que son fáciles de implementar con BitVM incluyen la descentralización de partes de varias aplicaciones que actualmente dependen de servicios centralizados, incluidos oráculos DLC, control de congestión/agregadores de combinación de monedas y quórum de cadena lateral. Además, BitVM no resuelve el problema de los puentes sin confianza de las cadenas laterales, que pueden requerir contratos. BitVM es estrictamente superior al ejemplo de pagos condicionales ZKP de Greg Maxwell de 2016. BitVM es muy complejo y difícil de entender e implementar. Actualizar Bitcoin con un op_code puede lograr lo mismo.”

Bitcoin no requiere ningún cambio

El investigador relacionado Sam Parker ve el potencial que ofrece BitVM para permitir más capacidades de programación sin modificar el protocolo Bitcoin, y cómo esta capacidad puede ayudar a descentralizar y eliminar la necesidad de terceros confiables. Al mismo tiempo, también mencionó que esta es una característica opcional, y que la comunidad y los usuarios de Bitcoin pueden elegir si usar esta característica y cómo.

En un largo tweet, Sam Parker escribió: "Una vez más, Bitcoin ahora está completo como cualquier otra cadena, y esto no requiere ningún cambio en Bitcoin. Actualmente, algunos maximalistas de Bitcoin son " Algunas de las opiniones clásicas en “Guiding the Country” son: Turing completo = malo Creo que esto parece estúpido. Primero, dado que la definición técnica de la completitud de Turing en realidad requiere un tiempo de ejecución infinito, nada será realmente completo de Turing en nuestra realidad porque no tenemos espacio y tiempo infinitos para acomodar esto. "

Con respecto al contenido del documento técnico de BitVM, Sam Parker dijo: "En el proceso, un pequeño grupo de hackers de scripts, como @robin_linus y @super_testnet, han descubierto cómo programar todas las funciones que queremos de un Hay maneras de aprovechar el conjunto extremadamente limitado de códigos operativos de Bitcoin, por lo que lo único que impide que la máquina virtual (VM) de Bitcoin sea completa en Turing como Ethereum no es una cuestión de expresividad, sino simplemente una cuestión de tiempo de ejecución, donde la limitación más severa es el límite de tamaño de la pila.

Todo lo que BitVM hace es permitirnos distribuir el tiempo de ejecución de alguna lógica, más allá del alcance de una sola transacción, entre múltiples transacciones. eso es todo. No agregamos ninguna característica semántica nueva, simplemente aumentamos exponencialmente la duración de los programas que podíamos ejecutar. Entonces, por definición técnica, Bitcoin no es en realidad más completo de Turing que antes, solo está dotado de programas que podemos decir razonablemente que son “suficientemente completos de Turing para cualquier programa que realmente queramos ejecutar”.

Esto es voluntario, si no confía en que sus monedas estén bloqueadas en un contrato completo de Turing (lo cual es perfectamente razonable), entonces no las bloquee en un contrato inteligente completo de Turing. Una ventaja del sistema UTXO es la zona de pruebas de seguridad. Si la gente cree firmemente que Bitcoin no debería tener esta característica, tal vez debido a incentivos o algo así, entonces debería ser un tema que valga la pena discutir, pero básicamente requeriría deshacerse de Taproot, que parece bastante estúpido en este momento. ”, escribió Sam Parker.

“BitVM me emociona cautelosamente”

Como gran defensor de Drivechains, otro protocolo de extensión de Bitcoin, Eric Wall, fundador de Simp DAO e investigador senior de criptografía, fue invitado por miembros de la comunidad a expresar sus puntos de vista sobre BitVM. Eric Wall dijo: “Acabo de terminar de leer este documento técnico y todos los Los conceptos están bien para mí. Naturalmente, no estoy interesado en soluciones que requieran una gran cantidad de intercambios de transacciones prefirmadas durante la fase de configuración; no sé qué problemas podría crear dicha solución. y el permiso (permiso) son dos grandes cuestiones.”

Por ahora, sigue cautelosamente entusiasmado con BitVM, esperando ver qué traerán los experimentos reales. Tal vez exista una solución elegante y trivial al límite bilateral de este esquema, tal vez no. Quizás para ciertos tipos de cálculos, como las pruebas de zk, la sobrecarga sea manejable. Sería interesante si BitVM funcionara bien para verificar las pruebas de zk: BitVM actuaría como la capa zkwasm que discutió anteriormente.

“Como nota al margen, tengo curiosidad por saber qué sucederá cuando la gente se dé cuenta de que el modelo de ataque es bastante similar al de Drivechains. Los mineros pueden robar todo el saldo de BitVM al confabularse con el probador y censurar el desafío, que es probablemente el caso. dura menos tiempo que en la cadena de transmisión”, escribió Eric Wall.

Al permitir que los contratos completos de Turing se expresen en la red Bitcoin sin dejar un rastro en la cadena, BitVM proporciona una forma completamente nueva de explorar cálculos complejos de blockchain mientras mantiene los principios y la seguridad de la red Bitcoin. Esto también permite que Bitcoin adopte una gama más amplia de casos de uso y posibilidades innovadoras sin modificar directamente su protocolo central.

No se puede ignorar que BitVM ha desencadenado muchos debates en profundidad sobre el diseño y la evolución de Bitcoin. Cómo se implementará y funcionará en la red Bitcoin en el futuro será un viaje de exploración tecnológica extremadamente fascinante. Esto también plantea una pregunta crítica: ¿estamos listos para expandir Bitcoin desde una moneda digital utilizada principalmente para almacenar valor y transacciones a una plataforma global que pueda realizar cálculos más amplios y complejos? Esto también nos lleva a pensar más profundamente sobre la forma futura que queremos para Bitcoin: ¿Debería Bitcoin agregar más programabilidad “nativa” o debería seguir siendo simple, seguro e inmutable?

Contenido de referencia

1.Informe técnico de BitVM