Lumoz lanza zkProver y zkVerifier basados en EigenLayer

A pesar de las recientes controversias en torno a su lanzamiento aéreo, no hay duda de que EigenLayer se ha convertido en uno de los proyectos más destacados de 2024, gracias a su mecanismo de Re-stake. Este mecanismo no solo ha impulsado un aumento en TVL, sino que también ha impulsado a los usuarios a trasladar sus fondos y su confianza nuevamente al ecosistema Ethereum, lejos del frenesí de las monedas meme.

Según datos públicos, al momento de escribir este artículo, el ETH TVL de EigenLayer ha superado los 5 millones de ETH , y la cantidad apostada de su token, Eigen, ha superado los 54 millones de tokens. El número de AVS ( Servicios Activamente Validados ) y Operadores activos se sitúa en 11 y 251, respectivamente. El ecosistema EigenLayer también está en auge, con más de 20 proyectos líderes en diversos sectores, incluidos Lumoz , Espresso, Near y Dodo, que participan activamente.

Esto marca el comienzo de una revolución destinada a remodelar la seguridad y la rentabilidad de blockchain en torno a ETH, aprovechando EigenLayer. Este artículo utilizará Lumoz como estudio de caso para profundizar en la serie de exploraciones técnicas realizadas en EigenLayer, avanzando así aún más la tecnología de Ethereum y la industria blockchain en general.

1. Lumoz lanza la capa de computación AVS basada en EigenLayer

Como líder en capas informáticas modulares y plataforma ZKRaas, Lumoz no solo se ha desempeñado excepcionalmente bien en los mercados de capitales sino que también ha innovado continuamente en el campo técnico. En abril de 2024, Lumoz anunció por primera vez la finalización de su ronda de financiación Pre-A (con una valoración actual de hasta 300 millones de dólares) y, poco después, anunció el soporte para la arquitectura Op Stack + ZK Fraud Proof Layer 2, siendo pionero en un nuevo modelo. para arquitectura L2.

Esta semana, Lumoz anunció oficialmente el lanzamiento de una capa de cálculo AVS basada en EigenLayer, compuesta por zkProver y zkVerifier, que mejora significativamente la potencia y la seguridad computacional.

zkProver de Lumoz se centra en generar pruebas de conocimiento cero (ZKP), verificando la autenticidad de los datos sin revelar los datos específicos en sí. Con potentes recursos computacionales, zkProver puede generar rápidamente pruebas de conocimiento cero eficientes, mejorando significativamente la privacidad y seguridad de las redes blockchain. zkVerifier, por otro lado, es responsable de verificar estas Pruebas de Conocimiento Cero, asegurando su exactitud y confiabilidad. Combinado con el mecanismo Re-stake de EigenLayer, zkVerifier no solo aprovecha la seguridad de Ethereum sino que también proporciona incentivos económicos adicionales para los validadores. Este mecanismo de verificación dual mejora enormemente la seguridad general de la red y reduce los riesgos de confianza.

Nota: El mecanismo de Re-stake de EigenLayer mejora la seguridad del ecosistema Ethereum al proporcionar AVS, abordando cuestiones de confianza y la carga de los costos de capital.

Al integrar potentes recursos computacionales con el mecanismo Re-stake de EigenLayer, Lumoz ha creado un ecosistema de servicios computacionales eficiente y seguro. Esta innovación no solo mejora la potencia computacional y la seguridad de las redes blockchain, sino que también proporciona a los desarrolladores y usuarios más escenarios de aplicaciones y valor. A través de zkProver y zkVerifier, Lumoz aporta innovación y valor sin precedentes al campo blockchain, impulsando el avance tecnológico en toda la industria.

2. Capa de Computación Lumoz

La arquitectura Lumoz Computation Layer es un sistema altamente integrado y colaborativo, con sus principales componentes y funcionalidades como sigue:

Los componentes principales incluyen:

• Ethereum : utiliza el estándar EigenLayer para crear servicios de verificación activa (AVS). El mecanismo de participación de EigenLayer mejora la seguridad de AVS.

  
  

• Cadena EVM : admite un entorno de cadena de bloques diverso compatible con la máquina virtual Ethereum (EVM), que incluye, entre otros, Polygon zkEVM, Polygon CDK, ZKStack y Scroll, lo que garantiza una amplia compatibilidad y escalabilidad.

  
  

• Lumoz AVS Oracle : Responsable de adquirir y almacenar datos de cadenas compatibles con EVM, asegurando alta disponibilidad e integridad de los datos, proporcionando así una base de datos sólida para la capa de cómputo.

  
  

• Cadena Lumoz : actúa como la capa de gestión central de toda la capa informática, responsable de la programación de tareas, la distribución de recompensas y la gestión de zkProver y zkVerifier, incluidos, entre otros, los procesos de entrada y salida de nodos.

  
  

• zkProver : Nodos que ejecutan tareas computacionales específicas.

  
  

