Lumoz、EigenLayer をベースにした zkProver と zkVerifier をリリース

エアドロップをめぐる最近の論争にもかかわらず、EigenLayer は再ステーキングのメカニズムのおかげで、2024 年の最も注目されるプロジェクトの 1 つとして浮上したことは間違いありません。このメカニズムは TVL の急増を促しただけでなく、ユーザーが資金と信頼をミームコインの熱狂から離れてイーサリアム エコシステムに戻すよう促しました。

公開データによると、本稿執筆時点で、EigenLayerのETH TVLは500万ETHを超え、そのトークンであるEigenのステーキング量は5,400万トークンを超えています。アクティブなAVS（ Actively Validated Services ）とオペレーターの数は、それぞれ11と251です。EigenLayerエコシステムも活況を呈しており、 Lumoz 、Espresso、Near、Dodoなど、さまざまな分野の20を超える主要プロジェクトが積極的に参加しています。

これは、EigenLayer を活用して、ETH を中心としたブロックチェーンのセキュリティと収益性を再構築することを目的とした革命の始まりを示しています。この記事では、Lumoz をケース スタディとして使用し、EigenLayer で行われた一連の技術調査を詳しく調べ、それによって Ethereum とより広範なブロックチェーン業界の技術をさらに進歩させます。

1. Lumoz が EigenLayer に基づく AVS 計算レイヤーを発表

モジュラーコンピューティングレイヤーとZKRaasプラットフォームのリーダーとして、Lumozは資本市場で非常に優れた業績を上げているだけでなく、技術分野でも継続的に革新を遂げてきました。2024年4月、Lumozは最初にPre-A資金調達ラウンドの完了を発表し（現在の評価額は最大3億ドル）、その後すぐに、Op Stack + ZK Fraud Proofレイヤー2アーキテクチャのサポートを発表し、L2アーキテクチャの新しいモデルを開拓しました。

今週、Lumoz は、計算能力とセキュリティを大幅に強化する zkProver と zkVerifier で構成される EigenLayer ベースの AVS 計算レイヤーのリリースを正式に発表しました。

Lumoz の zkProver は、ゼロ知識証明 (ZKP) の生成に重点を置いており、特定のデータ自体を明かすことなくデータの真正性を検証します。強力な計算リソースを備えた zkProver は、効率的なゼロ知識証明を迅速に生成し、ブロックチェーン ネットワークのプライバシーとセキュリティを大幅に向上させることができます。一方、zkVerifier は、これらのゼロ知識証明を検証し、その正確性と信頼性を確保する役割を担っています。EigenLayer の再ステーキング メカニズムと組み合わせることで、zkVerifier は Ethereum のセキュリティを活用するだけでなく、バリデーターに追加の経済的インセンティブを提供します。この二重の検証メカニズムにより、ネットワーク全体のセキュリティが大幅に強化され、信頼リスクが軽減されます。

注: EigenLayer の再ステーキング メカニズムは、AVS を提供し、信頼の問題と資本コストの負担に対処することで、Ethereum エコシステムのセキュリティを強化します。

Lumoz は、強力な計算リソースと EigenLayer の再ステーキング メカニズムを統合することで、効率的で安全な計算サービス エコシステムを構築しました。このイノベーションは、ブロックチェーン ネットワークの計算能力とセキュリティを向上させるだけでなく、開発者とユーザーにさらに多くのアプリケーション シナリオと価値を提供します。zkProver と zkVerifier を通じて、Lumoz はブロックチェーン分野に前例のないイノベーションと価値をもたらし、業界全体の技術進歩を推進します。

2. Lumoz 計算層

Lumoz 計算レイヤー アーキテクチャは、高度に統合された共同システムであり、主なコンポーネントと機能は次のとおりです。

主なコンポーネントは次のとおりです。

• Ethereum : EigenLayer 標準を利用して Active Verification Services (AVS) を構築します。EigenLayer のステーキング メカニズムにより、AVS のセキュリティが強化されます。

  
  

• EVM チェーン: Polygon zkEVM、Polygon CDK、ZKStack、Scroll など、Ethereum Virtual Machine (EVM) と互換性のある多様なブロックチェーン環境をサポートし、幅広い互換性とスケーラビリティを保証します。

  
  

• Lumoz AVS Oracle : EVM 互換チェーンからデータを取得して保存し、データの高可用性と整合性を確保して、計算層に強固なデータ基盤を提供します。

  
  

• Lumoz Chain : 計算層全体のコア管理層として機能し、タスクのスケジュール設定、報酬の分配、zkProver と zkVerifier の管理（ノードの参加と退出のプロセスを含むがこれらに限定されない）を担当します。

  
  

