BOBは、2つの新しい方法でゼロ知識（ZK）証明を活用する最初のブロックチェーンとなった：
- BOBはZK不正証明を使用する最初のロールアップであり、多数のトランザクションフローを単一トランザクションに削減する。これは、有効性ロールアップのスピードと、楽観的ロールアップの低コストと効率を組み合わせたものである。
- BOBはまた、オンデマンドで有効性証明をサポートする最初のロールアップでもある。ユーザーがBOBから素早く引き出したい場合、有効性証明を提出することで、イーサリアムへの引き出しを即座に確定することができる。
ハイブリッドZK証明は、現在どのロールアップでも使用されている、最も効率的で優れた証明システムであると我々は信じている。
このアップグレードは、イーサリアムのレイヤー2ネットワークを構築するためのOP Stackオープンソースフレームワークの新しい拡張機能であるOPKailuaを搭載し、RISC Zeroによって BoundlessネットワークによるZK証明生成で構築されました。また、レイヤー2ネットワークのセキュリティ、分散化、成熟度を客観的に追跡するブロックチェーン分析プラットフォームであるL2BEATにおいて、BOBはロールアップステージ1およびステージ2の達成に大きく近づきました。
7月31日（木）、BOB、RISC Zero、Boundless、Conduit、L2BEATとアップグレードについて話し合うライブストリームに参加しよう： https://x.com/i/broadcasts/1lPJqMbWdbQJb
BOBにおけるZKの不正証明
従来、ロールアップは2つの別々のモデルに従ってきた。トランザクションが有効であると仮定するが7日間のチャレンジウィンドウを必要とする楽観的ロールアップと、ゼロ知識証明によって即座にトランザクションを検証するが運用コストが高い有効性ロールアップである。OP Kailuaは、楽観的ロールアップにおける不正解決プロセスにZKプルーフを適用することで、第3のハイブリッドZKオプションを導入し、低い運用コストと迅速な最終処理を融合させ、レイヤー2設計におけるスケーラビリティ、セキュリティ、分散化を劇的に向上させる。このモデルでは、オンデマンドで有効性証明を提出するオプションも提供され、BOBはデフォルトでは安価なトランザクションと検証、必要な場合は完全な有効性証明による迅速な最終処理という、両方の長所を得ることができる。
BOBの共同設立者であるアレクセイ・ザミャーチンは、次のように述べている： 「完全に機能する証明システムのローンチにより、BOB L2にイーサリアムレベルの完全なセキュリティがもたらされ、分散化への道における大きなマイルストーンとなりました。このアップグレードにより、BOBは初のハイブリッドZKロールアップとなり、L2BEATのステージ0に進みました。このハイブリッドロールアップモデルは、ビットコインDeFiの可能性を最大限に引き出すために複数のシステムの強みを組み合わせるという、当社のハイブリッドビジョンを反映しています。"
OPカイルアの4大メリット
証明に対するこの斬新なハイブリッド・アプローチは、4つの主要な利点を可能にする：
- アクセスのしやすさ： 他のすべての楽観的ロールアップと比較して、BOBは、実際に誰でも不正証明を提出できる唯一のものである。Arbitrum、Base、Optimismなどでは、詐欺の証明には数百万ドルの費用がかかります。BOBでは、0.5ETHの担保が必要なだけで、証明とオンチェーン提出のコストは50ドル以下です。
- コスト効率： チャレンジの場合の不正防止決済は、イーサリアム上の単一のトランザクション内で決済されるため、非ZKバージョンでは多くのトランザクションを必要とする数時間または数日と比較して、数分以内に完了します。
- 即時引き出しもし誰かがチャレンジ期間なしですぐに引き出しを決済したい場合、お金を払って有効性の証明を提出することが可能です。これは通常の楽観的モデルでは不可能である。しかし、即時引き出しが必要でない場合、ハイブリッドZKシステムは安価な楽観的取引をデフォルトとする。Starknet、zkSync、ScrollのようなフルZKチェーンは、スピードがそれほど重要でない場合でも常に有効性証明が必要であり、運用コストを押し上げる。
- スピード： BOBはオンチェーンでの不正解決が迅速かつ安価であるため、長期的には出金時間を大幅に短縮できるだろう。これは4日間から始まるが、システムの安定性が証明されれば数時間に短縮される可能性がある。
RISC Zeroの製品責任者であるジェイコブ・エヴァリーは、次のようにコメントしている："オプティミスティック・ロールアップは、低コストと高スループットという明らかな利点のおかげで普及を牽引してきましたが、7日間のチャレンジ・ウィンドウが真のスケーラビリティを妨げてきました。OP Kailuaは、ZK不正プルーフを使用することで、この状況を変えます。ZKのスピードとファイナリティをオプティミスティック・フレームワークにもたらし、両者の長所を組み合わせた画期的なもので、DeFiの次なる進化の舞台となる。"
Powered by RISC Zero, Boundless & Conduit
BOBのOPカイルアのアップグレードは、RISC Zeroが バウンドレス・ネットワークによるZKプルーフ生成で行った。RISC Zeroは2024年にBoundlessを導入した。これは、チェーン全体でゼロ知識証明（ZKP）計算を拡張するように設計されている。このプロトコルは、ZKPを利用した計算をアクセス可能、スケーラブル、かつトラストレスにすることを目的としている。Boundlessは、1つのノードが計算を実行し、他のすべてのノードが再実行することなく効率的に検証することを可能にする。Boundlessは、最も信頼できるRaaS（サービスとしてのロールアップ）プロバイダーの1つであるConduitと協力し、OP Kailuaのテストと本番稼動を開始した。
Conduitの創設者であるアンドリュー・ファンは、次のように述べている： 「これは、RISC Zeroと協力してOP Kailuaの統合を構築したときに私たちが思い描いたことそのものです。当社のマネージドOPスタック環境内でZKプルーフを実行することで、BOBはイーサリアム級のセキュリティと、数日ではなく数時間で計測される出金時間を手に入れることができます。また、RISC Zeroとのパートナーシップにより、この機能をあらゆるロールアップにシームレスに提供することができます。これはロールアップ・デザインのフロンティアです。"
ステップ・バイ・ステップの不正防止プロセス
OP Kailuaは、ロールアップ・トランザクションのシーケンスにクラス最高のセキュリティ保証を提供する、独自の新しい不正証明ゲームデザインを導入しています。BOBでは、不正証明に通常のOptimism bisection gameを使用する代わりに、ZK不正証明を使用します。これにより、イーサリアム上の不正証明メカニズムは、バイセクションゲームで必要とされる複数のトランザクションではなく、単一のトランザクションに削減することができます。
- チェックポイントごとに、BOBシーケンサー（Conduitによって実行される）は特定の高さに対して新しい正準鎖を提案する。
- 誰でもKailuaバイナリを使用して、正規のチェーンに異議を唱える別の提案を行うことができます。提案を行うには、L1にボンド（ETH）を預ける必要がある。これは初期状態では0.5ETHに設定されており、誰でも比較的簡単に挑戦することができ、ほとんどの楽観的チェーンと比較してパーミッションレス検証の障壁を劇的に低くしている。
- 同じ高さについて矛盾する提案が存在する場合、挑戦者または検証者のいずれかが、証明的に不正確な 提案を無効にする ZK 証明を生成するために Boundless を使用する。L1 上で符号化されたトランザクションの順序によって BOB が構成されるため、有効な連鎖は一つだけである。不正確な提案者または挑戦者は、そのボンドを破棄される。
7月31日にライブ配信
BOB、RISC Zero / Boundless、Conduit、L2BEATは、2025年7月31日（木）にハイブリッドZKイノベーションについて話し合うライブストリームを開催します。リマインダーの設定はこちらから： https://x.com/i/broadcasts/1lPJqMbWdbQJb
