En un avance significativo para el mundo de las criptomonedas, se ha presentado una nueva propuesta para llevar off-chain smart contracts a Bitcoin. La propuesta, titulada «BitVM: Compute Anything on Bitcoin», fue anunciada en un documento técnico por el líder del proyecto de ZeroSync, Robin Linus.

BitVM Promete Ofrecer Características Interesantes para la Red Bitcoin

BitVM está diseñado para llevar el poder de los contratos completos de Turing a Bitcoin sin la necesidad de cambios en las reglas de consenso de Bitcoin. Un sistema Turing completo tiene la capacidad teórica de resolver cualquier problema computacional.

La ejecución de la «lógica» de los contratos de Bitcoin se lleva a cabo fuera de la cadena, pero posteriormente se verifica en Bitcoin. Esto es similar a la forma en que funcionan los optimistic rollups de Ethereum.

La estructura de BitVM se basa en los principios de prueba de fraude y un modelo de desafío-respuesta. En este modelo, una entidad conocida como “probador” puede hacer afirmaciones, mientras que otra entidad, el “verificador”, tiene la capacidad de realizar una prueba de fraude. Este proceso permite al verificador penalizar al demostrador en los casos en que se hacen afirmaciones falsas.

Linus ha aclarado que las capacidades existentes de Bitcoin se limitan a operaciones fundamentales como firmas, bloqueos de tiempo y hashlocks. Sin embargo, la introducción de BitVM amplía estas capacidades, permitiendo el cálculo de una amplia gama de aplicaciones interesantes.

Los posibles usos podrían abarcar juegos como el Ajedrez, el Go o el Póquer y, en particular, la verificación de pruebas de validez dentro de los contratos de Bitcoin. Además, podría permitir la conexión de BTC con cadenas externas, el establecimiento de un mercado de predicción o la emulación de nuevos códigos de operación.

Linus también destacó que el modelo está restringido a un escenario bipartito que involucra un probador y un verificador y que se requieren importantes cálculos y comunicación fuera de la cadena para ejecutar programas.

El próximo objetivo del proyecto es incorporar completamente BitVM, junto con Tree++, un sofisticado lenguaje de programación diseñado para la creación y depuración de contratos de Bitcoin.