El año 2023 fue rico en desarrollo para la red Bitcoin. De hecho, esto ha visto el surgimiento de los Ordinales y luego del BRC-20. Esto abrió nuevas posibilidades para Bitcoin. En particular, introduciendo NFT a través de Ordinales y tokens fungibles a través de BRC-20. Finalmente, a finales de año, la introducción de BitVM permitió considerar la creación de L2 en Bitcoin. Ahora, BitVM está evolucionando con el lanzamiento de BitVM2 en Bitcoin.

BitVM: una solución revolucionaria

Desde su creación, Bitcoin ha destacado por su robustez y sencillez. Sin embargo, esta simplicidad también conlleva ciertas limitaciones, especialmente en términos de programabilidad. 

A diferencia de Ethereum, cuya máquina virtual (EVM) permite la ejecución de contratos inteligentes complejos, Bitcoin fue diseñado con un lenguaje de scripting limitado, incapaz de soportar los llamados contratos inteligentes completos de Turing. Sin embargo, esta limitación no ha desanimado a los desarrolladores. 

Así, el 9 de octubre de 2023, nació BitVM de las manos de Robin Linus. Este es un enfoque que le permite ejecutar contratos completos de Turing en la red Bitcoin. Y esto, sin requerir ningún cambio en el consenso o código de Bitcoin. Un componente central, porque la osificación de Bitcoin es una característica central del proyecto.

BitVM introduce una nueva forma de utilizar Bitcoin como una especie de calculadora universal. En lugar de ejecutar cálculos directamente en la cadena de bloques, BitVM se basa en una verificación optimista de los resultados. 

El principio es simple. Un probador (el participante que desea ejecutar un contrato) realiza un cálculo fuera de la cadena y afirma que el resultado es correcto. Un verificador (la otra parte del contrato) tiene entonces la posibilidad de impugnar este resultado aportando pruebas de fraude en cadena, en caso de que el cálculo resulte incorrecto. Este modelo de verificación basado en evidencia de fraude está inspirado en los rollups optimistas ya muy conocidos en el ecosistema Ethereum.

Un sistema limitado

Sin embargo, BitVM no está exento de limitaciones. El modelo actual está restringido a un marco bipartito, donde un probador interactúa con un verificador. Además, la complejidad de la computación fuera de la cadena y la comunicación necesaria entre las partes pueden plantear desafíos para las implementaciones a gran escala. A pesar de esto, BitVM marca el comienzo de una nueva era para Bitcoin.

El entusiasmo fue tal que varias soluciones de segunda capa para Bitcoin ya han integrado BitVM en su sistema. Este es particularmente el caso de la L2 Citrea,

BitVM2: BitVM pero más fuerte

El jueves 15 de agosto, contra todas las expectativas, Alexei Zamyatin presentó en la red social X, el documento técnico de BitVM2. BitVM2 se promociona como una "gran mejora con respecto a las versiones anteriores de BitVM".

La publicación va acompañada de un enlace al documento técnico titulado "BitVM2: Bridging Bitcoin to Second Layers".

En la práctica, BitVM2 fue creado por Robin Linus, el creador de BitVM. Lo acompañan Lukas Aumayr, Alexei Zamyatin, Andrea Pelosi, Zeta Avarikioti y Matteo Maffei.





BitVM2 se destaca por varias mejoras significativas, diseñadas para ampliar las capacidades informáticas de Bitcoin y al mismo tiempo optimizar la eficiencia y seguridad del protocolo. Exploremos juntos los desarrollos de BitVM2.

Desafíos sin permiso

Una de las principales innovaciones de BitVM2 radica en la introducción de desafíos sin permiso. 

Por lo tanto, en BitVM, sólo actores específicos podrían iniciar desafíos, es decir, impugnar pruebas.

Por su parte, BitVM2 permite a cualquier usuario cuestionar los resultados de los cálculos, haciendo así el sistema más robusto y descentralizado.

