Foresight News 消息，Nubit 與 ZeroSync 聯合發表了比特幣 BitVM 形式化驗證的研究論文。此學術成果由 Nubit 主導，與 ZeroSync、Alpen Labs、Citrea、Layer 1 Foundation 及斯坦福大學、加州大學聖塔芭芭拉分校等頂尖機構共同完成，並得到 Fractal Bitcoin 和 Starkware 的資助支持，爲比特幣去中心化信任的執行層 BitVM 樹立了新的技術標準。
論文中，Nubit 提供的 BitVM「一鍵驗證」數學證明機制，能使開發者、研究人員和用戶無需複雜的加密知識即可確保其使用 BitVM 的安全性，是比特幣生態普及邁出的新一步。
