LumozはEigenLayerに基づくzkProverとzkVerifierを発表しました。

最近、エアドロップの論争に巻き込まれているにもかかわらず、EigenLayerは再ステーキングメカニズムによって2024年で最も注目されるスタープロジェクトとなりました。その超過収益はTVLの急上昇を助け、ユーザーは金犬Memeの渦から果敢に離れ、資金と信頼を再びイーサリアムエコシステムに戻しました。

執筆時点で、EigenLayerのETH TVLは500万ETHを突破し、トークンEigenのステーキング数量は5400万枚を超え、アクティブなAVS（アクティブバリデートサービス）とオペレーターの数はそれぞれ11と251です。現在、EigenLayerのエコシステムも爆発的な成長を迎え、Lumoz、Espresso、Near、Dodoなど20以上の業界リーダーが参加しています。

一瞬のうちに、ETHを中心にEigenLayerを利用して、ブロックチェーンのセキュリティと収益を再構築する革命が始まりました。

この記事では、Lumozを例に挙げ、EigenLayer上で行われた一連の技術探求を深く掘り下げ、イーサリアムおよびブロックチェーン業界全体の技術進歩をさらに推進します。

1.LumozがEigenLayerに基づくAVS計算層を発表

モジュール化された計算層とZK Rassのリーダーとして、Lumozは資本市場での優れたパフォーマンスだけでなく、技術分野での革新も続けています。2024年4月、LumozはまずPre-A資金調達を完了したことを発表し（現在の評価額は3億ドルに達しています）、次にOp Stack + ZK Fraud ProofをサポートするLayer 2アーキテクチャを発表し、L2アーキテクチャの新しいモデルを開きました。

今週、LumozはEigenLayerに基づくAVS計算層を正式に発表しました。これはzkProverとzkVerifierで構成され、ネットワークの計算能力とセキュリティを大幅に向上させることができます。

LumozのzkProverは、具体的なデータを漏らすことなくデータの真実性を検証するためにゼロ知識証明（ZKP）を生成することに特化しています。強力な計算リソースを通じて、zkProverは迅速に効率的なゼロ知識証明を生成し、ブロックチェーンネットワークのプライバシーとセキュリティを大幅に向上させます。zkVerifierは、これらのゼロ知識証明を検証し、その正確性と信頼性を確保します。EigenLayerの再ステーキングメカニズムと組み合わせることで、zkVerifierはイーサリアムのセキュリティを利用するだけでなく、バリデーターに追加の経済的インセンティブを提供します。この二重検証メカニズムは、ネットワーク全体のセキュリティを大幅に強化し、信頼リスクを軽減します。

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

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

2.Lumoz計算層

Lumoz計算層アーキテクチャは、高度に統合された協調システムであり、その主要なコンポーネントと機能は以下の通りです：

主に以下の部分を含みます：

1. Ethereum：EigenLayer標準を採用し、アクティブバリデートサービス（AVS）を構築。EigenLayerのステーキングトークンメカニズムを利用してAVSのセキュリティを強化
2. EVMチェーン：イーサリアム仮想マシン（EVM）をサポートする多様なブロックチェーン環境を提供し、Polygon zk EVM、Polygon CDK、ZKStack、Scrollなどを含み、広範な互換性と拡張性を確保
3. Lumoz AVSオラクル：EVM互換チェーンからデータを取得し保存する役割を担い、高可用性と完全性を確保し、計算層に堅固なデータ基盤を提供
4. Lumozチェーン：計算層全体のコア管理層として、タスクスケジューリング、報酬配分、zkProver、zkVerifierの管理を担当し、ノードの参加と退出プロセスを含む
5. zkProver：具体的な計算タスクを実行するノード
6. zkVerifier：実行結果を検証する検証ノード

これらのモジュールの緊密な協力により、Lumoz計算層は安全で効率的な計算環境を提供するだけでなく、モジュール化設計を通じて将来の拡張とアップグレードのための堅固な基盤を築いています。

