伦敦办公室的 BitcoinOS 开发人员在周四完成了最终的代码提交,这将使 BitSNARK 开源,这是一种专门的协议,可以在比特币上启用零知识验证。
开源 BitSNARK 的举措"解锁了比特币上的可编程性",旨在帮助开发人员"以前所未有的方式进行构建和实验",BitcoinOS 的首席执行官兼联合创始人 Edan Yago 告诉 Decrypt。
此次发布是在 BitcoinOS 于 2024 年 7 月进行的演示之后,该演示在比特币主网第 853626 个区块上验证了第一个零知识证明。
多年来,比特币开发人员面临着一个看似棘手的三难困境:提高规模、增加计算表达能力或保持去中心化——最多选择两个。
BitcoinOS 在不需要修改比特币核心协议的情况下解决了这个问题。这一方面可能会改变开发人员使用他们已经熟悉的语言(如 Rust 和 Solidity)为世界最大的加密网络构建的方式。
这些使协议开源的努力旨在改善在比特币上使用 SNARK(简洁的非交互式知识论证)的方式。
SNARK 是一种加密证明,它允许某人证明他们知道某些事情或做了某些事情,而不透露任何其他细节,使用任何人都可以轻松检查的简单验证方案。
这种方法已经存在一段时间了,但 BitSNARK 在此基础上建立了一种所谓更简化的方法。
与更复杂的实现相比,BitSNARK 优化了 SNARK 验证,只需三条指令而不是几十条,并将这些复杂的计算包装成大小仅约 350 字节的证明。
这种效率使得在比特币有限的脚本环境中运行零知识证明的理论概念"足够小"而实用于现实世界应用,Yago 声称。
它通过使用"证明者-验证者"模型来实现这一目标,参与者准备并签署一系列比特币交易,以启用证明验证。
该协议使用二进制搜索算法来定位有争议的操作并尝试解决争议,并由它声称使双方不诚实的代价过高的经济激励措施提供保障。
BitSNARK 开源的影响超越了技术圈。
以前仅限于可编程区块链(如以太坊)的金融应用现在在比特币上成为可能:无需信任的跨链资产桥梁、去中心化交易所,甚至比特币支持的稳定币。
然而,并非比特币社区的所有人都接受这些发展。
有批评者担心复杂性增加和安全风险,他们认为简单性和自我托管比扩展功能更有价值。
对于存储库,Yago 向 Decrypt 确认,核心基础设施将完全开源,而一些专有元素将仅限于 BitcoinOS 已经构建的应用程序。
谈到安全性,Yago 告诉 Decrypt 说,BitcoinOS 将 BitSNARK 视为构建"整个互联网的通用安全层"的一种方式。
如果成功,BitcoinOS 在 BitSNARK 方面的举措可能会帮助比特币找到并"重塑我们使用比特币的方式",并确保这种"原始承诺"对所有人都"实现",Yago 在一份声明中说。
由 Sebastian Sinclair 编辑
