PANewsは3月21日、CoinDeskによると、ビットコインブロックチェーンのDeFi機能を拡張したい開発者はゼロ知識証明（ZK証明）を検討する可能性があると報じた。この機能はまだ実装されておらず、いわゆるソフトフォークまたはソフトウェアの新バージョンを通じて導入する必要がある。しかし、10年以上の経験を持つビットコインのベテランであり、スマートコントラクトオペレーティングシステムBitcoinOS（BOS）の中心的な貢献者であるEdan Yago氏にとって、これは問題です。

「ブロックチェーン、特に2兆ドル規模のブロックチェーンをフォークするのは、心臓手術のようなものだ」とヤゴ氏はインタビューで語った。「ハードフォークは明らかに問題が多いが、どんな種類のフォークを導入してもリスクは伴うと思う」ゼロ知識証明は、情報を一切明かさずに文の正当性を証明できる暗号化手法である。ビットコインソフトウェアには現在この機能はないが、OP_CATやOP_CTVなどの提案された実装を通じて実装できる可能性がある。ヤゴ氏は、開発者はいかなるフォークもなしにビットコイン上でゼロ知識証明を可能にする方法を見つけることができるはずだと述べた。 「開発者には、巧みなエンジニアリングを通じて、他に選択肢がないことを実証する責任がある」と彼は語った。

これはまさに、BOS が BitSNARK を通じて実現したいと考えていることです。 BitcoinOSは現在、Yago氏が「完全に製品化可能な」BitSNARKプロトコルと呼ぶものをオープンソース化しており、開発者はビットコイン上でゼロ知識検証を実行し、それをイーサリアム、ソラナ、カルダノなどの他のブロックチェーンに接続できるようになっている。