OPスタックの進歩への道:OP SuccinctはZKロールアップの可能性を引き出します

中級10/1/2024, 6:59:29 PM
この記事では、OP Mainnetの最新の進展に焦点を当て、新しい耐障害メカニズムが分散型取引の正確さと効率に与える影響について詳しく説明しています。また、EthereumのLayer 2ネットワークの技術的枠組みであるOP Stackや、OP Labsがゼロ知識証明技術をOP StackにOP Succinctを介して組み込み、Ethereumのスケーラビリティを向上させる方法についても探っています。

要するに

  • OP Succinctの主な特徴は、ゼロ知識証明(ZKP)をOP Stackのモジュラーデザインに組み込む能力であり、これによりOP Stack Rollupが完全に検証されたZK Rollupに変換されます。
  • Ethereumの拡張の将来の目標が、すべてのRollupをZK Rollupに変換することである場合、OP Succinctのミッションは、RustとSP1をマージしてOP StackのType-1 zkEVMを展開することであり、これはEthereumと完全に互換性があります。
  • OPシンプルプロポーザーは、並列で証明を生成し、それらを集約および検証する責任があります。
  • 現在のOP Stackシステムは、「7日間の詐欺防止ウィンドウ」を使用しており、紛争が発生した場合にはトランザクションの検証が1週間遅延します。OP Succinctは、ZK証明を活用してトランザクションの確定に必要な時間を短縮し、拡張された詐欺防止期間の要件を排除します。
  • OP Succinctは取引コストを大幅に低減する可能性があります。

1. 最近の概要: OPメインネットの現在の状況とOPスタックとOPラボの役割

ソース: Blockscout

1.1 OPメインネットの最近の開発動向

2024年3月30日、OPラボは「フォルトプルーフ」をOP Sepoilaテストネットで発表し、2024年6月11日にOP Mainnetで公式にローンチすることを発表しました。これにより、ユーザーは信頼できる第三者に頼らずに、OP MainnetからETHおよびERC-20トークンを引き出すことができるようになり、分散化への重要な一歩となりました。ユーザーは今やBase、Metal、Mode、Zoraからの誤った引き出しをチャレンジして無効にすることができます。

ユーザーアセットの安全性と信頼性を高めるために、Optimismはフォルトプルーフを使用してオンチェーン取引の正確性と効率性を向上させ、悪意のある活動を防止します。主な原則は次のとおりです:

  • データの可用性:フォールトプルーフは、Layer 2のすべてのデータがアクセス可能であり、Layer 1で検証できることを保証します。
  • チャレンジ期間:指定されたチャレンジ期間中、誰でもレイヤー2のデータに異議を唱えることができます。レイヤー2とレイヤー1のデータに相違がある場合、チャレンジが行われることがあります。

紛争が発生した場合、レイヤー2のオペレーターは挑戦に対抗する証拠を提供し、そのデータの正確性を確認する必要があります。

最終的には、チャレンジ期間中に有効な異議がない場合、またはレイヤー2オペレータがチャレンジに成功した場合、トランザクションは確定され有効と見なされます。

1.2 OPスタックとOPラボの関係と違い

OP LabsはOptimismソリューションの開発を担当するチームで、一方でOP StackはEthereumのLayer 2ネットワークの構築とスケーリングをサポートする技術フレームワークです。OP Labsは開発者であり、OP Stackはそのツールセットと考えることができます。

● OP Labs:

OP Labsは、Optimismプロジェクトの中核的な貢献者であり、Optimism Layer 2ソリューションの開発と維持を担当しています。これは、Ethereumのスケーリングに関連する技術ツールの構築と改善に焦点を当てたチームまたは組織であり、楽観的ロールアップなどの技術ツールの開発と改善に焦点を当てています。OP Labsの主な目標は、Layer 2スケーリングソリューションを通じてEthereumメインネットの負荷を軽減し、トランザクションコストを削減し、トランザクション速度を向上させることです。

