Lumoz lança zkProver e zkVerifier baseados em EigenLayer

Apesar das recentes controvérsias em torno do seu lançamento aéreo, não há dúvida de que o EigenLayer emergiu como um dos projetos mais proeminentes de 2024, graças ao seu mecanismo de re-stake. Este mecanismo não só impulsionou um aumento na TVL, mas também levou os usuários a transferirem seus fundos e confiança de volta para o ecossistema Ethereum, longe do frenesi das moedas meme.

De acordo com dados públicos, no momento em que este artigo foi escrito, o ETH TVL da EigenLayer ultrapassou 5 milhões de ETH , e o valor de staking de seu token, Eigen, ultrapassou 54 milhões de tokens. O número de AVS ( Serviços Ativamente Validados ) e Operadores ativos é de 11 e 251, respetivamente. O ecossistema EigenLayer também está crescendo, com mais de 20 projetos líderes em vários setores, incluindo Lumoz , Espresso, Near e Dodo, participando ativamente.

Isso marca o início de uma revolução que visa remodelar a segurança e a lucratividade do blockchain em torno da ETH, aproveitando o EigenLayer. Este artigo usará Lumoz como um estudo de caso para se aprofundar na série de explorações técnicas conduzidas no EigenLayer, avançando ainda mais a tecnologia do Ethereum e a indústria de blockchain mais ampla.

1. Lumoz lança camada de computação AVS baseada em EigenLayer

Como líder em camadas de computação modulares e na plataforma ZKRaas, a Lumoz não só teve um desempenho excepcionalmente bom nos mercados de capitais, mas também inovou continuamente no campo técnico. Em abril de 2024, a Lumoz anunciou pela primeira vez a conclusão de sua rodada de financiamento Pré-A (com uma avaliação atual de até US$ 300 milhões) e, logo depois, anunciou o suporte à arquitetura Op Stack + ZK Fraud Proof Layer 2, sendo pioneira em um novo modelo para arquitetura L2.

Esta semana, Lumoz anunciou oficialmente o lançamento de uma camada de computação AVS baseada em EigenLayer, composta por zkProver e zkVerifier, que aumenta significativamente o poder computacional e a segurança.

O zkProver da Lumoz se concentra na geração de Provas de Conhecimento Zero (ZKP), verificando a autenticidade dos dados sem revelar os dados específicos em si. Com recursos computacionais poderosos, o zkProver pode gerar rapidamente Provas de Conhecimento Zero eficientes, melhorando significativamente a privacidade e a segurança das redes blockchain. Já o zkVerifier é responsável por verificar essas Provas de Conhecimento Zero, garantindo sua correção e confiabilidade. Combinado com o mecanismo de re-stake do EigenLayer, o zkVerifier não apenas aproveita a segurança do Ethereum, mas também fornece incentivos econômicos adicionais para validadores. Este mecanismo de verificação dupla aumenta muito a segurança geral da rede e reduz os riscos de confiança.

Nota: O mecanismo de re-stake do EigenLayer aumenta a segurança do ecossistema Ethereum, fornecendo AVS, abordando questões de confiança e a carga dos custos de capital.

Ao integrar recursos computacionais poderosos com o mecanismo de re-stake do EigenLayer, a Lumoz criou um ecossistema de serviços computacionais eficiente e seguro. Esta inovação não apenas melhora o poder computacional e a segurança das redes blockchain, mas também fornece aos desenvolvedores e usuários mais cenários e valor de aplicação. Através do zkProver e do zkVerifier, a Lumoz traz inovação e valor sem precedentes para o campo blockchain, impulsionando o avanço tecnológico em toda a indústria.

2. Camada de computação Lumoz

A arquitetura Lumoz Computation Layer é um sistema altamente integrado e colaborativo, tendo como principais componentes e funcionalidades os seguintes:

Os principais componentes incluem:

• Ethereum : Utiliza o padrão EigenLayer para construir Serviços de Verificação Ativa (AVS). O mecanismo de piquetagem do EigenLayer aumenta a segurança do AVS.

  
  

• Cadeia EVM : Suporta um ambiente blockchain diversificado compatível com a Máquina Virtual Ethereum (EVM), incluindo, entre outros, Polygon zkEVM, Polygon CDK, ZKStack e Scroll, garantindo ampla compatibilidade e escalabilidade.

  
  

• Lumoz AVS Oracle : Responsável por adquirir e armazenar dados de cadeias compatíveis com EVM, garantindo alta disponibilidade e integridade dos dados, fornecendo assim uma base sólida de dados para a camada de computação.

  
  

• Cadeia Lumoz : atua como a camada central de gerenciamento de toda a camada de computação, responsável pelo agendamento de tarefas, distribuição de recompensas e gerenciamento de zkProver e zkVerifier, incluindo, mas não se limitando aos processos de entrada e saída de nós.

  
  

