Blockworks によると、ビットコインには現在、イーサリアムのような真のレイヤー 2 ネットワークが欠けており、主な理由は既存のスケーリング ソリューションがビットコインのセキュリティ モデルを継承していないためです。イーサリアムのロールアップはトランザクション データをイーサリアム メインネットに直接投稿し、これらのレイヤーでのトランザクションの正しい実行がベース レイヤーを保護するのと同じメカニズムによって保護されるようにします。対照的に、Liquid Network や Rootstock (RSK) などのビットコインの「レイヤー 2」ソリューションは技術的にはサイドチェーンです。これらはビットコインとは独立して動作し、独自のバリデーターまたはマイナーのセットを使用します。マイニング ハッシュ レートやチェックポイント スナップショットをビットコインと共有することはありますが、根本的に異なるレベルのセキュリティを提供します。BitVM などのイノベーションはビットコインからの信頼を最小限に抑えたブリッジングを改善できますが、ビットコインで真のレイヤー 2 ソリューションを有効にするにはプロトコルのアップグレードが必要です。これらのアップグレードにより、BTC の使用方法を制限するメカニズムである契約が導入され、安全で信頼性が最小限に抑えられた相互運用性が実現し、ビットコインがイーサリアムと同様の堅牢なレイヤー 2 インフラストラクチャをサポートできるようになります。

StarkWareは水曜日、ビットコインのテストネットワークであるSignetで同社の新しいSTARK検証ツールを使用し、初のゼロ知識証明の検証に成功したという重要なマイルストーンを発表した。この成果は、ビットコインのアップグレード案の1つであるOP_CATの可能性に関する3か月の研究の成果である。StarkWareの検証ツールは、ベンチャー企業L2 IterativeのWeikeng Chenと共同で開発されたもので、このオペコードの最初の大規模な実用化であるとStarkWareは声明で述べた。これは、ビットコイン向けのzkベースのレイヤー2ソリューションの開発を支える可能性を示している。「このタイプの検証方法は、詐欺証明やライブネスの使用を必要としないため、ビットコインネットワーク上の他のスケーリングソリューションによって既に検討されているものとはまったく異なります」と同社は述べ、検証ツールのコードはGithubで公開されていると付け加えた。

チェン氏は、この研究が先駆的だと指摘した。「私たちは何もないところから始めました。ビットコインのzk証明や必要な数学的演算に関する情報はありませんでした。STARK検証器の実装につながるフルスタックを構築する必要がありました」と彼は語った。新しい検証器は、証明プロセスを大幅に高速化する暗号証明であるCircle STARKを採用しています。これらは、StarkWareの次世代STARK証明器であるStwoでも使用されます。現在のデモでは、離散的な数学的問題の解、つまりフィボナッチの2乗数列の32番目の数字、つまり21,783,0922の検証のみを行っていますが、チームは、最終的に仮想マシンの基礎となる可能性のある幅広い計算のデモンストレーションに進む予定です。それまでは、DeFiに参加したいビットコイン保有者は、それぞれ独自のトレードオフがある他のネットワークにBTCを持ち込むことを目的としたさまざまな他のアプローチを介して参加できます。