OPラボは、OPラボなどの他のプロジェクトと協力し、OP Succinctなどのイニシアチブでゼロ知識証明の最適化に焦点を当てた、Ethereumのスケーリング技術のさらなる推進を図っています。

OP Labsは、Optimismネットワークの開発とメンテナンスを担当するメインチームまたは組織です。彼らの目標は、トランザクション手数料を下げ、トランザクション速度を向上させることに焦点を当て、Ethereumのスケーリングに効率的なソリューションを作成することです。彼らはOptimistic Rollupsの開発だけでなく、Succinct Labsとの協力によるOP Succinctなどのゼロ知識証明に関連する新しい技術の積極的な推進も担当しています。

● OP スタック:

OPスタックは、Ethereum Layer 2ネットワークを構築およびスケーリングするために使用されるモジュラーアーキテクチャまたはテクノロジースタックです。開発者が特定の必要に基づいて独自のLayer 2チェーンを作成できるように、複数のカスタマイズ可能なコンポーネントで構成されています。特定の要件を満たすLayer 2スケーリングネットワークを迅速に確立することを可能にする標準化されたアプローチを提供しています。

OP Labsが開発したモジュラーフレームワークのOP Stackは、Layer 2ネットワークを構築するためのインフラストラクチャを提供します。OP Stackを使用すると、開発者はさまざまなスケーリングネットワークを迅速に作成できます。モジュラーな設計により、OP Stackは、オプティミスティックロールアップやZKロールアップなどのさまざまな検証メカニズムを柔軟に選択して、異なるプロジェクトの特定のニーズに対応できます。

OP Labsは、OP Stackの開発者として理解されることがあります。OP Stackは、OP Labsが提供する技術ツールのセットで、開発者がEthereumのLayer 2ネットワークの構築とスケーリングを支援するためのものです。

OP Succinctに入る前に、OP Stackの4つの主要なコンポーネントを理解することが重要です。

  1. op-geth:このコンポーネントは、ユーザーからトランザクションを取得し、これらのトランザクションからブロックを生成し、実行します。
  2. op-batcher:ユーザーのトランザクションをバッチ処理し、Layer 1(L1)に送信します。
  3. op-node: これはレイヤー1からバッチデータを読み取り、非シーケンサーモードでステート遷移のためにop-gethを駆動します。
  4. op-proposer: 定期的にLayer 1にアウトプットのルートを公開し、Layer 2(L2)の状態をキャプチャして、引き出しプロセスを容易にします。

Succinct LabsとOP Labsの間の協力により、ZK ElementsをOP Stackに統合します。

ソース:簡潔なブログ

2.1 OP Succinctの構造

セクション1.2の終わりに言及すると、「OP Stackの4つの主要なコンポーネント」について説明していますが、OP SuccinctはOP Stackの軽量な拡張です。これにより、チェーンはゼロ知識証明(ZK)を使用して検証されたブロックのみを利用することができます。一方、他の3つのコンポーネント(op-geth、op-batcher、およびop-node)は変更されません。OP Succinctは主に以下の4つの要素で構成されています:

  • Range Program: このプログラムは、Rustで書かれており、zkVM内でバッチブロックを実行するように設計されています。
  • アグリゲーションプログラム:同じくRustで書かれたこのプログラムは、Range Programによって生成されたプルーフをアグリゲートしてオンチェーン検証のコストを削減し、zkVMで実行することを意図しています。
  • OP 簡潔な L2 出力オラクル: これは、L2 状態出力の配列を保持する Solidity スマートコントラクトであり、各出力は L2 チェーン状態の提出を表しています。このコントラクトは元の Optimism システムにすでに存在していますが、認証の方法として検証証明が使用されるように修正されています。
  • OP 簡潔なプロポーザー:このコンポーネントは、L1に公開されたトランザクションのバッチを監視し、範囲プログラムと集約プログラムの両方の証明を管理します。

