BitVM2: la programabilidad segura de Bitcoin

BitVM2, lanzado en agosto de 2024, mejora la programabilidad de Bitcoin, introduciendo “desafíos sin permiso” para una validación más descentralizada y segura, superando así las limitaciones de BitVM.

BitVM2 reduce el número de transacciones necesarias para resolver disputas on-chain de 70 a 3, mejorando la eficiencia y reduciendo los costos, al tiempo que integra SNARKs para cálculos más complejos y seguros.

Esta tecnología refuerza la seguridad de los puentes interblockchain, especialmente para soluciones de capa 2, al reducir la dependencia de una mayoría honesta y fomentar una vigilancia continua por parte de los usuarios.

Bitcoin, desde su lanzamiento en 2009, ha sido la referencia para transacciones seguras y descentralizadas. Sin embargo, la cuestión de la programabilidad de Bitcoin siempre ha sido motivo de debate.

En comparación con blockchains como Ethereum, donde los contratos inteligentes son la norma, Bitcoin se ha percibido como limitado en su capacidad para soportar aplicaciones más complejas. Esta limitación a menudo se ha considerado como una barrera para la innovación en la blockchain de Bitcoin. Pero eso no ha impedido que los desarrolladores busquen soluciones creativas para ampliar las capacidades de esta red pionera.

La aparición de BitVM: un primer paso hacia una mayor programabilidad

En octubre de 2023, Robin Linus introdujo BitVM, una tecnología innovadora que permite ejecutar cálculos complejos en Bitcoin sin la necesidad de modificar el consenso o el código base de la blockchain.

Esta innovación utilizó un método llamado verificación optimista, donde los cálculos se realizan off-chain y se verifican mediante pruebas de fraude en caso de controversia. Sin embargo, BitVM, aunque innovador, estaba limitado a escenarios de dos partes y requería una interacción constante entre un probador y un verificador, lo que restringía su adopción a gran escala.

BitVM2: ampliando los límites de lo posible

El 15 de agosto de 2024 se dio un gran paso con el anuncio de BitVM2. Esta nueva versión, desarrollada por un equipo que incluye a Robin Linus, Lukas Aumayr y Alexei Zamyatin, introdujo características que superan con creces las de su predecesor.

Una de las innovaciones más importantes es la introducción de los desafíos sin permiso, que permiten a cualquier usuario de Bitcoin intervenir en el proceso de validación. Esto refuerza considerablemente la seguridad y la descentralización de la red al permitir una mayor participación de los usuarios.

Eficiencia mejorada y seguridad reforzada

Uno de los avances más significativos de BitVM2 es la reducción significativa del número de transacciones necesarias para resolver disputas on-chain. Mientras que BitVM podía requerir hasta 70 transacciones para finalizar una verificación, BitVM2 simplifica este proceso a solo tres transacciones. Esta reducción no solo optimiza la velocidad, sino también los costos asociados con las transacciones, lo que hace que el protocolo sea más accesible y eficiente.

Además, la integración de SNARKs (Succinct Non-Interactive Arguments of Knowledge) en BitVM2 permite manejar cálculos mucho más complejos de manera más concisa y segura. Esta tecnología, que comprime y verifica los cálculos, ofrece una verificación más rápida y requiere menos recursos, lo cual es una gran ventaja para los desarrolladores que buscan crear aplicaciones más sofisticadas en Bitcoin.

Mejora de la seguridad entre Bitcoin y las capas 2

Otra área en la que BitVM2 se destaca es la seguridad de los puentes entre Bitcoin y otras blockchains, especialmente en el contexto de las soluciones de capa 2. BitVM2 reduce la dependencia de una mayoría honesta entre los firmantes para asegurar los fondos, lo cual es crucial para la integridad de las transacciones interblockchain.

Mientras que BitVM requería la participación de una mayoría de firmantes honestos para garantizar la seguridad de los fondos, BitVM2 simplifica este requisito durante la configuración inicial del puente. Con BitVM2, es suficiente que al menos un operador esté tanto activo como íntegro para mantener la seguridad del sistema.

Desde el principio, se reúne a un grupo de actores para definir las reglas y preparar las transacciones que regirán la ejecución de los contratos: se trata de la configuración de confianza. El concepto de “configuración de confianza” implica que solo se necesita que un único actor firmante sea honesto durante esta fase inicial para garantizar la seguridad del sistema. Este actor, a través de su integridad, se asegura de que las transacciones y los scripts creados no contengan fallas ni condiciones maliciosas.

Además, con la activación del opcode OP CAT en el futuro en Bitcoin, el verificador zk-SNARK podría ser reemplazado por un verificador zk-STARK, lo que evitaría la necesidad de una configuración de confianza para el sistema de prueba. Además, con la activación de OP CAT, el tamaño de las transacciones “Assert” y “Disprove” podría reducirse, lo que disminuiría los costos de las transacciones on-chain en Bitcoin.

Implicaciones futuras para Bitcoin

Con BitVM2, Bitcoin podría ver una adopción creciente de soluciones de segunda capa y sidechains, ofreciendo capacidades de cálculo extendidas sin comprometer la seguridad. Esta tecnología podría ser el catalizador de una nueva ola de innovaciones en el ecosistema de Bitcoin, atrayendo a más desarrolladores a esta blockchain histórica mientras mantiene su reputación de robustez y seguridad.

Artículo anterior

El Gobierno de Estados Unidos revisará la definición de “moneda” para incluir criptomonedas

Entradas relacionadas