Nubit與ZeroSync聯合發表比特幣BitVM形式化驗證的開創性研究論文

BlockBeats 消息，11 月 1 日，據官方消息，Nubit 與 ZeroSync 聯合發表了比特幣 BitVM 形式化驗證的開創性研究論文。據悉，此學術成果由 Nubit 主導，攜手 ZeroSync、Alpen Labs、Citrea、Layer 1 Foundation 及斯坦福大學、加州大學聖塔芭芭拉分校等頂尖機構共同完成，並得到 Fractal Bitcoin 和 Starkware 的資助支持，為比特幣去中心化信任的執行層 BitVM 樹立了新的技術標準。Nubit 提供的「一鍵驗證」方案，讓開發者、研究人員和用戶無需復雜的加密知識即可確保使用 BitVM 的安全性，為比特幣生態的普及與技術進步奠定了基礎。