2.2 EthereumスケーリングのためのOP Succinctはどのようなナラティブを提示していますか?

zkEVM Rollupの作成は、広範な暗号知識が必要なため、重要な課題です。OP Labsチームは、モジュラーなOP Stackを構築する際にこれを考慮し、さまざまな妥当性メカニズムをサポートするようにしました。彼らはRustを使用して、OP Stack Rollupのための状態遷移機能(STF)を実装したオープンソースプロジェクトであるKona(詳細リンク1を参照)を開発しました。このイノベーションにより、KonaとSP1プログラムを介してOP Stackのゼロ知識証明(ZKP)の生成が可能となります。これにより、理論的にはOP StackのすべてのチェーンがZKPを使用するようにアップグレードできるようになります。

SP1(Succinct Processor 1)は、どの開発者も標準のRustコードを使用してType-1 zkEVM Rollupを簡単に統合できるようにすることを目指しています。OP Succinctを使用すると、既存のOP StackチェーンをType-1 zkEVM Rollupにアップグレードすることが1時間で可能となり、アプリケーションに必要な高性能を提供します。このアプローチにはいくつかの利点があります:

  • 高速ZKP確認:証明の遅延をわずか数分に短縮し、長い7日間の詐欺証明チャレンジ期間を置き換えることができます。
  • コスト効率:平均取引コストはわずか数セントに低減できます。
  • OPスタックをZKに移行する: 1つのスマートコントラクトを展開し、軽量なOPサクセントプロポーザーサービス(以下で詳細に説明する)を開始することにより、API呼び出しを介して証明を生成することができます(バッチャ/ソータ、OPノード、インデクサなどのコンポーネントを含む)。
  • Type-1 zkEVMの互換性:OP Stack Rollupと互換性のあるすべてのツールとスマートコントラクトは、OP Succinct Rollupでも動作します。
  • スケーラビリティの向上: カスタマイズ可能なOP Succinct Rollupにより、新しいプリコンパイルの追加やRollupロジックの変更が可能になります。

公式のGitHubドキュメントによれば、既存のOP Stack RollupをType-1 zkEVM Rollupにアップグレードするのは簡単です:Rust、Foundry、およびDockerをインストールし、次の2つの手順に従います:1. ZK L2OutputOracle.solコントラクトをデプロイする;2. OP Succinct提案者サービスを起動する(詳細はGitHubの拡張リンク2を参照)。

OPスタックロールアップをZKプルーフにアップグレードする。イメージソース:Succinct Blog

2.3 ビルディングタイプ-1 zkEVM with SP1 Reth

Succinctは、将来のEVM Rollupsのビジョンは、Rustを使用して開発された保守可能なzkEVMを含むものであると考えています。現在、OP Rollupは3つの重要な課題に直面しています:拡張された7日間の不正証明ウィンドウ、複雑な相互運用性の問題、および特定の場合には不正証明の代わりに複数のデータソースへの依存。さらに、zkEVMの作成は時間がかかるため、これらの問題に対処するためにSP1の開発が行われました。

SP1は高性能な完全オープンソースのzkVMであり、Rust(または他のLLVMでコンパイルされた言語)で書かれた任意のプログラムの実行を検証することができます。公開データによると、OP Succinct StackはOP Mainnet、OP Sepolia、およびBaseチェーンで正常に実行され、Ethereumトランザクションの証明コストは0.01ドルから0.02ドルになりました(詳細はリンク3を参照)。将来的にはRust(または他のLLVMでコンパイルされた言語)を使用してすべてのブロックチェーンインフラストラクチャ(Rollups、ブリッジ、共同処理装置を含む)を開発し、ZKPを活用することを目指しています。

