在伦敦的一间办公室里，BitcoinOS的开发者们在周四完成了最终的代码提交，这将使BitSNARK这一专门协议开源，从而实现比特币上的零知识验证。
开源BitSNARK的举动“解锁了比特币的可编程性”，旨在帮助开发者“以以前不可能的方式进行构建和实验，”BitcoinOS的首席执行官兼联合创始人Edan Yago告诉Decrypt。
此次发布紧随BitcoinOS在2024年7月的演示，该演示在比特币主网的区块853626上验证了第一个零知识证明。
多年来，比特币开发者面临着一个看似无法解决的三难困境：提高扩展性、增加计算表达能力或保持去中心化——最多只能选择两个。
BitcoinOS在不需要修改比特币核心协议的情况下解决了这个问题。这一方面可能会改变开发者为全球最大加密网络构建的方式，使用他们已经熟悉的语言，如Rust和Solidity。
这些开源协议的努力旨在改善SNARKs（简洁非交互式知识证明）在比特币上的使用。
SNARKs是加密证明，允许某人证明他们知道某事或正确地做了某事，而无需透露任何其他细节，使用一种任何人都可以轻松检查的简单验证方案。
这种方法已经存在一段时间，但BitSNARK在此基础上构建了一个据称更简化的方法。
小步伐，大想法
与更复杂的实现不同，BitSNARK优化了SNARK验证，仅需三条指令，而不是数十条，并将这些复杂计算封装成约350字节大小的证明。
Yago声称，这种效率使得在比特币有限的脚本环境中运行零知识证明这一曾经理论上的概念“足够小”，以便在现实世界应用中变得实用。
它通过使用“证明者-验证者”模型来实现，参与者准备并签署一系列比特币交易，以启用证明验证。
该协议使用二分搜索算法来定位有争议的操作并尝试解决争端，经济激励确保了系统中的不诚实行为对双方来说代价高昂。
将应用带入比特币
BitSNARK开源的影响超出了技术圈。
以前仅限于可编程区块链（如以太坊）的金融应用现在在比特币上变得可能：用于跨链资产的无信任桥接、去中心化交易所，甚至比特币支持的稳定币。
然而，并非比特币社区中的每个人都接受这些发展。
关于复杂性增加和潜在的安全风险的担忧来自批评者，他们认为简单性和自我保管的价值超过了扩展功能的前景。
关于该存储库，Yago向Decrypt确认核心基础设施将完全开源，而一些专有元素将仅限于BitcoinOS已经构建的应用。
在谈到安全性时，Yago告诉Decrypt，BitcoinOS将BitSNARK视为构建“整个互联网的通用安全层”的一种方式。
如果成功，BitcoinOS与BitSNARK的倡议可能会帮助比特币找到并“重塑我们所有人使用比特币的方式”，并确保这一首个加密货币的“最初承诺”能够“为每个人实现，”Yago在一份声明中表示。
免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。
