Nubit dan ZeroSync bersama-sama menerbitkan makalah penelitian yang inovatif tentang verifikasi formal BTCBitVM

BlockBeats News: Pada tanggal 1 November, menurut informasi resmi, Nubit dan ZeroSync bersama-sama menerbitkan makalah penelitian inovatif oleh BTC BitVM Verifikasi Formal. Dilaporkan bahwa prestasi akademik ini dipimpin oleh Nubit, bekerja sama dengan ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation, Stanford University, University of California, Santa Barbara dan institusi top lainnya, dan didukung oleh Fractal Bitcoin dan Starkware, menetapkan standar teknis baru untuk BitVM, lapisan eksekusi yang dipercaya oleh BTCDesentralisasi. Solusi "verifikasi satu klik" Nubit memungkinkan pengembang, peneliti, dan pengguna untuk memastikan keamanan menggunakan BitVM tanpa pengetahuan enkripsi yang rumit, meletakkan dasar bagi popularitas dan kemajuan teknologi ekosistem BTC.