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, ni siquiera de ninguna 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 el cálculo 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? A prueba de fraude¿Qué es el principio a prueba de fraude? ¿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 no me detengo en detalles técnicos específicos de implementación)
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 varias instrucciones de programa similares a los circuitos binarios se implementen a través de la matriz de direcciones taproot o taptree, que equivalen a la ejecución completa del contrato. **
Específicamente, podemos tratar la instrucción condicional de gasto 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 0 o 1 determinista, 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. Maker Sense, ¿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 la superposición infinita de direcciones de raíz principal solo aumentará el consumo de costos, y teóricamente todo se puede lograr 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 completo, 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, mire el Optimism Rollup y Fraud Proof and Bit Commitment 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 acumulativa ejecutar programas complejos fuera de la cadena y solo poner eslabones de verificación clave en la cadena?
Y Fraud Proof se puede entender de esta manera, Prover y Verifier primero compilan un enorme circuito binario, la red Bitcoin al ejecutar el circuito, existe la premisa de que Prover pre-firmar y comprometer un determinado activo de Bitcoin, si Verifier verifica que Prover es malvado, puede enviar transacciones a la cadena para activar las condiciones de desbloqueo UTXO del "programa" taptree en la cadena, si tiene éxito, verificador Los activos garantizados de Prover pueden ser confiscados, lo que equivale a 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 general debe compartirse antes de la ejecución, el procedimiento de certificación de defraudadores 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 el aterrizaje de BitVM? **
**1) Actualmente, 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.
**2) 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.
**3) Lo ideal es que BitVM admita escenarios limitados, lo que es más adecuado para la computación pesada fuera de la cadena, y solo algunos consensos y transferencias de activos deben basarse en escenarios dentro de la 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 de aterrizaje, se sabe que se limitará a la etapa de concepción del libro blanco a corto plazo, y la exploración del escenario 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 computadora gigante más grande que una habitación en la era en que todos pueden usar terminales móviles. **
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.
¿Puede la red Bitcoin lograr Turing completo? ¿Cuáles son los obstáculos para la implementación de BitVM?
Escrito originalmente 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, ni siquiera de ninguna 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 el cálculo 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? A prueba de fraude¿Qué es el principio a prueba de fraude? ¿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 no me detengo en detalles técnicos específicos de implementación)
¿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 varias instrucciones de programa similares a los circuitos binarios se implementen a través de la matriz de direcciones taproot o taptree, que equivalen a la ejecución completa del contrato. **
Específicamente, podemos tratar la instrucción condicional de gasto 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 0 o 1 determinista, 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. Maker Sense, ¿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 la superposición infinita de direcciones de raíz principal solo aumentará el consumo de costos, y teóricamente todo se puede lograr 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 completo, 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, mire el Optimism Rollup y Fraud Proof and Bit Commitment 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 acumulativa ejecutar programas complejos fuera de la cadena y solo poner eslabones de verificación clave en la cadena?
Y Fraud Proof se puede entender de esta manera, Prover y Verifier primero compilan un enorme circuito binario, la red Bitcoin al ejecutar el circuito, existe la premisa de que Prover pre-firmar y comprometer un determinado activo de Bitcoin, si Verifier verifica que Prover es malvado, puede enviar transacciones a la cadena para activar las condiciones de desbloqueo UTXO del "programa" taptree en la cadena, si tiene éxito, verificador Los activos garantizados de Prover pueden ser confiscados, lo que equivale a 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 general debe compartirse antes de la ejecución, el procedimiento de certificación de defraudadores 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 el aterrizaje de BitVM? **
**1) Actualmente, 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.
**2) 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.
**3) Lo ideal es que BitVM admita escenarios limitados, lo que es más adecuado para la computación pesada fuera de la cadena, y solo algunos consensos y transferencias de activos deben basarse en escenarios dentro de la 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 de aterrizaje, se sabe que se limitará a la etapa de concepción del libro blanco a corto plazo, y la exploración del escenario 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 computadora gigante más grande que una habitación en la era en que todos pueden usar terminales móviles. **