BitVM traslada un cálculo acotado fuera de la cadena y lleva a Bitcoin una prueba de fraude preparada de antemano; no es una máquina virtual de propósito general ejecutada directamente en Bitcoin Script.
El BitVM original describe una relación bilateral entre prover y verifier. El prover ejecuta un programa fuera de la cadena, se compromete con su traza y el verifier interviene únicamente cuando afirma que el resultado es incorrecto. [1]
BitVM2 verifica un SNARK mediante scripts divididos en subprogramas más pequeños. El recorrido optimista no escribe todo el cálculo en la cadena; ante una disputa, un challenger sin permiso puede refutar una afirmación inválida mediante un protocolo abreviado. [2]
BitVM Bridge busca trasladar BTC a segundas capas con mayor seguridad: durante el setup reduce el supuesto de una mayoría honesta a por lo menos un participante honesto, y cualquiera, no solo un verifier predefinido, puede impugnar una prueba inválida. [2]
Un challenge sin permiso no equivale a confianza cero. Para la liveness, el puente aún necesita al menos un operador racional activo; si todos fallan, los fondos pueden quedar inmovilizados, y el protocolo concreto también depende del setup, la disponibilidad de datos, los incentivos y un grafo de transacciones correcto. [3]
La implementación oficial de BitVM Bridge se declara no apta para producción y advierte expresamente que no debe usarse en ella. El repositorio es un prototipo de verifier SNARK y puente, no una garantía auditada de transferencias seguras de BTC. [4]
Los challenges sin permiso no eliminan los costes operativos. El protocolo usa scripts grandes, pruebas divididas, colateral, plazos y comisiones; la inactividad o la censura pueden dañar la liveness incluso si un atacante no consigue presentar una prueba válida. [3]
BitVM no convierte Bitcoin Script en una máquina virtual convencional para programas onchain arbitrarios. La construcción está diseñada sin cambiar el consenso: su generalidad surge del cálculo offchain, los compromisos, los timelocks y una disputa prefirmada que Bitcoin puede hacer cumplir. [5]
El nombre BitVM abarca varios diseños distintos y en evolución: BitVM1, BitVM2 y los protocolos de puente concretos no comparten los mismos roles ni supuestos. Antes de utilizarlo hay que verificar la versión exacta, el grafo de transacciones, el setup, el número de operadores, la ruta de challenge y las salidas de emergencia. [4]
Para obtener la imagen más completa, lee esta entrada junto con Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01¿BitVM ejecuta programas directamente en Bitcoin?+
No. El programa se calcula fuera de la cadena; Bitcoin actúa como juez de una disputa preparada de antemano sobre compromisos criptográficos y un pequeño paso de la prueba.
02¿Es BitVM un puente trustless terminado?+
No. BitVM2 reduce algunos supuestos de confianza y permite challenges sin permiso, pero un puente concreto sigue dependiendo de su setup, sus operadores, la liveness y una implementación no apta para producción.