• zkVerifier : Nodos de verificación que validan los resultados de la ejecución.

  
  

A través de la estrecha colaboración de estos módulos, Lumoz Computation Layer no solo proporciona un entorno computacional seguro y eficiente sino que también, a través de su diseño modular, sienta una base sólida para futuras expansiones y actualizaciones.

3. ¿Qué problemas puede resolver?

3.1 Demanda de energía computacional a gran escala

Lumoz proporciona soporte sólido de infraestructura en la nube para cálculos a prueba de conocimiento cero (ZKP). Este soporte es crucial para ZK-Rollups, una solución de escalamiento de blockchain que ejecuta transacciones fuera de la cadena y utiliza ZKP para verificar la validez de estas transacciones. Luego, las pruebas se envían en cadena, lo que reduce la carga en la cadena principal y aumenta el rendimiento de las transacciones.

Capacidades de infraestructura en la nube de Lumoz:

• Compatibilidad : la infraestructura en la nube de Lumoz es compatible con varias soluciones ZK-Rollup, como Polygon CDK, zkSync, StarkNet y Scroll. Esto significa que puede servir a estas diferentes plataformas sin que cada plataforma necesite establecer su propia infraestructura.

  
  

• Algoritmo ZK-PoW : Lumoz combina los recursos computacionales de los mineros con la infraestructura de la nube a través del algoritmo de prueba de trabajo de conocimiento cero (ZK-PoW), lo que permite a los mineros contribuir con su poder computacional para respaldar los cálculos ZKP.

  
  

• Rendimiento y eficiencia : al admitir la computación paralela para ZKP, la eficiencia computacional mejora significativamente ya que se pueden ejecutar múltiples tareas simultáneamente. Además, el envío secuencial garantiza el procesamiento ordenado de las transacciones.

  
  

• Algoritmo de agregación recursiva : la optimización del algoritmo de agregación recursiva reduce la cantidad de ZKP necesarios, lo que reduce la complejidad y los costos computacionales.

  
  

• Mejoras en la comunicación de la red : las mejoras en la comunicación de la red reducen el tiempo de transmisión de datos, mejorando la velocidad de respuesta general del sistema.

  
  

• Rentabilidad : a través de las optimizaciones antes mencionadas, Lumoz puede reducir los costos asociados con los cálculos ZKP, haciendo que las soluciones ZK-Rollup sean más eficientes económicamente.

  
  

La infraestructura en la nube de Lumoz proporciona una solución poderosa, flexible y rentable para los cálculos ZKP, lo que contribuye al avance y la aplicación de la tecnología blockchain.

3.2 Reducción del gas de prueba zk

La estrategia de diseño de zkVerifier tiene como objetivo mejorar la eficiencia, la escalabilidad y reducir efectivamente los costos de transacción, como se refleja en los siguientes aspectos:

• Integración de múltiples fuentes de prueba : zkVerifier puede integrar pruebas de diferentes fuentes, admitiendo una amplia gama de aplicaciones de prueba sin conocimiento. Esta flexibilidad es una ventaja clave en el ecosistema blockchain, ya que permite que varios proyectos y aplicaciones utilicen los servicios de zkVerifier.

  
  

• Ahorro de costos de gas : a través de mecanismos de verificación y procesamiento de pruebas meticulosamente diseñados, zkVerifier reduce significativamente el costo de gas al enviar pruebas, brindando a los usuarios una experiencia de servicio blockchain más rentable.

  
  

• Adaptabilidad a las características de prueba : zkVerifier demuestra adaptabilidad a las características de las pruebas generadas por diferentes sistemas de prueba, incluido el tamaño de la prueba, el tiempo de verificación y la lógica de verificación. Esta adaptabilidad es fundamental para garantizar el funcionamiento eficiente del sistema.

  
  

• Estrategias de publicación personalizadas : basándose en las características de diferentes pruebas, zkVerifier ha diseñado estrategias de publicación personalizadas que optimizan el uso de los recursos en cadena y garantizan una transmisión de pruebas eficiente, lo que ayuda a reducir la congestión de la red y mejorar la velocidad de las transacciones.

  
  

• Implementación de verificadores dedicados : zkVerifier implementa verificadores dedicados, que son mecanismos clave para garantizar la validez de la prueba. Estos verificadores garantizan que solo se puedan publicar pruebas verificadas en Ethereum, manteniendo la seguridad y confiabilidad del sistema.

  
  

• Optimización de la capa de disponibilidad de datos : la capa de disponibilidad de datos de zkVerifier garantiza la durabilidad y accesibilidad de las pruebas al tiempo que proporciona una estrategia de almacenamiento rentable, que es crucial para reducir los costos operativos del sistema.

  
  

• Integración profunda con Ethereum : zkVerifier publica los resultados de la verificación en Ethereum, donde Ethereum genera pruebas de verificación. Este paso es crucial para garantizar la interoperabilidad y la confianza entre cadenas, facilitando una colaboración perfecta entre zkVerifier y las principales redes blockchain como Ethereum.

  
  

