BitVM y el problema del puente

Curiosidad

1. ¿Cómo puede Bitcoin hacer cumplir el resultado de un cálculo arbitrario sin ejecutar el código en la cadena?
2. ¿Por qué un juego de desafío-respuesta construido con scripts Taproot permite una verificación casi completa según Turing sin necesidad de un soft fork?
3. ¿Cuál es el compromiso de seguridad cuando la veracidad depende de que alguien esté observando para cuestionar una reclamación fraudulenta?

Explorar

Parte IBitVM

1. Las reglas de consenso de Bitcoin excluyen intencionadamente la ejecución arbitraria de código. Este diseño previene vulnerabilidades complejas en los contratos inteligentes, pero limita los scripts a condiciones como firmas, multisig, timelocks y hashlocks. En octubre de 2023, Robin Linus presentó BitVM, un protocolo que permite cálculos fuera de la cadena de bloques manteniendo al mismo tiempo verificable el resultado final en ella. Permite a las partes bloquear bitcoins en una transacción donde el gasto depende de un cálculo externo realizado fuera de la blockchain.
2. El mecanismo central replica una puerta lógica NAND utilizando los códigos de operación existentes en Bitcoin: OP_BOOLAND funciona como una puerta AND, y OP_NOT funciona como una puerta NOT. Dado que las puertas NAND son universales, los circuitos construidos a partir de ellas pueden, en principio, realizar cualquier tipo de cálculo, todo sin cambiar las reglas de consenso. Este enfoque traslada la carga computacional fuera de la cadena, manteniendo al mismo tiempo la seguridad dentro de ella.
3. Estas complejas secuencias de cálculo NAND se almacenan como hojas dentro del Árbol de Sintaxis Abstracta Merkleizado (MAST) de una transacción Taproot. Esto aprovecha las ventajas en privacidad y eficiencia que ofrece Taproot, activado en noviembre de 2021 en el bloque 709,632, lo que permite que los scripts complejos permanezcan ocultos hasta que sean necesarios. La estructura admite los grandes árboles de scripts requeridos para juegos de verificación de múltiples pasos.
4. Si el proveedor afirma un resultado fraudulento proveniente del cálculo fuera de la cadena, el verificador puede impugnarlo dentro de la cadena. El proveedor debe responder entonces a esa impugnación; si se demuestra que algún paso es inconsistente o el proveedor no responde a tiempo, el verificador se queda con los fondos bloqueados. Este modelo de verificación “óptimista” traslada la mayor parte del trabajo fuera de la cadena, manteniendo la seguridad mediante la amenaza de disputas.
5. La primera versión funcionaba entre dos partes, pero BitVM2 (2024) permite que cualquier persona cuestione una afirmación, avanzando hacia una verificación sin permisos. El objetivo principal son los puentes con mínimo nivel de confianza, donde el bitcoin bloqueado en la cadena solo puede ser liberado si el estado declarado por otro sistema es válido.
6. Las limitaciones principales son la complejidad en su configuración, las grandes cantidades de datos que se requieren fuera de la cadena y las suposiciones de disponibilidad (liveness). Alguien debe estar vigilando activamente para cuestionar las reclamaciones fraudulentas dentro del plazo establecido; si nadie lo hace, un estado incorrecto podría quedar consolidado. Este equilibrio entre descentralización y sobrecarga operativa define los límites prácticos actuales de las implementaciones de BitVM.

Parte IIBitVM y el problema del puente

7. Las reglas de consenso de Bitcoin verifican las firmas y la validez de los UTXO, pero no pueden ejecutar transiciones de estado arbitrarias fuera de la cadena. Para transferir valor a una capa 2 se necesita un puente que ancle el estado de la cadena externa a Bitcoin. Los puentes tradicionales dependen de federaciones de firmantes; si la mayoría se colude, los usuarios pierden sus fondos. Este modelo de confianza centralizado contradice el diseño sin permisos de Bitcoin, lo que genera la necesidad de mecanismos que minimicen el riesgo de custodia sin alterar las reglas de consenso.
8. Robin Linus presentó BitVM en octubre de 2023, demostrando cómo se puede verificar el cálculo arbitrario en la cadena mediante juegos de desafío optimistas. El protocolo descompone la lógica compleja en operaciones bit a bit, específicamente puertas NAND, que son universales para los circuitos digitales. Estas operaciones se codifican dentro de la estructura MAST de una transacción Taproot. Bitcoin no ejecuta el programa completo; en su lugar, verifica la corrección de los pasos individuales solo si surge una disputa.
9. BitVM funciona bajo una suposición optimista: por defecto, los cálculos son correctos, a menos que se demuestre lo contrario. Si un operador presenta una transición de estado inválida, otro participante puede presentar una contraprueba para impugnarla. Esto traslada el modelo de confianza de una federación de confianza a una suposición de honestidad 1-de-n. Debe existir al menos un validador honesto para detectar el fraude. Aunque esto reduce el riesgo de colusión en comparación con las federaciones, requiere que alguien vigile constantemente y esté listo para pagar por presentar una impugnación.
10. El mecanismo conlleva costos significativos. Los operadores adelantan su propio capital para pagar los retiros y lo recuperan posteriormente, lo que inmoviliza liquidez. Las transacciones de desafío son voluminosas debido a la complejidad de las pruebas bit a bit, y ocupan una cantidad considerable de espacio de bloque. Además, muchas implementaciones utilizan montos de peg fijos para simplificar la gestión del estado, lo que limita la flexibilidad. Estas restricciones significan que, aunque BitVM minimiza la confianza, no está libre de ella (no es trustless); los usuarios siguen dependiendo de los incentivos económicos y de la corrección técnica del protocolo de desafío.
11. Desarrollos recientes como BitVM2 perfeccionan estos desafíos, reduciendo el tamaño de las transacciones y mejorando la eficiencia. Proyectos como Citrea construyen rollups con este marco, buscando garantías de seguridad en las que una sola parte honesta pueda impedir el fraude. Sin embargo, el problema del puente persiste: Bitcoin no puede interpretar de forma nativa las raíces de estado de otras cadenas. El puente es un juego con incentivos construido sobre Bitcoin, no algo que Bitcoin mismo haga cumplir. Los usuarios deben sopesar el menor riesgo de colusión frente a la mayor complejidad y los requisitos de capital.
12. Inspeccionar una transacción basada en BitVM revela su estructura. Abre un explorador de bloques y localiza una salida Taproot asociada a un puente de rollup. Taproot oculta las rutas de script no utilizadas, por lo que solo se revela la ruta que realmente se gasta; en caso de disputa, esa ruta contiene muchos más datos de witness que una simple firma. Esta diferencia tangible en el peso de la transacción refleja la sobrecarga computacional de mantener una seguridad optimista dentro del espacio de bloque fijo de Bitcoin.

Datos clave

Ejercicio nueve, seis, tres, uno

Verificación de hechos

Fechas, cifras y afirmaciones verificadas con las fuentes publicadas que se enumeran a continuación.

• R. Linus, 'BitVM: Compute Anything on Bitcoin' (October 2023)
• R. Linus et al., 'BitVM2: Bridging Bitcoin to Second Layers' (2024)
• Bitcoin Optech, 'Accountable Computing Contracts' topic page (BitVM)
• Citrea Clementine bridge documentation
• BIP-341: Taproot