De acordo com o Foresight News, a Nubit e a ZeroSync publicaram em conjunto um artigo de pesquisa sobre a verificação formal do BitVM do Bitcoin. Essa conquista acadêmica foi liderada pela Nubit em colaboração com a ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation e instituições importantes como a Universidade de Stanford e a Universidade da Califórnia, Santa Barbara. A pesquisa foi financiada pela Fractal Bitcoin e Starkware, definindo um novo padrão técnico para a camada de execução de confiança descentralizada do BitVM no Bitcoin.
No artigo, a Nubit apresenta um mecanismo de prova matemática de 'verificação com um clique' para o BitVM. Essa inovação permite que desenvolvedores, pesquisadores e usuários garantam a segurança do uso do BitVM sem exigir conhecimento criptográfico complexo. Esse desenvolvimento marca um passo significativo à frente na adoção generalizada do ecossistema Bitcoin.
