Saltar para o conteúdo principal

A Guerra das Camadas de Verificação Unificada: Agregação de Provas ZK torna-se a Primitiva de Composabilidade L2 em falta no Ethereum

· 17 min de leitura
Dora Noda
Dora Noda
Software Engineer

O Ethereum tem um problema de US40bilho~esescondidoaˋvistadetodos.Ateˊoterceirotrimestrede2026,projeta−sequeoTVLdaCamada2supereoDeFidamainnetpelaprimeiravez—aproximadamenteUS 40 bilhões escondido à vista de todos. Até o terceiro trimestre de 2026, projeta-se que o TVL da Camada 2 supere o DeFi da mainnet pela primeira vez — aproximadamente US 150 bilhões em rollups contra US130bilho~esnaL1.Oproblema:quaseUS 130 bilhões na L1. O problema: quase US 40 bilhões desse valor de L2 estão isolados em mais de 60 redes desconectadas, cada uma com sua própria bridge, seu próprio pool de liquidez, seu próprio sistema de prova e sua própria definição de finalidade. O Ethereum escalou. Ele apenas escalou para um salão de espelhos.

A solução com a qual todos concordam agora é algum tipo de verificação unificada. A luta é para ver qual versão vencerá. Polygon AggLayer, Boundless da Risc Zero, Succinct SP1, zkSync Boojum e a mais recente ILITY Network estão todos convergindo para a mesma percepção a partir de diferentes pontos de partida: se os rollups vão se comportar como uma única rede, alguém tem que verificar todas as suas provas em um só lugar. Esse alguém agora é um mercado — e o mercado está barulhento.

A Taxa de Fragmentação que Ninguém Quer Pagar​

A reformulação de fevereiro de 2026 de Vitalik Buterin dos L2s como "plataformas independentes com economias legítimas próprias" foi uma forma educada de admitir que o roadmap centrado em rollups entregou sua promessa de escalabilidade e seu problema de fragmentação no mesmo envelope. O post do blog da Ethereum Foundation de 23 de março sobre a divisão de trabalho L1 / L2 reforçou: a L1 deve ser um "hub global sem permissão e maximamente resiliente para liquidação", e os L2s devem competir na execução e adequação do produto.

Isso soa bem em um slide. Na produção, significa que um usuário com USDC na Arbitrum que deseja usar um cofre na Base precisa passar por uma camada de mensagens de terceiros, aceitar um atraso de finalidade medido em minutos e confiar em quaisquer suposições de segurança que a bridge introduza. Multiplique esse atrito por 60 redes e a experiência converge para algo "pior do que uma exchange centralizada".

Os números por trás do atrito explicam o porquê: a verificação SNARK on-chain na L1 do Ethereum normalmente custa entre 250.000 e 500.000 de gás por prova aos preços de 2026. Com cada rollup principal postando provas de forma independente, uma estimativa rápida de pesquisadores de agregação de provas coloca o gasto anual cumulativo de verificação na L1 na casa das dezenas de milhões de dólares — e isso depois que os L2s já foram otimizados para custo. A agregação, em teoria, pode comprimir esses custos em uma ordem de magnitude. O The Block relatou que o agregador universal da NEBRA entrou em operação na mainnet do Ethereum em parte porque o modelo de economia era atraente o suficiente para atrair volume real.

O que surgiu em 2026 é uma corrida de cinco vias para ser o substrato onde essa compressão acontece.

Cinco Arquiteturas, Um Objetivo Final​

Cada um dos principais concorrentes está resolvendo o mesmo problema a partir de uma perspectiva arquitetônica diferente. Entender as diferenças é importante porque elas não são intercambiáveis — a escolha da camada de verificação desencadeia consequências nas suposições de confiança, latência e composabilidade.

Polygon AggLayer: A Aposta na Prova Pessimista​

A AggLayer, que passou de conceito a pronta para a mainnet quando as provas pessimistas entraram em operação no início de 2025, adota uma abordagem defensiva. O truque principal é a prova pessimista — uma ZKP que trata cada rede conectada como suspeita por padrão. Se a Rede A afirma que possui 100 POL depositados na bridge compartilhada, a AggLayer força matematicamente a Rede A a provar isso antes de permitir qualquer retirada. Nenhuma rede pode arriscar os depósitos de outra rede, mesmo que seja comprometida.

