Saltar para o conteúdo principal

Camada de Verificação ZK Unificada da ILITY: Um Verificador para Governar 200 Rollups

· 13 min de leitura
Dora Noda
Dora Noda
Software Engineer

Existem agora mais de 200 rollups de conhecimento zero (zero-knowledge) em produção, cada um enviando seu próprio contrato de verificador. SP1 aqui, Risc Zero ali, Plonky3 em uma chain, Halo2 em outra, com Jolt e Powdr chegando a cada poucas semanas. Cada aplicativo de privacidade que deseja ler o estado de mais de uma chain paga uma taxa: integrar cada provador, auditar cada verificador, reinstalar toda vez que um circuito muda. Este é o pesadelo de integração N × N que silenciosamente se tornou o maior custo oculto na infraestrutura de privacidade da Web3.

Em 28 de abril de 2026, a ILITY saiu do modo stealth com a aposta de que a solução não é outra zkVM, mas uma camada acima de todas elas. Sua camada de verificação unificada de provas ZK multi-chain — situada ao lado da Alpha Mainnet que entrou no ar em 30 de janeiro — apresenta-se como uma "interface de privacidade cross-chain universal" que qualquer chain pode adotar como um barramento de mensagens que preserva a privacidade. A Web3Caff Research publicou no mesmo dia um Financing Decode enquadrando o lançamento como uma aposta geracional na abstração de verificadores. A tese é provocativa: assim como o IBC abstraiu o estado das zonas Cosmos e a equivalência EVM abstraiu a execução de L2, uma única API de verificação de prova pode abstrair cada sistema SNARK abaixo dela.

A fragmentação sobre a qual ninguém quer falar​

Polygon Labs, Succinct, Risc Zero e meia dúzia de equipes menores passaram os últimos três anos correndo para entregar zkVMs mais rápidas, menores e mais gerais. A corrida produziu resultados extraordinários — Plonky3 em produção, SP1 fragmentando provas em pedaços e agregando-as em uma única prova universal, Risc Zero migrando para seu mercado de provas Boundless aberto.

Mas a corrida tem um efeito colateral para o qual quase ninguém otimiza: cada vencedor envia seu próprio verificador. Um protocolo de empréstimo que preserva a privacidade e deseja aceitar atestados de colateral de um rollup Optimism comprovado por SP1, uma chain Polygon CDK comprovada por Plonky3 e uma implantação Scroll comprovada por Halo2 precisa implementar e manter três contratos de verificador completamente diferentes. Cada verificador tem custos de gás diferentes, caminhos de atualização diferentes, superfícies de bugs diferentes. Os orçamentos de auditoria disparam. O TVL cross-chain permanece preso em qualquer chain em que o aplicativo de privacidade foi lançado.

A indústria reconhece isso como um problema. A prova pessimista da Polygon — ela própria uma prova ZK gerada com SP1 e Plonky3 — comercializa explicitamente a agregação como "unificando futuros multi-stack". Mas a unificação da AggLayer só funciona para chains que optaram pelo stack Polygon CDK. Solana, Cosmos, L2s de Ethereum fora do stack Polygon e L2s de Bitcoin permanecem fora de seu perímetro. A fragmentação é resolvida dentro de um jardim fechado e reproduzida na borda do jardim.

O que a ILITY realmente constrói​

A proposta da ILITY é estruturalmente diferente. Em vez de competir na velocidade do provador, ela constrói uma blockchain de Camada 1 soberana cujo único trabalho é verificar provas originadas de qualquer chain de origem e reemitir atestados nos quais qualquer chain consumidora possa confiar. A propriedade de ativos, o histórico de posse, os padrões de transação, o comportamento on-chain — tudo pode ser comprovado sem expor endereços de carteira ou dados subjacentes.

A aposta arquitetônica tem três peças. Primeiro, uma API de verificação de prova uniforme: qualquer aplicativo lê de um endpoint, independentemente de qual sistema SNARK subjacente gerou a prova. Segundo, o ILITY ZK Engine, o núcleo de verificação consciente de privacidade da chain, que a Alpha Mainnet vem fortalecendo desde janeiro por meio de testes internos de recuperação de dados cross-chain. Terceiro, o ILITY Hub — a próxima camada de produtização que expõe a abstração do verificador como um serviço de desenvolvedor em vez de um artefato de pesquisa.

