7月25日、BOB（Build on Bitcoin）は、ゼロ知識証明インフラストラクチャ RISCZero と提携し、RISC Zero が発表したハイブリッドアーキテクチャフレームワーク Kailua を統合することにより、ゼロ知識証明を欺詐証明として使用する業界初の Rollup プロジェクトになることを発表しました。これにより、既存の設定の時間とコストが大幅に節約され、引き出し時間が通常の 7 日から 1 時間に短縮される可能性があります。これは BOB が L2beat で Rollup の第 1 段階と第 2 段階を実現するための重要なステップです。
Kailua は RISC Zero がその検証可能な計算層 Boundless ネットワークを使用して構築した OP スタック拡張であるとされています。これは Optimistic Rollup を Hybrid ZK Rollup にアップグレードできるハイブリッドアーキテクチャ（すなわち Hybrid Rollup）で、Optimistic Rollups と ZK Rollup の利点を組み合わせ、高効率のブロックチェーン決済と紛争解決を実現することを目指しています。デフォルトで Optimistic Rollups を採用してトランザクションを迅速に処理し、紛争が発生したり迅速な決済が必要な場合に ZK 証明を有効にすることにより、高スループット、低コスト、高セキュリティを両立させようとしています。簡単に言えば、既存の Optimistic Rollup に ZK Rollup の利点を統合する能力を提供します。
最も重要な特徴の一つは、決済サイクルを従来の 7 日間の挑戦期間から最短 1 時間内に短縮できることであり、Kailua を統合した Optimistic Rollup ネットワークにとっても ZK 証明の継続的な生成コストを心配する必要はありません。なぜなら、その実装方法はオンデマンドで介入するからです。
BOB はゼロ知識証明 (ZK) を使用する最初のチェーンです。引き出し速度が遅く、欺詐防止メカニズムが高価な Optimistic Rollup と、運用コストが高い ZK Rollup の利点の両方を兼ね備えた新しいアプローチです。
BOB は効率（有効性 Rollup と比較して、提案を提出するコストが低い）と安全性（欺詐が発生した場合にブロックの正確性を証明できる）の完璧な組み合わせです。さらに、ZK 証明は現在の Optimism または Ink プラットフォーム上のオンチェーン二分ゲームのコストよりもはるかに低く（100 ドル未満、後者は約 100 万ドル）、コストを大幅に削減します。
三つの大きな利点：
誰でも 0.5 ETH の保証金で BOB ソーターの提案に挑戦でき、非ゼロ知識欺詐証明のように数百 ETH を必要としません。
挑戦が発生した場合、欺詐証明の決済は Ethereum 上で一回のトランザクションで完了するため、数分で最終確定でき、非ゼロ知識バージョンでは数時間または数日、さらに複数のトランザクションが必要です。
長期的には、BOB の引き出し時間を大幅に短縮できる可能性があり、オンチェーンの欺詐解決策は迅速かつ低コストです。初期の引き出し時間は 4 日と予想されていますが、システムが安定すれば数時間に短縮できるでしょう。
動作原理：
Kailua はその独自に開発した新しい防錯ゲーム設計を導入し、Rollup トランザクションの順序付けに一流のセキュリティを提供します。
BOB は、Optimism の二分ゲームにおける複数のトランザクションではなく、ゼロ知識証明 (ZK) を使用した防欺詐証明を使用します。
ゼロ知識証明により、BOB は防錯メカニズムを Ethereum 上の単一トランザクションに簡素化し、二分ゲームの複数トランザクションではなくなります。
具体的なプロセス：
各チェックポイントについて、BOB のソーター（Conduit によって運営される）は特定の高さに対して新しい規範チェーンを提案します。
誰でも Kailua のバイナリを使用して他の提案を行い、規範チェーンに異議を唱えることができます。提案を行うには、Layer1 に ETH 単位の保証金を預ける必要があります。初期設定は 0.5 ETH で、これにより誰でも簡単に挑戦でき、無許可検証のハードルが大幅に低下します。
同じ高さに矛盾する提案が存在する場合、挑戦者または検証者（Conduit によって運営される）は、Boundless アルゴリズムを使用してゼロ知識証明を生成し、規範チェーンの問題を解決します。BOB の構造は Layer1 上のトランザクションエンコーディングの順序に依存するため、唯一の有効なチェーンが存在します。誤った提案者または挑戦者の保証金は没収されます。
BOB の共同創設者で BitVM Alliance の創設メンバーである Alexei Zamyatin は次のように述べています。「機能的な証明システムの導入により、BOB L2 は完全な Ethereum セキュリティを持つことになります。これにより BOB は依然として第 0 段階の L2 レイヤーにあり、他の多くの L2 レイヤーは L2Beat で他のカテゴリに移行することになります。第 1 段階の Rollup は、セキュリティ委員会の開始にのみ依存し、その委員会は近い将来に発表されるでしょう。第 2 段階の Rollup は、誰でも提案プロセスを開放するだけで十分です。」
RISC Zero チームは、Kailua が Optimistic Rollup を RISC Zero zkVM によって駆動されるゼロ知識証明 (ZK Fault Proofs) にアップグレードするだろうと考えています。現在の市場での Rollup ソリューションの選択は、Optimistic Rollup または ZK Rollup のいずれかです。コストが低くスループットが高いため、Optimistic Rollup は現在の市場で主導的地位を占めていますが、7 日間の挑戦ウィンドウが必要で、最終的な確定性を遅らせ、相互運用性を制限します。ZK Rollup は迅速な最終確定性を提供できますが、各ブロックの ZK 証明を生成することで大量の追加コストが発生し、高スループット Rollup のコストは数百万ドルに達する可能性があります。
現在、BOB には RISC Zero の Kailua アーキテクチャによってサポートされる第三の方法が導入され、Optimistic ZK Rollup は Optimistic Rollup システムの低い運用コストと ZK Rollup の迅速な最終確定性の両方の利点を持っています。