近日，继发布首个 BitVM 形式化验证研究成果后，Nubit 再次推动比特币编程能力升级，完成并发布了 BitVM IDE（Integrated Development Environment，集成开发环境）。

这是一款基于 BitVM 在比特币上验证零知识证明（Zero-Knowledge Proof, ZKP）的开发工具。它允许开发者体验编写零知识电路、并快速、直接地在比特币网络上验证零知识证明的全部过程。这为比特币网络大幅降低技术难度，开发无需信任、且隐私性强的应用证明了切实可行的新路径。

BitVM IDE 由 Nubit 联合 ZeroSync、Alpen Labs、Citrea 等合作伙伴共同推出。作为比特币生态的重要推动者，Nubit 正在成为比特币的「去信任世界计算机（Trustless World Computer for Bitcoin）」，让开发者能够利用比特币原生技术构建任何应用，推动比特币生态的大规模采用。

关于 BitVM IDE

以下内容摘取并编译自 Nubit 官方推文及博客：

· BitVM IDE

· BitVM IDE 视频演示

· 博客原文

BitVM IDE 提供了一个直观的界面，用户可以通过该工具在比特币网络上验证任意计算。其核心功能包括：

· 编写和测试零知识证明电路

· 提交并验证比特币网络上的 ZKP

和过去需要大量运算及时间的验证相比，基于 Nubit 技术完成的 BitVM IDE，其核心是让开发者直观感受到验证过程的简化及加速。

例如，用户可以使用 BitVM IDE 验证输入值是否满足特定公式（如 x * y = z）。整个流程如下：

1. 初始化交易：点击「Kickoff」按钮开启交易流程；

2. 提交电路数据：输入 x, y, z 的值并点击「Assert」提交证明；

 · 有效证明：进入「Payout」阶段领取比特币；

 · 无效证明：进入「Disprove」阶段发起挑战；

3. 领取奖励：在证明有效后确认交易并点击「Payout」领取比特币；

4. 挑战无效证明：若证明无效，点击「Disprove」发起挑战，成功后确认证明无效。

此外，BitVM IDE 还提供实时链上状态追踪以及会话重置功能，为开发者提供了便捷的开发环境。

持续探索：从 BitVM IDE 到 Goldinals

目前，BitVM IDE 支持基础电路验证功能（如 x * y = z），未来将支持自定义电路功能，进一步拓展其应用场景。

对 Nubit 来说，比特币原生技术的探索及开发，Nubit DA 及 BitVM IDE 的诞生还远远不够。Nubit 还在基于 BitVM 开发全新的资产协议——Goldinals。通过将执行证明与每笔交易绑定，Goldinals 将降低对中心化索引器的依赖，支持多样化的可编程资产类型。此资产协议有望在 2024 年结束前推出。Nubit 正与 ZeroSync、Alpen Labs 和 Citrea 等合作伙伴紧密合作，将 BitVM 应用推向更广泛的场景，持续推动比特币生态的可编程性。

关于 Nubit

由美国加州大学圣芭芭拉分校 (UCSB) 教授 Yu Feng 及其科研团队创立，Nubit 正在构建比特币的信任最小化世界计算机（Trustless World Computer for Bitcoin），通过比特币原生技术实现开放式扩展。作为全球领先的比特币开发平台之一，Nubit 致力于为开发者提供工具和解决方案，推动比特币原生应用的普及，助力比特币生态的全面发展。

如需了解更多信息，请访问 Nubit 官网 或 BitVM IDE 平台。