3.解決できる問題は？

3.1 大規模な計算リソースの需要

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

Lumozのクラウドインフラストラクチャの能力：

1. 互換性：Lumozのクラウドインフラストラクチャは、Polygon CDK、zkSync、StarkNet、ScrollなどのさまざまなZK-Rollupソリューションと互換性があります。これにより、各プラットフォームが独自のインフラストラクチャを構築する必要なく、これらの異なるプラットフォームにサービスを提供できます。
2. ZK-PoWアルゴリズム：Lumozは、マイナーの計算リソースとクラウドインフラストラクチャを組み合わせ、ZK-PoW（Zero-Knowledge Proof of Work）アルゴリズムを通じて、マイナーが計算能力を提供してZKPの計算をサポートできるようにします。
3. パフォーマンスと効率：ZKPの並列計算をサポートすることで、計算効率が大幅に向上します。複数の計算タスクが同時に実行できるためです。また、順序提出によりトランザクションの順序処理が保証されます。
4. 再帰的集約アルゴリズム：再帰的集約アルゴリズムの最適化により、必要なZKPの数を減少させ、計算の複雑さとコストを低減します。
5. ネットワーク通信の改善：ネットワーク通信の改善により、データ転送時間が短縮され、全体的なシステム応答速度が向上します。
6. コスト効率：上記の最適化により、LumozはZKP計算のコストを削減し、ZK-Rollupsソリューションの経済的効率を向上させます。

Lumozのクラウドインフラストラクチャは、ZKP計算に強力で柔軟かつコスト効率の高いソリューションを提供し、ブロックチェーン技術の発展と応用を推進します。

3.2 zk proof Gasの削減

zkVerifierの設計戦略は、効率を向上させ、スケーラビリティを強化し、取引コストを効果的に削減することを目的としています。具体的には以下の点に表れています：

1. 多源証明の統合：zkVerifierは、異なるソースからの証明を統合し、幅広いゼロ知識証明アプリケーションシナリオをサポートします。この柔軟性は、異なるプロジェクトやアプリケーションがzkVerifierサービスを利用する可能性を提供するため、ブロックチェーンエコシステムにおける重要な利点です。
2. Gasコストの節約：精巧に設計された証明処理と検証メカニズムを通じて、zkVerifierは証明（proof）を提出する際のGasコストを大幅に削減し、ユーザーにとってよりコスト効率の高いブロックチェーンサービス体験を提供します。
3. 証明特性の適応性：zkVerifierは、異なる証明システムから生成された証明特性に対する適応性を示し、証明のサイズ、検証時間、検証ロジックを含みます。この適応性は、システムの効率的な運用を確保するための核心です。
4. カスタマイズされた発行戦略：異なる証明の特性に基づいて、zkVerifierはカスタマイズされた発行戦略を設計し、チェーン上のリソースの使用を最適化し、証明の効率的な伝達を確保します。これにより、ネットワークの混雑を減少させ、取引速度を向上させます。
5. 専用検証者の展開：zkVerifierは専用の検証者を展開しており、これは証明の有効性を確保するための重要なメカニズムです。これらの検証者は、検証された証明のみがイーサリアムに公開されることを保証し、システムのセキュリティと信頼性を維持します。
6. データ可用性層の最適化：zkVerifierのデータ可用性層は、証明の持続性とアクセス可能性を確保し、経済的効率の高いストレージ戦略を提供します。これはシステムの運用コストを削減するために重要です。
7. イーサリアムとの深い統合：zkVerifierは、検証結果をイーサリアムに公開し、イーサリアムによって検証証明が生成されます。このステップは、クロスチェーン相互運用性と信頼を確保するための重要な要素であり、zkVerifierがイーサリアムなどの主要なブロックチェーンネットワークとシームレスに協力するのに役立ちます。
8. 検証証明の権威性：イーサリアムによって生成された検証証明は、zkVerifierが提供するデータの有効性に最終的な権威確認を提供します。これは、イーサリアムネットワークがzkVerifierのデータに対する信頼を構築するために重要です。

