原文来源：Nubit

欧易(OKX)

全球三大交易所之一，注册领50U数币盲盒，币圈常用的交易平台！

立即注冊立即下载

币安(Binance)

币安是世界领先的数字货币交易平台，注册领100U。

立即注冊立即下载

近日，继发布首个 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（示意图）

关于 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 平台。

本文来自投稿，不代表 观点