• zkProver : 特定の計算タスクを実行するノード。

  
  

• zkVerifier : 実行結果を検証する検証ノード。

  
  

これらのモジュールの緊密な連携により、Lumoz 計算レイヤーは安全で効率的な計算環境を提供するだけでなく、モジュール設計により将来の拡張やアップグレードのための強固な基盤も構築します。

3. どのような問題を解決できますか?

3.1 大規模計算パワー需要

Lumoz は、ゼロ知識証明 (ZKP) 計算のための堅牢なクラウド インフラストラクチャ サポートを提供します。このサポートは、オフチェーンでトランザクションを実行し、ZKP を使用してこれらのトランザクションの有効性を検証するブロックチェーン スケーリング ソリューションである ZK-Rollups にとって非常に重要です。証明はオンチェーンで送信され、メイン チェーンの負荷が軽減され、トランザクションのスループットが向上します。

Lumoz クラウド インフラストラクチャの機能:

• 互換性: Lumoz のクラウド インフラストラクチャは、Polygon CDK、zkSync、StarkNet、Scroll などのさまざまな ZK-Rollup ソリューションと互換性があります。つまり、各プラットフォームが独自のインフラストラクチャを確立しなくても、さまざまなプラットフォームにサービスを提供できます。

  
  

• ZK-PoW アルゴリズム: Lumoz は、ゼロ知識プルーフ オブ ワーク (ZK-PoW) アルゴリズムを通じてマイナーの計算リソースとクラウド インフラストラクチャを組み合わせ、マイナーが計算能力を提供して ZKP 計算をサポートできるようにします。

  
  

• パフォーマンスと効率: ZKP の並列計算をサポートすることで、複数のタスクを同時に実行できるため、計算効率が大幅に向上します。さらに、順次送信により、トランザクションが秩序正しく処理されます。

  
  

• 再帰集約アルゴリズム: 再帰集約アルゴリズムを最適化すると、必要な ZKP の数が減り、計算の複雑さとコストが削減されます。

  
  

• ネットワーク通信の改善: ネットワーク通信の強化により、データ転送時間が短縮され、システム全体の応答速度が向上します。

  
  

• コスト効率: 前述の最適化により、Lumoz は ZKP 計算に関連するコストを削減し、ZK-Rollup ソリューションをより経済的に効率的にすることができます。

  
  

Lumoz のクラウド インフラストラクチャは、ZKP 計算のための強力で柔軟性があり、コスト効率の高いソリューションを提供し、ブロックチェーン テクノロジーの進歩と応用に貢献します。

3.2 zk耐性ガスの削減

zkVerifier の設計戦略は、次の側面に反映されているように、効率性とスケーラビリティを高め、トランザクション コストを効果的に削減することを目的としています。

• 複数の証明ソースの統合: zkVerifier はさまざまなソースからの証明を統合し、幅広いゼロ知識証明アプリケーションをサポートします。この柔軟性は、さまざまなプロジェクトやアプリケーションが zkVerifier サービスを利用できるようにするため、ブロックチェーン エコシステムにおける重要な利点です。

  
  

• ガスコスト削減: 綿密に設計された証明処理と検証メカニズムにより、zkVerifier は証明の送信にかかるガスコストを大幅に削減し、ユーザーにコスト効率の高いブロックチェーン サービス体験を提供します。

  
  

• 証明特性への適応性: zkVerifier は、証明サイズ、検証時間、検証ロジックなど、さまざまな証明システムによって生成された証明の特性への適応性を示します。この適応性は、システムの効率的な運用を保証する上で中心的な役割を果たします。

  
  

• カスタマイズされたリリース戦略: さまざまな証明の特性に基づいて、zkVerifier は、オンチェーン リソースの使用を最適化し、効率的な証明の送信を保証するカスタマイズされたリリース戦略を設計し、ネットワークの混雑を軽減し、トランザクション速度を向上させます。

  
  

• 専用検証者の導入: zkVerifier は、証明の有効性を保証するための重要なメカニズムである専用検証者を導入します。これらの検証者は、検証された証明のみが Ethereum に公開されることを保証し、システムのセキュリティと信頼性を維持します。

  
  

• データ可用性レイヤーの最適化: zkVerifier のデータ可用性レイヤーは、証明の耐久性とアクセス可能性を保証すると同時に、システムの運用コストを削減するために重要なコスト効率の高いストレージ戦略を提供します。

  
  

• Ethereum との緊密な統合: zkVerifier は検証結果を Ethereum に公開し、Ethereum は検証証明を生成します。このステップは、チェーン間の相互運用性と信頼性を確保するために重要であり、zkVerifier と Ethereum などの主要なブロックチェーン ネットワーク間のシームレスな連携を促進します。

  
  