zkVerifierのこれらの革新的な設計は、既存のブロックチェーン技術が直面している課題を解決するだけでなく、効率を向上させ、コストを削減し、相互運用性を強化する上で顕著な進展を遂げています。この設計は、ブロックチェーン技術のより広範な応用を推進し、ユーザーにとってより安全で効率的なサービス環境を提供します。

4.具体的な作業フロー

4.1 zkProver

zkProverはゼロ知識証明を生成するコアコンポーネントです。ZKPは、証明者が検証者に対して特定の主張の正しさを証明することを可能にし、追加の情報を漏らすことなく行います。zkProverには、zkRollup Prover、zkFraud Prover、zkML Proverなど、さまざまな証明者タイプが含まれており、それぞれ特定の計算タスクに最適化されています。

作業フロー：

1. タスク取得：Lumoz AVSオラクルとディスパッチモジュールがブロックチェーンからタスクを取得し、Lumozチェーンに同期します。これらのタスクは、証明が必要な主張または計算です。
2. タスク配信：タスクはディスパッチモジュールを通じて異なるProverに配分されます。ディスパッチはタスクスケジューリングセンターとして、タスクの性質と要件に基づいて、どのタイプのProverがそのタスクを処理するのに最適かを決定します。ディスパッチモジュールは、スマートアルゴリズムを通じて計算リソースを動的に調整し、タスク負荷と各Proverのパフォーマンスに基づいてリアルタイムでリソース配分を最適化し、高需要時の安定した運用を確保します。
3. 証明生成：

• zkRollup Prover：トランザクションバッチ圧縮に関連する証明を処理することに特化しており、ブロックチェーンの処理速度と拡張性を向上させます。
• zkFraud Prover：不正行為を検出し防止するための欺瞞証明を生成します。
• zkML Prover：機械学習モデルの検証に関連する複雑な証明を処理し、モデルの出力を検証しますが、モデル自体やその入力データを漏らすことはありません。
• その他のProver：特定の証明に使用される他のProver。

1. 証明提出：生成された証明はLumozチェーンに送信され、検証およびアーカイブされます。

4.2 zkVerifier

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

作業フロー：

1. 証明提出：zkProverによって生成された証明がLumozチェーンに提出され、検証タスクが開始されます。
2. 証明検証：Lumozチェーンは検証タスクを複数のzkVerifierに送信し、これらのノードは独立して分散検証を実行します。
3. 集団決定：少なくとも3分の2の検証ノードが証明の有効性を確認し、検証結果の権威性と一貫性を確保します。
4. 検証結果処理：有効な証明とその結果はLumoz AVSオラクルによってブロックチェーンのLumoz Proof Contractに返送され、Task Manager Contractを通じてタスク結果がLumozチェーンに記録され、応答されます。

5.まとめ

LumozはEigenLayerに基づくzkProverとzkVerifierを発表し、計算と検証の効率を大幅に向上させるだけでなく、EigenLayerの再ステーキングメカニズムを通じて全体のサービスプロセスのセキュリティと収益を効果的に確保しました。専門的なノード設計を通じて、Lumozはさまざまな計算タスクに対するソリューションを提供し、最適なパフォーマンスと効率を実現します。また、再ステーキングメカニズムを通じて、Lumozはステーキング者に実質的な収益を提供し、システムの経済的セキュリティをさらに強化します。

今後も、EigenLayerやLumozのようなプロジェクトが現れ、現在のブロックチェーンの課題に真正面から取り組み、実際のニーズに基づいてユーザーの痛点を解決し、より効率的で安全なソリューションを積極的に探求し、業界全体の進歩と繁栄を推進することを期待しています。