比特币DeFi扩张面临分叉困境，开发者正在探索ZK证明

希望扩展区块链的去中心化金融(DeFi) 功能的比特币开发人员可能会考虑零知识 (ZK) 证明，这是当前尚不可用的功能，需要所谓的软分叉或新版本的软件才能引入它们。

拥有十多年比特币经验的 Edan Yago 是智能合约操作系统 BitcoinOS (BOS) 的核心贡献者，他认为这是一个问题。

Yago 在接受 CoinDesk 采访时表示：“分叉区块链，尤其是价值 2 万亿美元的区块链，就像是进行心脏手术一样。显然，硬分叉会带来更多问题，但我认为引入任何类型的分叉都是危险的。”

分叉是指区块链代码的变更，需要在某个点上分叉到不同的路径。分叉可以是软分叉，即旧版本仍可与新版本交互；也可以是硬分叉，即旧版本不兼容，要求所有用户升级其软件。

ZK 证明是一种加密方法，用于证明声明的有效性，同时通过不泄露任何信息来保持隐私。比特币软件中不提供此功能，但可以通过OP_CAT和 OP_CTV 等拟议的实现来实现。Yago 表示，开发人员应该能够找到在比特币上启用它们的方法，而无需任何分叉。

他说：“开发商有举证责任，他们必须证明没有其他方法可以通过巧妙的工程来实现这一目标。”

这就是 BOS 希望通过 BitSNARK 实现的目标，BitSNARK 是一种比特币汇总协议，是为扩展原始区块链而开发的计算范式系列的一部分。这些是在 Robin Linus 于 2023 年 10 月推出 BitVM之后出现的，它为如何在比特币上启用类似以太坊的智能合约制定了一个框架。

BitcoinOS 现已开源Yago 所描述的“完全投入生产”的 BitSNARK 协议，这意味着开发人员现在可以访问比特币上的 ZK 验证，并将其连接到以太坊、Solana 和 Cardano 等其他区块链。

BitSNARK 允许开发人员使用大型复杂程序，并仅用 300 个字节来证明计算结果，这些结果可以在标准比特币交易中进行验证。这可能为 BTCFi（比特币上 DeFi 的术语）铺平道路，通过实现跨链桥、去中心化交易所和比特币 (BTC) 支持的稳定币。

虽然有许多项目希望在比特币上引入去中心化金融，但它们依赖于使用 OP_CAT 或 OP_CTV 代码，这需要区块链软件分叉。Yago 希望通过不同的路线到达同一个目的地。