PANews informó el 10 de octubre que el líder del proyecto ZeroSync, Robin Linus, publicó un documento técnico titulado "BitVM: Computing Anything on Bitcoin". El contenido muestra que BitVM puede lograr la integridad de Turing sin cambiar las reglas de consenso de Bitcoin. Con BitVM, la "lógica" del contrato de Bitcoin se ejecutará fuera de la cadena, pero la verificación se producirá en Bitcoin, similar a los optimistas rollups de Ethereum. La arquitectura de BitVM se basa en un modelo de prueba de fraude y respuesta a desafíos, donde los "probadores" pueden hacer afirmaciones y los "verificadores" pueden realizar pruebas de fraude para castigar al demostrador cuando se realizan afirmaciones falsas.
Lectura relacionada: Aprenda sobre ZeroSync en 3 minutos: ¿Qué tipo de reacción química ocurrirá cuando se introduzca una prueba de conocimiento cero en Bitcoin?
