Según Foresight News, Robin Linus, líder del proyecto ZeroSync, cuyo objetivo es introducir pruebas de conocimiento cero en Bitcoin, ha publicado un documento titulado 'BitVM: Compute Anything on Bitcoin'. BitVM es un nuevo paradigma informático que permite la expresión de contratos Bitcoin completos de Turing sin cambiar las reglas de consenso de la red Bitcoin. Puede ejecutar cualquier función computable y realizar cálculos fuera de línea sin dejar ningún rastro en la cadena. El documento técnico también cubre la arquitectura, entrada/salida, limitaciones y perspectivas de BitVM.