Para los contratos inteligentes completos de Turing en Bitcoin, el usuario de Twitter @robin_linus propuso una nueva propuesta: BitVM.
Afirma que esto se puede lograr sin ningún cambio en el código de Bitcoin.
Dado que el lenguaje de scripting nativo de Bitcoin es bastante limitado, es por eso que necesitamos extender Bitcoin con varias capas.
Estas diferentes capas actúan como varios bloques de construcción, lo que en última instancia aporta más funcionalidad a Bitcoin. Y hoy tenemos un avance importante: los contratos inteligentes.
Este año, hemos visto un aumento dramático en la discusión sobre Rollups en Bitcoin, siendo los temas más comunes la soberanía, las pruebas de conocimiento cero y los Rollups optimistas.
Estas soluciones de escalado se ejecutan en L2, pero finalmente vuelven a la cadena principal criptográficamente.
Qué es BitVM
BitVM utiliza una tecnología similar a la de los Optimistic Rollups.
Los Optimistic Rollups suelen asumir que la transacción es válida, pero asignan un cierto período de tiempo para la resolución de disputas.
En caso de disputa, Rollup vuelve a su estado anterior.
El cálculo real del contrato inteligente de BitVM se lleva a cabo en una capa separada y, en caso de disputa, estas disputas se "guardan" en la cadena principal de Bitcoin. Por lo tanto, toda la actividad de BitVM se produce fuera de la cadena.
** (Nota del traductor: Se mantiene un registro público e inmutable en la cadena principal que se puede utilizar para resolver disputas). Si no hay disputa, toda la actividad de BitVM tendrá lugar fuera de la cadena, es decir, fuera de la cadena principal de Bitcoin. Esta actividad fuera de la cadena se puede llevar a cabo más rápidamente y la validez de las transacciones está garantizada mediante el uso de la cadena principal de Bitcoin como base para la seguridad y la confiabilidad. ）**
BitVM depende principalmente de cuatro componentes**
Bloqueo de hash
Bloqueo de tiempo
Árbol de Merkle
Firma múltiple
Bloqueo de hash
Un bloqueo hash es una clave oculta criptográfica generada por la persona que inicia la transacción, lo que garantiza que la transacción solo se pueda finalizar después de la aprobación del iniciador.
Bloqueo de tiempo
Una transacción bajo un bloqueo de tiempo debe ejecutarse después de una fecha, hora o altura de bloque determinadas.
Árbol de Merkle
La rama del árbol de Merkle utiliza la criptografía para registrar los resultados de la ejecución de un script en la cadena de bloques, en lugar de registrar todas las ejecuciones posibles de un script.
Esto reduce en gran medida el espacio ocupado por las transacciones, especialmente para las más complejas.
** En el pasado, para verificar la validez de una transacción, era necesario registrar todas las rutas de ejecución y resultados posibles, lo que ocupaba mucho espacio de almacenamiento. Con la ramificación del árbol de Merkle, solo registramos los resultados de la ejecución real, y esta optimización hace que el procesamiento de transacciones sea más eficiente al tiempo que reduce los requisitos de almacenamiento de la cadena de bloques. ）**
Multifirma
Multisig a menudo permite que varias partes compartan el control sobre una sola billetera. Bajo el diseño de BitVM, tendría una firma múltiple de dos partes que consta de un probador y un verificador.
**Entonces, ¿cómo funciona BitVM? **
Los probadores y validadores primero compilan el contrato inteligente en un mapa de instrucciones if-then que contiene todos los resultados posibles.
Para ahorrar espacio, utilizamos el formato Merkle para ahorrar en la cadena.
¡Ambas partes también deben firmar previamente una serie de transacciones de impugnación y respuesta que se pueden utilizar en caso de disputa!
Después de completar estos requisitos previos, pueden depositar Bitcoin en una dirección Taproot, que activa el contrato inteligente y permite que ambas partes comiencen a intercambiar datos fuera de la cadena o en una capa separada.
Los validadores pueden usar bloqueos de tiempo para obligar al probador a tomar una decisión dentro de un período de tiempo definido.
Si el probador hace una afirmación falsa, el verificador puede disputarla y recuperar su depósito.
Esto asegura que cualquier atacante pierda su depósito y fomenta el buen comportamiento.
Usos de BitVM
Ahora que tenemos una comprensión básica de la estructura del contrato BitVM, podemos profundizar un poco más en para qué se utiliza.
Actualmente hay tres "Compromiso" :
Compromiso de valor de bits
Compromiso de Logic Gate
Compromiso de Circuito Binario
Compromiso de valor de bits
Esto permite a los aprobadores establecer un valor de bit en "0" o "1" en diferentes scripts y salidas de transacciones no utilizadas (UTXO), lo que permite que un script se ejecute en varias transacciones, y estos 0 y 1 binarios son la base de todos los cálculos
** (Nota del traductor: Al controlar el valor de bits, se pueden realizar varias operaciones de cálculo, como el juicio condicional y las operaciones lógicas). Esta flexibilidad permite a BitVM admitir funciones complejas de contratos inteligentes de forma más robusta. ）**
Promesa de puerta lógica
Esto permite el uso de puertas NAND e implementa la funcionalidad de instrucciones como AND, NOT y OR.
La compuerta AND AND genera una salida basada en el estado de dos entradas (por ejemplo, dos valores de bits).
** El mecanismo de compromiso de puerta lógica proporciona a BitVM funciones más flexibles y potentes mediante la introducción de puertas AND NOT, lo que permite que los contratos inteligentes admitan cálculos complejos que contienen operaciones lógicas. ）**
Promesa de circuito binario
Una vez definidas las distintas puertas lógicas, se pueden utilizar circuitos binarios para construir sistemas digitales más complejos.
Piense en ello como una estructura completa de contrato inteligente formada por múltiples bloques de construcción NAND.
En BitVM, de manera similar, podemos combinar múltiples puertas lógicas para formar una estructura completa de contrato inteligente, al igual que múltiples puertas AND NOT forman una implementación modular concreta. Este enfoque modular de la construcción hace que el diseño de contratos inteligentes sea más flexible y escalable. ）**
Recursos de referencia adicionales
Eso es todo por los detalles técnicos que podemos cubrir hasta ahora, y hay muchos recursos adicionales que puedes consultar si quieres profundizar u obtener más información sobre BitVM.
Estos son algunos recursos que vale la pena considerar:**
Cambio de actitud
Por observación, encontramos un fenómeno interesante:**
Ha habido un gran cambio en las actitudes hacia la creación de aplicaciones en Bitcoin a través de BitVM.
Muchas personas han reaccionado con frialdad o incluso se han opuesto abiertamente a la introducción de contratos inteligentes en Bitcoin, pero ahora han comenzado a expresar su apoyo, ¡lo cual es alentador!
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.
BitVM: Marcando el comienzo de la era de los contratos inteligentes de Bitcoin
Para los contratos inteligentes completos de Turing en Bitcoin, el usuario de Twitter @robin_linus propuso una nueva propuesta: BitVM.
Afirma que esto se puede lograr sin ningún cambio en el código de Bitcoin.
Dado que el lenguaje de scripting nativo de Bitcoin es bastante limitado, es por eso que necesitamos extender Bitcoin con varias capas.
Estas diferentes capas actúan como varios bloques de construcción, lo que en última instancia aporta más funcionalidad a Bitcoin. Y hoy tenemos un avance importante: los contratos inteligentes.
Este año, hemos visto un aumento dramático en la discusión sobre Rollups en Bitcoin, siendo los temas más comunes la soberanía, las pruebas de conocimiento cero y los Rollups optimistas.
Estas soluciones de escalado se ejecutan en L2, pero finalmente vuelven a la cadena principal criptográficamente.
Qué es BitVM
BitVM utiliza una tecnología similar a la de los Optimistic Rollups.
Los Optimistic Rollups suelen asumir que la transacción es válida, pero asignan un cierto período de tiempo para la resolución de disputas.
En caso de disputa, Rollup vuelve a su estado anterior.
El cálculo real del contrato inteligente de BitVM se lleva a cabo en una capa separada y, en caso de disputa, estas disputas se "guardan" en la cadena principal de Bitcoin. Por lo tanto, toda la actividad de BitVM se produce fuera de la cadena.
** (Nota del traductor: Se mantiene un registro público e inmutable en la cadena principal que se puede utilizar para resolver disputas). Si no hay disputa, toda la actividad de BitVM tendrá lugar fuera de la cadena, es decir, fuera de la cadena principal de Bitcoin. Esta actividad fuera de la cadena se puede llevar a cabo más rápidamente y la validez de las transacciones está garantizada mediante el uso de la cadena principal de Bitcoin como base para la seguridad y la confiabilidad. ）**
BitVM depende principalmente de cuatro componentes**
Bloqueo de hash
Un bloqueo hash es una clave oculta criptográfica generada por la persona que inicia la transacción, lo que garantiza que la transacción solo se pueda finalizar después de la aprobación del iniciador.
Bloqueo de tiempo
Una transacción bajo un bloqueo de tiempo debe ejecutarse después de una fecha, hora o altura de bloque determinadas.
Árbol de Merkle
La rama del árbol de Merkle utiliza la criptografía para registrar los resultados de la ejecución de un script en la cadena de bloques, en lugar de registrar todas las ejecuciones posibles de un script.
Esto reduce en gran medida el espacio ocupado por las transacciones, especialmente para las más complejas.
** En el pasado, para verificar la validez de una transacción, era necesario registrar todas las rutas de ejecución y resultados posibles, lo que ocupaba mucho espacio de almacenamiento. Con la ramificación del árbol de Merkle, solo registramos los resultados de la ejecución real, y esta optimización hace que el procesamiento de transacciones sea más eficiente al tiempo que reduce los requisitos de almacenamiento de la cadena de bloques. ）**
Multifirma
Multisig a menudo permite que varias partes compartan el control sobre una sola billetera. Bajo el diseño de BitVM, tendría una firma múltiple de dos partes que consta de un probador y un verificador.
**Entonces, ¿cómo funciona BitVM? **
Los probadores y validadores primero compilan el contrato inteligente en un mapa de instrucciones if-then que contiene todos los resultados posibles.
Para ahorrar espacio, utilizamos el formato Merkle para ahorrar en la cadena.
¡Ambas partes también deben firmar previamente una serie de transacciones de impugnación y respuesta que se pueden utilizar en caso de disputa!
Después de completar estos requisitos previos, pueden depositar Bitcoin en una dirección Taproot, que activa el contrato inteligente y permite que ambas partes comiencen a intercambiar datos fuera de la cadena o en una capa separada.
Los validadores pueden usar bloqueos de tiempo para obligar al probador a tomar una decisión dentro de un período de tiempo definido.
Si el probador hace una afirmación falsa, el verificador puede disputarla y recuperar su depósito.
Esto asegura que cualquier atacante pierda su depósito y fomenta el buen comportamiento.
Usos de BitVM
Ahora que tenemos una comprensión básica de la estructura del contrato BitVM, podemos profundizar un poco más en para qué se utiliza.
Actualmente hay tres "Compromiso" :
Compromiso de valor de bits
Esto permite a los aprobadores establecer un valor de bit en "0" o "1" en diferentes scripts y salidas de transacciones no utilizadas (UTXO), lo que permite que un script se ejecute en varias transacciones, y estos 0 y 1 binarios son la base de todos los cálculos
** (Nota del traductor: Al controlar el valor de bits, se pueden realizar varias operaciones de cálculo, como el juicio condicional y las operaciones lógicas). Esta flexibilidad permite a BitVM admitir funciones complejas de contratos inteligentes de forma más robusta. ）**
Promesa de puerta lógica
Esto permite el uso de puertas NAND e implementa la funcionalidad de instrucciones como AND, NOT y OR.
La compuerta AND AND genera una salida basada en el estado de dos entradas (por ejemplo, dos valores de bits).
** El mecanismo de compromiso de puerta lógica proporciona a BitVM funciones más flexibles y potentes mediante la introducción de puertas AND NOT, lo que permite que los contratos inteligentes admitan cálculos complejos que contienen operaciones lógicas. ）**
Promesa de circuito binario
Una vez definidas las distintas puertas lógicas, se pueden utilizar circuitos binarios para construir sistemas digitales más complejos.
Piense en ello como una estructura completa de contrato inteligente formada por múltiples bloques de construcción NAND.
En BitVM, de manera similar, podemos combinar múltiples puertas lógicas para formar una estructura completa de contrato inteligente, al igual que múltiples puertas AND NOT forman una implementación modular concreta. Este enfoque modular de la construcción hace que el diseño de contratos inteligentes sea más flexible y escalable. ）**
Recursos de referencia adicionales
Eso es todo por los detalles técnicos que podemos cubrir hasta ahora, y hay muchos recursos adicionales que puedes consultar si quieres profundizar u obtener más información sobre BitVM.
Estos son algunos recursos que vale la pena considerar:**
Cambio de actitud
Por observación, encontramos un fenómeno interesante:**
Ha habido un gran cambio en las actitudes hacia la creación de aplicaciones en Bitcoin a través de BitVM.
Muchas personas han reaccionado con frialdad o incluso se han opuesto abiertamente a la introducción de contratos inteligentes en Bitcoin, pero ahora han comenzado a expresar su apoyo, ¡lo cual es alentador!