Lumoz lance zkProver et zkVerifier basés sur EigenLayer

Malgré les récentes controverses autour de son airdrop, il ne fait aucun doute qu'EigenLayer est devenu l'un des projets les plus marquants de 2024, grâce à son mécanisme de re-staking. Ce mécanisme a non seulement entraîné une augmentation du TVL, mais a également incité les utilisateurs à transférer leurs fonds et leur confiance vers l'écosystème Ethereum, loin de la frénésie des pièces mèmes.

Selon les données publiques, au moment de la rédaction de cet article, l'ETH TVL d'EigenLayer a dépassé les 5 millions d' ETH et le montant de la mise de son jeton, Eigen, a dépassé les 54 millions de jetons. Le nombre d'AVS ( Actively Validated Services ) et d'opérateurs actifs s'élève respectivement à 11 et 251. L'écosystème EigenLayer est également en plein essor, avec la participation active de plus de 20 projets de premier plan dans divers secteurs, dont Lumoz , Espresso, Near et Dodo.

Cela marque le début d’une révolution visant à remodeler la sécurité et la rentabilité de la blockchain autour de l’ETH, en tirant parti d’EigenLayer. Cet article utilisera Lumoz comme étude de cas pour approfondir la série d'explorations techniques menées sur EigenLayer, faisant ainsi progresser davantage la technologie d'Ethereum et l'industrie plus large de la blockchain.

1. Lumoz lance une couche de calcul AVS basée sur EigenLayer

En tant que leader des couches informatiques modulaires et de la plateforme ZKRaas, Lumoz a non seulement obtenu des performances exceptionnelles sur les marchés des capitaux, mais a également innové en permanence dans le domaine technique. En avril 2024, Lumoz a annoncé pour la première fois l'achèvement de son cycle de financement pré-A (avec une valorisation actuelle pouvant atteindre 300 millions de dollars), et peu de temps après, il a annoncé la prise en charge de l'architecture Op Stack + ZK Fraud Proof Layer 2, pionnier d'un nouveau modèle. pour l'architecture L2.

Cette semaine, Lumoz a officiellement annoncé le lancement d'une couche de calcul AVS basée sur EigenLayer, composée de zkProver et zkVerifier, qui améliore considérablement la puissance de calcul et la sécurité.

Le zkProver de Lumoz se concentre sur la génération de preuves à connaissance nulle (ZKP), vérifiant l'authenticité des données sans révéler les données spécifiques elles-mêmes. Grâce à de puissantes ressources informatiques, zkProver peut générer rapidement des preuves efficaces de zéro connaissance, améliorant considérablement la confidentialité et la sécurité des réseaux blockchain. zkVerifier, quant à lui, est chargé de vérifier ces preuves à connaissance nulle, garantissant leur exactitude et leur fiabilité. Combiné avec le mécanisme de re-staking d'EigenLayer, zkVerifier exploite non seulement la sécurité d'Ethereum, mais offre également des incitations économiques supplémentaires aux validateurs. Ce double mécanisme de vérification améliore considérablement la sécurité globale du réseau et réduit les risques de confiance.

Remarque : le mécanisme de re-staking d'EigenLayer améliore la sécurité de l'écosystème Ethereum en fournissant un AVS, en résolvant les problèmes de confiance et le fardeau des coûts en capital.

En intégrant de puissantes ressources informatiques au mécanisme Re-staking d'EigenLayer, Lumoz a créé un écosystème de services informatiques efficace et sécurisé. Cette innovation améliore non seulement la puissance de calcul et la sécurité des réseaux blockchain, mais offre également aux développeurs et aux utilisateurs davantage de scénarios d'application et de valeur. Grâce à zkProver et zkVerifier, Lumoz apporte une innovation et une valeur sans précédent au domaine de la blockchain, favorisant le progrès technologique dans l'ensemble du secteur.

2. Couche de calcul Lumoz

L'architecture Lumoz Computation Layer est un système hautement intégré et collaboratif, avec ses principaux composants et fonctionnalités comme suit :

Les principaux composants comprennent :

• Ethereum : utilise la norme EigenLayer pour créer des services de vérification active (AVS). Le mécanisme de jalonnement d'EigenLayer améliore la sécurité d'AVS.

  
  

• Chaîne EVM : prend en charge un environnement blockchain diversifié compatible avec la machine virtuelle Ethereum (EVM), y compris, mais sans s'y limiter, Polygon zkEVM, Polygon CDK, ZKStack et Scroll, garantissant une compatibilité et une évolutivité étendues.

  
  

• Lumoz AVS Oracle : Responsable de l'acquisition et du stockage des données à partir de chaînes compatibles EVM, garantissant la haute disponibilité et l'intégrité des données, fournissant ainsi une base de données solide pour la couche de calcul.

  
  

• Lumoz Chain : agit comme la couche de gestion principale de l'ensemble de la couche de calcul, responsable de la planification des tâches, de la distribution des récompenses et de la gestion de zkProver et zkVerifier, y compris, mais sans s'y limiter, les processus d'adhésion et de sortie des nœuds.

  
  

