开源零知识证明现可通过 BitSNARK 在比特币上使用

BitcoinOS (BOS) 已开源 BitSNARK，这是一种零知识证明 (ZKP) 验证协议，可使 zk-SNARK 在不改变其核心协议的情况下在区块链上运行。这一发展引入了比特币主网上首批可运行的ZKP系统之一，可能会改变其隐私性、可扩展性和智能合约功能。

BitSNARK 允许在比特币主网上直接验证 zk-SNARK 证明。7 月，BOS在区块 853626 上验证了比特币上第一个 ZK 证明。BitSNARK v0.1 的开源为开发人员提供了在比特币上实现高级加密证明的工具，为去中心化应用和增强隐私功能铺平了道路。

BOS 首席执行官兼联合创始人 Edan Yago 表示，它将比特币变成一个完整的智能合约平台。“比特币已经进入了聊天领域，”Yago 表示，强调了将先进的加密技术和跨链功能引入比特币网络的重要性。

BitSNARK 为比特币开放了去中心化原子交换、跨链转移和双向挂钩，从而实现了与其他区块链的互操作性以及隐私保护智能合约的执行。该协议采用经济激励措施来确保参与者之间的诚实，防止恶意行为者破坏验证过程。

迄今为止比特币上的 ZK 证明

虽然其他项目在将零知识证明引入比特币方面取得了长足进步，但 BitSNARK 的主网实现使其与众不同。例如， StarkWare于 2024 年 6 月在比特币的 Signet 测试网络上验证了 ZK 证明，旨在使用 STARK 技术和 OP_CAT 软分叉提高比特币的可扩展性。ZeroSync 项目正在使用潜在的 OP_ZKP OP 代码为比特币开发零知识轻客户端，但尚未实施主网验证。

Ledger 的首席技术官 Charles Guillemet 一直提倡采用 OP_CAT 之类的技术或其他创新方法来验证比特币链上的 ZK 证明，他认为这些技术可以增强第 2 层解决方案并降低对链下处理的信任。BitSNARK 的方法可能与这些观点一致，因为它可以在不改变核心协议的情况下提供 ZK 验证。

因此，将 ZKP 引入比特币主层的其他方法大多需要进一步开发，而鉴于网络在设计上抗拒改变，这将需要时间。BitSNARK 通过启用 ZK 验证来解决这些挑战，而无需更改比特币的核心协议。这种方法可以增强功能，同时保留比特币的去中心化和安全原则。

BitSNARK 与比特币上其他 ZKP 解决方案的比较

BitSNARK 与其他方法的不同之处在于，它允许在比特币主网上进行验证，而无需软分叉。这使得 BitSNARK 成为比特币技术发展中潜在的重要里程碑，为增强隐私性和可扩展性提供了一条可行的途径。

BitSNARK 使用 Grail Bridge 和 Merkle Mesh。Grail Bridge 是一种去中心化的跨链桥，利用 zk-SNARK 和 BitSNARK 验证协议在比特币和其他区块链之间实现安全、无需信任的资产转移。Merkle Mesh 旨在大规模处理许多去中心化的 zk-SNARK 验证，从而提高网络性能。

通过开源 BitSNARK，BOS 旨在促进对比特币生态系统的进一步了解和实验。该计划允许开发人员构建利用比特币安全性的应用程序，同时引入传统上与其他区块链平台相关的功能。

BitcoinOS 起源于Sovryn去中心化金融社区，并得到了 Galaxy Digital 和 General Catalyst 等投资者的支持。这一背景提供了宝贵的经验和见解，代表着向将各种区块链功能整合到比特币网络上的转变。

通过汇总直接在比特币上启用隐私保护交易和智能合约等高级功能，BitcoinOS 旨在释放比特币高吞吐量、安全交易的潜力，同时保持网络的去中心化和弹性。