SuccinctブログとオープンソースのGitHubコンテンツによる要約によれば、SP1と他のzkVMとの性能の違いはいくつかの主要要因に帰因する可能性があります。

  1. Precompile-Centric Architecture: SP1は柔軟なプリコンパイルシステムを特徴とし、secp256k1やed25519の署名検証、さらにsha256やkeccak256のハッシュ関数など、さまざまな操作を大幅に高速化します。これにより、多くのプログラムのサイクルカウントを5〜10倍削減します。この設計は、ZK回路と同等のパフォーマンスを提供することを目指しており、zkVMの柔軟性を維持しつつ、開発者のポジティブな体験を確保することを目指しています。
  2. 完全オープンソース:SP1は完全にオープンソースであり、ArgumentやScrollなどのチームがカスタムプリコンパイルを実装することができます。これにより、サイクル数を大幅に減らし、証明生成時間を加速することができます。
  3. 業界標準:導入以来、zkVM内の内部事前コンパイルの概念は業界標準となり、RISC0、Valida、Nexus、およびJoltなどのプロジェクトで採用されています。SP1は、事前コンパイルを介して重要な暗号操作を広くサポートする唯一の本番向けzkVMとして注目されています。
  4. 効率的なメモリ操作:SP1は、複数の証明間で一貫したメモリを確保するために単一のチャレンジを使用する革新的なメモリ証明技術を利用しており、Merkleizedメモリに関連するオーバーヘッドを排除しています。
  5. 基本的な効率の最適化:それはより低い膨張係数と次世代のルックアップパラメータ(対数導関数に基づくLogUpなど)を取り入れ、Plonky3でのFRIバリアントと組み合わせることで、追跡領域の効率を向上させています。

画像の出典:簡潔なブログ、拡張リンク4付録の説明を参照してください

3. OPスキンクトは、ZKスキンクトに対するOPスタックの主要な利点になることができますか?

画像の出典: @jtguibas

イーサリアムのスケーリングソリューションを短期的にはOPに、長期的にはZKに傾斜して考えると、OP Succinctが成功すれば、イーサリアムの開発において重要な節目となるでしょう。OP Succinctは、ETH Rollupsが楽観的検証からゼロ知識証明に移行するための道筋を提供しています。この移行により、取引コストが低下し、取引スピードが向上するだけでなく、ZK Rollupsのセキュリティと匿名性の特性を維持しながら、将来のアプリケーションの潜在的な急増の道を開くことになります。

現在、認識されているLayer 2の四大プレイヤーの中で、OP Stackは生態系の開発の観点でZK Stackよりわずかに優位に立っているようです。富者が富を増やすマシュー効果は時間の経過とともにより顕著になるかもしれません。OP Succinctが参入することで、ZK Stackから一部のトラフィックと潜在的な利益を奪う可能性もあります。OP Succinctが成功裏に実装されれば、従来のzkEVMロールアップにも一定の影響を与えるかもしれません。

ただし、この時点で利用可能な情報に基づいて、OP Succinctのオペレーションロジックから明らかなように、STF関数の変更や新しいプリコンパイル関数の追加から生じるかもしれない未知の脆弱性を開発者が迅速に検出できるようにすることが重要であることがわかります。これは継続的な注意を必要とする問題です。

免責事項:

  1. この記事は[から転載されましたblockbeat],オリジナルタイトルOP Stackの進歩への道:OP SuccinctはZK Rollupのポテンシャルを引き出します。すべての著作権はオリジナルの著者[Ac-Core、YBB Capital Researcher]に帰属します。この転載に異議がある場合は、お問い合わせください。Gate学習チーム、そして彼らは迅速に対処します。

  2. 責任の免責事項:この記事で表現されている見解や意見は、著者個人のものであり、いかなる投資アドバイスも構成しません。

  3. Gate Learnチームによって、記事の翻訳が他の言語に行われます。特に言及されていない限り、Gate翻訳された記事のコピー、配布、または盗用は禁止されています。

OPスタックの進歩への道:OP SuccinctはZKロールアップの可能性を引き出します

