Selon Foresight News, Nubit et ZeroSync ont publié conjointement un document de recherche sur la vérification formelle de Bitcoin BitVM. Cette réussite académique a été dirigée par Nubit et réalisée en collaboration avec ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation et des institutions de premier plan telles que l'Université de Stanford et l'Université de Californie à Santa Barbara. Elle a également été financée par Fractal Bitcoin et Starkware, et. a contribué à la décentralisation de Bitcoin BitVM, la couche d'exécution de confiance centralisée, établit une nouvelle norme technique.

Dans le document, le mécanisme de preuve mathématique de « vérification en un clic » BitVM fourni par Nubit permet aux développeurs, aux chercheurs et aux utilisateurs de garantir la sécurité de leur utilisation de BitVM sans connaissances complexes en matière de cryptage, ce qui constitue une nouvelle étape vers la vulgarisation de l'écosystème Bitcoin. .