Selon Foresight News, Nubit et ZeroSync ont publié conjointement un article de recherche sur la vérification formelle de BitVM de Bitcoin. Cette réalisation académique a été menée par Nubit 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. La recherche a été financée par Fractal Bitcoin et Starkware, établissant une nouvelle norme technique pour la couche d'exécution de confiance décentralisée de BitVM dans Bitcoin.
Dans cet article, Nubit présente un mécanisme de preuve mathématique de « vérification en un clic » pour BitVM. Cette innovation permet aux développeurs, aux chercheurs et aux utilisateurs de garantir la sécurité de l'utilisation de BitVM sans nécessiter de connaissances cryptographiques complexes. Ce développement marque une avancée significative dans l'adoption généralisée de l'écosystème Bitcoin.
