Nubit et ZeroSync ont publié conjointement un document de recherche révolutionnaire sur la vérification formelle de BTCBitVM

BlockBeats News : Le 1er novembre, selon les informations officielles, Nubit et ZeroSync ont publié conjointement un document de recherche révolutionnaire sur BTC BitVM Vérification formelle. Il est rapporté que cette réalisation académique est dirigée par Nubit, en collaboration avec ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation, l’Université de Stanford, l’Université de Californie, Santa Barbara et d’autres institutions de premier plan, et soutenue par Fractal Bitcoin et Starkware, établissant une nouvelle norme technique pour BitVM, la couche d’exécution approuvée par BTCDécentralisation. La solution de « vérification en un clic » de Nubit permet aux développeurs, aux chercheurs et aux utilisateurs d’assurer la sécurité de l’utilisation de BitVM sans connaissances complexes en matière de chiffrement, jetant ainsi les bases de la popularisation et du progrès technologique de l’écosystème BTC.