OP Stack におけるマルチプル証明設計の適用

マルチクライアントネットワークのセキュリティの利点は広く知られていますが、お気に入りの L2 がその設計に複数の証明スキームを統合できるとしたらどうでしょうか？これが OP メインネットが Bedrock にアップグレードした後の状況です。

クライアントの多様性がブロックチェーンエコシステムに有益であるという原則に従い、OP StackはOPメインネットをモジュール化されたブロックチェーンに変革し、証明方式の多様性をサポートします。OP StackとBedrockのモジュール化設計を使用することで、開発者はさまざまな既存の証明タイプを迅速に利用でき、システムが将来の証明革新に適応できることを保証します。

このユニークな機能の技術的側面について深く探求し、そのエコシステムへの広範な影響について議論しましょう。

Rollup 設計における証明スキームの課題

これまで、rollup 設計のイテレーションは主に単一の証明を作成し、システムがそれに適応できるようにすることに集中していました。このアプローチは、システムの技術の変化に対する柔軟性と適応性を制限します。この設計思想のため、L2 市場は主に optimistic 証明と validity 証明を巡る議論が展開されています。

"Bedrock"の設計において、私たちはこの状況を変えたいと考えました。モジュール化をBedrockのアップグレードの核心設計原則として、さまざまな証明タイプに適応できるシステムを構築し、開発者により安全で先見的な証明ソリューションを提供します。

ソリューション：モジュール設計、柔軟性と安全性

OP Stackに複数の証明を統合する能力は、多くの利点をもたらし、その中で安全性が最も顕著です。複数の証明を持つことで、いかなる単一の証明のエラーも致命的な弱点になることを防ぎます。これは、L1クライアントの複数実装がどのように全体的な安全性を向上させるかに似ています。Vitalikは、Ethereumのマルチクライアントの概念がzk-evmとどのように相互作用するかについて論じたことがあります。彼は、マルチクライアントの実装が技術的な分散化の一形態であり、その主な利点はネットワーク内のエラーに対抗できることであると指摘しました。もし複数の独立したチームや利害関係者が1つの実装を維持するなら、それは社会的な分散化の一種を引き起こします。各チームの利益がネットワークのロードマップに考慮されます。

Bedrockのモジュール設計は、Optimismエコシステム内で多様なL2クライアントの実装を生み出しており、これはL2分野では初の試みです。この理念を拡張し、OP Stackが複数の証明を含むことを許可しています。これにより、OPメインネットや他のOPチェーン（Baseなど）にゼロ知識（ZK）有効性証明を追加する道が開かれ、将来の発展との互換性が確保されます。OP Stackのモジュール設計は、安全で実戦検証された状況で新技術を簡単に採用できるようにし、コードベースに重大な変更を行う必要がありません。

仕組み

OP Stackの証明システムは、標準化されたオンチェーンAPIとオフチェーン参加者を通じてモジュール化を実現しています。これにより、混合して議論契約を組み合わせ、証明スキームの交換を容易にします。

標準化されたチェーン上のAPI

標準化されたオンチェーンAPIを通じて、Bedrockは標準化されたAPIを実装する限り、交換証明スキームを可能にします。これは、新しい証明スキームを動的に追加できることを意味し、複数の証明スキームがブリッジを実行するために必要なm-of-nスキームを作成することさえできます。

オフチェーン参加者の標準化

オフチェーンの参加者またはボットが、争議契約と通信します。このシステムは、誠実な行動を促進し、システムを保護するために、最大抽出可能価値（MEV）機会を創出し、争議ゲームに参加することが常に利益をもたらすという原則を堅持しています。これにより、私たちは争議を解決するために介入できる参加者のオープンな監視ネットワークを構築しています。これにより、システムの安全性が確保されます。

現在、二つの標準化されたオフチェーン参加者の実装が研究されています。

未来はスーパーチェーンに属する

Bedrockのアップグレードとそのマルチプルプルーフへのサポートは、エコシステム、アプリケーション、または協力作業の能力を損なうことのない拡張可能なネットワークに対する私たちのビジョンに合致しています。マルチクライアント、マルチプルーフの簡潔性のために設計された唯一のL2エコシステムとして、Optimismは業界をより安全で、適応力があり、協力的で、楽観的な未来へと導くでしょう。