A AggLayer v1.0 da Polygon é prevista para o segundo trimestre de 2026, e o SP1 da Succinct — construído no provador Plonky3 da Polygon — já foi anunciado como a base de desempenho para interoperabilidade cross-chain. É uma história de integração vertical estreita: bridge compartilhada, provador compartilhado, liquidação pessimista. O ponto negativo é que o modelo funciona melhor para redes que usam o Polygon CDK ou stacks compatíveis. Trazer um rollup soberano com diferentes suposições de prova significa reconstruir partes do modelo de confiança.

Risc Zero Boundless: O Mercado de Provas Aberto​

A Boundless foi lançada na mainnet em setembro de 2025 e a Risc Zero encerrou seu serviço de prova hospedado naquele dezembro — forçando toda a geração através da rede descentralizada. A arquitetura está mais próxima de uma bolsa de commodities do que de uma camada de liquidação. Operadores de GPU dão lances em trabalhos de prova, geram as provas e ganham recompensas por meio de um mecanismo que a Risc Zero chama de Prova de Trabalho Verificável ( PoVW - Proof of Verifiable Work ), onde cada prova carrega metadados criptográficos atestando quanta computação foi dedicada a ela.

A tese: ao transformar a geração de provas ZK em um mercado aberto, a Boundless pode levar a computação verificável em direção ao custo de execução. A Boundless também suporta explicitamente zkVMs concorrentes em seu roadmap — o que significa que os desenvolvedores podem rotear para Risc Zero, SP1 ou outros sistemas sem sair do mercado. Isso posiciona a Boundless menos como uma única camada de verificação e mais como o local de liquidez onde as provas são produzidas e precificadas antes de atingirem qualquer rede específica.

Succinct SP1: A Cunha da Prova em Tempo Real​

O SP1 da Succinct é o zkVM que transformou a guerra de benchmarking em um esporte público. O anúncio do "SP1 Hypercube" no início de 2026 foi além — reivindicando um rendimento de prova do Ethereum em tempo real, o santo graal que permite que um zkVM prove blocos quase tão rápido quanto o Ethereum os produz. Se a prova em tempo real se tornar um requisito básico, o gargalo se desloca da velocidade do provador para a agregação e a verificação — exatamente o ponto de estrangulamento que a AggLayer está tentando monopolizar e que a Boundless está tentando comoditizar.

O papel do SP1 dentro da AggLayer é o indício mais interessante. A Polygon escolheu a Succinct como o motor de prova, o que significa que os dois ecossistemas estão interligados no momento em que parecem competitivos. A questão mais profunda é se o SP1 consegue se manter neutro o suficiente para ser o provador de registro em várias camadas de agregação, ou se ele será absorvido pela bandeira da AggLayer.

zkSync Boojum: A Stack Integrada Verticalmente​

O sistema de provas Boojum da zkSync usa 15 circuitos recursivos para agregar provas internamente, com a atualização Atlas, lançada recentemente, permitindo que as cadeias da ZK Stack acessem diretamente a liquidez da L1 do Ethereum. Vitalik endossou publicamente o trabalho da zkSync no final de 2025 como "subestimado e valioso", e o roteiro do BoojumOS para 2026 visa 30.000 TPS, preservando uma experiência de desenvolvedor equivalente à L1 do Ethereum.

Onde a AggLayer vende agregação horizontal em cadeias heterogêneas, o Boojum vende agregação vertical dentro de uma única família de tecnologia. Escolha a ZK Stack e você terá agregação de provas, liquidez compartilhada e uma UX unificada de forma nativa. O custo é a soberania: o preço da adesão é o compromisso com as decisões tecnológicas da Matter Labs.

ILITY Network: A Camada de Verificação com Foco em Privacidade​

A ILITY entrou no ar com sua Alpha Mainnet em janeiro de 2026, e a reviravolta arquitetônica é que ela foi projetada para a verificação de dados entre cadeias com preservação de privacidade — provando a propriedade de ativos, histórico de posse e comportamento on-chain em várias mainnets sem revelar endereços de carteira. A proposta da ILITY é que a "armadilha da transparência" da Web3 pública é, por si só, um problema de fragmentação: os usuários não podem mover estados entre cadeias sem expor toda a sua identidade a cada observador ao longo do caminho.