• zkProver : nós que executam tarefas computacionais específicas.

  
  

• zkVerifier : nós de verificação que validam os resultados da execução.

  
  

Através da estreita colaboração destes módulos, a Camada de Computação Lumoz não só fornece um ambiente computacional seguro e eficiente, mas também, através do seu design modular, estabelece uma base sólida para futuras expansões e atualizações.

3. Que problemas isso pode resolver?

3.1 Demanda de energia computacional em grande escala

Lumoz fornece suporte robusto de infraestrutura em nuvem para cálculos à prova de conhecimento zero (ZKP). Esse suporte é crucial para ZK-Rollups, uma solução de escalonamento de blockchain que executa transações fora da cadeia e usa ZKPs para verificar a validade dessas transações. As provas são então enviadas on-chain, reduzindo a carga na cadeia principal e aumentando o rendimento das transações.

Capacidades de infraestrutura em nuvem Lumoz:

• Compatibilidade : A infraestrutura em nuvem da Lumoz é compatível com várias soluções ZK-Rollup, como Polygon CDK, zkSync, StarkNet e Scroll. Isto significa que pode servir estas diferentes plataformas sem que cada plataforma precise estabelecer a sua própria infraestrutura.

  
  

• Algoritmo ZK-PoW : Lumoz combina os recursos computacionais dos mineradores com infraestrutura em nuvem por meio do algoritmo Zero-Knowledge Proof of Work (ZK-PoW), permitindo que os mineradores contribuam com seu poder computacional para suportar cálculos ZKP.

  
  

• Desempenho e eficiência : ao oferecer suporte à computação paralela para ZKPs, a eficiência computacional é significativamente melhorada, pois várias tarefas podem ser executadas simultaneamente. Além disso, o envio sequencial garante o processamento ordenado das transações.

  
  

• Algoritmo de agregação recursiva : a otimização do algoritmo de agregação recursiva reduz o número de ZKPs necessários, reduzindo assim a complexidade e os custos computacionais.

  
  

• Melhorias na comunicação de rede : Melhorias na comunicação de rede reduzem o tempo de transmissão de dados, melhorando a velocidade geral de resposta do sistema.

  
  

• Custo-benefício : Através das otimizações mencionadas acima, Lumoz pode reduzir os custos associados aos cálculos ZKP, tornando as soluções ZK-Rollup mais eficientes economicamente.

  
  

A infraestrutura em nuvem da Lumoz fornece uma solução poderosa, flexível e econômica para cálculos ZKP, contribuindo para o avanço e a aplicação da tecnologia blockchain.

3.2 Redução do gás à prova de zk

A estratégia de design do zkVerifier visa aumentar a eficiência, escalabilidade e reduzir efetivamente os custos de transação, conforme refletido nos seguintes aspectos:

• Integração de múltiplas fontes de prova : zkVerifier pode integrar provas de diferentes fontes, suportando uma ampla gama de aplicações de prova de conhecimento zero. Essa flexibilidade é uma vantagem importante no ecossistema blockchain, pois permite que vários projetos e aplicações utilizem os serviços zkVerifier.

  
  

• Economia de custos de gás : por meio de mecanismos de processamento e verificação de provas meticulosamente projetados, o zkVerifier reduz significativamente o custo de gás de envio de provas, fornecendo aos usuários uma experiência de serviço blockchain mais econômica.

  
  

• Adaptabilidade às características da prova : zkVerifier demonstra adaptabilidade às características das provas geradas por diferentes sistemas de prova, incluindo tamanho da prova, tempo de verificação e lógica de verificação. Esta adaptabilidade é fundamental para garantir o funcionamento eficiente do sistema.

  
  

• Estratégias de lançamento customizadas : Com base nas características de diferentes provas, zkVerifier projetou estratégias de lançamento customizadas que otimizam o uso de recursos on-chain e garantem a transmissão eficiente de provas, ajudando a reduzir o congestionamento da rede e melhorar a velocidade das transações.

  
  

• Implantação de verificadores dedicados : zkVerifier implanta verificadores dedicados, que são mecanismos essenciais para garantir a validade da prova. Esses verificadores garantem que apenas provas verificadas possam ser publicadas no Ethereum, mantendo a segurança e a confiabilidade do sistema.

  
  

• Otimização da camada de disponibilidade de dados : a camada de disponibilidade de dados do zkVerifier garante a durabilidade e acessibilidade das provas, ao mesmo tempo que fornece uma estratégia de armazenamento econômica, o que é crucial para reduzir os custos operacionais do sistema.

  
  

• Integração profunda com Ethereum : zkVerifier publica resultados de verificação no Ethereum, onde Ethereum gera provas de verificação. Esta etapa é crucial para garantir a interoperabilidade e a confiança entre cadeias, facilitando a colaboração perfeita entre o zkVerifier e as principais redes de blockchain como Ethereum.

  
  

