ビットコイン（BTC）開発者は、ゼロ知識（ZK）の証明を探索して、能力を拡張します

Bitcoin（BTC）ブロックチェーンの分散型ファイナンス（DEFI）機能を拡大しようとしている開発者は

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）機能の拡大に関心のあるビットコイン開発者は、Zero-Knowledge（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).

しかし、10年以上のビットコインのベテランであり、スマートコントラクトオペレーティングシステムビットコイノ（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."

「ブロックチェーン、特に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証明は、それに関する情報を明らかにしないことでプライバシーを維持しながら、ステートメントの妥当性を証明する暗号化方法です。この機能は、Bitcoinのソフトウェアでは利用できませんが、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検証にアクセスし、Ethereum、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バイトのみで計算の結果を証明できます。そして、それは、クロスチェーンブリッジ、分散型交換、ビットコイン（BTC）で裏打ちされたスタブコインを可能にすることを通じて、ビットコインの債務に使用される用語であるBTCFIの道を開くことができます。

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は言いました。