• Autoridad de pruebas de verificación : las pruebas de verificación generadas por Ethereum proporcionan la confirmación autorizada final de la validez de los datos proporcionada por zkVerifier. Esto es esencial para generar confianza en los datos de zkVerifier dentro de la red Ethereum.

Estos diseños innovadores de zkVerifier no solo abordan los desafíos que enfrenta la tecnología blockchain existente, sino que también logran avances significativos en la mejora de la eficiencia, la reducción de costos y la mejora de la interoperabilidad. Este diseño ayuda a promover una aplicación más amplia de la tecnología blockchain y proporciona a los usuarios un entorno de servicio más seguro y eficiente.

4. Flujo de trabajo detallado

4.1 zkProver

zkProver es el componente principal responsable de generar pruebas de conocimiento cero (ZKP). Los ZKP permiten al probador demostrar la exactitud de una determinada afirmación al verificador sin revelar ninguna información adicional. zkProver incluye varios tipos de probadores, como zkRollup Prover, zkFraud Prover y zkML Prover, cada uno optimizado para tareas computacionales específicas para garantizar un rendimiento óptimo y la eficiencia del sistema dentro de sus respectivos dominios.

Flujo de trabajo:

1. Adquisición de tareas: el módulo Lumoz AVS Oracle y Dispatch recupera tareas de la cadena de bloques y las sincroniza con la cadena Lumoz. Estas tareas consisten en afirmaciones o cálculos que requieren prueba.

   
   

2. Distribución de tareas: las tareas se distribuyen a diferentes probadores a través del módulo de envío. Al actuar como centro de programación de tareas, Dispatch determina qué tipo de probador es el más adecuado para manejar cada tarea según su naturaleza y requisitos. El módulo Dispatch asigna dinámicamente recursos computacionales a través de algoritmos inteligentes, optimizando la distribución de recursos en tiempo real en función de la carga de tareas y el rendimiento de cada Prover, asegurando un funcionamiento estable del sistema durante períodos de alta demanda.

   
   

3. Generación de prueba:

   a, zkRollup Prover: se centra en generar pruebas relacionadas con la compresión de lotes de transacciones, mejorando la velocidad de procesamiento y la escalabilidad de blockchain.

   b, zkFraud Prover: Genera pruebas de fraude que ayudan a detectar y prevenir comportamientos inadecuados.

   c, zkML Prover: se especializa en generar pruebas complejas relacionadas con la verificación de modelos de aprendizaje automático, garantizando la validez de los resultados del modelo sin revelar el modelo en sí ni sus datos de entrada.

   d, Otros probadores: maneje tipos específicos de pruebas según sea necesario.

   
   

4. Envío de pruebas: las pruebas generadas se envían a Lumoz Chain para su verificación y archivo.

4.2 zkVerificador

zkVerifier es otro componente clave de la arquitectura, responsable de verificar los ZKP generados por zkProver. Garantiza la exactitud y validez de las pruebas enviadas a la cadena, salvaguardando así la confianza y seguridad del sistema. A través de un proceso de verificación optimizado, zkVerifier maneja eficientemente las pruebas, reduciendo los costos operativos y el consumo de gas.

Flujo de trabajo:

1. Envío de pruebas: las pruebas generadas por zkProver se envían a Lumoz Chain, iniciando la tarea de verificación.

   
   

2. Verificación de prueba: Lumoz Chain envía la tarea de verificación a múltiples zkVerifiers, que realizan de forma independiente la verificación distribuida.

   
   

3. Decisión colectiva: al menos dos tercios de los nodos de verificación confirman la validez de la prueba, asegurando la autoridad y coherencia de los resultados de la verificación.

   
   

4. Procesamiento de resultados de verificación: las pruebas válidas y sus resultados se transmiten al contrato de prueba de Lumoz en la cadena de bloques mediante Lumoz AVS Oracle. El contrato del administrador de tareas registra y responde a los resultados de la tarea en la cadena Lumoz.

   
   

5. Resumen

Lumoz anuncia el lanzamiento de zkProver y zkVerifier basados en EigenLayer, mejorando significativamente la eficiencia del cálculo y la verificación. El mecanismo de replanteo de EigenLayer garantiza eficazmente la seguridad y rentabilidad de todo el proceso de servicio. Con un diseño de nodos especializado, Lumoz puede proporcionar soluciones para diferentes tareas computacionales, logrando un rendimiento y eficiencia óptimos. Además, a través del mecanismo de reapuesta, Lumoz ofrece rendimientos sustanciales a los apostadores, lo que mejora aún más la seguridad económica del sistema.

En el futuro, esperamos ver surgir más proyectos como EigenLayer y Lumoz, que aborden los desafíos actuales de blockchain, resuelvan genuinamente los puntos débiles de los usuarios y exploren e intenten activamente soluciones más eficientes y seguras. En última instancia, esto impulsará el progreso y la prosperidad de toda la industria.