中級10/1/2024, 6:59:29 PM
この記事では、OP Mainnetの最新の進展に焦点を当て、新しい耐障害メカニズムが分散型取引の正確さと効率に与える影響について詳しく説明しています。また、EthereumのLayer 2ネットワークの技術的枠組みであるOP Stackや、OP Labsがゼロ知識証明技術をOP StackにOP Succinctを介して組み込み、Ethereumのスケーラビリティを向上させる方法についても探っています。

要するに

  • OP Succinctの主な特徴は、ゼロ知識証明(ZKP)をOP Stackのモジュラーデザインに組み込む能力であり、これによりOP Stack Rollupが完全に検証されたZK Rollupに変換されます。
  • Ethereumの拡張の将来の目標が、すべてのRollupをZK Rollupに変換することである場合、OP Succinctのミッションは、RustとSP1をマージしてOP StackのType-1 zkEVMを展開することであり、これはEthereumと完全に互換性があります。
  • OPシンプルプロポーザーは、並列で証明を生成し、それらを集約および検証する責任があります。
  • 現在のOP Stackシステムは、「7日間の詐欺防止ウィンドウ」を使用しており、紛争が発生した場合にはトランザクションの検証が1週間遅延します。OP Succinctは、ZK証明を活用してトランザクションの確定に必要な時間を短縮し、拡張された詐欺防止期間の要件を排除します。
  • OP Succinctは取引コストを大幅に低減する可能性があります。

1. 最近の概要: OPメインネットの現在の状況とOPスタックとOPラボの役割

ソース: Blockscout

1.1 OPメインネットの最近の開発動向

2024年3月30日、OPラボは「フォルトプルーフ」をOP Sepoilaテストネットで発表し、2024年6月11日にOP Mainnetで公式にローンチすることを発表しました。これにより、ユーザーは信頼できる第三者に頼らずに、OP MainnetからETHおよびERC-20トークンを引き出すことができるようになり、分散化への重要な一歩となりました。ユーザーは今やBase、Metal、Mode、Zoraからの誤った引き出しをチャレンジして無効にすることができます。

ユーザーアセットの安全性と信頼性を高めるために、Optimismはフォルトプルーフを使用してオンチェーン取引の正確性と効率性を向上させ、悪意のある活動を防止します。主な原則は次のとおりです:

  • データの可用性:フォールトプルーフは、Layer 2のすべてのデータがアクセス可能であり、Layer 1で検証できることを保証します。
  • チャレンジ期間:指定されたチャレンジ期間中、誰でもレイヤー2のデータに異議を唱えることができます。レイヤー2とレイヤー1のデータに相違がある場合、チャレンジが行われることがあります。

紛争が発生した場合、レイヤー2のオペレーターは挑戦に対抗する証拠を提供し、そのデータの正確性を確認する必要があります。

最終的には、チャレンジ期間中に有効な異議がない場合、またはレイヤー2オペレータがチャレンジに成功した場合、トランザクションは確定され有効と見なされます。

1.2 OPスタックとOPラボの関係と違い

OP LabsはOptimismソリューションの開発を担当するチームで、一方でOP StackはEthereumのLayer 2ネットワークの構築とスケーリングをサポートする技術フレームワークです。OP Labsは開発者であり、OP Stackはそのツールセットと考えることができます。

● OP Labs:

OP Labsは、Optimismプロジェクトの中核的な貢献者であり、Optimism Layer 2ソリューションの開発と維持を担当しています。これは、Ethereumのスケーリングに関連する技術ツールの構築と改善に焦点を当てたチームまたは組織であり、楽観的ロールアップなどの技術ツールの開発と改善に焦点を当てています。OP Labsの主な目標は、Layer 2スケーリングソリューションを通じてEthereumメインネットの負荷を軽減し、トランザクションコストを削減し、トランザクション速度を向上させることです。

OPラボは、OPラボなどの他のプロジェクトと協力し、OP Succinctなどのイニシアチブでゼロ知識証明の最適化に焦点を当てた、Ethereumのスケーリング技術のさらなる推進を図っています。