A mecânica assemelha-se a como o IBC permitiu que as zonas Cosmos falassem entre si sem que cada zona implementasse o consenso de todas as outras zonas. A ILITY projeta o mesmo truque para provas: as chains não precisam saber como as outras provam as coisas. Elas só precisam confiar no resultado da verificação que a camada unificada emite. Se a abstração se sustentar, um aplicativo DeFi de preservação de privacidade escrito uma vez na ILITY pode consumir atestados de um programa Solana, um contrato L2 de Ethereum, uma zona Cosmos e uma L2 de Bitcoin — nenhum dos quais precisa saber sobre os outros.

Como a ILITY difere das apostas adjacentes​

A camada de verificação unificada não é a única tentativa de resolver este problema. O espaço se cristalizou em torno de três abordagens concorrentes, cada uma das quais a ILITY afirma abranger.

A Brevis entregou o coprocessador ZK mais geral — um coprocessador de dados ZK híbrido mais uma zkVM de propósito geral com capacidade de prova em tempo real de L1. A Brevis permite que contratos inteligentes acessem o estado histórico da EVM e provem coisas sobre ele. Mas a Brevis é fundamentalmente um coprocessador: ela produz provas, não unifica verificadores. Uma chain consumidora ainda precisa verificar uma prova da Brevis no sistema de prova que a Brevis utiliza.

A Axiom é mais restrita, mas extremamente rápida no que faz — consultas verificáveis contra o estado profundo do Ethereum, provando valores exatos de slots de armazenamento ou a existência de transações em alturas de bloco específicas. O compromisso é explícito: apenas Ethereum, de cadeia única por design. Útil como um primitivo, inútil como uma interface multi-chain.

A Lagrange escolheu um compromisso diferente — um híbrido ZK - mais - otimista que melhora a eficiência da computação cross-chain ao relaxar as garantias ZK para estados que dificilmente serão contestados. A Lagrange prova coisas entre cadeias, mas a semântica de verificação não é a mesma de uma garantia ZK pura, o que limita onde as instituições podem implementá-la.

A afirmação da ILITY é que as três são soluções pontuais para um primitivo ausente. Brevis verifica, Axiom consulta, Lagrange agrega — mas nenhuma delas oferece uma API que qualquer chain possa chamar para verificar qualquer prova de qualquer outra chain. A ILITY está apostando que o primitivo ausente é a própria camada de verificação, e não mais um provador ou coprocessador.

O contraste mais claro é com a Polygon AggLayer. O sistema de prova pessimista da AggLayer é, tecnicamente, uma camada de verificação unificada — mas funciona apenas para chains configuradas com a CDK Sovereign Config. A AggLayer v0.3 expandiu o stack para EVM multi-stack até o primeiro trimestre de 2026, mas Solana, Cosmos e L2s de Bitcoin permanecem de fora. A escolha de design da ILITY é o inverso: construir a camada de verificação primeiro, permitir que qualquer chain se conecte e otimizar para amplitude antes da profundidade.

A Pilha de Privacidade Formando-se em Torno de Abril de 2026​

O momento do lançamento não é acidental. O final de abril de 2026 produziu outras duas apostas em infraestrutura que se encaixam com a ILITY em algo maior do que qualquer uma delas isoladamente.

O Impulso de Privacidade FHE da Mind Network — construído na OP Stack e integrado com o Chainlink CCIP — fornece computação confidencial. A criptografia totalmente homomórfica (FHE) permite que os contratos processem entradas criptografadas sem nunca descriptografá-las, o que é enormemente importante para o DeFi institucional, onde os próprios dados de entrada são sensíveis. As auditorias de segurança da Mind Network no 2º trimestre de 2026 e a implantação na mainnet no 3º trimestre de 2026 da solução de pagamento Agente-a-Agente baseada em FHE são a primeira tentativa credível de uma camada de computação confidencial com roteiros institucionais.

A ILITY fornece verificação: a capacidade de provar coisas sobre o estado cross-chain sem revelar o estado em si.

Uma terceira perna, cada vez mais visível em rodadas de financiamento de nível médio, é a computação de prova descentralizada — mercados de prova abertos como o Boundless da Risc Zero e a rede de provadores da Succinct, que permitem que operadores de GPU deem lances para trabalhos de geração de provas e levem o custo marginal a zero.

Unidas, essas três pernas — computação confidencial (FHE), verificação unificada (ZK) e computação de prova aberta — começam a se parecer com a pilha de infraestrutura que os usuários institucionais realmente precisariam para participar do DeFi sem vazar estratégias, posições ou dados de contrapartes. Nenhuma das pernas é suficiente por si só. A afirmação da ILITY é que a camada de verificação é o tecido conectivo que permite que as outras duas sejam úteis, porque sem a verificação unificada, cada instituição que realiza DeFi privado cross-chain teria que manter um "zoo de verificadores" para cada provador que suas contrapartes pudessem usar.

