Foresight News 消息，Nubit 与 ZeroSync 联合发表了比特币 BitVM 形式化验证的研究论文。此学术成果由 Nubit 主导，与 ZeroSync、Alpen Labs、Citrea、Layer 1 Foundation 及斯坦福大学、加州大学圣塔芭芭拉分校等顶尖机构共同完成，并得到 Fractal Bitcoin 和 Starkware 的资助支持，为比特币去中心化信任的执行层 BitVM 树立了新的技术标准。

论文中，Nubit 提供的 BitVM「一键验证」数学证明机制，能使开发者、研究人员和用户无需复杂的加密知识即可确保其使用 BitVM 的安全性，是比特币生态普及迈出的新一步。