OP Labsは、Optimismネットワークの開発とメンテナンスを担当するメインチームまたは組織です。彼らの目標は、トランザクション手数料を下げ、トランザクション速度を向上させることに焦点を当て、Ethereumのスケーリングに効率的なソリューションを作成することです。彼らはOptimistic Rollupsの開発だけでなく、Succinct Labsとの協力によるOP Succinctなどのゼロ知識証明に関連する新しい技術の積極的な推進も担当しています。

● OP スタック:

OPスタックは、Ethereum Layer 2ネットワークを構築およびスケーリングするために使用されるモジュラーアーキテクチャまたはテクノロジースタックです。開発者が特定の必要に基づいて独自のLayer 2チェーンを作成できるように、複数のカスタマイズ可能なコンポーネントで構成されています。特定の要件を満たすLayer 2スケーリングネットワークを迅速に確立することを可能にする標準化されたアプローチを提供しています。

OP Labsが開発したモジュラーフレームワークのOP Stackは、Layer 2ネットワークを構築するためのインフラストラクチャを提供します。OP Stackを使用すると、開発者はさまざまなスケーリングネットワークを迅速に作成できます。モジュラーな設計により、OP Stackは、オプティミスティックロールアップやZKロールアップなどのさまざまな検証メカニズムを柔軟に選択して、異なるプロジェクトの特定のニーズに対応できます。

OP Labsは、OP Stackの開発者として理解されることがあります。OP Stackは、OP Labsが提供する技術ツールのセットで、開発者がEthereumのLayer 2ネットワークの構築とスケーリングを支援するためのものです。

OP Succinctに入る前に、OP Stackの4つの主要なコンポーネントを理解することが重要です。

  1. op-geth:このコンポーネントは、ユーザーからトランザクションを取得し、これらのトランザクションからブロックを生成し、実行します。
  2. op-batcher:ユーザーのトランザクションをバッチ処理し、Layer 1(L1)に送信します。
  3. op-node: これはレイヤー1からバッチデータを読み取り、非シーケンサーモードでステート遷移のためにop-gethを駆動します。
  4. op-proposer: 定期的にLayer 1にアウトプットのルートを公開し、Layer 2(L2)の状態をキャプチャして、引き出しプロセスを容易にします。

Succinct LabsとOP Labsの間の協力により、ZK ElementsをOP Stackに統合します。

ソース:簡潔なブログ

2.1 OP Succinctの構造

セクション1.2の終わりに言及すると、「OP Stackの4つの主要なコンポーネント」について説明していますが、OP SuccinctはOP Stackの軽量な拡張です。これにより、チェーンはゼロ知識証明(ZK)を使用して検証されたブロックのみを利用することができます。一方、他の3つのコンポーネント(op-geth、op-batcher、およびop-node)は変更されません。OP Succinctは主に以下の4つの要素で構成されています:

  • Range Program: このプログラムは、Rustで書かれており、zkVM内でバッチブロックを実行するように設計されています。
  • アグリゲーションプログラム:同じくRustで書かれたこのプログラムは、Range Programによって生成されたプルーフをアグリゲートしてオンチェーン検証のコストを削減し、zkVMで実行することを意図しています。
  • OP 簡潔な L2 出力オラクル: これは、L2 状態出力の配列を保持する Solidity スマートコントラクトであり、各出力は L2 チェーン状態の提出を表しています。このコントラクトは元の Optimism システムにすでに存在していますが、認証の方法として検証証明が使用されるように修正されています。
  • OP 簡潔なプロポーザー:このコンポーネントは、L1に公開されたトランザクションのバッチを監視し、範囲プログラムと集約プログラムの両方の証明を管理します。

2.2 EthereumスケーリングのためのOP Succinctはどのようなナラティブを提示していますか?

