BlockBeats 消息,11 月 1 日,据官方消息,Nubit 与 ZeroSync 联合发表了比特币 BitVM 形式化验证的开创性研究论文。

据悉,此学术成果由 Nubit 主导,携手 ZeroSync、Alpen Labs、Citrea、Layer 1 Foundation 及斯坦福大学、加州大学圣塔芭芭拉分校等顶尖机构共同完成,并得到 Fractal Bitcoin 和 Starkware 的资助支持,为比特币去中心化信任的执行层 BitVM 树立了新的技术标准。

Nubit 提供的「一键验证」方案,让开发者、研究人员和用户无需复杂的加密知识即可确保使用 BitVM 的安全性,为比特币生态的普及与技术进步奠定了基础。