A stack tecnológica é uma blockchain Layer-1 soberana com um motor ZK otimizado para recuperação de dados entre cadeias. A ILITY arrecadou US$ 2 milhões em financiamento semente para construir a camada de verificação, e o posicionamento estratégico é nitidamente diferente do modelo de segurança de ponte da AggLayer ou do mercado de provadores abertos da Boundless — a ILITY está competindo no eixo da privacidade, onde a pressão de conformidade impulsionada pelo MiCA e a demanda de tesouraria institucional estão convergindo em primitivos confidenciais entre cadeias.

O Curinga zkVerify​

Fora do quadro das cinco frentes, a zkVerify lançou sua mainnet em 30 de setembro de 2025 como a primeira L1 construída especificamente para verificação de provas de conhecimento zero. As reivindicações de redução de custos são dramáticas: a zkVerify cita custos de verificação inferiores a 1/100 do custo da L1 do Ethereum, com tempos de processamento de milissegundos e suporte nativo para provas Groth16, UltraPlonk, RiscZero, ultrahonk, Space and Time e SP1.

A existência da zkVerify levanta a questão incômoda que nenhum dos grandes players quer responder: nós realmente precisamos de verificação na L1 do Ethereum? Se uma cadeia dedicada pode verificar provas 100 vezes mais barato, a relação econômica rollup-Ethereum é precificada novamente. As provas são liquidadas na zkVerify, e o Ethereum se torna a âncora de segurança em vez do local de verificação. Essa é uma superfície de taxas muito menor para os stakers de ETH.

A prioridade declarada da Ethereum Foundation — "O ETH volta a ser o hub de liquidação e a âncora de confiança" — é parcialmente uma resposta defensiva a exatamente este cenário. A Fundação não está errada ao dizer que quem detém a liquidação captura o valor; a questão em aberto é se a camada social do Ethereum consegue manter a gravidade da liquidação se a economia migrar para cadeias de verificação dedicadas.

O que os Solucionadores de Fragmentação Estão Realmente Resolvendo​

Vale a pena ser preciso sobre qual problema de fragmentação cada camada aborda, porque o marketing tende a confundi-los:

  • Fragmentação de pontes (especialidade da AggLayer): Múltiplas pontes com modelos de segurança incompatíveis. Resolvido por uma ponte compartilhada e protegida por ZK.
  • Fragmentação de geração de provas (especialidade da Boundless e SP1): Cada rollup executa seu próprio provador, duplicando o esforço de GPU. Resolvido por um mercado de provas compartilhado.
  • Fragmentação de custo de verificação (especialidade da zkVerify): Cada rollup paga o gás de verificação da L1 de forma independente. Resolvido por agregação amortizada.
  • Fragmentação de identidade e dados (especialidade da ILITY): Consultas de estado entre cadeias vazam dados do usuário. Resolvido por verificação com preservação de privacidade.
  • Fragmentação de liquidez (zkSync Atlas, Zona Econômica do Ethereum): Capital preso por rollup. Resolvido por primitivos de liquidez compartilhada ou liquidação unificada.

A iniciativa Zona Econômica do Ethereum (EEZ) da Ethereum Foundation — lançada na EthCC pela Gnosis, Zisk e a EF — é essencialmente uma tentativa de agrupar várias dessas soluções sob um mesmo teto ideológico. A EEZ promete que contratos inteligentes em rollups conectados podem chamar contratos na mainnet ou em outras cadeias da EEZ dentro de uma única transação, eliminando a dependência de pontes que dominou a interação entre rollups por três anos.

A Mudança do PeerDAS Altera as Apostas​

O PeerDAS, lançado como parte da atualização Fusaka, aumenta a capacidade de blobs de 6 para 48 por bloco — aproximadamente uma ordem de grandeza a mais de disponibilidade de dados barata para L2s. Vitalik enquadrou o PeerDAS, juntamente com zkEVMs em estágio alfa, como a transição da Ethereum para "um tipo de rede descentralizada fundamentalmente nova e mais poderosa". A implicação na taxa de transferência (throughput) de transações é real: rollups impulsionados pelo PeerDAS poderiam lidar coletivamente com até 12.000 TPS até o final do ano.

Esse surto de throughput não resolve a fragmentação — ele a piora. Mais espaço para blobs significa que mais rollups podem se dar ao luxo de existir, o que significa mais superfície de verificação, mais relacionamentos de ponte (bridge) e mais sistemas de prova para reconciliar. O PeerDAS é a alavanca de escalonamento do lado da oferta; a agregação é a alavanca de coordenação do lado da demanda. Ambos precisam funcionar para que o ecossistema L2 pareça uma única chain para os usuários.

