TL;DR

●OP Succinctが提供する主な機能は、ZKPをOPスタックのモジュラーアーキテクチャに組み込むことです。

●EtherNetの将来のスケーリングの最終目標が、すべてのロールアップをZKロールアップに変換することであるならば、OP Succinctの目標は、RustとSP1を組み合わせて、OPスタックのロールアップのタイプをZKロールアップに実装することです。SP1により、OPスタックのType-1 zkEVM（完全なイーサネット相当）の展開を可能にします。

●OP Succinct Proposerは、主に並列証明生成と証明集約および検証を行います。

●OP Stackの既存システムは、紛争が発生した場合に取引の検証を1週間遅らせる「7日間の不正ウィンドウ」に依存していますが、OP SuccinctはZKプルーフを利用して取引完了に必要な時間を短縮し、不正ウィンドウの延長を不要にします。Succinctは取引コストを劇的に削減します。

I.最近のレビュー：最近のOPメインネットのニュースおよびOPスタックとOPラボ

写真クレジット：Blockscout

OPスタックとOPラボ

1.1OPメインネットにおける最近の動向のハイライト

2024年3月30日のニュースリリースによると、OPラボはOP Sepoilaテストネットワークで「Proof of Failure」をリリースし、2024年6月11日のニュースリリースでOPメインネットで「Proof of Failure」を正式にリリースした。Proof of Failureのリリースは、ETHとERC-20トークンをOPメインネットから引き出すことを可能にすることで、分散化を第一段階に引き上げ、ユーザーは信頼できる第三者を必要とせずに無効な引き出し（Base、Metal、Mode、Zoraを含む）に挑戦し、削除することができます。

ユーザーの資産の安全性と信頼を確保するため、Optimismは以下の原則に基づいて、オンチェーン取引の正確性と妥当性を向上させ、虚偽表示を防止するためにProof of Failureを採用しています：

●    . データの可用性：Proof of Failureはまず、レイヤー2上のすべてのデータがアクセス可能であり、レイヤー1が検証できることを保証します。

●       チャレンジ期間：あるチャレンジ期間中、誰でもレイヤー2上のデータに異議を唱えることができます。

レイヤー2のデータがレイヤー1のデータと一致しないことを発見した場合、異議を申し立てることができます。最終決定：異議申し立て期間中に有効な異議申し立てがなかった場合、またはレイヤ2のオペレータが異議申し立てに反論できた場合、取引は確定し、有効とみなされる。

1.2.OPスタックがOPラボとどのように関連し、どのように異なるか

OPラボはOptimismソリューションを開発するチームまたは組織であるのに対し、OPスタックは以下の目的で使用される組織です。OP Stackは、イーサネットのレイヤー2ネットワークを構築および拡張するための技術的なフレームワークとして使用される組織です。OP LabsとOP Stackの関係は、開発者と開発ツールの関係と考えることができます。

●    OP Labs:

OP Labsは、Optimismプロジェクトの中心的な貢献者であり、Optimismのティア2ソリューションの開発と保守を担当しています。ソリューション。OP Labsの主な目標は、レイヤー2スケーリングソリューションを通じて、メインイーサネットワークの負荷を軽減し、取引コストを削減し、取引速度を向上させることです。OP Labsはまた、Succinct Labsなどの他のプロジェクトとも協力して、以下のことを行っています。OP Labsはまた、Succinct Labsなどの他のプロジェクトとも協力し、ゼロ知識証明の最適化に焦点を当てたOP Succinctなど、イーサリアムのスケーリング技術をさらに進化させています。

OPラボは、Optimismネットワークを開発・維持する主要なチームまたは組織です。彼らの目標は、取引コストの削減と取引速度の向上に焦点を当てた、イーサネットを拡張するための効率的なソリューションを構築することです。彼らはOptimistic Rollupsの開発を担当するだけでなく、Succinct LabsとのOP Succincのような、Proof of Zero Knowledgeに関連する新しい技術も積極的に推進しています。

OPスタックは、イーサネット・レイヤー2ネットワークを構築および拡張するためのモジュール式アーキテクチャまたは技術スタックです。開発者が特定のニーズに基づいて独自のレイヤー2チェーンを構築できるように、カスタマイズ可能なコンポーネントで構成されています。これは、開発者が特定の基準を満たすレイヤー2拡張ネットワークを迅速に構築するための標準化された方法を提供します。

OP Stackは、OP Labsが開発したモジュール式フレームワークです。このフレームワークは、レイヤー 2 ネットワークを構築するためのインフラストラクチャを提供し、開発者は OP Stack を使用してさまざまな拡張ネットワークを迅速に構築できます。そのモジュール設計により、OP Stackは、さまざまなプロジェクトのニーズに合わせて異なる検証メカニズム（Optimistic RollupsやZK Rollupsなど）を柔軟に選択することができます。

