Potrivit Foresight News, Nubit și ZeroSync au publicat împreună o lucrare de cercetare privind verificarea formală a BitVM-ului Bitcoin. Această realizare academică a fost condusă de Nubit în colaborare cu ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation și instituții de top precum Universitatea Stanford și Universitatea din California, Santa Barbara. Cercetarea a fost finanțată de Fractal Bitcoin și Starkware, stabilind un nou standard tehnic pentru stratul de execuție de încredere descentralizat al BitVM în Bitcoin.
În lucrare, Nubit introduce un mecanism de demonstrare matematică de „verificare cu un singur clic” pentru BitVM. Această inovație permite dezvoltatorilor, cercetătorilor și utilizatorilor să asigure securitatea utilizării BitVM fără a necesita cunoștințe criptografice complexe. Această dezvoltare marchează un pas semnificativ înainte în adoptarea pe scară largă a ecosistemului Bitcoin.
