比特幣（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說，但是區塊鏈的模塊化性質意味著可以通過另一條路線到達它們。