zkEVM Rollupの作成は、広範な暗号知識が必要なため、重要な課題です。OP Labsチームは、モジュラーなOP Stackを構築する際にこれを考慮し、さまざまな妥当性メカニズムをサポートするようにしました。彼らはRustを使用して、OP Stack Rollupのための状態遷移機能(STF)を実装したオープンソースプロジェクトであるKona(詳細リンク1を参照)を開発しました。このイノベーションにより、KonaとSP1プログラムを介してOP Stackのゼロ知識証明(ZKP)の生成が可能となります。これにより、理論的にはOP StackのすべてのチェーンがZKPを使用するようにアップグレードできるようになります。

SP1(Succinct Processor 1)は、どの開発者も標準のRustコードを使用してType-1 zkEVM Rollupを簡単に統合できるようにすることを目指しています。OP Succinctを使用すると、既存のOP StackチェーンをType-1 zkEVM Rollupにアップグレードすることが1時間で可能となり、アプリケーションに必要な高性能を提供します。このアプローチにはいくつかの利点があります:

  • 高速ZKP確認:証明の遅延をわずか数分に短縮し、長い7日間の詐欺証明チャレンジ期間を置き換えることができます。
  • コスト効率:平均取引コストはわずか数セントに低減できます。
  • OPスタックをZKに移行する: 1つのスマートコントラクトを展開し、軽量なOPサクセントプロポーザーサービス(以下で詳細に説明する)を開始することにより、API呼び出しを介して証明を生成することができます(バッチャ/ソータ、OPノード、インデクサなどのコンポーネントを含む)。
  • Type-1 zkEVMの互換性:OP Stack Rollupと互換性のあるすべてのツールとスマートコントラクトは、OP Succinct Rollupでも動作します。
  • スケーラビリティの向上: カスタマイズ可能なOP Succinct Rollupにより、新しいプリコンパイルの追加やRollupロジックの変更が可能になります。

公式のGitHubドキュメントによれば、既存のOP Stack RollupをType-1 zkEVM Rollupにアップグレードするのは簡単です:Rust、Foundry、およびDockerをインストールし、次の2つの手順に従います:1. ZK L2OutputOracle.solコントラクトをデプロイする;2. OP Succinct提案者サービスを起動する(詳細はGitHubの拡張リンク2を参照)。

OPスタックロールアップをZKプルーフにアップグレードする。イメージソース:Succinct Blog

2.3 ビルディングタイプ-1 zkEVM with SP1 Reth

Succinctは、将来のEVM Rollupsのビジョンは、Rustを使用して開発された保守可能なzkEVMを含むものであると考えています。現在、OP Rollupは3つの重要な課題に直面しています:拡張された7日間の不正証明ウィンドウ、複雑な相互運用性の問題、および特定の場合には不正証明の代わりに複数のデータソースへの依存。さらに、zkEVMの作成は時間がかかるため、これらの問題に対処するためにSP1の開発が行われました。

SP1は高性能な完全オープンソースのzkVMであり、Rust(または他のLLVMでコンパイルされた言語)で書かれた任意のプログラムの実行を検証することができます。公開データによると、OP Succinct StackはOP Mainnet、OP Sepolia、およびBaseチェーンで正常に実行され、Ethereumトランザクションの証明コストは0.01ドルから0.02ドルになりました(詳細はリンク3を参照)。将来的にはRust(または他のLLVMでコンパイルされた言語)を使用してすべてのブロックチェーンインフラストラクチャ(Rollups、ブリッジ、共同処理装置を含む)を開発し、ZKPを活用することを目指しています。