Por lo tanto, cualquier usuario con un nodo Bitcoin completo puede desafiar a un operador. Esto allana el camino para la gestión de evidencia sin permiso, donde cualquier usuario puede disputar un reclamo del operador, fortaleciendo así la seguridad del protocolo.

Como recordatorio, un desafío es un mecanismo de verificación en el que un usuario cuestiona la validez de un cálculo realizado fuera de la cadena por un operador. 

El sistema se basa en un modelo a prueba de fraude, en el que el probador, es decir, la parte que realiza el cálculo, afirma que el resultado es correcto. Si el verificador o cualquier otro usuario cree que el probador está mintiendo o ha cometido un error, puede iniciar una impugnación. 

Esto desencadena un procedimiento en cadena en el que el probador debe demostrar la exactitud de su cálculo. Si el probador no demuestra buena fe, el retador gana y el probador es penalizado, garantizando así la integridad del protocolo. Este sistema de desafíos y pruebas ya es ampliamente utilizado por los distintos rollups de Ethereum.

Reducción del número de transacciones en cadena

Esta nueva versión también mejora la eficiencia del protocolo. Para hacer esto, reduce drásticamente la cantidad de transacciones en cadena necesarias para resolver disputas.

Si bien BitVM podría requerir hasta 70 transacciones para completar una verificación, BitVM2 lo reduce a solo tres transacciones, lo que hace que el proceso no solo sea más rápido, sino también más económico en términos de tarifas de transacción.

Introducción de los SNARK

¡Eso no es todo! BitVM2 ahora incluye SNARK. Esto permite verificar cálculos complejos de forma más concisa y segura. 

Por lo tanto, BitVM se limitó a simples pruebas de fraude en un contexto bipartito. Por su parte, la versión 2 mejora la capacidad a prueba de fraude integrando SNARK, permitiendo verificar cálculos complejos utilizando menos recursos.

Para ello, BitVM2 utiliza un verificador SNARK implementado en el script de Bitcoin, que se divide en fragmentos manejables que se pueden procesar en transacciones de Bitcoin. Esto permite una verificación compacta de las pruebas de fraude.

Seguridad del puente mejorada

Hasta ahora, BitVM se ha utilizado y explorado principalmente en el contexto de la creación de un puente entre Bitcoin y una L2. Sin embargo, en el contexto de BitVM, los puentes requerían una mayoría honesta entre los firmantes para garantizar la seguridad.

Una limitación que podría sortearse con BitVM2. Entonces, mientras BitVM dependía de una mayoría honesta de firmantes para garantizar la seguridad de los fondos, BitVM2 reduce este requisito a una simple honestidad durante la configuración inicial. Posteriormente, la solución sólo requiere de un operador activo y honesto para mantener la seguridad. 

Durante la configuración inicial, se forma un conjunto de actores para configurar las reglas y transacciones que se utilizarán para la ejecución del contrato. La noción de “simple honestidad” significa que para que el sistema sea seguro, basta con que al menos uno de los firmantes sea honesto durante esta configuración inicial. Este actor honesto garantiza que las transacciones o scripts creados no contengan fallas ni condiciones maliciosas.

Este desarrollo es particularmente importante para las soluciones de segunda capa, que ahora pueden aprovechar BitVM2 para proporcionar puentes más seguros y eficientes entre Bitcoin y otras cadenas de bloques.

Como habrás comprendido, BitVM2 introduce muchas mejoras respecto a BitVM. Esto bien podría acelerar el crecimiento de las cadenas laterales y otros paquetes acumulativos de Bitcoin.

En julio, el proyecto BitcoinOS logró la hazaña de verificar la primera prueba de conocimiento cero en Bitcoin. Una hazaña que se logró sin ninguna modificación en el código de Bitcoin. Estos desarrollos y los introducidos por BitVM2 presagian una segunda parte de 2024 probablemente rica en desarrollos para Bitcoin.#Bitcoin❗ >#BinanceTurns7 >#trainding