Bitcoin ha sido tradicionalmente conocido como una red de pagos peer-to-peer y una reserva de valor digital. Sin embargo, sus capacidades de programación han permanecido limitadas debido a las restricciones en su lenguaje de scripting. BitVM emerge como una solución que cambia este problema, permitiendo la ejecución de programas arbitrarios complejos sobre la red Bitcoin sin comprometer su seguridad ni requerir cambios en el protocolo base.

Tomada de : https://github.com/BitVM/BitVM

Tomada de : https://github.com/BitVM/BitVM

¿Qué es BitVM?

BitVM representa un paradigma completamente nuevo para Bitcoin. Es un sistema que habilita la computación Turing-completa directamente sobre la blockchain de Bitcoin. Esta tecnología combina la capacidad de una máquina computacional completa con la seguridad robusta del consenso de esta red , logrando esta integración sin necesidad de realizar modificaciones a las reglas fundamentales del protocolo.

Bitcoin Script, el lenguaje de programación nativo de Bitcoin, no es Turing-completo y resulta extremadamente ineficiente para programas complejos. Los scripts que intentan realizar computaciones sofisticadas rápidamente exceden los límites de tamaño de bloque y capacidad de la pila, pues el lenguaje fue originalmente pensado para operaciones específicas.

BitVM resuelve esta limitación fundamental mediante un nuevo enfoque que en lugar de ejecutar programas complejos directamente en la cadena, mueve la computación pesada fuera de ella (off-chain) y utiliza la blockchain de Bitcoin únicamente para verificar la corrección de esa computación y resolver disputas cuando sea necesario.

La visión de BitVM

Esta innovación marca un cambio de paradigma significativo para Bitcoin. No se trata simplemente de dar nuevas capacidades a Bitcoin, sino de habilitar la capacidad Turing-completa sobre su infraestructura existente. Bitcoin mantiene su diseño minimalista y seguro, mientras que la lógica de programas complejos se ancla a su seguridad sin comprometer los principios fundamentales de la red.

Este enfoque permite que Bitcoin evolucione de ser principalmente una reserva de valor a convertirse también en una plataforma para aplicaciones descentralizadas sofisticadas, todo mientras preserva las características que han hecho de Bitcoin la blockchain más segura y confiable del mundo.

¿Por qué surge BitVM?

La creación de BitVM responde a varios desafíos que enfrenta el ecosistema Bitcoin en la actualidad:

<aside> 1. Limitaciones de Escalabilidad Bitcoin como blockchain de Capa 1 tiene restricciones inherentes. Las soluciones existentes como Lightning Network han demostrado potencial, pero carecen de programabilidad general.

</aside>

<aside> 2. Restricciones del Lenguaje Script El conjunto de operaciones nativas de Bitcoin es extremadamente limitado, haciendo que implementar programas complejos sea prácticamente imposible.

</aside>

<aside> 3. Vulnerabilidad de Puentes Los puentes actuales que crean wrapped assets dependen de esquemas de multifirma, introduciendo riesgos y centralización que contradicen los principios fundamentales de Bitcoin.

</aside>

BitVM aborda directamente estos desafíos, ofreciendo una solución que expande la funcionalidad sin comprometer los principios de seguridad, inmutabilidad y descentralización.

Propósito principal

<aside> ❓

El propósito central de este proyecto es escalar Bitcoin, permitiendo que cualquier programa arbitrario (cualquier programa de computadora que usted pueda imaginar) pueda ejecutarse de manera segura y verificable sobre la red. Esta capacidad abre un universo de posibilidades para aplicaciones descentralizadas que antes eran impensables en Bitcoin. Una de las aplicaciones más significativas es la creación de puentes de confianza minimizada para BTC hacia sistemas de Capa 2. Los puentes tradicionales funcionan bajo un modelo de custodia, donde los usuarios deben confiar en que un grupo de firmantes actuará honestamente para proteger sus fondos. BitVM Bridge cambia fundamentalmente este paradigma, pasando de "confianza en la honestidad" a "confianza en la verificabilidad". Si un operador intenta comportarse de manera deshonesta, cualquier participante de la red puede demostrarlo mediante pruebas de fraude y activar penalizaciones económicas automáticas.

</aside>

Visión general: Sobre la propuesta técnica para Bitcoin actual

BitVM2 (la versión más madura de BitVM en el 2025 ) opera mediante un modelo de computación optimista respaldado por un sistema sofisticado de verificación y resolución de disputas.

Computación optimista y verificación SNARK

El corazón del sistema se basa en la computación optimista. Bajo este modelo, se asume que los operadores que ejecutan programas actúan de manera honesta, a menos que un retador demuestre lo contrario mediante la presentación de una prueba de fraude. Este enfoque funciona para superar las limitaciones de almacenamiento y capacidad computacional de Bitcoin.

Para habilitar la verificación de programas arbitrarios, BitVM2 utiliza SNARKs. En lugar de intentar ejecutar un programa completo que podría ocupar gigabytes de espacio, BitVM2 verifica la correcta ejecución de un verificador SNARK mucho más pequeño. Este verificador, a su vez, valida una prueba criptográfica de que el programa original se ejecutó correctamente.