jakiro
著者：Xpara、研究者4つの柱：ビットチェーンビジョンXiaozou
1、プルーフシステムと楽観的証明する
ブロックチェーンの基礎に戻りましょう。ブロックチェーンは本質的に州のマシンであり、その状態は取引の変更により変化し、変更後に共有状態はすべての参加者によって使用されます。すべての参加者がステータスを共有することでコンセンサスに達するようにすることが重要です。コンセンサスに到達し、特定の当事者の信頼のニーズを排除するために、ブロックチェーンは地方分権化に焦点を当てています。ただし、この分散化により、スケーラビリティが制限され、より多くのトランザクションに対応することが難しくなる可能性があります。これらの問題は、ブロックチェーンの3つの難しさを構成します。
Ethereumは、最も初期のスマートコントラクトブロックチェーンの1つとして、ロールアップの作成をリードしました。ロールアップモードでは、Ethereumから分離されていますが、有効性をチェックしてマルウェアを罰するシステムがまだあります。このシステムを確立するには、2つの方法があります。最初は楽観的な方法で、次の状態は事前に構成されており、最終的にはバッファチャレンジ期間の後に決定されます。2番目の方法は、この方法でZKの有効性を証明することです。サイドチェーンは別の選択肢ですが、サイドチェーンはイーサリアムの和解に非常に依存しているため、私はそれを除外します。
単純な実装プロセスにより、楽観的な証明書（詐欺証明書またはエラー証明書とも呼ばれます）は、RollUp State Updatesを解決するための主要な実行可能な方法です。
>
1.1システムのステータスを証明します。ZKそしてop
かつて、ZK認証システムは迅速に支配的な位置を占め、楽観的な証明システムはその利点を失います。人々は通常、システムがより速い最終的な確実性を提供できることを証明しています。これらのプロジェクトには、ZKM、Risczero、Succint Labs、Fluentが含まれます。ZKロールアップには明らかな利点がありますが、費用対効果のある安全バージョンを開発するという課題は膨大です。EVMなどの仮想マシンの更新にも課題があります。これは、特性を損なうことなく新機能をマージすることが困難であるためです。
これらの課題により、ロールアップエコシステムで最も一般的なのは、ほとんどのTVL（L2の総TVLの約75％）を占める楽観的な認証システムです。この支配的な立場が将来続くかどうかは定かではありません。ただし、システムの証明を最適化するための多くの措置は大きな進歩を遂げています。
>
1.2楽観的システムの未来はどうなりますか？
多くの肯定的な研究開発が進行中です。
・コストを削減します
・分散化された並べ替え、課題、最終決定プロセス
・ソフトファイナリティとハードファイナリティ（ハードエンド）を減らす
これらの3つのフィールドは、たとえば、EIP-4844を含む最近のDencunアップグレードを示しています。
さらなる調査の前に、確立された概念と現在の状況を徹底的に理解する必要があります。まず、この分野の開発と進化を調べてから、プロジェクトの楽観的な証拠の現状を研究する必要があります。
2同様に楽観的システムの開発の歴史を証明します
楽観的なのは、システムが一晩で達成されていないことを証明しています。多くの研究者と開発者は、実際の運用でシームレスに運用できるように、ロボットプルーフシステムを構築するために懸命に取り組んできました。マイルストーンを確認しましょう。
2.1過去————トレース履歴
楽観的なロールアップは、元々、2019年の2019年のイーサリアムのレイヤー2拡張の拡張ソリューションでした。楽観的なロールアップのコアコンセプトは、イーサリアムメインネットワークから独立したL2チェーンにコンピューティングとデータストレージを転送することであり、同時にイーサリアムのセキュリティ保証を継承します。楽観的なロールアップを開発する主な動機は、イーサリアムのメインネットワークでの混雑の問題と高い取引手数料を考慮することです。DefiプロトコルとNFTの人気が高まっているため、Ethereumはユーザーエクスペリエンスと経済的効率を妨げる拡大の問題に直面しています。
楽観的なRolllpは、主にarbitrumと楽観主義の2つのチームによって実験および開発されています。これらのロールアップは、チェーンの下でトランザクションを処理してイーサリアムのスケーラビリティを提供することにより、Ethereumメインネットワークに圧縮されたトランザクションデータと出力ルーツを提供することを目的としています。ユーザーとDAPPのコストを削減したため、イーサリアムコミュニティはこれらのロールアップをすぐに採用しました。
>
楽観的なロールアップの重要な機能は、「楽観的な」方法を使用していることです。トランザクションの簡単な効果的な検査では、すべてのトランザクションがデフォルトで効果的であり、詐欺的な証明メカニズムに依存することです期間（通常は7日間）内部の挑戦的な取引の有効性。詐欺トランザクションが検出された場合、詐欺の証明は正しい方法でトランザクションを処理されます。この楽観的な方法により、楽観的なロールアップがイーサリアムメインネットワークで大幅なスケーラビリティの改善を実現することができます。
過去には多くの課題がありました。当初、楽観主義のようなプロジェクトは、それ自体で変更したEVM（OVMと呼ばれる）を使用しました。これにより、EVMとの互換性が制限されていました。これらのプロジェクトは、ロールバックとチャレンジメカニズムを解決するために、集中方法を引き続き使用します。この方法は、トランザクションが即時の終わりではないため、チャレンジウィンドウ中に詐欺を検出するため、セキュリティバランスをもたらします。
2.2現状————継続的な進歩だけでなく、課題にも直面しています
楽観的な証明システムの最新の開発により、Ethereum L2ソリューションの効率とスケーラビリティが大幅に向上しました（arbitrumや楽観主義など）。イーサリアムのデンコンアップグレードに加えて、楽観的なロールアップのその他の最適化も効率を改善するのに役立ちます。たとえば、Arbitrumは、データの整合性とセキュリティを確保するために、エラー認証システムの改善に取り組んでいます。
また、楽観主義は、スーパーチェーン戦略を通じて大きな進歩を遂げました。SuperChainは、カスタムおよびALT DAソリューション、クロスチェーンメッセージ送信、共有ソートを使用して、シームレスな相互運用性とスケーラビリティの最適化を促進します。
最近、楽観的なロールアップエコシステムの強化により、非インタラクティブな詐欺認証からインタラクティブな詐欺認定への変換が示されています。インタラクティブな証明には、間違ったトランザクションを効果的に特定して修正するためのラウンドトリップダイアログが含まれます。この変更は、チェーンの検証の計算コストと複雑さを削減することを目的としています。
3、現在のパターン
>
ロールアップの現在の状態を見て、楽観的な証明システムの下で実行されるプロジェクトのプロジェクトと開発に焦点を当てましょう。
現在、Arbitrumと楽観主義は、主に楽観的な認証システムの改善に取り組んでいます。Initia、Dymension、Rollkitなどの他のプロジェクトは、独自のロールアップエコシステムフレームワークを開発しています。
Arbitrumと楽観主義は、詐欺的な証拠の技術を改善しようとしており、他のプロジェクトも興味深い方法を達成しています。彼らの現在の活動と進歩を簡単に概説しましょう。
3.1 Arbitrum————複数のラウンド認定大胆な
3.1.1マルチラウンドプルーフ（複数の証明ラウンド）
Arbitrumの証明システムは、「マルチラウンド詐欺証明書」メソッドを使用して、トランザクションを検証します。このプロセスは主にチェーンの下で発生し、最終状態は透明性を向上させるためにイーサリアムのブロックチェーンに記録されます。
システムのコア機能は「アサーションツリー」です。ETHを使用して債券の検証を公開して、Arbitrumの声明（または「アサーション」）を作成します。これらのアサーションはチェーンを形成し、各アサーションは最後のアサーションに基づいています。ただし、矛盾したアサーションが発生すると、アサーションツリーは枝を分割し、詐欺がある可能性があることを示します。
これらの紛争の解決には、「解剖」と呼ばれるインタラクティブな証明技術が含まれます。紛争に伴う検証は、操作が1つしかなくなるまで、違いを体系的に狭めました。その後、操作はEthereum L1で実行され、その有効性が判断されます。
特定の手順は次のとおりです。
・2つの検証は、Arbitrumの状態とは異なります。
・彼らは、紛争を徐々に1つの計算ステップに削減しました。
・次に、このステップをEthereum L1で実行して、どの検証が正しいかを確認します。
Arbitrumの方法は、その効率性で知られています。紛争と検査の計算を通じて、楽観的な単一の詐欺証明書が行われるように、詐欺証明の単一ラウンドがL1で行われるため、取引全体がもたらすより高いコストプロセスを回避します。チェーン上。
3.1.2 Arbitrum Bold
>
Bold（境界流動性の遅延）は、Arbitrumチェーンの楽観的なRoolupに合わせた新しい物議を醸すソリューションであり、許可なしに検証を促進することを目的としています。このメカニズムは、スケジュールされたタイムウィンドウで紛争を確保することで解決され、それにより遅延攻撃関連のリスクが減少します。
太字にはいくつかの重要な機能があり、その機能の重要な部分です。まず第一に、それは許可なしに検証を導入し、正直な当事者が資金を検証し、拘束して正しいL2状態の主張を公開できるようにします。この機能により、正直な認証主義者は悪意のある参加者との論争に挑戦し、勝つことができます。第二に、紛争が固定された時間枠で解決されることを大胆に保証します。さらに、紛争を解決するための最も長い期間には、最大2つの課題と、安全保障理事会が介入する可能性のある2日間の幅の制限が含まれます。最後に、BoldはArbitrumをステージ2ロールアップステージにサポートし、誰でもL2ステータスを検証し、詐欺をイーサリアムに送信できるようにします。これにより、プラットフォームの分散特性とセキュリティが強化されます。
Boldは許可なしに参加を提唱し、正直な当事者が検証プロセスに参加することを奨励することが非常に重要です。この寛容は、多様な参加とセンターの故障ポイントの削減を通じて、ネットワークのより大きな弾力性を育むことを目的としています。現在、BoldはAlphaのリリース段階にあり、パブリックテストネットワークに展開されています。また、2回監査されています。
3.2楽観主義————エラー証明VM、、、、大砲
>
OPスタックのエラープルーフシステムは、ネットワーク内の悪意のあるアクティビティに挑戦し、削減することを目的としています。今後のエラーは、仮想マシンが重要な改善になることを証明しています。システムは、3つの主要な部分で構成されています。エラーが証明（FPP）、エラーは仮想マシン（FPVM）、および物議を醸すゲームプロトコルを証明します。FPPはロールアップステータス変換をチェックしてL2出力（L1入力）を検証し、L1出力の論争を整理します。このモジュラーアーキテクチャにより、複数の証明システムと独自の論争のあるゲームの独立した開発と展開が可能になり、システムの柔軟性とセキュリティが大幅に向上します。
FPVMは、このアーキテクチャの最小ユニットであり、FPPからの分離により、トランザクションを証明するために使用される命令サイクルを実行でき、Ethereum Protocolの更新の影響を受けません。物議を醸すゲームプロトコルは、同等の状態変換を通じてチャレンジメカニズムを調整して、紛争を単一の命令検証に減らし、L1 EVMの効果的な証明を可能にします。このシステムは、ZK認証や集約プルーフシステムなど、将来のマルチプルーフを促進します。
3.3 initia– エンシングされたOPスタック、、、、意見
>
InitiaはCOMSOS L1ブロックチェーンであり、統一された絡み合ったロールアップエコシステムを構築しています。Initiaは、Ethereumのロールアップエコシステムに非常に似ていますが、下から上部までロールアップするために設計されています。Initia L1の認証は、ロールアップ時にソーターを実行し、楽観的な証明に基づく和解はL1ブロックチェーンに組み込まれています。これらのロールアップは、意見のスタック、WASMVM、およびMOVEVMによってどのように構築されているかを見てみましょう。
Opinit Stackは、Initia L1ブロックチェーンに基づいてMinitia L2を開始することを目的としたフレームワークです。Opinit Stackは、CosmossDKによって特別に構築されています。Initia L1ガバナンスモデルを使用することにより、信頼できる取引の検証と紛争解決を確保するために、詐欺で紛争を効果的に処理します。Bedrolのチャレンジシステムと同様に、許可された挑戦者は不十分な出力を削除できます。さらに、L1の提案を通じて、出力提出者を変更できます。
意見スタックの本質的に2つの主要なモード – ophostとopchild：
OPHOSTモジュールは、COSMOS SDK関数を使用して、InitiaエコシステムでのL1操作用に設計されています。これには、さまざまなメッセージタイプとRPCハンドラーメソッドが含まれており、バッチ提出、ブリッジ作成、出力データ提案、出力削除などのコアアクティビティを促進します。
・OpChildモジュールはL2操作に焦点を当てており、トークンの転送とコストプール管理をサポートするメカニズムを提供します。また、特定のメッセージタイプとRPCハンドラーも含まれています。これは、メッセージの実行、トークンストレージの決定に使用され、L2からL1へのトークンを開始して、INITIAアーキテクチャでL2機能が改善されるようにします。
3.4 Taiko————マルチラウンドシステム
>
Taikoは、マルチ認定システムを使用したデフォルトの楽観的なロールアップです。このシステムは、楽観的な方法とZK認証の使用を組み合わせています。
このプロセスは、提案者から始まります。これらの提案されたブロックは、有効性の証明なしにL1契約に追加されます。その後、Proverは、債券を提供することにより、提案されたブロックの有効性に挑戦する機会があります。チャレンジ期間中にブロックが挑戦されない場合、それは有効と見なされ、最終的にL1で決定され、Prooferの結合に戻ります。ブロックに挑戦された場合、ZKはブロックの有効性を確認する必要があります。正しいプロバーは、最初のプロバーであろうとチャレンジャーであろうと、債券を取り戻すことに加えて報酬を得ることができます。同時に、相手の間違った側は罰せられ、それらの一部は火傷によって燃やされます。
興味深いことに、TaikoはZKを証明するために約1％のブロックを持っていると推定されているため、計算のオーバーヘッドを削減し、有効な保証を提供します。弾力性を高めるために、TaikoはPlonk、Halo2、SGXなどの複数の証明をサポートして、潜在的なバグや脆弱性を防ぎます。この方法により、DAPPは独自の信頼の仮定とセキュリティレベルを設定し、ブロックチェーンのスケーラビリティとセキュリティに対するTaikoの貢献を示します。
3.5他の– ディメンションそしてRollkit
3.5.1断層
亀裂は、ブロックチェーンの状態変換の完全性を確保することを目的とした、ディメンションエコシステムの不可欠な部分であることが証明されています。RollappのRollup Sorter（Dymension L1のRollupが状態ルートを公開すると、すべてのRollappノードがこれらの変換を監視します。無効な状態変換が検出された場合、これらのノードは、詐欺状態変換リストを生成して唯一の詐欺証明取引を生成できるまでブロック内のブロックを収集することにより生成されます。
このコレクショントランザクションには、ブロックの高さ、トランザクションインデックス、BLOB共有、証明とステータスの証言を含むBLOBなどの詳細が含まれており、検証のためにDymensionに送信されます。提出すると、Dymensionのフルノードはデータを検証し、ステータス変換を再計算します。計算された変換によって生成された一時的な状態ルート（ISR）が公開のステータスと異なる場合、詐欺はそれが検証されていることを証明し、紛争状態のロールバックと責任あるソーターのペナルティをもたらします。
現在のDymensionメインネットワークは、約120,000ブロックまでセットされています。現在1つのブロックの出力が生成されているため、最終決定は約8日です。
3.5.2 Rollkit
>
Rollkitのステータス詐欺は、詐欺取引を特定することにより、ブロックチェーンネットワークへの信頼を削減するのに役立つことを証明しています。それらは、ノード全体とソーターの状態と一致しないために使用されます。ノード全体では、検証のためにネットワーク全体で共有された証明を作成します。一致していないことが確認されている場合は、セキュリティを強化し、監督を解散するために修正措置を講じる必要があります。
4将来の開発：問題と解決策
多くの人々はかつて、楽観的なロールアップはZKロールアップほど良くないと思っていました。ZKロールアップがますます生産になり、そのセキュリティの相互運用性と最終決定やその他の利点は、人々が疑わしいだけでなく、システムが急激に低下するかどうかを証明していることを証明しています。楽観的な証明システムの主な問題には多くの前向きな進歩があったため、そうは思いません。
それでは、これらの主な問題が何であり、どのような潜在的な解決策を見てみましょう。
・操作センター
・高い操作コスト
・ゆっくりと最終決定
4.1地方分権————ライセンス確認なし
>
楽観的なロールアッププロジェクトでは、ソルターの集中化が重要な問題です。これは、集中制御ポイントと分散型システムの信頼ポイントを含むためです。楽観的なロールアップでは、ソーターはトランザクションの並べ替え、チェーンの下のトランザクションの集約、およびそれらをイーサリアムに提出する責任があります。この中心的な役割は、ソルターにかなりの力と制御を与え、いくつかの集中リスクをもたらす可能性があります。
今日のほとんどのロールアップは、集中型のソーターを使用しています。この場合、ソーターは通常、単一のエンティティまたは組織によって実行され、いくつかの潜在的な問題につながる可能性があります。Op-MainnetやArbitrumを含むほとんどの現在のロールアップは、完全に分散化されていません。これらは、取引パッケージの提出と詐欺チャレンジシステムへの参加における特定の中央エンティティに依存しています。ただし、Arbitrumには、Sorterがオフまたは悪意のある動作を行う場合、ユーザーはバイパスできます。
最近のブラストロールバック事件は良い例であり、集中化の利点と短所を示すことができます。このインシデントは、集中化されたL2ソリューションには十分なユーザーエキット戦略がないことを強調していますが、これは非常に危険です。Blastがシャットダウンし、ハッキング攻撃に関連するトランザクションが削除されたときにはっきりと見ることができます。中央エンティティの操作ロールアップは、この場合、6250万ドルを見つけるのに役立ちます。
4.1.2ソリューション1：ライセンス検証は必要ありません
Arbitrumと楽観主義は、ライセンスされた検証なしで、ロールアップの次のステップを検討している、楽観的なロールアップフレームワークビルダーです。彼らはすべて今年更新をリリースする準備をしているので、検証プロセスを許可する必要はありません。
・Arbitrum：Arbitrumは、Bold（境界流動性遅延）という名前の新しい検証プロトコルを介してライセンスを必要としない検証を達成することに取り組んでいます。この契約により、正直な当事者は、正しいL2州の主張を公開して、資金を拘束することにより検証プロセスに参加することができます。これにより、中央エンティティ管理認証のニーズが排除され、検証ではなく州の正確性に基づいて紛争が解決される可能性があります。
・楽観主義：楽観主義は、分散型エラー検証システムに変換することにより、ライセンス検証を実装しないことを目的としています。当初、楽観主義は楽観主義セキュリティ委員会と楽観財団に依存していた。さらに分散化するために、楽観主義はCannonを導入しました。これは、現在、テストのためにOP Sepoliaに展開されています。キャノンを使用することにより、楽観主義は、取引検証と紛争解決に参加できるシステムに明確にライセンスされる必要があるシステムから移行しようとしています。このシステムにより、誰もが債券がサポートする引き出し声明を提出することにより、検証プロセスに参加できます。
4.1.3ソリューション2：ソーターの歯科化
ソーターの集中特性（建物と提案されたブロックを担当）は、集中化に注目を集めています。これらの課題に対処するために、ロールアップは、単一のソーターモデルから複数の独立したエンティティ間の責任を検証および提案するためにブロックを割り当てるために、単一のソーターモデルからマルチローオンの設定に移行することを目的としています。ソルターの地方分権化を実現できるいくつかの方法を以下に示します。
・ソルターの共有：エスプレッソやラジウスなどの第3パーティサービスへのアウトソーシング。
・分散ソーターテクノロジー（DST）：マシングループ分布ソートタスクを使用して、非常に誤ったものを提供します。これは、POS検証用に構築されたDVTソリューション（OBOLネットワークなど）と同様と見なすことができます。
ロールアップは、最大分散特性、柔軟性、地理的分布など、特定のケースに応じて異なる優先順位を考慮することができます。たとえば、楽観主義のようなユニバーサルロールアップは、より分散化された方法を採用する可能性がありますが、特別なソルターセット（DSTなど）を使用し、特定のアプリケーションロールアップ（ゲームロールアップなど）は集中モードになる傾向がありますが、共有ソーターを使用して共有の使用を使用する場合があります。ソルターは、信頼性を確保し、停止時間を短縮します。この領域はまだ開発の初期段階にあります。
>
4.2低コスト————データの可用性とインタラクティブプルーフシステム
楽観的なロールアップでは、チャレンジプロセスの状態を再構築するためにストレージトランザクションが必要です。これにより、高いデータストレージコストが発生する可能性があり、これは楽観的なロールアップのほとんどの運用コストを構成します。ただし、より多くの圧縮技術の適用やAlt DAの使用など、この問題を積極的に研究しています（データの使いやすさ）。さらに、課題の計算が大幅に削減されるため、インタラクティブプルーフシステムは課題のコストを削減するのに役立ちます。
4.2.1ソリューション1：低コストDA
楽観的なロールアップは、イーサリアムブロブとその他のデータユーザビリティ（DA）ソリューション（Celestiaなど）を使用して、トランザクションパッケージデータのリリースに関連する高いコストの問題を解決することです。
Ethereumの場合、楽観的なロールアップは以前に公開されたトランザクションデータをメインネットワークへのCallDataとして公開していましたが、これは莫大なコストです。ただし、Dencunのアップグレードにより、Blobsと呼ばれる新しいデータストレージ形式を使用して、総コストを90％以上削減します。
>
Ethereum独自の進歩を使用することに加えて、楽観的なロールアップは、他のデータユーザビリティの決定（AvayやCelestiaなど）とも統合されています。トランザクションパッケージのデータをCelestiaにアンインストールすることにより、楽観的なロールアップは、イーサリアムへのより高いストレージを支出することへの依存を減らし、それによりデータリリースに関連するコストをさらに削減することができます。この統合により、ロールアップはコスト制御可能なコストを維持しながら、高いレベルのスループットとトランザクション速度を維持できます。
楽観的な証明システムを使用してRollupの発売により、Alt DAフィールドはますます注目を集めています。リリースの準備が増えているため、Alt DAフィールドも大幅に強化されます。現在、DAは、運用コストのボトルネックを構成するものでも、ボトルネックを拡大しないことでもありません。
4.2.2ソリューション2：インタラクティブプルーフシステム
楽観的なロールアップでは、トランザクションが不正であると疑われる場合、ネットワーク上の挑戦者は出力ルートの有効性に挑戦することができます。チャレンジ期間中、取引の正確性を証明するために、不正な証拠を提供する必要があります。トランザクションが詐欺であることが証明されている場合、証明はチェーンで検証され、これによりトランザクションが無効になります。この方法により、議論の余地のあるトランザクションのみをチェーン上で検証する必要があるため、ほとんどのトランザクションはチェーンの下に保持されます。
インタラクティブプルーフシステムは、トランザクションが詐欺取引であると疑われる際に、参加者に詐欺認証を生成および提出するよう招待します。Rollupのスマートコントラクトを管理して、ソーターが提出したステータスルートに基づいてこれらの証明を評価します。偏差が見つかった場合は、誤った状態を破棄し、システムを以前の有効な状態に復元します。この方法は、イーサリアムネットワークに不必要な計算負担をもたらさずに効果的な検証を保証します。現在、この計算はチェーンで実行されており、非常に高価な場合があります。Arbitrumの場合、チャレンジに必要な計算はチェーンの下で完了し、最終結果はチェーンでリリースされます。しかし、現在の楽観的なロールアップにはほとんど課題がないため、コストは最小限になる可能性があります。
4.3ゆっくりと最終的な確実性————迅速な実行と混合認証システム
楽観的なローローには、最終決定論の2種類の最終的な決定論があります – ソフトの確認と急速な確実性。ソフト確認とは、ソーターの実行状態の初期状態を指し、同時に、バッチトランザクションがイーサリアムで発行されます。現時点では、トランザクションは「ソフトかつ特定」と見なされ、ロールアップ中のユーザーとアプリケーションは自信を持ってこのトランザクションに依存できます。ただし、チャレンジの期間（通常は約7日）があり、この期間中、誰でも「詐欺証明書」を提出して、トランザクションのバッチの有効性に疑問を投げかけることができます。チャレンジ期間中に詐欺証明書が提出されない場合、トランザクションパッケージは困難な確実性を達成し、ロールバックまたは挑戦することはできません。一般的に、ネイティブブリッジは資産を譲渡するために厳格である必要があります。
ブリッジまたはマルチチェーンダップを構築する場合、速度のゆっくりとソフトな確認が問題を引き起こす可能性があります。この問題は、より速い実行と混合認証システムを通じて解決することです。
4.3.1ソリューション1：より速い実行を実行します
ソフト決定の観点から、このプロセスには実行ステータスの変換が含まれ、トランザクションパッケージをイーサリアムに保存します。EVM仕様は並列実行とデータベースの最適化をサポートしていないため、実行プロセスは制限されています。ただし、MegaethやHeikoのようなプロジェクトは、並列実行環境を構築し、楽観的な認証システムを使用しています。
さらに、ロールアップは、より短いブロックを介してより速く取引パッケージを保存しようとしています。Arbitrumの場合、250ミリ秒ごとにブロックを生成するか、構成可能な軌道チェーンで100ミリ秒あたりブロックを生成できます。さらに、Arbitrumの設計は、この一意のソートモデルではなく、一意の「ソート」モデルを使用します。同時に、悪いMEVを削除することもできます。
4.3.2ソリューション2：混合証明システム
ハイブリッド認証システム、特にZK認証と楽観的なロールアップを組み合わせたハイブリッド認証システムは、検証する結論に必要な時間を短縮することにより、ブロックチェーントランザクションの最終的な確実性を大幅に改善します。楽観的なロールアップ（楽観的にOPスタックで使用されるものなど）は、本質的にそのような仮説に依存しています。それが挑戦されない限り、取引は効果的です。これにより、紛争またはチャレンジウィンドウが不可欠になり、潜在的な無効なトランザクションに対処できます。ただし、チャレンジ期間は信頼できる検証を確保し、潜在的な課題をサポートするのに十分な長さでなければならないため、このチャレンジ期間はトランザクション決定の遅延につながります。
Zethは、RISC Zero ZKVMに基づいて構築されたZKブロックの証拠です。これにより、楽観的なロールアップに必要な長期的な紛争ウィンドウへの依存が減少し、最終決定時間が大幅に短縮されました。
Zethなどのツールは、トランザクションのソートとデータの可用性メカニズムが信頼できることを保証し、L2ソリューション（楽観など）の効率は、チャレンジ期間を数日から数時間または数分に短縮することで改善されます。ZKMのようなプロジェクトは、Metisの混合証明システムも開発しました。
>
5、未来を楽しみにしています————楽観的なロールアップ交換されますか？
私の意見では、楽観的なロールアップはすぐに交換されません。多くの改善が進行中であり、他の生態系には簡単に採用される可能性があります。今後の記事では、「ZK認証システムのステータス」を詳細に研究し、最近の開発と今後のバージョンについて説明し、楽観的なロールアップと比較します。ただし、Arbitrum OrbitやOp-Stackなどのフレームワークの使用が加速しています。
ロールアップの分野で私が見た問題の1つは、拡張の問題です。SEI、SUI、SolanaなどのL1プロジェクトは、ブロックチェーンを一般に使用しやすくすることを目的とした、信頼できる並列トランザクションの実行とデータベースの最適化を実現するためのインフラストラクチャを開発しています。現在のロールアップは、SUIほどトランザクションの量を処理できず、最終的な確実性を高速に達成できない場合があります。ただし、Fuel Network、Megaeth、Heikoなどのプロジェクトが並行実装を可能にするため、ロールアップフィールドのパフォーマンスの改善がすぐに期待できます。
