Original por Delphi Digital

Compilação original: Luffy, Foresight News

A teoria modular é geralmente considerada como consistindo em quatro camadas: DA (Data Availability), Consenso, Execution, e Liquidação. No entanto, uma nova camada, o provador compartilhado, pode ser integrada à teoria modular.

Poderia ser a peça que faltava para uma validação eficiente e escalável? Os mercados de provador compartilhado, agregação de provas e provadores estão mudando o cenário de zk-SNARKs. Pode aprender tudo o que precisa de saber no nosso último relatório.

Segue-se um resumo 👇 das principais conclusões do relatório

Breve revisão do zk Rollup

A solução zk Rollup pode dimensionar o tamanho da transação do Ethereum, movendo as transações fora da cadeia para um processamento mais rápido, enquanto permite determinismo rígido sobre Ethereum e verifica com provas zk (zk-SNARKs).

Prova ZK: verificação rápida, geração lenta

Embora as provas zk sejam poderosas em termos de privacidade e escala, a criação de provas em Ethereum pode ser cara e lenta.

O alto custo do atestação limita os aplicativos zk. Novas abordagens, como a agregação de atestação e os mercados de provadores, visam resolver estas limitações.

Protender Cadeia de fornecimento

Os sequenciadores compartilhados fornecem alta taxa de transferência para transações entre Blockchain. No entanto, eles realmente não provam nada. Eles podem ser integrados com uma rede de provadores compartilhada no futuro para delegar essa tarefa.

Hoje, rollups enfrentam o desafio de apresentações de zk-SNARKs dispendiosas e separadas.

A Proof Network fornece uma solução: um mercado unificado onde vários aplicativos ZK podem terceirizar a geração de provas para provedores de serviços de atestação dedicados, aumentando os custos e a eficiência.

Os atestados compartilhados podem melhorar muito a situação para aplicativos que exigem suporte à prova de zk, mas não possuem recursos internos de desenvolvimento de zkVM ou circuito.

Atualmente, os Rollups enviam provas zk separadas, resultando em altos custos de gás durante os horários de pico.

O objetivo da rede prover agora é terceirizar a geração de provas para provedores de hardware especializados em ordem aumentar a eficiência.

Em uma rede com maior rollups e conectada a uma rede provadora, o ciclo de vida da transação funciona da seguinte maneira:

• O Rollup envia uma solicitação de atestação.
• O mecanismo correspondência seleciona um provador.
• O certificador satisfaz o pedido.
• Provas agregadas.
• O provador submete o atestação final ao L1 para verificação.

Alocar o custo da validação

Proof Singularity refere-se a uma variedade de técnicas projetadas para Gota na cadeia prova de validação custos.

A agregação de provas é uma dessas técnicas, que comprime as provas válidas mais longas em uma única prova que verifica todas as provas.

Esta "validação em lote" pode Gota gás custos em comparação com a verificação de cada prova individualmente.

zk App Prover Custo

O alto custo de verificação e o tempo de prova dos aplicativos ZK são finalmente repassados ao usuário.

Nos últimos anos, os aplicativos zk (principalmente Rollups) gastaram quase US$ 30 milhões em gás para validar e publicar provas no na cadeia.

Agregação de provas protocolo perfil

Nebra UPA

Nebra UPA permite que os aplicativos zk agrupem longo provas para Gota o custo da verificação, e eles afirmam suporte cerca de 10 provas por segundo em Testnet. Suas certificadoras estão atualmente centralizadas, mas planejam implementá-las mais tarde, sem a necessidade de comprovação de permissão.

Eles têm um mecanismo de inclusão forçada semelhante aos pods de escape L2 existentes. Se o provador revisar ou latência a prova, o aplicativo zk pode ignorar o provador e executar a liquidação da prova em L1.

Camada alinhada

Aligned Layer é a camada de verificação zk universal da Ethereum protegida pelo EigenLayer AVS. O Restakers fornece aos usuários uma finalidade suave por meio de agregação de provas e compromissos de Ethereum únicos. O DA padrão é EigenDA, mas você também pode escolher outras camadas DA, como Celestia ou Avail.

AggLayer

O AggLayer da Polygon é uma infraestrutura neutra para segurança cadeia cruzada interoperabilidade. Visa unificar redes Blockchain independentes num único cadeia cruzada ponte, facilitando a interoperabilidade sem comprometer a soberania Blockchain.

O sistema é projetado para agregar as provas em todos os rollups conectados e, em seguida, enviar uma prova única que contém a árvore Merkle para cada prova individual enviada.

• Não requer um Máquina virtual específico ou ambiente de execução
• Blockchain é livre de escolher o seu próprio gás Token
• Não necessita de estar sujeita à cogovernação.

Sob o capô, a infraestrutura que reúne tudo isso é o LxLy pontes de cadeia cruzada, que padroniza um protocolo comum de mensagens cadeia cruzada para que os Rollups possam se comunicar entre si e com Ethereum mantendo a soberania.

Uma breve explicação 👇 de como o LxLy funciona

• Cada cadeia rastreia transferências de retirada em uma árvore Merkle (árvore de saída).
• Todas as árvores de saída são fundidas em uma árvore de saída global, que é compartilhada cadeia cruzada
• Árvores locais e globais atualizadas para permitir a validação e cálculos de retirada líquida.

Além disso, a Agglayer tem uma cadeia cruzada ponte compartilhada entre rollups conectados, simplificando o fluxo de ativos entre L1 e L2. Os ativos são garantidos em um contrato L1 sem embrulho ou bloqueio/cunhagem.

Tradicionalmente, as estruturas contam com um único provador interno, arriscando censura e problemas de vivacidade. Uma rede de provadores pode começar de forma centralizada e gradualmente Descentralização ao longo do tempo.

Descentralização do mercado de provadores ainda é uma questão em aberto, mas algumas abordagens estão sendo exploradas:

• Prova de Competição: O provador mais rápido ganha, melhorando a eficiência, mas desperdiçando computação (custos repassados aos usuários).
• Prova Mineração: Semelhante ao PoW Mineração, números aleatórios são usados para evitar que o vencedor leve tudo (o desperdício computacional ainda existe). Espera-se que a aceleração de hardware em ASICs SNARK Gota custos.