Según Foresight News, Nubit y ZeroSync han publicado conjuntamente un artículo de investigación sobre la verificación formal de BitVM de Bitcoin. Este logro académico fue liderado por Nubit en colaboración con ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation e instituciones de primer nivel como la Universidad de Stanford y la Universidad de California en Santa Bárbara. La investigación fue financiada por Fractal Bitcoin y Starkware, estableciendo un nuevo estándar técnico para la capa de ejecución de confianza descentralizada de BitVM en Bitcoin.
En el artículo, Nubit presenta un mecanismo de prueba matemática de "verificación con un solo clic" para BitVM. Esta innovación permite a los desarrolladores, investigadores y usuarios garantizar la seguridad del uso de BitVM sin necesidad de conocimientos criptográficos complejos. Este desarrollo marca un avance significativo en la adopción generalizada del ecosistema de Bitcoin.
