PANews 3月21日のニュースによると、CoinDeskが報じたところでは、ビットコインブロックチェーンのDeFi機能を拡張したい開発者は、zk-SNARKsを検討するかもしれません。これは現在実現されていない機能であり、いわゆるソフトフォークまたは新しいバージョンのソフトウェアを介して導入する必要があります。しかし、10年以上のビットコインの経験を持つ専門家であり、スマートコントラクトオペレーティングシステムBitcoinOS（BOS）の主要貢献者であるEdan Yagoにとって、これは問題です。 Yagoはインタビューで「フォークはブロックチェーン、特に2兆ドルの価値を持つブロックチェーンにとっては心臓の開胸手術のようなものです。ハードフォークは明らかに問題が多いですが、私はあらゆる形のフォークを導入することはリスクが高いと考えています。」と述べました。zk-SNARKsは、情報を漏らすことなく主張の有効性を証明できる暗号化手法であり、ビットコインソフトウェアは現在この機能を持っていませんが、提案された実施方法（OPCATやOPCTVなど）を介して実現できます。Yagoは、開発者はビットコイン上でzk-SNARKsを有効にする方法を見つけるべきであり、あらゆる形のフォークなしにそれを行うべきだと述べました。彼は「開発者には巧妙なエンジニアリング手法を通じて証明する責任があり、他に選択肢はありません。」と言いました。 これがBOSがBitSNARKを通じて実現したい目標です。BitcoinOSは、Yagoが「完全に生産準備が整った」と称するBitSNARKプロトコルをオープンソース化しました。これにより、開発者はビットコイン上でゼロ知識証明を行い、イーサリアム、ソラナ、カルダノなどの他のブロックチェーンに接続できるようになりました。
