Escrito por Bob Bodily; CEO de Bioniq Market; Traducción: Golden Finance Cryptonaitive
BitVM es un nuevo paradigma informático optimista de rollup + prueba de fraude + Taproot Leaf + Bitcoin Script diseñado por Robin Linus de ZeroSync. En la mañana del 9 de octubre, publicaron un excelente libro blanco que fue revisado por Super Testnet y Sam Parker (el artículo ya ha sido visto 1,5 millones de veces).
Demasiado largo para leer:
BitVM no es una panacea para resolver problemas
BitVM no es tan bueno como EVM, BitVM es más lento, más caro y más complejo
El beneficio principal de BitVM es que obtenemos inmediatamente una programabilidad adicional en Bitcoin sin necesidad de actualizaciones. No se requieren nuevos códigos de operación. No se requiere bifurcación suave. Ya está listo para usar.
Los posibles casos de uso simples incluyen partes de aplicaciones descentralizadas que actualmente dependen de servicios centralizados (oráculos para DLC, agregadores de control de congestión/coinjoin, calificaciones de cadenas laterales)
5, BitVM no resuelve el problema de puente sin confianza de las cadenas laterales (es posible que se requiera un contrato: Covenant)
Sí, BitVM es definitivamente mejor que el ejemplo de pago condicional ZKP 2016 de Greg Maxwell
BitVM es muy complejo y difícil de entender e implementar. Actualizar Bitcoin con un código de operación puede lograr el mismo efecto.
Excavación técnica
Ahora profundicemos en el aspecto técnico de las cosas. En mis discusiones, cito en gran medida a otras personas porque es la forma más segura de mantenerse fiel a lo que dicen y evitar citas falsas.
El propósito de BitVM es que "cualquier función computable pueda ser verificada en Bitcoin". —Notas del producto de BitVM
Esto significa que "Bitcoin es ahora Turing-completo como cualquier otra cadena, y esto no requiere ningún cambio en Bitcoin". ——Sam Parker
Hay algunas limitaciones (de las que hablaremos más adelante), pero básicamente esto significa que siempre y cuando:
(1) Hay fondos suficientes para pagar los cálculos/pruebas fuera de la cadena,
(2) También hay suficiente ancho de banda para recibir y enviar los datos necesarios (posiblemente cientos de megabytes)
(3) puede ejecutar el número requerido de transacciones de bitcoin,
Luego puedes calcular lo que quieras.
"Lo único que hace BitVM es permitirnos dividir ciertos tiempos de ejecución lógicos del alcance de una sola transacción en múltiples transacciones. Es todo. ——Sam Parker
Por lo tanto, puede llevar mucho tiempo. Puede ser muy caro. Puede tomar cientos de transacciones. Pero puedes hacer lo que quieras.
El propio Sam reiteró: "Por lo tanto, ** técnicamente Bitcoin no se ha vuelto más Turing-completo que antes, solo podemos decir razonablemente que es lo suficientemente 'Turing-completo' para cualquier programa que realmente queramos ejecutar". **"
Una de las principales ventajas es que no se requieren actualizaciones. Puedes hacer todo esto ahora mismo.
Y si no quieres usarlo, también puedes optar por no hacerlo: "Esto es opcional. Si no confías en el bloqueo de bitcoins a algún contrato inteligente completo de Turing (perfectamente razonable), no los bloquees a un contrato inteligente completo de Turing. "——Sam Parker
Dado que puede estar sujeto a algunas limitaciones computacionales, creo que es probable que el resultado mínimo para BitVM reemplace el servicio centralizado "Bitcoin Edge" que muchas personas usan actualmente.
Por ejemplo, podemos "deshacernos de todos los servicios de alojamiento de confianza o semi-confianza que necesitamos en este momento". Los agregadores de control de congestión/coinjoin, los quórums de cadena lateral y ciertos tipos de oráculos DLC pueden pasar de ser confiables/semiconfiables a 100% confiables. La falta de confianza de Bitcoin es tan fuerte como el eslabón más débil en el enlace con el que interactúas. " - Sam Parker
Ahora veamos lo que Eric Wall tiene que decir al respecto:
"Acabo de leer el libro blanco y todos los conceptos son correctos para mí. Tengo una aversión natural a los escenarios que requieren transacciones prefirmadas muy grandes durante la fase de establecimiento. No sé qué problemas pueden surgir con tales escenarios. La sobrecarga y los permisos son dos problemas importantes.
Por ahora, estoy cautelosamente emocionado por ver qué resultados producirá el experimento en el mundo real. Tal vez haya soluciones elegantes y sutiles que aborden tanto las limitaciones de este esquema, como las que no. Tal vez la sobrecarga sea manejable para un tipo particular de cálculo, como las pruebas de conocimiento cero.
Sería interesante si BitVM verificara que la capa zkwasm funciona bien en ella: BitVM cumpliría el papel de la capa zkwasm que mencioné anteriormente. "
Luego continuó diciendo lo que probablemente sea el resumen más sucinto de BitVM:
"BitVM solo describe la forma en que un validador puede robar un margen de un probador basado en los resultados de los cálculos completos de Turing, pero no describe realmente la arquitectura de entrada/salida para participantes externos, lo que puede ser correcto".
Sí, BitVM es solo eso.
Adam Back se une con un comentario más crítico (con muchos puntos): "Es genial para las personas que se emocionan (excesivamente), pero en realidad es solo una generalización de un juego bidireccional, mencionado explícitamente en abstracto, por lo que es un poco como el ejemplo de Greg Maxwell de 2016 de la implementación del pago condicional de ZKP". "
Aparte del hecho de que Adam no se dio cuenta de parte del libro blanco, este BitVM es en realidad mejor que el ejemplo de ZKP de 2016 de Greg Maxwell. Citando a Robin: "Es absolutamente superior en ZKCP [en comparación con el ejemplo de ZKP de 2016 de Greg Maxwell], porque en ZKCP, el probador debe conocer la solución de antemano". "
Super Testnet, uno de los revisores del artículo, ofreció su opinión: "Este es probablemente el descubrimiento más emocionante en la historia de Bitcoin Script. Parece resolver casi todos los problemas y nos da acceso a Covenants, cadenas laterales y funciones como Liquid o EVM sin bifurcaciones. No puedo esperar para lanzar mi demo. "
En respuesta a la pregunta de Eric Wall sobre la configuración del esquema 1-to-N, Super Testnet publicó lo siguiente: "También es compatible con el esquema 1-N, similar a los rollups. Puede hacer que una parte central reciba tarifas para realizar cálculos para un grupo. Todos en el grupo saben que el partido central no puede mentir, de lo contrario el grupo puede obtener un gran margen y dividirlo entre sus miembros. "
Uno de los principales inconvenientes de BitVM es la complejidad. ** Para que BitVM funcione, se requiere una gran cantidad de firmas previas.
Rijndael comentó: "Parece que CTV reducirá las prefirmas. Sería una gran solución construir con el Bitcoin actual, y luego averiguar cuánta interactividad se puede reducir con CTV, y si esto es algo bueno o una necesidad. "
Si aún no lo sabes, CTV = BIP-119 = Simple Covenant. Por lo tanto, si actualizamos Bitcoin para habilitar CTV, BitVM será mucho mejor y más eficiente. **
Post Capone agregó su propia perspectiva al discutir la positividad actual dentro del ecosistema de Bitcoin: "BitVM ha generado comentarios positivos netos de 8 facciones diferentes dentro de Bitcoin, que generalmente se denigran entre sí hasta el punto de la destrucción. Gran cosa, hombre. Se transmiten muchos análisis/comentarios en un corto período de tiempo, lo cual es genial. Ordinals fue un momento mágico. Se siente como si estuviera lo suficientemente motivado como para hacer un esfuerzo adicional. Estamos todos juntos para que sea operativo. "
BitVM es muy similar a Lightning Network, con al menos un requisito multifirma 2:2 en el documento.
Dylan LeClair comentó: "Corrígeme si me equivoco: aunque técnicamente es muy diferente, es como LN en el sentido de que es un multisig 2:2 en el que las TX / aplicaciones / contratos se pueden construir en Bitcoin, pero la verificación y la liquidación se llevan a cabo en la cadena. Según tengo entendido, esto permitiría conexiones de BTC sin confianza (?) ）"。
Sam respondió: "Puede hacer lo que quieras, incluso las conexiones sin confianza". En este sentido, es muy similar a la Lightning Network. Creo que ejecutar este protocolo dentro de Lightning Channel sería un verdadero movimiento estratégico. Sospecho que hay una manera de aprovechar las transacciones de Lightning's Justice de una manera muy sinérgica. "
Había dudas de que BitVM pudiera admitir el estado global, ya que la descripción en el artículo es similar a un canal de estado, pero Super Testnet respondió: "Admite el estado global". La parte A puede probar a la parte B declaraciones sobre el libro mayor global (como Bitcoin o cadenas laterales o incluso otras cadenas). "
En general, BitVM "hace que los contratos de Bitcoin sean más expresivos". En particular, hace posibles características que originalmente pensamos que necesitaban una bifurcación suave. Podría implementar cadenas laterales sin confianza, pero eso aún no está resuelto del todo. "——Súper red de prueba
Rijndale respondió que es posible que aún necesitemos convenios para implementar cadenas laterales sin confianza: "BitVM le permite gastar todas las cantidades de UTXO que contienen contratos inteligentes. En el caso de las cadenas laterales sin confianza, tenemos que ser capaces de gastar la parte del UTXO que contiene el contrato inteligente. "
Mi opinión
Otro libro blanco, otra ronda de podcasts. BitVM es muy interesante, pero todavía está en fase de investigación y aún quedan muchas preguntas por explorar, por lo que queda por determinar cuántos problemas podrá resolver BitVM.
Puede haber algunos casos de uso clave simples para comenzar a aprovechar BitVM de inmediato para reducir las suposiciones de confianza (por ejemplo, oráculos DLC).
Necesitamos una variedad de formas diferentes de proporcionar más programabilidad para Bitcoin, por lo que aplaudo a cualquiera que trabaje en este espacio (incluido BitVM). Espero que haya muchos desarrolladores que lo usen para crear demostraciones realmente geniales que resuelvan los problemas importantes de la gente.
Ver originales
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
Todo lo que necesitas saber sobre BitVM
Escrito por Bob Bodily; CEO de Bioniq Market; Traducción: Golden Finance Cryptonaitive
BitVM es un nuevo paradigma informático optimista de rollup + prueba de fraude + Taproot Leaf + Bitcoin Script diseñado por Robin Linus de ZeroSync. En la mañana del 9 de octubre, publicaron un excelente libro blanco que fue revisado por Super Testnet y Sam Parker (el artículo ya ha sido visto 1,5 millones de veces).
Demasiado largo para leer:
BitVM no es una panacea para resolver problemas
BitVM no es tan bueno como EVM, BitVM es más lento, más caro y más complejo
El beneficio principal de BitVM es que obtenemos inmediatamente una programabilidad adicional en Bitcoin sin necesidad de actualizaciones. No se requieren nuevos códigos de operación. No se requiere bifurcación suave. Ya está listo para usar.
Los posibles casos de uso simples incluyen partes de aplicaciones descentralizadas que actualmente dependen de servicios centralizados (oráculos para DLC, agregadores de control de congestión/coinjoin, calificaciones de cadenas laterales)
5, BitVM no resuelve el problema de puente sin confianza de las cadenas laterales (es posible que se requiera un contrato: Covenant)
Excavación técnica
Ahora profundicemos en el aspecto técnico de las cosas. En mis discusiones, cito en gran medida a otras personas porque es la forma más segura de mantenerse fiel a lo que dicen y evitar citas falsas.
El propósito de BitVM es que "cualquier función computable pueda ser verificada en Bitcoin". —Notas del producto de BitVM
Esto significa que "Bitcoin es ahora Turing-completo como cualquier otra cadena, y esto no requiere ningún cambio en Bitcoin". ——Sam Parker
Hay algunas limitaciones (de las que hablaremos más adelante), pero básicamente esto significa que siempre y cuando:
(1) Hay fondos suficientes para pagar los cálculos/pruebas fuera de la cadena,
(2) También hay suficiente ancho de banda para recibir y enviar los datos necesarios (posiblemente cientos de megabytes)
(3) puede ejecutar el número requerido de transacciones de bitcoin,
Luego puedes calcular lo que quieras.
"Lo único que hace BitVM es permitirnos dividir ciertos tiempos de ejecución lógicos del alcance de una sola transacción en múltiples transacciones. Es todo. ——Sam Parker
Por lo tanto, puede llevar mucho tiempo. Puede ser muy caro. Puede tomar cientos de transacciones. Pero puedes hacer lo que quieras.
El propio Sam reiteró: "Por lo tanto, ** técnicamente Bitcoin no se ha vuelto más Turing-completo que antes, solo podemos decir razonablemente que es lo suficientemente 'Turing-completo' para cualquier programa que realmente queramos ejecutar". **"
Una de las principales ventajas es que no se requieren actualizaciones. Puedes hacer todo esto ahora mismo.
Y si no quieres usarlo, también puedes optar por no hacerlo: "Esto es opcional. Si no confías en el bloqueo de bitcoins a algún contrato inteligente completo de Turing (perfectamente razonable), no los bloquees a un contrato inteligente completo de Turing. "——Sam Parker
Dado que puede estar sujeto a algunas limitaciones computacionales, creo que es probable que el resultado mínimo para BitVM reemplace el servicio centralizado "Bitcoin Edge" que muchas personas usan actualmente.
Por ejemplo, podemos "deshacernos de todos los servicios de alojamiento de confianza o semi-confianza que necesitamos en este momento". Los agregadores de control de congestión/coinjoin, los quórums de cadena lateral y ciertos tipos de oráculos DLC pueden pasar de ser confiables/semiconfiables a 100% confiables. La falta de confianza de Bitcoin es tan fuerte como el eslabón más débil en el enlace con el que interactúas. " - Sam Parker
Ahora veamos lo que Eric Wall tiene que decir al respecto:
Luego continuó diciendo lo que probablemente sea el resumen más sucinto de BitVM:
"BitVM solo describe la forma en que un validador puede robar un margen de un probador basado en los resultados de los cálculos completos de Turing, pero no describe realmente la arquitectura de entrada/salida para participantes externos, lo que puede ser correcto".
Sí, BitVM es solo eso.
Adam Back se une con un comentario más crítico (con muchos puntos): "Es genial para las personas que se emocionan (excesivamente), pero en realidad es solo una generalización de un juego bidireccional, mencionado explícitamente en abstracto, por lo que es un poco como el ejemplo de Greg Maxwell de 2016 de la implementación del pago condicional de ZKP". "
Aparte del hecho de que Adam no se dio cuenta de parte del libro blanco, este BitVM es en realidad mejor que el ejemplo de ZKP de 2016 de Greg Maxwell. Citando a Robin: "Es absolutamente superior en ZKCP [en comparación con el ejemplo de ZKP de 2016 de Greg Maxwell], porque en ZKCP, el probador debe conocer la solución de antemano". "
Super Testnet, uno de los revisores del artículo, ofreció su opinión: "Este es probablemente el descubrimiento más emocionante en la historia de Bitcoin Script. Parece resolver casi todos los problemas y nos da acceso a Covenants, cadenas laterales y funciones como Liquid o EVM sin bifurcaciones. No puedo esperar para lanzar mi demo. "
En respuesta a la pregunta de Eric Wall sobre la configuración del esquema 1-to-N, Super Testnet publicó lo siguiente: "También es compatible con el esquema 1-N, similar a los rollups. Puede hacer que una parte central reciba tarifas para realizar cálculos para un grupo. Todos en el grupo saben que el partido central no puede mentir, de lo contrario el grupo puede obtener un gran margen y dividirlo entre sus miembros. "
Uno de los principales inconvenientes de BitVM es la complejidad. ** Para que BitVM funcione, se requiere una gran cantidad de firmas previas.
Rijndael comentó: "Parece que CTV reducirá las prefirmas. Sería una gran solución construir con el Bitcoin actual, y luego averiguar cuánta interactividad se puede reducir con CTV, y si esto es algo bueno o una necesidad. "
Si aún no lo sabes, CTV = BIP-119 = Simple Covenant. Por lo tanto, si actualizamos Bitcoin para habilitar CTV, BitVM será mucho mejor y más eficiente. **
Post Capone agregó su propia perspectiva al discutir la positividad actual dentro del ecosistema de Bitcoin: "BitVM ha generado comentarios positivos netos de 8 facciones diferentes dentro de Bitcoin, que generalmente se denigran entre sí hasta el punto de la destrucción. Gran cosa, hombre. Se transmiten muchos análisis/comentarios en un corto período de tiempo, lo cual es genial. Ordinals fue un momento mágico. Se siente como si estuviera lo suficientemente motivado como para hacer un esfuerzo adicional. Estamos todos juntos para que sea operativo. "
BitVM es muy similar a Lightning Network, con al menos un requisito multifirma 2:2 en el documento.
Dylan LeClair comentó: "Corrígeme si me equivoco: aunque técnicamente es muy diferente, es como LN en el sentido de que es un multisig 2:2 en el que las TX / aplicaciones / contratos se pueden construir en Bitcoin, pero la verificación y la liquidación se llevan a cabo en la cadena. Según tengo entendido, esto permitiría conexiones de BTC sin confianza (?) ）"。
Sam respondió: "Puede hacer lo que quieras, incluso las conexiones sin confianza". En este sentido, es muy similar a la Lightning Network. Creo que ejecutar este protocolo dentro de Lightning Channel sería un verdadero movimiento estratégico. Sospecho que hay una manera de aprovechar las transacciones de Lightning's Justice de una manera muy sinérgica. "
Había dudas de que BitVM pudiera admitir el estado global, ya que la descripción en el artículo es similar a un canal de estado, pero Super Testnet respondió: "Admite el estado global". La parte A puede probar a la parte B declaraciones sobre el libro mayor global (como Bitcoin o cadenas laterales o incluso otras cadenas). "
En general, BitVM "hace que los contratos de Bitcoin sean más expresivos". En particular, hace posibles características que originalmente pensamos que necesitaban una bifurcación suave. Podría implementar cadenas laterales sin confianza, pero eso aún no está resuelto del todo. "——Súper red de prueba
Rijndale respondió que es posible que aún necesitemos convenios para implementar cadenas laterales sin confianza: "BitVM le permite gastar todas las cantidades de UTXO que contienen contratos inteligentes. En el caso de las cadenas laterales sin confianza, tenemos que ser capaces de gastar la parte del UTXO que contiene el contrato inteligente. "
Mi opinión
Otro libro blanco, otra ronda de podcasts. BitVM es muy interesante, pero todavía está en fase de investigación y aún quedan muchas preguntas por explorar, por lo que queda por determinar cuántos problemas podrá resolver BitVM.
Puede haber algunos casos de uso clave simples para comenzar a aprovechar BitVM de inmediato para reducir las suposiciones de confianza (por ejemplo, oráculos DLC).