Nubit与ZeroSync联合发表比特币BitVM形式化验证的开创性研究论文

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

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

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