原著者: YBB Capital 研究員 Ac-Core
TL;DR
OP Succinct が提供する主な機能は、ZKP を OP スタックのモジュラー アーキテクチャに統合して、OP スタック ロールアップから完全に検証された ZK ロールアップへの変換を完了することです。
イーサリアムの将来の拡張の最終目標がすべてのロールアップを ZK ロールアップに変換することである場合、OP Succinct の目的は、Rust と SP 1 を組み合わせて、OP スタックのタイプ 1 zkEVM (完全なイーサリアム同等物) のデプロイメントを実装することです。
OP Succinct Proposer は主に証明の並列生成と証明の集約と検証を完了します。
OP Stack の既存のシステムは「7 日間の不正防止ウィンドウ」に依存しており、紛争が発生した場合、OP Succinct は ZK プルーフを使用してトランザクションの完了に必要な時間を短縮します。不正防止窓口の拡大。
OP Succinct を使用すると、トランザクション コストを大幅に削減できます。
1. 最近のレビュー: OP Mainnet、OP Stack、および OP Labs の現状
出典: ブロックスカウト
1.1 OP メインネットの最近の開発ハイライト
2024 年 3 月 30 日のニュースによると、OP Labs は OP Sepoila テスト ネットワークで「フォールト プルーフ」をリリースし、2024 年 6 月 11 日に OP メインネットでフォールト プルーフを正式にリリースし、分散化を第 1 段階に進めました。 OP Mainnet からの ETH および ERC-20 トークンの引き出しを許可し、ユーザーは信頼できる第三者を必要とせずに無効な引き出し (Base、Metal、Mode、Zora を含む) に異議を申し立て、削除できるようになります。
ユーザー資産のセキュリティと信頼を確保するために、Optimism は失敗防止を使用してオンチェーン トランザクションの精度と有効性を向上させ、不正行為を防止します。
データの可用性: 障害防止により、まずレイヤー 2 上のすべてのデータがアクセス可能であり、レイヤー 1 によって検証できることが保証されます。
チャレンジ期間: 一定のチャレンジ期間中、誰でもレイヤー 2 上のデータに異議を唱えることができます。
レイヤ 2 データがレイヤ 1 データと矛盾していることに気付いた場合は、異議を申し立てることができます。証明書の提出: 異議がある場合、レイヤー 2 オペレーターはこれらの異議を反論し、データの正確性を証明するために証明書を提出する必要があります。 ファイナリティ: 異議申し立て期間内に有効な異議がない場合、またはレイヤー 2 オペレーターが成功した場合。異議を申し立てた場合、取引は完了し、有効とみなされます。
1.2.OP StackとOP Labsの関係と違い
OP Labs は Optimism ソリューションを開発するチームまたは組織で、OP Stack はイーサリアム レイヤ 2 ネットワークを構築および拡張するための技術フレームワークです。 OP Labs と OP Stack の関係は、開発者と開発ツールの関係として理解できます。
OPラボ:
OP Labs は Optimism プロジェクトの中心的な貢献者であり、Optimism の 2 層目のソリューションの開発と保守を担当しています。これは、オプティミスティック ロールアップなど、イーサリアムのスケーリングに関連する技術ツールの構築と改善に重点を置いたチームまたは組織です。 OP Labs の主な目標は、レイヤー 2 スケーリング ソリューションを通じてイーサリアム メインネットの負荷を軽減し、トランザクション コストを削減し、トランザクション速度を向上させることです。 OP Labs は、Succinct Labs などの他のプロジェクトとも協力して、ゼロ知識証明の最適化に焦点を当てた OP Succinct などのイーサリアム スケーリング テクノロジをさらに進歩させています。
OP Labs は、Optimism Network を開発および維持する主要なチームまたは組織です。彼らの目標は、トランザクション手数料の削減とトランザクション速度の向上に重点を置き、イーサリアムをスケーリングするための効率的なソリューションを構築することです。彼らは、Optimistic Rollups の開発を担当しているだけでなく、Succinct Labs と協力した OP Succiinc など、ゼロ知識証明に関連する新技術も積極的に推進しています。
OPスタック:
OP スタックは、イーサリアム レイヤ 2 ネットワークの構築と拡張に使用されるモジュール式アーキテクチャまたはテクノロジー スタックです。これは、開発者が特定のニーズに応じて独自のレイヤー 2 チェーンを構築できるようにする複数のカスタマイズ可能なコンポーネントで構成されています。これは、開発者が特定の条件を満たすレイヤー 2 拡張ネットワークを迅速に構築できる標準化された方法を提供します。
OP Stack は、OP Labs によって開発されたモジュール式フレームワークです。このフレームワークは、第 2 層ネットワークを構築するためのインフラストラクチャを提供し、開発者は OP スタックを使用してさまざまな拡張ネットワークを迅速に構築できます。 OP スタックのモジュール設計により、ユーザーはさまざまなプロジェクトのニーズを満たすためにさまざまな検証メカニズム (オプティミスティック ロールアップや ZK ロールアップなど) を柔軟に選択できます。
OP Labs は、OP Stack の開発者として理解できます。OP Stack は、開発者がイーサリアムの第 2 層ネットワークを構築および拡張するのを支援するために OP Labs によって提供される技術ツールです。
OP Succinct を理解する前に、各 OP スタックの 4 つの主要コンポーネントをさらに理解する必要があります。 1. op-geth: ユーザーからトランザクションを取得し、これらのトランザクションを使用してブロックを生成し、ブロックを実行します。 2. op-batcher: ユーザーのブロックを変換します。トランザクションはバッチ化され、L1 に送信されます。 3. op-node: L1 からバッチ データを読み取り、非シーケンサー モードで状態遷移のために op-geth を駆動します。 4. op-proposer: 出力を L1 に定期的に発行して、L2 の状態をキャプチャします。引き出しの簡単な処理。
2. Succinct Labs と OP Labs が連携して ZK 要素を OP スタックに注入します
出典: 簡潔なブログ
2.1 OP 簡潔なアーキテクチャ構成
上記の第 1.2 章の最後にある「OP スタックの 4 つの主要コンポーネント」と組み合わせると、OP Succinct は OP スタックの軽量アップグレードであり、他の 3 つのコンポーネントを変更せずにチェーンで ZK 検証済みブロックのみを使用できるようになります (op -geth 、op-batcher、op-node）、OP Succinctは主に以下の4つで構成されます。
Range プログラム: これはバッチ ブロックを実行するプログラムです。このプログラムは Rust で書かれており、zkVM で実行されるように設計されています。
集約プログラム: オンチェーン検証コストを削減するための集約範囲プログラムの証明。このプログラムも Rust で書かれており、zkVM で実行されるように設計されています。
OP Succinct L2 Output Oracle.: L2 状態出力の配列を含む Solidity スマート コントラクト。各出力は L2 チェーン状態へのコミットです。 このコントラクトは Optimism の元のシステムにすでに存在していましたが、認証メカニズムとして検証証明を使用するように変更されました。
OP Succinct Proposer: L1 に公開されたトランザクション バッチを監視し、スコープ プログラムと集計プログラムの証明を制御します。
2.2 OP Succinct はどのようなイーサリアム拡張の物語を伝えますか?
zkEVM Rollup は、暗号化に関する深い専門知識があるため、構築が非常に困難です。モジュラー OP スタックを構築する際、OP Labs チームは、さまざまな有効性メカニズムの証明をサポートすることを検討し、Rust に合格するオープン ソースとして Kona (拡張リンク 1 を参照) を開発しました。 OP Stack Rollup の下で状態遷移関数 STF (トランザクション状態遷移の関数ロジック) を実装し、最後に Kona および SP 1 プログラムを使用して OP Stack のゼロ知識証明 (ZKP) を生成します。つまり、理論的には OP Stack のすべてのチェーンでアップグレードして ZKP を使用してください。
SP 1 (Succinct Processor 1) の目標は、開発者が標準の Rust コードを使用して Type-1 zkEVM ロールアップをシームレスに統合し、OP Succinct Upgrade to Type-1 zkEVM rollup を介してわずか 1 時間で既存の OP スタックをシームレスにチェーンして提供できるようにすることです。アプリケーションが要求する高いパフォーマンス。これにより、次のような利点が得られます。
ZKP の迅速な確認: 7 日間の不正行為認定チャレンジ期間を「置き換え」るため、認定の遅延を数十分に短縮します。
コストを削減し、効率を向上します。各トランザクションの平均コストは数セントほどです。
OP スタックを ZK に切り替える: スマート コントラクトをデプロイし、軽量の OP Succinct プロポーザル サービス (以下を参照) を開始するだけで、API 呼び出し (バッチ プロセッサ/シーケンサ、オペノード、インデクサなど) を介してプルーフを生成できます。
タイプ 1 zkEVM: OP Stack Rollup と互換性のあるすべてのツールとスマート コントラクトは、OP Succinct Rollup に適しています。
スケーラビリティの向上: カスタマイズ可能な OP Succinct ロールアップを使用すると、新しいプリコンパイルを追加したり、ロールアップ ロジックを変更したりできます。
公式 GitHub によると、このプロセスでは、既存の OP スタック ロールアップを Type-1 zkEVM ロールアップにアップグレードするために Rust、Foundry、Docker をインストールするだけで済み、プロセスは 2 つのステップのみに簡素化されています。 1. ZK L2 OutputOracle.sol コントラクトをデプロイする;2. OP Succinct プロポーザル サービスを開始します (プロセスについては、GitHub 拡張リンク 2 を参照してください)。
OP スタック ロールアップを ZK プルーフにアップグレードします。出典: Succinct ブログ
2.3 SP 1 Reth を使用した Type-1 zkEVM のビルド
Succinct 氏は、EVM Rollup の将来は Rust 言語で書かれた保守可能な zkEVM になると考えています。現在、OP Rollup は主に 3 つの問題に直面しています。それは、長すぎる 7 日間の不正行為防止期間、複雑な相互運用性、および場合によっては複数のデータへの依存です。不正防止メカニズムよりも。また、zkEVMの作成には長時間を要するため、これらの問題を解決するためにSP1が開発されました。
SP 1 は、あらゆる Rust (または LVM コンパイル言語) プログラムの実行を検証できる、高性能の 100% オープンソースで完全にオープンソースにカスタマイズされた zkVM です。公開データによると、OP Succinct Stack は OP Mainnet、OP で正常に使用されています。 Sepolia チェーンと Base チェーンは実行され、イーサリアム トランザクションで 0.01 ～ 0.02 ドルの証明コストを達成しました (拡張リンク 3 を参照)。将来的には、すべてのブロックチェーン インフラストラクチャ (ロールアップ、ブリッジ、コプロセッサなどを含む) が Rust (または他の LLVM コンパイル言語) で書かれ、ZKP を利用することが期待されています。
Succinct ブログとオープンソース GitHub コンテンツの概要によると、SP 1 と他の zkVM のパフォーマンスの違いは、主にいくつかの重要な要因によって引き起こされます。
プリコンパイル中心のアーキテクチャ: SP 1 は、さまざまな操作 (secp 256 k 1 および ed 25519 署名検証、sha 256 および keccak 256 ハッシュ関数など) を大幅に高速化できる柔軟なプリコンパイル システムをサポートしており、多くのプログラムの RISC -V の実行時間を短縮します。サイクル数が5～10倍になります。その設計目標は、zkVM の柔軟性と優れた開発者エクスペリエンスを維持しながら、ZK 回路に匹敵するパフォーマンスを提供することです。
完全なオープンソース: SP 1 は 100% オープンソースであるため、Argument や Scroll などのチームがカスタム プリコンパイルを実装して、サイクル数を大幅に削減し、プルーフ生成時間を短縮できます。
業界標準: 導入以来、zkVM 内のプリコンパイルの概念は業界標準となり、RISC 0、Valida、Nexus、Jolt などのプロジェクトに組み込まれています。 SP 1 は、重要な暗号化操作に対する広範なプリコンパイル サポートを備えた、実稼働対応の唯一の zkVM です。
効率的なメモリの読み取りと書き込み: SP 1 は革新的なメモリ証明方法を採用しており、単一のチャレンジを使用して複数の証明に対して一貫したメモリを実現し、マークル化されたメモリによって引き起こされるオーバーヘッドを回避します。
基本的な効率の最適化: より低いブローアップ係数と新世代の検索パラメーター (対数導関数に基づく LogUp など)、および Plonky 3 の FRI バリアントを使用することで、トラッキング エリアの利用効率が向上します。
画像ソース: 簡潔なブログ、拡張リンク 4 の付録の説明を参照
3. OP Succinct は ZK Stack に対する OP Stack の切り札になれるでしょうか?
画像ソース作者: @jtguibas
イーサリアムの拡張計画が短期的にはOP、長期的にはZKを見据えている場合、OP Succinctが成功すると仮定すると、それはイーサリアムの開発過程における重要なマイルストーンとみなされます。 OP Succinct は、ETH ロールアップを楽観的検証からゼロ知識証明に変換するためのアップグレード可能なパスを提供します。これにより、トランザクション コストが削減されるだけでなく、ZK ロールアップのセキュリティと匿名性の特性も維持され、将来のアプリケーション層ソリューションが提供されます。 . アウトブレイクは新たな可能性をもたらします。
レイヤー 2 の 4 つの王の中で、OP Stack は現段階でプロジェクトのエコロジー開発の点で ZK Stack よりわずかに優れていますが、OP Succinct の追加により、将来的にはさらに ZK を吸収する可能性があります。 Stack のトラフィックと可能性は、将来 OP Succinct が実現できれば、従来の zkEVM のロールアップにもある程度の影響を与える可能性があります。
ただし、現段階で公表されている内容によれば、STF 関数を変更したり、新しいプリコンパイル済み関数を追加したりするときに、開発者が未知の脆弱性によって引き起こされるシステムリスクを確実に迅速に発見する方法を OP Succinct の動作ロジックから見つけるのは難しくありません。私たちは長期的な焦点を維持します。
拡張リンク:
(1) https://github.com/anton-rs/kona?ref=blog.succinct.xyz
(2) https://github.com/succinctlabs/op-succinct