É aqui também que os papéis da Celestia e da EigenDA se tornam mais definidos. A Celestia, com cerca de 50 % de participação no mercado de DA e o Matcha dobrando os tamanhos dos blocos para 128 MB no primeiro trimestre de 2026, é uma aposta pura em disponibilidade de dados — ela não tenta verificar provas. O throughput de 100 MB / seg da EigenDA V2 reside dentro da economia de restaking da EigenLayer, onde os validadores da Ethereum reutilizam o ETH em staking para atestar a disponibilidade de dados. Nenhuma das duas compete com a agregação de provas. Ambas tornam a agregação mais importante ao baratear a proliferação de rollups.

Por que isso importa para provedores de infraestrutura​

Para a infraestrutura de RPC e indexação, a corrida pela camada de verificação unificada é uma função forçadora. Hoje, um indexador que consulta o estado na Arbitrum, Base, zkSync e Optimism precisa manter quatro pipelines de ingestão independentes, quatro conjuntos de lógica de manipulação de provas e quatro modelos de confiança. Se a AggLayer, a Boundless ou a zkVerify ganharem participação suficiente, a superfície de abstração muda: um único endpoint de fonte de prova pode verificar o estado em muitas chains, e o trabalho do indexador passa a ser o roteamento em vez da reconciliação.

A aposta mais difícil é que nenhuma camada única vença categoricamente em 2026. As chains CDK da Polygon rotearão através da AggLayer. As chains do ecossistema zkSync rotearão através do Boojum. Rollups soberanos usando o Risc Zero zkVM rotearão através da Boundless. Fluxos institucionais preocupados com a privacidade podem rotear através da ILITY. O provável desfecho de 2026 é uma camada de meta-agregação — um roteador de roteadores que abstrai a heterogeneidade das fontes de prova por trás de uma única interface de consulta — e essa é uma superfície de produto que nem os provedores de RPC legados nem os indexadores especializados oferecem atualmente em escala.

Para desenvolvedores que constroem aplicações cross-chain, a implicação prática é assumir a heterogeneidade de verificação e projetar para ela. Prender-se a uma única camada de agregação significa herdar seu modelo de confiança e seu potencial declínio. Construir em direção a consultas de estado agnósticas à verificação permite manter a opcionalidade enquanto as guerras de camadas se resolvem.

A questão da resolução em 2026​

A avaliação honesta é que nenhuma dessas camadas venceu decisivamente. A AggLayer tem a história de integração vertical mais forte, mas é limitada pela adoção da stack da Polygon. A Boundless tem o modelo econômico mais limpo, mas depende de demanda suficiente para inicializar um mercado de provadores competitivo. O SP1 tem os melhores benchmarks de zkVM, mas não possui uma posição neutra nas guerras de agregação. O Boojum tem a ZK Stack mais completa, mas troca soberania por conveniência. A ILITY tem a arquitetura mais diferenciada, mas a menor pegada no ecossistema. A zkVerify tem a história de custo mais limpa, mas ameaça a captura de valor de liquidação da Ethereum.

O que muda em 2026 é que a questão deixa de ser se a verificação unificada importa e passa a ser quem controla a camada onde ela acontece. Essa é uma luta pela camada de liquidação (settlement layer), e a história diz que as camadas de liquidação tendem a se consolidar em um ou dois vencedores. Os próximos 18 meses dirão se o padrão de consolidação se repete ou se a agregação de provas ZK permanecerá plural da mesma forma que a disponibilidade de dados — fragmentada entre Celestia, EigenDA, Avail e PeerDAS mesmo três anos após o início da era modular.

O problema da dispersão das L2s não vai desaparecer. Alguém cobrará um pedágio para costurá-las novamente. A única questão restante é de quem será a guarita de pedágio.

A BlockEden.xyz fornece infraestrutura de RPC e indexação de nível de produção nas principais redes Layer 1 e Layer 2 que moldam esta corrida. À medida que as camadas de verificação se consolidam e a composibilidade entre rollups se torna um requisito básico, nosso marketplace de APIs e endpoints multi-chain ajudam os desenvolvedores a construir aplicações que permanecem portáteis em qualquer camada de agregação que vença.

Fontes​

Share on Twitter