Nubit推出BitVM IDE：比特币上的零知识证明工具

2024-11-27 10:10:00

Nubit 发布了 BitVM IDE，这是比特币上首个能够实现零知识证明的开发工具，提升了比特币的编程能力，并推动去中心化应用的隐私性和可编程性。

最近，微小发报道，Nubit 推出了 BitVM IDE（集成开发环境），继首个 BitVM 形式化验证研究成果之后，再次推动比特币编程能力的提升。

🎉 BitVM IDE 是个啥？
这是个基于 BitVM 的开发工具，专注于比特币上的零知识证明（ZKP）验证。开发者可以轻松体验编写零知识电路，并迅速在比特币网络上验证它们，简直就是技术难度的降落伞，为无需信任且具隐私性的应用开发开辟了新天地。

🤝 合作伙伴
Nubit 联合了 ZeroSync、Alpen Labs、Citrea 等一众伙伴，成为比特币生态的重要推动者。Nubit 目标是让比特币成为「去信任世界计算机」，让开发者能利用比特币原生技术构建任何应用，真是要把比特币生态推向大规模采用的快车道。

关于 BitVM IDE

微小发报道，以下是 Nubit 官方推文及博客中的一些精华：

💡 核心功能
BitVM IDE 提供直观的界面，用户可以在比特币网络上验证任意计算，其核心功能包括：

编写和测试零知识证明电路
提交并验证比特币网络上的 ZKP

相比于之前需要大量运算和时间的验证过程，基于 Nubit 技术的 BitVM IDE 让开发者直观感受到验证的简化与加速，简直是科技的魔法！✨ 用户能够使用 BitVM IDE 来验证输入值是否符合特定公式，比如 x * y = z。整个过程简单明了：

初始化交易：点击「Kickoff」按钮，启动交易流程。
提交电路数据：输入 x、y 和 z 的值，然后点击「Assert」提交证明。
- 有效证明：进入「Payout」阶段，领取比特币💰。
- 无效证明：进入「Disprove」阶段，发起挑战。
领取奖励：证明有效后，确认交易，点击「Payout」领取比特币。
挑战无效证明：如果证明无效，点击「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

Nubit 由加州大学圣芭芭拉分校 (UCSB) 的教授 Yu Feng 及其科研团队创立，致力于构建一个信任最小化的比特币世界计算机，推动比特币原生技术的开放式扩展。作为全球领先的比特币开发平台之一，Nubit 为开发者提供工具和解决方案，助力比特币原生应用的普及和生态的全面发展。如需了解更多信息，建议访问 Nubit 官网 ( https://nubit.org ) 或 BitVM IDE 平台 ( https://bitvm-ide.nubit.org ) 。

本文来源于投稿，不代表微小发报道观点

Reminder: Develop a sound understanding of currency and investment, approach blockchain rationally, and stay aware of risks. Report any illegal activities to the authorities

温馨提醒，请广大读者树立正确的货币观念和投资理念，理性看待区块链，切实提高风险意识；对发现的违法犯罪线索，可积极向有关部门举报反映。