在周四的伦敦办公室中，比特币开发人员完成了最终代码提交，该代码提交将开放源代码BITSNARK，这是一种专门的协议，实现了比特币的零知识验证。

BitCoinos的首席执行官兼联合创始人Edan Yago说，向开源BITSNARK“解锁比特币上的可编程性”，旨在帮助开发人员“以以前是不可能的方式来建立和实验”。解密.

该版本是在2024年7月的比特币之后的演示，该演示验证了第一个零知识证明在Block 853626上的比特币主网上。＆nbsp;

多年来，比特币开发人员面临看似棘手的三元素：提高规模，增加计算表达性或保留权力下放化 - 最多要把两个。

比特币解决了这一点，而无需对比特币核心协议进行修改。这一方面可以通过他们已经熟悉的诸如生锈和坚固性之类的语言来改变开发人员为世界上最大的加密网络构建的方式。

这些使协议开源的努力旨在改善比特币上使用Snark（简洁的非交互性论点）。

Snark是加密的证据，让某人证明自己知道某事或正确地做某事而没有透露任何其他细节，使用任何人都可以轻松检查的简单验证方案。

这种方法已经存在一段时间了，但是Bitsnark在此基础上建立了一个据称精简的方法.

小步骤，大创意

与更复杂的实现不同，BITSNARK优化了SNARK验证，仅需要三个说明而不是数十个说明，然后将这些复杂的计算包装到大约350个字节的证明中。

Yago称，这种效率使曾经理论上的理论概念是在比特币有限的脚本环境中运行零知识证明“足够小”，以实现对现实世界应用的实用性。

它通过使用“谚语 - 佛教徒”模型来做到这一点，参与者准备并签署一系列可以进行证明验证的比特币交易。

该协议使用二进制搜索算法来定位有争议的行动并试图解决争议，这是由于经济激励措施所确保的，它声称这使双方的不诚实行为不诚实。

将申请带到比特币

Bitsnark进行开源的含义超出了技术界。

现在，比特币上的以太坊等可编程区块链以前独有的财务应用程序是可能的：无信任的桥梁用于跨链资产，分散交流，甚至比特币支持的稳定菌.

但是，并不是比特币社区中的每个人都接受这些发展。

关注复杂性的提高和潜力安全风险随着零知识，批评家的出现了，他们在简单性和自我遵守方面的价值比扩展功能的前景更具价值。

为了存储库，Yago证实解密核心基础架构将是完全开源的，而某些专有元素仍将仅限于BitCoinos已经构建的应用程序。

当被问及安全时，Yago告诉解密那比特币将Bitsnark视为建立“为整个互联网的通用安全层”的一种方式。

Yago在一份声明中说，如果成功，BITSNARKS的比特币倡议可以帮助比特币找到并“重塑我们都可以使用比特币”，并确保“为每个人实现Alpha Crypto“原始承诺””。

编辑塞巴斯蒂安·辛克莱（Sebastian Sinclair）