開発者がZKプルーフを探求するにつれて、ビットコインのdefiの拡張がフォークのジレンマに直面します

ブロックチェーンの分散型ファイナンス（DEFI）機能の拡大を検討しているビットコイン開発者は、ゼロ知識（ZK）の証明、現在利用できない機能性、いわゆるソフトフォーク、またはソフトウェアの新しいバージョンを紹介することを検討している可能性があります。

10年以上のビットコインのベテランであり、スマートコントラクトオペレーティングシステムビットコイノ（BOS）の中心的な貢献者であるエダンヤゴによると、それは問題です。

「ブロックチェーン、特に2兆ドル相当の価値があるブロックチェーンは、開腹手術のようなものです」とヤゴはインタビューで「ハードフォークは明らかにはるかに問題がありますが、どんな種類のフォークを紹介することは困難だと思います。」

フォークは、別のパス上の特定のポイントで発散を必要とするブロックチェーンのコードの変更です。フォークは「ソフト」である可能性があります。つまり、古いバージョンは新しいバージョンと対話したり、「ハード」と対話したり、古いバージョンを互換性があり、すべてのユーザーにソフトウェアをアップグレードする必要があります。

ZK証明は、それに関する情報を明らかにしないことでプライバシーを維持しながら、ステートメントの妥当性を証明する暗号化方法です。この機能は、Bitcoinのソフトウェアでは利用できませんが、OP_CATやOP_CTVなどの提案された実装を使用することで行うことができます。 Yagoは、開発者がどんな種類のフォークなしでビットコインでそれらを有効にする方法を見つけることができるはずだと言いました。

「立証責任は、巧妙な工学を通じてこれを達成する他の方法がないことを実証するために開発者にある」と彼は言った。

これは、BOSがBitsnarkを通じて達成したいことです。Bitsnarkは、元のブロックチェーンをスケーリングするために開発されているコンピューティングパラダイムファミリーの一部であるビットコインロールアッププロトコルです。これらは、2023年10月にRobin LinusによるBITVMの導入に続いて登場しました。これは、ビットコインでイーサリアムのようなスマートコントラクトをどのように有効にするかについてのフレームワークを設定しました。

Bitcoinosは現在、Yagoが「完全に制作可能な」Bitsnarkプロトコルと呼んでいるものをオープンソースしました。つまり、開発者はビットコインのZK検証にアクセスし、Ethereum、Solana、Cardanoなどの他のブロックチェーンに接続できます。

Bitsnarkを使用すると、開発者は大規模で複雑なプログラムを採用し、標準のビットコイントランザクションで検証できる300バイトのみで計算の結果を証明できます。それは、クロスチェーンブリッジ、分散型交換、ビットコイン（BTC）がバックしたスタブコインを可能にすることを通じて、ビットコインでの債務に使用される用語であるBTCFIの道を開く可能性があります。

ビットコインに分散型ファイナンスを導入しようとする多くのプロジェクトがありますが、ブロックチェーンのソフトウェアにフォークが必要なOP_CATまたはOP_CTVコードの使用に依存しています。ヤゴは、別のルートを介して同じ目的地に到達したいと考えています。