OPラボは、イーサネットのレイヤー2ネットワークの構築と拡張を支援するためにOPラボが提供する技術ツールであるOP Stackの開発者と理解することができます。

OP Succinctを理解するために追加する必要がある、各OPスタックの4つの主要コンポーネントがあります: 1. op-geth：ユーザーからトランザクションを受け取り、それらのトランザクションを使用してブロックを生成し、実行します。.
op-batcher：ユーザーのトランザクションをバッチ処理し、L1に提出する。.
op-node：L1からバッチ処理されたデータを読み込み、op-gethを駆動してノンシーケンサーモードで状態遷移を行う。

II.SuccinctラボとOPラボが提携し、OPスタックにZK要素を注入

Photo credit: Succinct Blog

2.align: left;">2.1 OP Succinctのアーキテクチャ・コンポーネント

上記1.2章の最後にある「OPスタックの4つの主要コンポーネント」と合わせて、OP SuccinctはOPスタックの軽量アップグレードであり、チェーンがZK検証のみを使用できるようにします。OP SuccinctはOPスタックの軽量アップグレードであり、他の3つのコンポーネント（op-geth、op-batcher、op-node）はそのままに、チェーンがZK-validatedブロックのみを使用できるようにします。 OP Succinctは4つの主要コンポーネントで構成されています:

●       Range Program: チェーンがZK-validatedブロックのみを使用できるようにするプログラムです。Rust によって記述され、zkVM で実行されるように設計されています。

●         集計プログラム。これもRustで記述され、zkVMで実行されるように設計されています。

●         OP Succinct L2 Output Oracle: L2状態出力の配列を含むSolidityスマートコントラクト。L2状態出力の配列を含むSolidityスマートコントラクトで、各出力はL2チェーン状態へのコミットである。この契約はOptimismのオリジナルシステムにはすでに存在するが、認証メカニズムとして検証証明を使用するように変更されている。

●        OP Succinct Proposer: L1に投稿されたトランザクションのバッチを監視し、スコープ手続きと集計手続きを制御する。および集計手順の証明を制御する。

2.2 OP SuccinctはどのようなEtherスケーリングの物語を語るのか?

zkEVM Rollupの構築は、暗号に関する深い専門知識が必要なため非常に困難です。OP Labsチームは、さまざまな有効性メカニズムの証明をサポートすることを念頭に置いてモジュール式のOPスタックを構築し、Rustを介してそれを実装するためにKona（拡張リンク1を参照）の開発をオープンソース化しました。Kona (拡張リンク 1 を参照) は、OP Stack Rollup の下で STF (トランザクション状態遷移関数ロジック) を実装するために開発されました。最終的に Kona と SP1 プログラムは OP Stack の ZKP (Zero Knowledge Proof) を生成し、これは OP Stack のすべてのチェーンが理論的に ZKP を使用するようにアップグレードできることを意味します。

SP1 (Succinct Processor 1)の目標は、どの開発者でもType-1 zkEVMロールアップを標準Rustコードとシームレスに統合し、既存のOPスタックチェーンを
わずか1時間でOP SuccinctによるZKPにシームレスにアップグレードできるようにすることです。既存のOPスタックチェーンをType-1 zkEVMロールアップにわずか
1時間で、シームレスに、アプリケーションに必要な高いパフォーマンスでアップグレードできます。

●       ZKPの高速検証：認証待ち時間を数分に短縮し、不正認証の課題に対して最大7日間を「置き換える」ことができます。

●         OPスタックをZKに切り替える：スマートコントラクトをデプロイし、軽量OPを開始するだけです。簡潔な提案サービス（下記参照）により、APIコール経由でプルーフ（バッチャ/ソータ、オペノード、インデクサなどを含む）を生成;

●       Type-1 zkEVM: OPスタックと互換性のあるすべてのツールとスマートコントラクト。ロールアップと互換性のあるツールおよびスマートコントラクト（OPサクンクト・ロールアップ用）;

●         拡張性の強化：新しいプリコンパイルの追加やロールアップ・ロジックの変更が可能な、カスタマイズ可能なOPサクンクト・ロールアップ。ロールアップロジックを変更できます。

公式のGitHubの説明によると、プロセスはRust、Foundry、Dockerをインストールするのと同じくらい簡単で、2つの簡単なステップで既存の任意のOP StackロールアップをType-1 zkEVMロールアップにアップグレードします：1. ZK L2OutputOracle.sol コントラクトをデプロイし、2. OP Succinct 提案サービスを開始します (プロセスについては GitHub Extension 2 を参照してください)。

OPスタック・ロールアップをZK Proofにアップグレードする、画像クレジット: Succinct blog

2.3SP1レスを使用したType-1 zkEVMの構築