• Autoridade de Provas de Verificação : As provas de verificação geradas pelo Ethereum fornecem a confirmação oficial final da validade dos dados fornecida pelo zkVerifier. Isso é essencial para estabelecer confiança nos dados do zkVerifier na rede Ethereum.

Esses designs inovadores do zkVerifier não apenas abordam os desafios enfrentados pela tecnologia blockchain existente, mas também alcançam avanços significativos no aumento da eficiência, redução de custos e melhoria da interoperabilidade. Este design ajuda a promover a aplicação mais ampla da tecnologia blockchain e fornece aos usuários um ambiente de serviço mais seguro e eficiente.

4. Fluxo de trabalho detalhado

4.1 zkProver

zkProver é o componente principal responsável por gerar provas de conhecimento zero (ZKPs). Os ZKPs permitem que o provador demonstre a correção de uma determinada afirmação ao verificador sem revelar qualquer informação adicional. zkProver inclui vários tipos de provadores, como zkRollup Prover, zkFraud Prover e zkML Prover, cada um otimizado para tarefas computacionais específicas para garantir desempenho ideal e eficiência do sistema em seus respectivos domínios.

Fluxo de trabalho:

1. Aquisição de tarefas: O módulo Lumoz AVS Oracle e Dispatch recupera tarefas do blockchain e sincroniza-as com a cadeia Lumoz. Essas tarefas consistem em afirmações ou cálculos que requerem prova.

   
   

2. Distribuição de Tarefas: As tarefas são distribuídas para diferentes Provers através do módulo Dispatch. Atuando como centro de agendamento de tarefas, o Dispatch determina qual tipo de Prover é mais adequado para lidar com cada tarefa com base em sua natureza e requisitos. O módulo Dispatch aloca recursos computacionais dinamicamente por meio de algoritmos inteligentes, otimizando a distribuição de recursos em tempo real com base na carga de tarefas e no desempenho de cada Prover, garantindo a operação estável do sistema durante períodos de alta demanda.

   
   

3. Geração de prova:

   a, zkRollup Prover: concentra-se na geração de provas relacionadas à compactação de lote de transações, aumentando a velocidade e escalabilidade de processamento do blockchain.

   b, zkFraud Prover: Gera provas de fraude que ajudam a detectar e prevenir comportamentos impróprios.

   c, zkML Prover: Especializado em gerar provas complexas relacionadas à verificação de modelos de aprendizado de máquina, garantindo a validade das saídas do modelo sem revelar o próprio modelo ou seus dados de entrada.

   d, Outros Provadores: Trate tipos específicos de provas conforme necessário.

   
   

4. Envio de Provas: As provas geradas são enviadas para a Rede Lumoz para verificação e arquivamento.

4.2 zkVerificador

zkVerifier é outro componente chave da arquitetura, responsável por verificar os ZKPs gerados pelo zkProver. Garante a correcção e validade das provas submetidas à cadeia, salvaguardando assim a confiança e segurança do sistema. Através de um processo de verificação otimizado, o zkVerifier processa as provas com eficiência, reduzindo custos operacionais e consumo de gás.

Fluxo de trabalho:

1. Envio de Provas: As provas geradas pelo zkProver são submetidas à Cadeia Lumoz, iniciando a tarefa de verificação.

   
   

2. Verificação de prova: A cadeia Lumoz envia a tarefa de verificação para vários zkVerifiers, que realizam verificação distribuída de forma independente.

   
   

3. Decisão Coletiva: Pelo menos dois terços dos nós de verificação confirmam a validade da prova, garantindo a autoridade e consistência dos resultados da verificação.

   
   

4. Processamento do resultado da verificação: as provas válidas e seus resultados são transmitidos de volta ao contrato de prova Lumoz no blockchain pelo Lumoz AVS Oracle. O Contrato do Gerenciador de Tarefas registra e responde aos resultados da tarefa na Cadeia Lumoz.

   
   

5. Resumo

Lumoz anuncia o lançamento do zkProver e zkVerifier baseado em EigenLayer, melhorando significativamente a eficiência da computação e verificação. O mecanismo de re-stake do EigenLayer garante efetivamente a segurança e a lucratividade de todo o processo de serviço. Com design de nó especializado, a Lumoz pode fornecer soluções para diferentes tarefas computacionais, alcançando desempenho e eficiência ideais. Além disso, através do mecanismo de re-stake, a Lumoz oferece retornos substanciais aos stakers, aumentando ainda mais a segurança económica do sistema.

No futuro, esperamos ver surgir mais projetos como EigenLayer e Lumoz, abordando os desafios atuais do blockchain, resolvendo genuinamente os problemas do usuário e explorando ativamente e tentando soluções mais eficientes e seguras. Em última análise, isso impulsionará o progresso e a prosperidade de toda a indústria.