A Aposta na Abstração de Verificadores, Examinada Honestamente​

A abstração de verificadores é uma tese forte. É também o tipo de tese que historicamente tem sido difícil de entregar. Três riscos merecem ser nomeados.

O problema da integração nativa. Uma camada de verificação unificada só importa se as chains a adotarem. A Alpha Mainnet da ILITY faz a verificação internamente e expõe os resultados — mas para que os contratos inteligentes da Solana consumam realmente esses atestados, o programa da Solana precisa confiar no resultado assinado da ILITY. Essa suposição de confiança é semelhante a uma ponte de cliente leve (light client bridge), o que significa que a ILITY acaba competindo com LayerZero, Wormhole e Chainlink CCIP não apenas pela verificação de prova ZK, mas pelo trabalho mais amplo de "barramento de mensagens confiável". A história da abstração de verificadores é mais limpa do que a história da LayerZero, mas o go-to-market é o mesmo.

O risco de abstração prematura. zkVerify — uma L1 modular projetada como a camada universal de verificação de prova ZK — tem perseguido uma tese semelhante desde 2024. Ele ainda não atingiu a velocidade de escape institucional. O risco é que a abstração de verificadores seja tecnicamente elegante, mas comercialmente prematura: se nenhuma chain integrar nativamente a abstração, cada verificação na camada unificada é um salto extra em comparação com apenas implantar o verificador diretamente na chain de consumo.

A lacuna de otimização. Os verificadores por chain podem ser otimizados agressivamente para o sistema SNARK específico que verificam. Uma camada unificada, quase por definição, sacrifica algumas dessas otimizações. A AggLayer vence nas chains Polygon CDK em parte porque a prova pessimista foi co-projetada com SP1 + Plonky3 e a pilha da chain. A ILITY não tem esse luxo ao verificar uma prova Halo2 de uma chain e uma prova SP1 de outra. O teto de desempenho em um verificador verdadeiramente agnóstico à chain é genuinamente menor do que em um co-projetado.

O caso otimista é que nenhum desses riscos é fatal — eles apenas significam que a camada de verificação unificada tem que vencer na ergonomia do desenvolvedor, em vez do custo bruto de gás da verificação. Se a integração de uma nova chain à ILITY levar uma semana em vez de seis meses de trabalho de verificador personalizado, a diferença no time-to-market dominará a diferença no custo de gás para todos, exceto para protocolos DeFi hiper-otimizados. Essa é a mesma troca que as primeiras pontes multi-chain fizeram e venceram.

O Que Observar a Seguir​

Três sinais nos dirão se a tese de verificação unificada está funcionando.

Integrações nativas. Alguma chain importante — uma concessão da Solana, uma parceria de L2 da Ethereum, uma zona Cosmos — conectará nativamente o resultado da verificação da ILITY em sua lógica on-chain? Sem pelo menos uma integração desse tipo em 2026, a abstração permanece uma ilha.

Implantações de aplicativos de privacidade. A validação correta não é teórica. É um protocolo de empréstimo que preserva a privacidade ou uma camada de liquidação confidencial que genuinamente usa a ILITY para ler atestados de garantia de três ou mais ecossistemas de provadores diferentes em produção, com usuários pagantes.

Composição da pilha com FHE e mercados de prova. Se a pilha "FHE mais ZK mais mercado de prova" começar a aparecer em pilotos de DeFi institucional — pools permitidos no estilo JPMorgan, liquidação de fundos tokenizados regulamentados — esse é o efeito de ecossistema para o qual a ILITY está se posicionando. Se não aparecer, a camada de verificação unificada continuará sendo uma peça inteligente de infraestrutura à espera de uma aplicação que precise dela.

O resumo honesto é que a aposta da ILITY é enorme e a experiência anterior de "vencer abstraindo os primitivos de outras pessoas" no setor cripto é mista. O IBC venceu. A equivalência EVM venceu. Mas também existem abstrações que foram lançadas antes que os sistemas subjacentes estivessem prontos e nunca recuperaram a liderança. 28 de abril é o dia em que a aposta começa a correr no relógio público.

A BlockEden.xyz opera infraestrutura de RPC e indexação de nível empresarial em Sui, Aptos, Ethereum, Solana e outras chains principais — a mesma cobertura multi-chain de que os aplicativos que preservam a privacidade precisam para consumir o estado verificado entre chains. Explore nosso marketplace de APIs para construir em uma infraestrutura projetada para a era multi-chain.

Fontes​

Share on Twitter