SuccinctブログとオープンソースのGitHubコンテンツによる要約によれば、SP1と他のzkVMとの性能の違いはいくつかの主要要因に帰因する可能性があります。

  1. Precompile-Centric Architecture: SP1は柔軟なプリコンパイルシステムを特徴とし、secp256k1やed25519の署名検証、さらにsha256やkeccak256のハッシュ関数など、さまざまな操作を大幅に高速化します。これにより、多くのプログラムのサイクルカウントを5〜10倍削減します。この設計は、ZK回路と同等のパフォーマンスを提供することを目指しており、zkVMの柔軟性を維持しつつ、開発者のポジティブな体験を確保することを目指しています。
  2. 完全オープンソース:SP1は完全にオープンソースであり、ArgumentやScrollなどのチームがカスタムプリコンパイルを実装することができます。これにより、サイクル数を大幅に減らし、証明生成時間を加速することができます。
  3. 業界標準:導入以来、zkVM内の内部事前コンパイルの概念は業界標準となり、RISC0、Valida、Nexus、およびJoltなどのプロジェクトで採用されています。SP1は、事前コンパイルを介して重要な暗号操作を広くサポートする唯一の本番向けzkVMとして注目されています。
  4. 効率的なメモリ操作:SP1は、複数の証明間で一貫したメモリを確保するために単一のチャレンジを使用する革新的なメモリ証明技術を利用しており、Merkleizedメモリに関連するオーバーヘッドを排除しています。
  5. 基本的な効率の最適化:それはより低い膨張係数と次世代のルックアップパラメータ(対数導関数に基づくLogUpなど)を取り入れ、Plonky3でのFRIバリアントと組み合わせることで、追跡領域の効率を向上させています。

画像の出典:簡潔なブログ、拡張リンク4付録の説明を参照してください

3. OPスキンクトは、ZKスキンクトに対するOPスタックの主要な利点になることができますか?

画像の出典: @jtguibas

イーサリアムのスケーリングソリューションを短期的にはOPに、長期的にはZKに傾斜して考えると、OP Succinctが成功すれば、イーサリアムの開発において重要な節目となるでしょう。OP Succinctは、ETH Rollupsが楽観的検証からゼロ知識証明に移行するための道筋を提供しています。この移行により、取引コストが低下し、取引スピードが向上するだけでなく、ZK Rollupsのセキュリティと匿名性の特性を維持しながら、将来のアプリケーションの潜在的な急増の道を開くことになります。

現在、認識されているLayer 2の四大プレイヤーの中で、OP Stackは生態系の開発の観点でZK Stackよりわずかに優位に立っているようです。富者が富を増やすマシュー効果は時間の経過とともにより顕著になるかもしれません。OP Succinctが参入することで、ZK Stackから一部のトラフィックと潜在的な利益を奪う可能性もあります。OP Succinctが成功裏に実装されれば、従来のzkEVMロールアップにも一定の影響を与えるかもしれません。

ただし、この時点で利用可能な情報に基づいて、OP Succinctのオペレーションロジックから明らかなように、STF関数の変更や新しいプリコンパイル関数の追加から生じるかもしれない未知の脆弱性を開発者が迅速に検出できるようにすることが重要であることがわかります。これは継続的な注意を必要とする問題です。

免責事項:

  1. この記事は[から転載されましたblockbeat],オリジナルタイトルOP Stackの進歩への道:OP SuccinctはZK Rollupのポテンシャルを引き出します。すべての著作権はオリジナルの著者[Ac-Core、YBB Capital Researcher]に帰属します。この転載に異議がある場合は、お問い合わせください。Gate学習チーム、そして彼らは迅速に対処します。

  2. 責任の免責事項:この記事で表現されている見解や意見は、著者個人のものであり、いかなる投資アドバイスも構成しません。

  3. Gate Learnチームによって、記事の翻訳が他の言語に行われます。特に言及されていない限り、Gate翻訳された記事のコピー、配布、または盗用は禁止されています。

今すぐ始める
登録して、
$100
のボーナスを獲得しよう!
It seems that you are attempting to access our services from a Restricted Location where Gate.io is unable to provide services. We apologize for any inconvenience this may cause. Currently, the Restricted Locations include but not limited to: the United States of America, Canada, Cambodia, Cuba, Iran, North Korea and so on. For more information regarding the Restricted Locations, please refer to the User Agreement. Should you have any other questions, please contact our Customer Support Team.