• 検証証明の権限: Ethereum によって生成された検証証明は、zkVerifier によって提供されるデータの有効性の最終的な正式な確認を提供します。これは、Ethereum ネットワーク内で zkVerifier データの信頼を確立するために不可欠です。

zkVerifier のこれらの革新的な設計は、既存のブロックチェーン技術が直面している課題に対処するだけでなく、効率性の向上、コストの削減、相互運用性の改善においても大きな進歩を実現します。この設計は、ブロックチェーン技術のより広範な応用を促進し、ユーザーに安全で効率的なサービス環境を提供します。

4. 詳細なワークフロー

4.1 zkProver

zkProver は、ゼロ知識証明 (ZKP) を生成するコア コンポーネントです。ZKP を使用すると、証明者は追加情報を公開することなく、特定のアサーションの正しさを検証者に証明できます。zkProver には、zkRollup Prover、zkFraud Prover、zkML Prover など、さまざまなタイプの証明者が含まれており、それぞれが特定の計算タスクに最適化されており、それぞれのドメイン内で最適なパフォーマンスとシステム効率を保証します。

ワークフロー:

1. タスクの取得: Lumoz AVS Oracle および Dispatch モジュールは、ブロックチェーンからタスクを取得し、Lumoz チェーンに同期します。これらのタスクは、証明を必要とするアサーションまたは計算で構成されます。

   
   

2. タスクの配分:タスクは、ディスパッチ モジュールを介してさまざまな証明者に配分されます。タスク スケジューリング センターとして機能するディスパッチは、各タスクの性質と要件に基づいて、どのタイプの証明者が各タスクの処理に最適であるかを決定します。ディスパッチ モジュールは、インテリジェントなアルゴリズムによって計算リソースを動的に割り当て、タスクの負荷と各証明者のパフォーマンスに基づいてリソース配分をリアルタイムで最適化し、需要の高い期間に安定したシステム動作を保証します。

   
   

3. 証明生成:

   a、zkRollup Prover:トランザクション バッチ圧縮に関連する証明の生成に重点を置き、ブロックチェーンの処理速度とスケーラビリティを向上させます。

   b、zkFraud Prover:不正行為の検出と防止に役立つ不正証明を生成します。

   c、zkML Prover:機械学習モデルの検証に関連する複雑な証明の生成に特化し、モデル自体やその入力データを公開することなく、モデル出力の有効性を保証します。

   d、その他の証明者:必要に応じて特定の種類の証明を処理します。

   
   

4. 証明の提出:生成された証明は検証とアーカイブのために Lumoz Chain に送信されます。

4.2 zk検証

zkVerifier はアーキテクチャのもう 1 つの重要なコンポーネントであり、zkProver によって生成された ZKP を検証する役割を担っています。チェーンに送信された証明の正確性と有効性を確保し、システムの信頼性とセキュリティを保護します。最適化された検証プロセスにより、zkVerifier は証明を効率的に処理し、運用コストとガス消費を削減します。

ワークフロー:

1. 証明の提出: zkProver によって生成された証明は Lumoz チェーンに送信され、検証タスクが開始されます。

   
   

2. 証明検証: Lumoz Chain は検証タスクを複数の zkVerifier に送信し、各 zkVerifier は独立して分散検証を実行します。

   
   

3. 集団決定:検証ノードの少なくとも 3 分の 2 が証明の有効性を確認し、検証結果の権威と一貫性を確保します。

   
   

4. 検証結果の処理:有効な証明とその結果が、Lumoz AVS Oracle によってブロックチェーン上の Lumoz 証明コントラクトに送り返されます。タスク マネージャー コントラクトは、Lumoz チェーン上のタスク結果を記録し、それに応答します。

   
   

5. まとめ

Lumoz は、EigenLayer をベースにした zkProver と zkVerifier のリリースを発表し、計算と検証の効率を大幅に向上させました。EigenLayer の再ステーキング メカニズムは、サービス プロセス全体のセキュリティと収益性を効果的に保証します。Lumoz は、特殊なノード設計により、さまざまな計算タスクのソリューションを提供して、最適なパフォーマンスと効率を実現します。さらに、再ステーキング メカニズムを通じて、Lumoz はステーカーに多大な利益をもたらし、システムの経済的セキュリティをさらに強化します。

今後、EigenLayer や Lumoz のようなプロジェクトがさらに登場し、現在のブロックチェーンの課題に対処し、ユーザーの悩みを真に解決し、より効率的で安全なソリューションを積極的に模索し、試みることを期待しています。これが最終的に業界全体の進歩と繁栄を推進するでしょう。