• zkProver : nœuds qui exécutent des tâches de calcul spécifiques.

  
  

• zkVerifier : nœuds de vérification qui valident les résultats de l'exécution.

  
  

Grâce à l'étroite collaboration de ces modules, la couche de calcul Lumoz fournit non seulement un environnement informatique sécurisé et efficace, mais également, grâce à sa conception modulaire, établit une base solide pour de futures expansions et mises à niveau.

3. Quels problèmes peut-il résoudre ?

3.1 Demande de puissance de calcul à grande échelle

Lumoz fournit une prise en charge robuste de l'infrastructure cloud pour les calculs à preuve de connaissance nulle (ZKP). Cette prise en charge est cruciale pour ZK-Rollups, une solution de mise à l'échelle blockchain qui exécute des transactions hors chaîne et utilise des ZKP pour vérifier la validité de ces transactions. Les preuves sont ensuite soumises en chaîne, réduisant ainsi la charge sur la chaîne principale et augmentant le débit des transactions.

Capacités de l'infrastructure cloud de Lumoz :

• Compatibilité : L'infrastructure cloud de Lumoz est compatible avec diverses solutions ZK-Rollup telles que Polygon CDK, zkSync, StarkNet et Scroll. Cela signifie qu’il peut desservir ces différentes plateformes sans que chaque plateforme ait besoin d’établir sa propre infrastructure.

  
  

• Algorithme ZK-PoW : Lumoz combine les ressources informatiques des mineurs avec l'infrastructure cloud via l'algorithme Zero-Knowledge Proof of Work (ZK-PoW), permettant aux mineurs d'apporter leur puissance de calcul pour prendre en charge les calculs ZKP.

  
  

• Performances et efficacité : en prenant en charge le calcul parallèle pour les ZKP, l'efficacité du calcul est considérablement améliorée car plusieurs tâches peuvent être exécutées simultanément. De plus, la soumission séquentielle garantit un traitement ordonné des transactions.

  
  

• Algorithme d'agrégation récursive : l'optimisation de l'algorithme d'agrégation récursive réduit le nombre de ZKP requis, réduisant ainsi la complexité et les coûts de calcul.

  
  

• Améliorations de la communication réseau : les améliorations apportées à la communication réseau réduisent le temps de transmission des données, améliorant ainsi la vitesse de réponse globale du système.

  
  

• Rentabilité : grâce aux optimisations susmentionnées, Lumoz peut réduire les coûts associés aux calculs ZKP, rendant les solutions ZK-Rollup plus efficaces économiquement.

  
  

L'infrastructure cloud de Lumoz fournit une solution puissante, flexible et rentable pour les calculs ZKP, contribuant ainsi à l'avancement et à l'application de la technologie blockchain.

3.2 Réduction du gaz zk proof

La stratégie de conception de zkVerifier vise à améliorer l'efficacité, l'évolutivité et à réduire efficacement les coûts de transaction, comme en témoignent les aspects suivants :

• Intégration de plusieurs sources de preuves : zkVerifier peut intégrer des preuves provenant de différentes sources, prenant en charge une large gamme d'applications de preuves sans connaissance. Cette flexibilité constitue un avantage clé dans l'écosystème blockchain, car elle permet à divers projets et applications d'utiliser les services zkVerifier.

  
  

• Économies de coûts de gaz : grâce à des mécanismes de traitement et de vérification des preuves méticuleusement conçus, zkVerifier réduit considérablement le coût de gaz lié à la soumission des preuves, offrant aux utilisateurs une expérience de service blockchain plus rentable.

  
  

• Adaptabilité aux caractéristiques de la preuve : zkVerifier démontre l'adaptabilité aux caractéristiques des preuves générées par différents systèmes de preuve, y compris la taille de la preuve, le temps de vérification et la logique de vérification. Cette adaptabilité est essentielle pour garantir le fonctionnement efficace du système.

  
  

• Stratégies de publication personnalisées : sur la base des caractéristiques des différentes preuves, zkVerifier a conçu des stratégies de publication personnalisées qui optimisent l'utilisation des ressources en chaîne et garantissent une transmission efficace des preuves, contribuant ainsi à réduire la congestion du réseau et à améliorer la vitesse des transactions.

  
  

• Déploiement de vérificateurs dédiés : zkVerifier déploie des vérificateurs dédiés, qui sont des mécanismes clés pour garantir la validité de la preuve. Ces vérificateurs garantissent que seules les preuves vérifiées peuvent être publiées sur Ethereum, préservant ainsi la sécurité et la fiabilité du système.

  
  

• Optimisation de la couche de disponibilité des données : la couche de disponibilité des données de zkVerifier garantit la durabilité et l'accessibilité des preuves tout en fournissant une stratégie de stockage rentable, ce qui est crucial pour réduire les coûts opérationnels du système.

  
  

• Intégration profonde avec Ethereum : zkVerifier publie les résultats de vérification sur Ethereum, où Ethereum génère des preuves de vérification. Cette étape est cruciale pour garantir l’interopérabilité et la confiance entre les chaînes, facilitant ainsi une collaboration transparente entre zkVerifier et les principaux réseaux de blockchain comme Ethereum.

  
  

