在周四的伦敦办公室,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在一份声明中说。
