Lagrangeプロトコル：ZKを通じて信頼不要のクロスチェーン相互運用性を実現
Lagrangeプロトコルは、主要なブロックチェーンを統合することでクロスチェーンの状態検証を促進します。著者：Maven 11
編纂：深潮 TechFlow
クロスチェーン相互運用性とセキュリティは、現在のブロックチェーン技術の課題となっており、ZKスタートアップのLagrange Labsがその解決策を提供しています。Maven11は投資機関として、Lagrangeの重要性について述べています。本記事では、Lagrangeプロトコルの核心概念、検証プロセス、およびゼロ知識証明技術を利用して信頼なしにクロスチェーン操作を実現する方法について詳しく説明します。
クロスチェーン状態証明は、マルチチェーンの世界におけるアプリケーションにとって重要です。これにより、アプリケーションは信頼できないユーザーが検証可能なチェーン状態の声明を提出できるようになります。ユースケースには、マルチチェーンDEXの価格設定、収益アグリゲーター、貸出価格設定などが含まれます。
簡単に言えば、状態（ストレージ）証明は、任意のチェーン上に特定のチェーン状態が存在することを証明する（ゼロ知識）証明です。ゼロ知識証明（ZKP）の魔法を通じて、私たちは効率的かつ信頼なしにこれを実現でき、オラクルネットワークを信頼する必要はありません。
従来のメッセージングプロトコルはノードに情報を伝達させることに依存していますが、Lagrangeは異なるアプローチを採用しています。これは、誰でも暗号化された検証情報を提出できるようにし、IBCが軽量クライアントに依存してクロスチェーン検証を行うのに似ています。
Lagrangeでは、任意のクロスチェーン転送層または信頼できないユーザーが、チェーン上で検証された非対話型証明を提出できます。これらの証明は、検証者の集合や署名に依存せず、データを直接チェーン上で取得し、チェーン間で効率的に集約することを保証します。
Lagrange状態証明の検証には、いくつかのステップが含まれます：
状態ルート検証：Lagrange状態委員会によって生成された簡潔なゼロ知識証明を検証し、特定の状態ルート（ブロックヘッダー）の真実性を示します。
バッチストレージ証明：特定のチェーンの状態ルートに存在するかどうかを検証する一連の声明の状態。
ゼロ知識分散計算：チェーン上の状態で実行される任意の分散計算を検証します。
Lagrange状態証明はモジュール式であるため、プロトコルは状態、ストレージ、または計算の部分証明を選択して、アプリケーションに応じて証明システムをカスタマイズできます。既存のクロスチェーンアプリケーションは、クロスチェーンツールのセキュリティや表現力を簡単に向上させることができます。
Lagrangeゼロ知識ビッグデータフレームワークは、Verkleツリーに似た動的データ構造を利用しており、アプリケーションが効率的なストレージを含む証明と任意の分散計算（MapReduceや分散SQLなど）を組み合わせることを可能にします。
LagrangeJS SDKを使用すると、開発者は簡単に任意のチェーンの状態証明を要求し、ストレージ状態のサブセット上で実行される任意の計算を指定できます。これにより、開発者はユーザーフレンドリーなインターフェースで安全なクロスチェーン状態とストレージ証明を利用できるようになります。
Lagrange SDKは、複数のチェーンにわたる状態証明を同時に生成するプロセスも簡素化します。これらの証明により、Lagrangeプロトコルと統合されたDAppは、複数の状態検証を単一のチェーン上のトランザクションに統合できます。
Lagrangeプロトコルは、主要なブロックチェーンを統合することでクロスチェーン状態検証を促進します。最初は、すべてのEVM L1、L2、およびロールアップと互換性があります。将来的には、Solana、Sui、Aptos、およびCosmos SDKベースのチェーンなどの非EVMチェーンをサポートする計画です。
さらに、Lagrangeは、経済債券声明を利用して既存のクロスチェーンブリッジおよびメッセージングプロトコルのセキュリティを改善し、Optimistic Rollupに強力な経済的単一スロット保証を提供することに取り組んでいます。これにより、イーサリアム上の孤立したロールアップ間の相互運用性が大幅に向上します。
その仕組みは本質的に、Optimistic RollupのためにZK軽量クライアント証明を生成することであり、現在イーサリアム上で実装されている「軽量クライアント」とは異なります------すなわち、イーサリアム同期委員会です。
現在のイーサリアム同期委員会には、512人のランダムに選ばれた検証者しかおらず、彼らは軽量クライアント機能を提供するために毎日より高い報酬を得ています。
Lagrangeクロスチェーン状態委員会のセキュリティは、経済債券を持つ成長し続ける動的サイズのノードに由来しています。これらのノードは、EigenLayerで再ステーキングするか、流動的なステーキング派生品でステーキングします。
ノードは、彼らが証明したチェーン上で最終結果に達した新しいブロックごとに署名を実行する必要があります。イーサリアムの軽量クライアント同期委員会の512ノードの上限とは対照的に、クロスチェーン状態委員会は無制限のノードをサポートします。したがって、各証明の背後にある担保は、必要に応じて動的に拡張でき、各特定のチェーンまたはロールアップに対して安全な証明を作成します。
状態証明は、共有ソーターなどのプロトコルにおいて重要なユースケースを持ち、ロールアップ間の通信を改善し、SUAVEなどの実装におけるオラクル問題を解決するのに役立ちます。