• Autorité des preuves de vérification : les preuves de vérification générées par Ethereum fournissent la confirmation finale faisant autorité de la validité des données fournies par zkVerifier. Ceci est essentiel pour établir la confiance dans les données zkVerifier au sein du réseau Ethereum.

Ces conceptions innovantes de zkVerifier répondent non seulement aux défis rencontrés par la technologie blockchain existante, mais réalisent également des progrès significatifs en termes d'amélioration de l'efficacité, de réduction des coûts et d'amélioration de l'interopérabilité. Cette conception contribue à promouvoir une application plus large de la technologie blockchain et offre aux utilisateurs un environnement de service plus sécurisé et plus efficace.

4. Flux de travail détaillé

4.1 zkProver

zkProver est le composant principal chargé de générer des preuves sans connaissance (ZKP). Les ZKP permettent au prouveur de démontrer l'exactitude d'une certaine assertion au vérificateur sans révéler aucune information supplémentaire. zkProver comprend différents types de prouveurs tels que zkRollup Prover, zkFraud Prover et zkML Prover, chacun optimisé pour des tâches de calcul spécifiques afin de garantir des performances et une efficacité système optimales dans leurs domaines respectifs.

Flux de travail :

1. Acquisition de tâches : Le module Lumoz AVS Oracle et Dispatch récupère les tâches de la blockchain et les synchronise avec la chaîne Lumoz. Ces tâches consistent en des assertions ou des calculs qui nécessitent une preuve.

   
   

2. Distribution des tâches : les tâches sont distribuées aux différents prouveurs via le module Dispatch. Agissant en tant que centre de planification des tâches, Dispatch détermine quel type de Prover est le mieux adapté pour gérer chaque tâche en fonction de sa nature et de ses exigences. Le module Dispatch alloue dynamiquement les ressources de calcul grâce à des algorithmes intelligents, optimisant la distribution des ressources en temps réel en fonction de la charge de tâche et des performances de chaque prouveur, garantissant ainsi un fonctionnement stable du système pendant les périodes de forte demande.

   
   

3. Génération de preuves :

   a, zkRollup Prover : se concentre sur la génération de preuves liées à la compression des lots de transactions, améliorant ainsi la vitesse de traitement et l'évolutivité de la blockchain.

   b, zkFraud Prover : génère des preuves de fraude qui aident à détecter et à prévenir les comportements inappropriés.

   c, zkML Prover : se spécialise dans la génération de preuves complexes liées à la vérification des modèles d'apprentissage automatique, garantissant la validité des sorties du modèle sans révéler le modèle lui-même ou ses données d'entrée.

   d, Autres prouveurs : gérez des types spécifiques de preuves selon les besoins.

   
   

4. Soumission des preuves : les preuves générées sont envoyées à la chaîne Lumoz pour vérification et archivage.

4.2 zkVérificateur

zkVerifier est un autre composant clé de l'architecture, chargé de vérifier les ZKP générés par zkProver. Il garantit l'exactitude et la validité des preuves soumises à la chaîne, préservant ainsi la confiance et la sécurité du système. Grâce à un processus de vérification optimisé, zkVerifier gère efficacement les preuves, réduisant ainsi les coûts opérationnels et la consommation de gaz.

Flux de travail :

1. Soumission de preuves : les preuves générées par zkProver sont soumises à la chaîne Lumoz, lançant la tâche de vérification.

   
   

2. Vérification de preuve : la chaîne Lumoz envoie la tâche de vérification à plusieurs zkVerifiers, qui effectuent indépendamment une vérification distribuée.

   
   

3. Décision collective : au moins les deux tiers des nœuds de vérification confirment la validité de la preuve, garantissant ainsi l'autorité et la cohérence des résultats de la vérification.

   
   

4. Traitement des résultats de vérification : les preuves valides et leurs résultats sont transmis au contrat de preuve Lumoz sur la blockchain par Lumoz AVS Oracle. Le contrat Task Manager enregistre et répond aux résultats des tâches sur la chaîne Lumoz.

   
   

5. Résumé

Lumoz annonce le lancement de zkProver et zkVerifier basés sur EigenLayer, améliorant considérablement l'efficacité du calcul et de la vérification. Le mécanisme de re-staking d'EigenLayer garantit efficacement la sécurité et la rentabilité de l'ensemble du processus de service. Grâce à une conception de nœuds spécialisée, Lumoz peut fournir des solutions pour différentes tâches de calcul, obtenant ainsi des performances et une efficacité optimales. De plus, grâce au mécanisme de re-staking, Lumoz offre des rendements substantiels aux investisseurs, renforçant ainsi la sécurité économique du système.

À l’avenir, nous espérons voir davantage de projets comme EigenLayer et Lumoz émerger, abordant les défis actuels de la blockchain, résolvant véritablement les problèmes des utilisateurs et explorant et essayant activement des solutions plus efficaces et plus sécurisées. Cela contribuera en fin de compte au progrès et à la prospérité de l’ensemble du secteur.