Golden Finance informó que el líder del proyecto ZeroSync, Robin Linus, publicó recientemente un documento técnico en el que anuncia que BitVM puede implementar contratos de Bitcoin completos de Turing sin cambiar las reglas de consenso de Bitcoin. BitVM permitirá que la lógica de los contratos de Bitcoin se ejecute fuera de la cadena y la verificación se realizará en Bitcoin, similar al paquete acumulativo optimista de Ethereum.

La arquitectura BitVM se basa en el modelo de prueba de fraude y respuesta a desafíos, donde el probador puede hacer reclamos y el verificador puede realizar pruebas de fraude para castigar al probador por reclamos falsos. Linus dijo que Bitcoin actualmente se limita a operaciones básicas como firmas, bloqueos de tiempo y bloqueos de hash, pero que se pueden lograr aplicaciones más interesantes con BitVM.