«Cualquier función computable se puede verificar en Bitcoin», indica el documento técnico o white paper de BitVM, un protocolo capaz de ejecutar contratos inteligentes complejos en Bitcoin. Este desarrollo, divulgado hoy, tiene el potencial de emular las funciones de la máquina virtual de Ethereum, con lo cual se abre la posibilidad de que su tecnología deje de ser percibida como la red para contratos inteligentes por excelencia.
De acuerdo con su documento técnico, BitVM es un «paradigma informático» que propone un mecanismo para ejecutar un sistema computacional de Turing completo, que sustente contratos inteligentes complejos vinculados a Bitcoin. Una máquina de Turing universal (máquina virtual o VM por sus siglas en inglés) es un sistema que puede simular otro modelo de computadora, con lo cual tiene el potencial de ejecutar cualquier programa de computadora compatible.
El diseño de esta máquina virtual permite teóricamente ejecutar redes como Lightning o rollups como los de Ethereum con pocos recursos computacionales para los nodos de Bitcoin. Además, no requiere cambios en las reglas de consenso de la red de Bitcoin, debido a que todos los cálculos de esos programas se realizarían fuera de la cadena principal. «En lugar de ejecutar cálculos en Bitcoin simplemente se verifican», indica el documento firmado por Robin Linus, el principal desarrollador del proyecto ZeroSync.
