¿Copia perfecta del ecosistema Ethereum para la red Bitcoin? En este artículo se exploran los escenarios de aplicación y los límites superiores de BitVM
Un libro blanco titulado "BitVM: Compute Anything On Bitcoin" ha provocado una acalorada discusión entre los desarrolladores, lo que parece significar que la red Bitcoin implementa contratos Turing completos que pueden ejecutar cualquier función computable.
¿Esto significa que la red Bitcoin puede replicar todas las narrativas de Ethereum y otros ecosistemas? Y no hay necesidad de cambiar el consenso existente de Bitcoin, o incluso cualquier actualización, simplemente confiar en la operación base actual de Bitcoin _code puede dar a la red Bitcoin una programabilidad "compleja", de modo que la red Bitcoin pueda Turing-completar la computación de todo?
Espera, dejemos de soñar y exploremos el camino de la idea de BitVM. ¿Cómo realiza el espacio de script la programación compleja? ¿A qué se refiere la idea de Optimism Rollup? Prueba de fraude¿Qué es el método de prueba? ¿Cuáles son los obstáculos para la implementación de BitVM? A continuación, vamos a llevarte a analizar su marco lógico general paso a paso, para que todo el mundo pueda entenderlo en general. (Pero entremos en los detalles de la implementación técnica).
Dado que las capacidades de programación de Bitcoin son muy limitadas, ya que solo admiten lógica simple y códigos de operación limitados en scripts de scripts, es imposible desarrollar contratos inteligentes complejos en la red Bitcoin. El punto central de la propuesta de BitVM es que **** implementa varias instrucciones de programa similares a circuitos binarios a través de la matriz de direcciones taproot o taptree, lo que equivale a la ejecución completa del contrato. **
Específicamente, podemos tratar la instrucción condicional de costo UTXO en cada script de script como la unidad más pequeña del programa, la ejecución de un script no es más que dos resultados verdaderos y falsos, si ingresa un determinado código en la dirección taproot puede obtener un determinista 0 o 1, si una gran cantidad de direcciones taproot en una matriz puede formar un taptree ordenado, y el resultado de la ejecución tiene una gran cantidad de efectos de texto de circuito binario como 011001. Se puede considerar un programa binario ejecutable. La complejidad del programa depende del número de direcciones taproot combinadas, cuantas más direcciones, más ricas serán las instrucciones preestablecidas para cada script bajo el alcance del marco Bitcoin, más complejo será el programa que todo el taptree puede ejecutar. Tiene sentido, ¿verdad?
Eso es lo suficientemente grande. Sin embargo, de acuerdo con esta lógica, la instrucción unitaria más pequeña se completa con el nodo completo de Bitcoin, y la dirección de raíz principal se superpone infinitamente, y la posibilidad de una combinación infinita puede superponer muchos cálculos complejos. En cierto modo, no sería exagerado decir que se trata de una máquina completa de Turing. Pero las direcciones de raíz principal superpuestas ilimitadas solo aumentarán el consumo de costos, teóricamente puede lograr todo en Turing, pero no es práctico.
Por lo tanto, la completitud de Turing mencionada en el libro blanco es solo una declaración extremadamente ideal, un poco de "concepto de robo", incluso la llamada supercomputadora de Ethereum no puede lograr completamente Turing-complete, y mucho menos la red Bitcoin que solo se basa en scripts.
Análisis de algunos conceptos complejos
Con base en la comprensión del marco básico anterior, consulte el compromiso de Optimism Rollup y Fraud Proof and Bit mencionado en el documento técnico, ¿qué es Logic Gate? Dado que un solo espacio raíz y la lógica del código ejecutable son limitados, ¿no es una idea Rollup ejecutar programas complejos fuera de la cadena y solo poner eslabones de verificación clave en la cadena?
Fraud Proof se puede entender de esta manera, Prover y Verifier primero compilan un enorme circuito binario, la red Bitcoin ejecuta el circuito, existe la premisa de que Prover debe prefirmar y comprometer un determinado activo de Bitcoin, si Verifier verifica que Prover es malvado, puede enviar transacciones a la cadena de la misma manera para activar la condición de desbloqueo UTXO del "programa" taptree en cadena, si tiene éxito. El verificador puede renunciar a la garantía de Prover, que es un proceso a prueba de fraude.
En esta lógica, no es difícil entender por qué BitVM solo es adecuado para dos partes con consenso acordado, es decir, el diagrama de circuito total debe compartirse antes de la ejecución, el procedimiento a prueba de estafadores debe ejecutarse dentro del período de validez y ciertos activos deben estar pignorados y prefirmados. ** Si las dos partes no cooperan en un conjunto de consensos acordados fuera de la cadena, es difícil promover una ejecución real de "contratos" confiando solo en el entorno de ejecución limitado en cadena de la red Bitcoin. **
¿Cuáles son los obstáculos para la implementación de BitVM?
En la actualidad, BitVM solo es adecuado para implementar operaciones en cadena entre dos partes que acuerdan un consenso, y el entorno en cadena **** es solo un proceso abierto y transparente de ejecución de contratos. ** En la actualidad, solo se puede implementar entre dos organismos contractuales, y la implementación de N-N requiere un diseño lógico técnico más complejo.
**BitVM cómo aplicar un solo script de dirección taproot para implementar la unidad de programación mínima, no puede exceder el marco lógico de ejecución de Bitcoin, ** como hashlock, timelock, no puede exceder las condiciones de almacenamiento limitadas, caso optimista Una dirección taproot puede programar cientos de puertas lógicas, más tienen que combinar una gran cantidad de direcciones para la construcción de taptree. El problema es que la ejecución de las condiciones de desbloqueo preestablecidas de la dirección raíz requiere una tarifa de minero, y cuantas más combinaciones de direcciones, mayor será el costo. En el futuro, la tecnología de canal bidireccional de Lightning Network puede reducir los costos, pero en general, confiar en la red Bitcoin para ejecutar circuitos de puerta lógica no solo es lento, sino también costoso de pensar.
BitVM es ideal para escenarios limitados, lo que es más adecuado para la computación pesada fuera de la cadena, solo algunos consensos y transferencias de activos deben basarse en escenarios en cadena, como la eliminación de activos de juegos;
En general, BitVM es una idea muy creativa y que abre el cerebro, pero de acuerdo con su marco técnico de implementación, se sabe que se limitará a la etapa de concepción del libro blanco a corto plazo, y la exploración de escenarios de aplicación a largo plazo y la aplicación de aterrizaje aún enfrentan grandes desafíos. Para ilustrarlo con un ejemplo muy popular: BitVM es como construir una supercomputadora más grande que una habitación en la era en la que todos pueden usar terminales móviles.
Nota: La interpretación anterior solo es aplicable para comprender el marco técnico general de BitVM, para que todos puedan comprender la lógica técnica detrás de ella, la práctica específica puede estar sesgada, si hay un jefe técnico que tiene una investigación de detalles técnicos muy profunda, puede corregir y complementar en los comentarios.
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.
¿Copia perfecta del ecosistema Ethereum para la red Bitcoin? En este artículo se exploran los escenarios de aplicación y los límites superiores de BitVM
Escrito por Haotian
Un libro blanco titulado "BitVM: Compute Anything On Bitcoin" ha provocado una acalorada discusión entre los desarrolladores, lo que parece significar que la red Bitcoin implementa contratos Turing completos que pueden ejecutar cualquier función computable.
¿Esto significa que la red Bitcoin puede replicar todas las narrativas de Ethereum y otros ecosistemas? Y no hay necesidad de cambiar el consenso existente de Bitcoin, o incluso cualquier actualización, simplemente confiar en la operación base actual de Bitcoin _code puede dar a la red Bitcoin una programabilidad "compleja", de modo que la red Bitcoin pueda Turing-completar la computación de todo?
Espera, dejemos de soñar y exploremos el camino de la idea de BitVM. ¿Cómo realiza el espacio de script la programación compleja? ¿A qué se refiere la idea de Optimism Rollup? Prueba de fraude¿Qué es el método de prueba? ¿Cuáles son los obstáculos para la implementación de BitVM? A continuación, vamos a llevarte a analizar su marco lógico general paso a paso, para que todo el mundo pueda entenderlo en general. (Pero entremos en los detalles de la implementación técnica).
¿Cómo implemento funciones programables complejas?
Dado que las capacidades de programación de Bitcoin son muy limitadas, ya que solo admiten lógica simple y códigos de operación limitados en scripts de scripts, es imposible desarrollar contratos inteligentes complejos en la red Bitcoin. El punto central de la propuesta de BitVM es que **** implementa varias instrucciones de programa similares a circuitos binarios a través de la matriz de direcciones taproot o taptree, lo que equivale a la ejecución completa del contrato. **
Específicamente, podemos tratar la instrucción condicional de costo UTXO en cada script de script como la unidad más pequeña del programa, la ejecución de un script no es más que dos resultados verdaderos y falsos, si ingresa un determinado código en la dirección taproot puede obtener un determinista 0 o 1, si una gran cantidad de direcciones taproot en una matriz puede formar un taptree ordenado, y el resultado de la ejecución tiene una gran cantidad de efectos de texto de circuito binario como 011001. Se puede considerar un programa binario ejecutable. La complejidad del programa depende del número de direcciones taproot combinadas, cuantas más direcciones, más ricas serán las instrucciones preestablecidas para cada script bajo el alcance del marco Bitcoin, más complejo será el programa que todo el taptree puede ejecutar. Tiene sentido, ¿verdad?
Eso es lo suficientemente grande. Sin embargo, de acuerdo con esta lógica, la instrucción unitaria más pequeña se completa con el nodo completo de Bitcoin, y la dirección de raíz principal se superpone infinitamente, y la posibilidad de una combinación infinita puede superponer muchos cálculos complejos. En cierto modo, no sería exagerado decir que se trata de una máquina completa de Turing. Pero las direcciones de raíz principal superpuestas ilimitadas solo aumentarán el consumo de costos, teóricamente puede lograr todo en Turing, pero no es práctico.
Por lo tanto, la completitud de Turing mencionada en el libro blanco es solo una declaración extremadamente ideal, un poco de "concepto de robo", incluso la llamada supercomputadora de Ethereum no puede lograr completamente Turing-complete, y mucho menos la red Bitcoin que solo se basa en scripts.
Análisis de algunos conceptos complejos
Con base en la comprensión del marco básico anterior, consulte el compromiso de Optimism Rollup y Fraud Proof and Bit mencionado en el documento técnico, ¿qué es Logic Gate? Dado que un solo espacio raíz y la lógica del código ejecutable son limitados, ¿no es una idea Rollup ejecutar programas complejos fuera de la cadena y solo poner eslabones de verificación clave en la cadena?
Fraud Proof se puede entender de esta manera, Prover y Verifier primero compilan un enorme circuito binario, la red Bitcoin ejecuta el circuito, existe la premisa de que Prover debe prefirmar y comprometer un determinado activo de Bitcoin, si Verifier verifica que Prover es malvado, puede enviar transacciones a la cadena de la misma manera para activar la condición de desbloqueo UTXO del "programa" taptree en cadena, si tiene éxito. El verificador puede renunciar a la garantía de Prover, que es un proceso a prueba de fraude.
En esta lógica, no es difícil entender por qué BitVM solo es adecuado para dos partes con consenso acordado, es decir, el diagrama de circuito total debe compartirse antes de la ejecución, el procedimiento a prueba de estafadores debe ejecutarse dentro del período de validez y ciertos activos deben estar pignorados y prefirmados. ** Si las dos partes no cooperan en un conjunto de consensos acordados fuera de la cadena, es difícil promover una ejecución real de "contratos" confiando solo en el entorno de ejecución limitado en cadena de la red Bitcoin. **
¿Cuáles son los obstáculos para la implementación de BitVM?
En la actualidad, BitVM solo es adecuado para implementar operaciones en cadena entre dos partes que acuerdan un consenso, y el entorno en cadena **** es solo un proceso abierto y transparente de ejecución de contratos. ** En la actualidad, solo se puede implementar entre dos organismos contractuales, y la implementación de N-N requiere un diseño lógico técnico más complejo.
**BitVM cómo aplicar un solo script de dirección taproot para implementar la unidad de programación mínima, no puede exceder el marco lógico de ejecución de Bitcoin, ** como hashlock, timelock, no puede exceder las condiciones de almacenamiento limitadas, caso optimista Una dirección taproot puede programar cientos de puertas lógicas, más tienen que combinar una gran cantidad de direcciones para la construcción de taptree. El problema es que la ejecución de las condiciones de desbloqueo preestablecidas de la dirección raíz requiere una tarifa de minero, y cuantas más combinaciones de direcciones, mayor será el costo. En el futuro, la tecnología de canal bidireccional de Lightning Network puede reducir los costos, pero en general, confiar en la red Bitcoin para ejecutar circuitos de puerta lógica no solo es lento, sino también costoso de pensar.
BitVM es ideal para escenarios limitados, lo que es más adecuado para la computación pesada fuera de la cadena, solo algunos consensos y transferencias de activos deben basarse en escenarios en cadena, como la eliminación de activos de juegos;
En general, BitVM es una idea muy creativa y que abre el cerebro, pero de acuerdo con su marco técnico de implementación, se sabe que se limitará a la etapa de concepción del libro blanco a corto plazo, y la exploración de escenarios de aplicación a largo plazo y la aplicación de aterrizaje aún enfrentan grandes desafíos. Para ilustrarlo con un ejemplo muy popular: BitVM es como construir una supercomputadora más grande que una habitación en la era en la que todos pueden usar terminales móviles.
Nota: La interpretación anterior solo es aplicable para comprender el marco técnico general de BitVM, para que todos puedan comprender la lógica técnica detrás de ella, la práctica específica puede estar sesgada, si hay un jefe técnico que tiene una investigación de detalles técnicos muy profunda, puede corregir y complementar en los comentarios.