在伦敦办公室的最终代码提交
在周四的伦敦办公室，BitcoinOS开发者完成了最终的代码提交，这将使BitSNARK这一专用协议开源，从而实现比特币上的零知识验证。
BitcoinOS首席执行官兼联合创始人Edan Yago对Decrypt表示，开源BitSNARK的举动“解锁了比特币的可编程性”，旨在帮助开发者“以以前不可能的方式构建和实验”。
这一发布是在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