比特币（BTC）开发人员探索零知识（ZK）证明以扩展Defi功能

希望扩展区块链分散融资（DEFI）功能的比特币（BTC）开发人员可能是

Bitcoin developers interested in expanding the decentralized finance (DeFi) capabilities of the blockchain are likely to be considering zero-knowledge (ZK) proofs, functionality that's currently not available and which require a so-called soft fork, or new version of the software, to introduce them.

有兴趣扩大区块链分散融资（DEFI）功能的比特币开发人员可能会考虑零知识（ZK）证明，目前尚不可用的功能，并且需要所谓的软叉或新版本的软件来介绍它们。

But that's a problem, according to Edan Yago, a Bitcoin veteran of over a decade and core contributor to smart contract operating system BitcoinOS (BOS).

但是，根据十多年来的比特币退伍军人Edan Yago的说法，这是一个问题，也是智能合同操作系统比特币（BOS）的核心贡献者。

"Forking a blockchain, especially one with $2 trillion worth of value on it, is like open-heart surgery," Yago told CoinDesk in an interview Friday. "Hard forks are obviously much more problematic, but I think introducing any kind of fork is fraught."

Yago在周五的一次采访中对Coindesk表示：“分叉一个区块链，尤其是一个价值2万亿美元的价值的区块链，就像开心手术一样。” “硬叉显然更有问题，但我认为引入任何形式的叉子都会有些烦恼。”

A fork is a change to a blockchain's code that necessitates a divergence at a certain point onto a separate path. Forks can be "soft," meaning older versions can still interact with the new one, or "hard", which render older versions incompatible and require all users to upgrade their software.

叉子是对区块链的代码的更改，它需要在某个点上对单独路径的差异。叉子可以是“软”的，这意味着较旧的版本仍然可以与新版本或“硬”交互，这使旧版本变得不兼容，并要求所有用户升级其软件。

ZK proofs are a cryptographic method of proving the validity of statements while maintaining privacy through not revealing any information about it. The functionality is not available in Bitcoin's software, but could be made so through proposed implementations like OP_CAT or OP_CTV. And the developers should be able to find ways of enabling them on Bitcoin without any kind of fork, Yago asserted.

ZK证明是一种加密方法，可以证明声明的有效性，同时通过不透露任何信息来维持隐私。该功能在比特币的软件中不可用，但是可以通过op_cat或op_ctv（例如OP_CAT）或OP_CTV等提出的实现来实现该功能。 Yago断言，开发人员应该能够找到在没有任何叉子的情况下在比特币上启用它们的方法。

"The burden of proof is on developers to demonstrate that there is no other way of accomplishing this through clever engineering," he said.

他说：“举证责任在于开发人员表明没有其他方法可以通过巧妙的工程来实现这一目标。”

This is what BOS hopes to achieve through the BitSNARK, a Bitcoin rollup protocol that is part of a family of computing paradigms being developed to scale the original blockchain. These emerged following the introduction of BitVM by Robin Linus in October 2023, which set out a framework for how Ethereum-like smart contracts could be enabled on Bitcoin.

这就是BOS希望通过BITSNARK实现的目标，BITSNARK是一种比特币汇总协议，是开发计算范式的一部分，以扩展原始区块链。在2023年10月，罗宾·莱纳斯（Robin Linus）引入BITVM之后，这些出现了，该框架为如何在比特币上启用了类似以太坊的智能合约的框架。

BitcoinOS has now open-sourced what Yago describes as a "fully production-ready" BitSNARK protocol, meaning developers now have access to ZK verification on Bitcoin and can connect it to other blockchains like Ethereum, Solana and Cardano.

BitCoinos现在已经开源了Yago所说的“完全可以生产的” BITSNARK协议，这意味着开发人员现在可以访问比特币上的ZK验证，并可以将其连接到其他区块链，例如以太坊，Solana和Cardano。

BitSNARK allows developers to take large, complex programs and prove the results of the computations in only 300 bytes that can be verified in standard Bitcoin transactions. And that could pave the way for BTCFi, a term used for DeFi on Bitcoin, through enabling cross-chain bridges, decentralized exchanges and bitcoin (BTC)-backed stablecoins.

BITSNARK允许开发人员采用大型，复杂的程序，并证明仅在标准比特币交易中可以验证的300个字节中的计算结果。这可能会为BTCFI铺平道路，BTCFI是通过启用交叉链桥，分散的交换和比特币（BTC）后面的稳定稳定的术语。

While there are numerous projects looking to introduce decentralized finance on Bitcoin, they rely on using OP_CAT or OP_CTV codes, which require a fork in the blockchain's software. But the modular nature of the blockchain means that they can be reached via a different route, Yago said.

尽管有许多项目希望在比特币上引入分散融资，但他们依靠使用OP_CAT或OP_CTV代码，这些代码需要区块链软件中的叉子。 Yago说，但是区块链的模块化性质意味着可以通过另一条路线到达它们。