Um zk-Rollup (zero-knowledge rollup) é uma solução de escalabilidade de Camada 2 que executa transações fora da blockchain principal (Camada 1) e gera uma prova de validade criptográfica, especificamente uma prova de conhecimento zero, que é submetida à camada base para verificar a correção de todas as transações agrupadas. Essa abordagem aumenta drasticamente a taxa de transferência, mantendo as garantias de segurança da Camada 1 subjacente , tipicamente o Ethereum.
O “zk” em zk-Rollup refere-se a provas de conhecimento zero, uma classe de técnicas criptográficas que permitem que uma parte (o provador) demonstre a outra parte (o verificador) que uma afirmação é verdadeira sem revelar qualquer informação além da validade da própria afirmação. No contexto de rollups, o provador gera uma prova sucinta de que centenas ou milhares de transações foram executadas corretamente, e o contrato inteligente da Camada 1 pode verificar essa prova em uma única transação on-chain de baixo custo.
Os zk-Rollups representam um dos dois principais paradigmas de rollup, juntamente com os Optimistic Rollups. Enquanto os Optimistic Rollups assumem que as transações são válidas por padrão e usam um período de desafio à prova de fraude (normalmente 7 dias), os zk-Rollups fornecem certeza matemática imediata por meio de provas de validade. Isso confere aos zk-Rollups uma finalidade mais rápida, mas ao custo de uma geração de provas mais complexa. Os principais projetos de zk-Rollup incluem zkSync Era, StarkNet, Polygon zkEVM, Scroll, Linea e Taiko.
Como surgiram e evoluíram os zk-Rollups?
1985: Shafi Goldwasser, Silvio Micali e Charles Rackoff publicam o artigo fundamental sobre provas de conhecimento zero, "A Complexidade do Conhecimento de Sistemas de Provas Interativas".
2013: Eli Ben-Sasson e outros desenvolvem os SNARKs (Argumentos de Conhecimento Não Interativos Sucintos), tornando as provas ZK práticas para aplicações em blockchain.
2016: O Zcash é lançado usando zk-SNARKs para transações privadas, demonstrando as provas ZK em escala blockchain.
2018: Em uma publicação de pesquisa, Barry Whitehat propõe o conceito de rollups usando SNARKs para escalabilidade do Ethereum.
2020: A Loopring é lançada como uma das primeiras DEXs zk-Rollup na rede principal Ethereum, processando negociações com provas de validade ZK. O zkSync 1.0 (agora zkSync Lite) é lançado para transferências de tokens e pagamentos básicos usando provas zk-SNARK.
Janeiro de 2021: Vitalik Buterin publica "Um Guia Incompleto para Rollups", estabelecendo a estrutura teórica para zk-Rollups como o caminho de escalabilidade de longo prazo do Ethereum.
2021: O StarkNet alpha é lançado na rede principal Ethereum, usando provas STARK (sem necessidade de configuração confiável) para contratos inteligentes de uso geral.
2022: O Polygon zkEVM é lançado em versão beta, visando a equivalência completa da EVM com as provas ZK.
2023: A zkSync Era lança sua rede principal como o primeiro zk-Rollup de propósito geral com abstração de conta nativa, atingindo mais de US$ 500 milhões em TVL em poucos meses. A Scroll lança sua rede principal com uma zkEVM compatível em nível de bytecode.
2024: A Linea (ConsenSys) lança sua rede principal. Vários zk-Rollups ultrapassam US$ 1 bilhão em TVL (Valor Total Percentual). A EIP-4844 (blobs), introduzida com a atualização Dencun do Ethereum em março de 2024, reduz os custos de dados do zk-Rollup em aproximadamente 90%.
2025 a 2026: O campo zkEVM amadurece e se reorganiza. Taiko emerge como a principal zkEVM Tipo 1 (totalmente equivalente ao Ethereum). Linea e Scroll evoluem da equivalência Tipo 3 para Tipo 2 em relação à EVM. A zkEVM da Polygon permanece Tipo 3 e se torna uma peça central da AggLayer da Polygon. A zkSync Era mantém sua abordagem Tipo 4, sem bytecode da EVM, com abstração de conta nativa.
“A longo prazo, os zk-Rollups prevalecerão sobre os rollups otimistas porque a matemática oferece uma garantia mais sólida do que a economia.” Vitalik Buterin
Como você pode explicar o zk-Rollup em termos simples?
Imagine os zk-Rollups como um professor corrigindo provas. Em vez de verificar o trabalho de cada aluno problema por problema (verificação on-chain), um assistente confiável corrige todas as provas (execução off-chain) e fornece ao professor uma prova matemática de que todas as notas estão corretas. O professor só precisa verificar a prova, não precisa corrigir todas as provas.
É como compactar um arquivo antes de enviá-lo. Centenas de transações são "compactadas" em uma única prova que ocupa muito menos espaço no blockchain. A prova garante que nenhum dos dados originais foi corrompido.
Imagine um contador auditando os livros de uma empresa. Em vez de revisar milhões de transações individuais, o contador verifica um resumo matemático (a prova ZK) que garante criptograficamente que cada lançamento é legítimo.
É semelhante a um veredicto judicial sigiloso. O juiz (provador ZK) analisa todas as provas (transações) e emite um veredicto (prova de validade) que qualquer pessoa pode verificar como correto sem precisar reexaminar todas as provas por conta própria.
Imagine como um manifesto de remessa com um lacre inviolável. O pacote consolida vários volumes (transações) juntos, e a prova ZK serve como um lacre inviolável, confirmando que cada volume foi contabilizado e está intacto.
Importante: os zk-Rollups fornecem certeza matemática de que as transações são válidas, e não apenas garantias econômicas. Isso significa que os fundos podem ser retirados para a Camada 1 quase imediatamente, sem a necessidade de aguardar um período de verificação (ao contrário do período de 7 dias dos Optimistic Rollups). No entanto, gerar provas ZK é computacionalmente caro e complexo.
Quais são as principais características técnicas dos zk-Rollups?
Sistemas de prova de conhecimento zero
Dois sistemas de prova principais alimentam os zk-Rollups:
zk-SNARKs (Argumentos de Conhecimento Sucintos e Não Interativos):
Utilizado por zkSync, Polygon zkEVM, Scroll, Linea, Loopring
Tamanho de prova muito pequeno (aproximadamente 288 bytes), barato para verificar na blockchain.
Requer uma cerimônia de configuração confiável, um processo único para gerar parâmetros públicos.
Se a configuração confiável for comprometida, a segurança do sistema poderá ser violada.
A geração de provas é relativamente rápida.
zk-STARKs (Argumentos de Conhecimento Transparentes e Escaláveis):
Usado por StarkNet, StarkEx (dYdX v3, X imutável)
Sem necessidade de configuração confiável, totalmente transparente.
Tamanho de prova maior que o dos SNARKs (aproximadamente 50 a 100 KB), mais caro para verificar na blockchain.
Pós-quântico seguro, resistente a ataques de computadores quânticos
A geração de provas escala melhor com tamanhos de computação maiores.
Como funcionam realmente os zk-rollups?
Os usuários enviam transações para o sequenciador zk-Rollup (fora da cadeia).
O sequenciador agrupa centenas ou milhares de transações.
O sequenciador executa todas as transações e atualiza o estado (saldos, armazenamento de contratos).
Um provador gera uma prova de validade ZK demonstrando que todas as transições de estado estão corretas.
A prova, a nova raiz de estado e os dados de transação comprimidos são submetidos ao contrato inteligente da Camada 1.
O contrato L1 verifica a prova (um único cálculo na blockchain) e atualiza o estado do rollup.
Os dados de transação são enviados para a camada 1 para garantir a disponibilidade dos dados, permitindo que qualquer pessoa reconstrua o estado de consolidação.
Qual é o espectro de compatibilidade da EVM para zk-Rollups?
Os zk-Rollups variam em sua compatibilidade com a Máquina Virtual Ethereum, usando um sistema de classificação proposto por Vitalik Buterin:
Tipo 1 (equivalente ao Ethereum): Compatibilidade total com bytecode; qualquer contrato Ethereum funciona sem modificações. Taiko é o principal projeto que busca isso como um "rollup baseado" que usa os próprios validadores do Ethereum para sequenciamento.
Tipo 2 (equivalente ao EVM): Compatível com bytecode, mas com pequenas diferenças na representação do estado interno para comprovar a eficiência. Linea e Scroll avançaram para este nível em 2026.
Tipo 3 (compatível com EVM): A maioria dos contratos Ethereum funciona, mas algumas funcionalidades diferem. O zkEVM da Polygon está atualmente neste nível, com planos de migrar para o Tipo 2.
Tipo 4 (Compatível com idiomas): Compila Solidity/Vyper para uma VM diferente, mas suporta as mesmas linguagens. O zkSync Era usa essa abordagem, priorizando o desempenho do provador em detrimento da equivalência em nível de bytecode.
Não-EVM: Máquina virtual personalizada com um idioma dedicado. A StarkNet usa Cairo.
Como é gerenciada a disponibilidade de dados?
Os zk-Rollups enviam dados de transação comprimidos para a camada 1 do Ethereum, garantindo que qualquer pessoa possa verificar o estado.
EIP-4844 (blobs): Introduzido em março de 2024, oferece armazenamento temporário de dados mais barato, especificamente para agregações de dados (rollups).
Validades: Uma variante que armazena dados fora da cadeia (mais barata, porém com garantias de segurança mais fracas).
Vontades: uma abordagem híbrida que permite aos usuários escolher entre a disponibilidade de dados on-chain e off-chain por transação
Quais são as vantagens e desvantagens do zk-Rollup?
Vantagens
Desvantagens
Segurança matemática: As provas de validade fornecem certeza criptográfica, e não apenas garantias econômicas.
Geração de provas complexas: A geração de provas ZK requer recursos computacionais significativos.
Finalidade rápida: As transações são finalizadas assim que a comprovação é verificada no nível 1 (minutos, não dias).
Desafios de compatibilidade com EVM: Alcançar a equivalência total da EVM com as provas ZK é tecnicamente difícil.
Segurança L1 herdada: A segurança é tão robusta quanto o consenso do Ethereum, não dependendo de validadores de rollup.
Custos iniciais mais elevados: O hardware e a infraestrutura para geração de provas têm um custo operacional elevado.
Sem período de desafio: Saques para contas de nível 1 não exigem um período de espera de 7 dias.
Risco de configuração confiável: Sistemas baseados em SNARK exigem cerimônias de configuração confiáveis (os sistemas STARK evitam isso).
Redução dos custos de gás L1: As provas de validade são menores que as provas de fraude, reduzindo os custos na blockchain.
Centralização do Prover: A geração de provas é frequentemente centralizada devido aos requisitos de hardware.
Compressão de dados: Os dados da transação são fortemente comprimidos antes de serem enviados para o nível 1.
Maturidade das ferramentas de desenvolvimento: Historicamente, as ferramentas do ecossistema ficaram atrás das ferramentas do Optimistic Rollup, embora essa diferença tenha diminuído consideravelmente até 2026.
Potencial de privacidade: As provas ZK podem viabilizar transações privadas sem revelar detalhes.
Centralização do sequenciador: A maioria dos zk-Rollups ainda depende de um único sequenciador centralizado, embora designs de "rollup baseado em código", como o da Taiko, estejam trabalhando para mudar isso.
Como gerenciar o risco de zk-Rollup?
Riscos técnicos: A criptografia ZK é complexa; falhas no sistema de provas podem permitir transições de estado inválidas. Os circuitos aritméticos que definem os cálculos comprováveis podem conter erros que comprometem a segurança. Sequenciadores centralizados representam um ponto único de falha, embora mecanismos de inclusão forçada de transações atenuem esse problema. Se o provador ficar offline, novas transições de estado não podem ser verificadas; a maioria dos zk-Rollups possui mecanismos de contingência.
Considerações de segurança: Para rollups baseados em SNARK, verifique se a cerimônia de configuração confiável foi conduzida corretamente com participantes suficientes. Entenda quem controla as chaves de atualização do rollup, visto que uma autoridade de atualização centralizada pode alterar as regras do sistema. Confirme se o rollup envia dados para a camada 1 (rollup) ou fora da blockchain (validium), pois isso afeta sua capacidade de sair caso o sequenciador falhe. Verifique se o rollup possui um mecanismo de escape, um mecanismo para que os usuários possam forçar a retirada de fundos para a camada 1 mesmo se o sequenciador e o provador estiverem offline.
Riscos de investimento: os tokens zk-Rollup (por exemplo, ZK para zkSync, STRK para StarkNet) podem ser voláteis e seu valor depende da adoção da rede. Vários projetos zk-Rollup competem por usuários e desenvolvedores, e nem todos terão sucesso. O sistema de prova ZK ideal pode mudar à medida que a pesquisa avança, potencialmente tornando as implementações atuais obsoletas. A transferência de ativos entre as camadas L1 e L2 envolve riscos de contratos inteligentes nos contratos de ponte/rollup.
Por que os zk-Rollups são importantes culturalmente?
“ZK é o objetivo final para a escalabilidade do blockchain. Todo o resto é apenas um degrau intermediário.” Um sentimento comum na comunidade de pesquisa do Ethereum.
“As guerras do ZK são as novas guerras do L1. zkSync, StarkNet, Polygon zkEVM, Scroll, todo mundo quer ser o zk-Rollup vencedor.” Uma narrativa recorrente no Twitter sobre criptomoedas desde 2023.
Os zk-Rollups se tornaram uma das áreas mais badaladas do mundo das criptomoedas. A "temporada ZK" ganhou popularidade entre 2023 e 2024 com o lançamento e a distribuição de tokens de grandes projetos de zk-Rollups. O farming de airdrops em zk-Rollups (principalmente zkSync e StarkNet) se tornou uma atividade disseminada, com usuários realizando transações especificamente para se qualificar para receber airdrops de tokens. O debate entre ZK e Optimistic Rollups é uma das discussões técnicas mais ativas do universo cripto. "ZK em tudo" virou meme, com projetos adicionando "zk" aos seus nomes independentemente do uso real da tecnologia ZK. O roadmap do Ethereum posiciona explicitamente os zk-Rollups como a solução de escalabilidade a longo prazo, conferindo-lhes uma vantagem narrativa.
Quais são alguns exemplos práticos de zk-Rollups?
Lançamento da Mainnet do zkSync Era (2023)
Cenário: A Matter Labs lançou o zkSync Era como o primeiro zk-Rollup de propósito geral com abstração de conta nativa na rede principal Ethereum.
Implementação: O zkSync Era utiliza um compilador personalizado baseado em LLVM para converter código Solidity e Vyper em bytecode compatível com zkEVM. O sistema processa transações por meio de um sequenciador centralizado, gera provas SNARK em lotes e as envia para o Ethereum. A abstração nativa de contas permite carteiras de contratos inteligentes por padrão.
Resultado: A zkSync Era atraiu mais de US$ 500 milhões em TVL em poucos meses, hospedando DEXs, protocolos de empréstimo e plataformas NFT. O airdrop do token ZK em junho de 2024 distribuiu tokens para mais de 695,000 carteiras, embora tenha enfrentado controvérsias sobre os critérios de alocação.
StarkNet e dYdX v3 (2021 a 2023)
Cenário: A tecnologia STARK proof da StarkWare impulsionou o dYdX v3, uma das maiores DEXs de futuros perpétuos, como um validium StarkEx.
Implementação: A dYdX utilizou o StarkEx para processar milhares de transações por segundo fora da blockchain, gerando provas Stark que verificavam todas as liquidações de transações no Ethereum. A disponibilidade dos dados foi gerenciada fora da blockchain (modo validium) para reduzir custos, com um comitê de disponibilidade de dados garantindo o acesso.
Resultado: A dYdX v3 processou mais de US$ 1 trilhão em volume de negociação acumulado, demonstrando que a tecnologia zk-Rollup era capaz de lidar com desempenho de negociação de nível institucional. Posteriormente, a dYdX migrou para sua própria blockchain baseada em Cosmos para a v4, mas a implementação da StarkEx comprovou a viabilidade do zk-Rollup para DeFi.
Polígono zkEVM (2023 até o presente)
Cenário: A Polygon lançou sua zkEVM com o objetivo de alcançar equivalência com a EVM do Ethereum, utilizando provas ZK.
Implementação: O Polygon zkEVM processa o bytecode do Ethereum por meio de um circuito ZK, visando a equivalência com a EVM Tipo 2 ao longo do tempo. Os desenvolvedores podem implantar contratos Ethereum existentes com modificações mínimas. O sistema gera provas usando um provador personalizado e as envia para a camada 1 do Ethereum. Até 2026, o Polygon zkEVM se tornará um componente central do AggLayer da Polygon, uma camada de agregação que conecta múltiplas blockchains da Polygon.
Resultado: A Polygon zkEVM atraiu os principais protocolos DeFi e detém mais de US$ 1 bilhão em TVL como parte do ecossistema AggLayer. Seu foco na equivalência com a EVM facilitou a integração de desenvolvedores em comparação com zk-Rollups não-EVM como o StarkNet, embora com algumas concessões na eficiência de provas.
EIP-4844 Impacto nos zk-Rollups (2024)
Cenário: A atualização Dencun do Ethereum introduziu o EIP-4844 (proto-danksharding), criando um novo tipo de dados "blob" projetado especificamente para reduzir os custos de agregação de dados.
Implementação: Os zk-Rollups passaram a publicar seus dados de transação em blobs em vez de calldata, reduzindo os custos de disponibilidade de dados em aproximadamente 90%. Isso tornou as transações zk-Rollup drasticamente mais baratas para os usuários finais.
Resultado: Após a EIP-4844, as taxas de transação do zk-Rollup caíram de aproximadamente US$ 0.10 a US$ 0.50 para menos de US$ 0.01 em muitos casos. Isso tornou o zk-Rollup competitivo em termos de custo com as alt-L1s e acelerou a migração de usuários da rede principal do Ethereum para as Layer 2s.
Como o zk-Rollup se compara a outras soluções de escalonamento?
Característica
zk-Rollup
Pacote otimista
validium
Sidechain
Tipo de prova
Comprovante de validade ZK
Prova de fraude (desafio)
Comprovante de validade ZK
Consenso independente
Finalidade
Minutos (após a prova)
7 dias (período de desafio)
Minutos (após a prova)
segundos
Disponibilidade de dados
Na blockchain (Ethereum)
Na blockchain (Ethereum)
Fora da cadeia (comitê)
Na própria cadeia (cadeia própria)
Total
Herda Ethereum
Herda Ethereum
Mais fraco (DA fora da cadeia)
Independente
Hora de retirada
Minutos a horas
7 dias (sem ponte rápida)
Minutos a horas
Minutos
Custo
Baixo (com manchas)
Baixo (com manchas)
Muito baixo
Muito baixo
Compatibilidade EVM
Varia (Tipo 1-4)
Completo (Tipo 1)
Varia
completo
Exemplos
zkSync, StarkNet, Scroll, Taiko
Arbitrum, Otimismo, Base
X imutável, StarkEx
PoS de polígono
Termos relacionados
Rolar: a categoria geral de soluções de escalonamento de camada 2 que agrupam transações para verificação de camada 1.
ShardingEscalabilidade nativa planejada pelo Ethereum que complementa os rollups por meio do danksharding.
DAppAplicações descentralizadas que são cada vez mais utilizadas em zk-Rollups para reduzir custos de gás e acelerar as transações.
Regulamento de criptografia: os marcos legais que regem como os tokens zk-Rollup e os DApps construídos com base neles são tratados em diferentes jurisdições.
zkSync: um zk-Rollup líder da Matter Labs usando provas SNARK
StarkNet: Um grande zk-Rollup da StarkWare usando provas STARK sem configuração confiável.
Perguntas frequentes sobre zk-Rollups
Qual a diferença entre zk-Rollups e Optimistic Rollups? Os zk-Rollups geram provas matemáticas (provas ZK) que verificam a validade das transações, proporcionando finalidade imediata. Os Optimistic Rollups partem do princípio de que as transações são válidas e utilizam um período de contestação de 7 dias, durante o qual qualquer pessoa pode submeter uma prova de fraude caso detecte uma transação inválida. Os zk-Rollups oferecem finalidade mais rápida, mas são mais complexos de implementar.
Os zk-Rollups são tão seguros quanto o Ethereum? Os zk-Rollups herdam a segurança do Ethereum porque todas as transições de estado devem ser verificadas por um contrato inteligente de camada 1 por meio de provas de validade. Contanto que o Ethereum seja seguro e o sistema de provas ZK seja sólido, as transações do rollup têm garantia de estarem corretas. No entanto, a centralização do sequenciador e o controle da chave de atualização introduzem suposições de confiança adicionais.
Por que alguns zk-Rollups têm suas próprias linguagens de programação? Gerar provas ZK para computação arbitrária é extremamente desafiador. Alguns projetos, como o StarkNet com Cairo, usam linguagens personalizadas otimizadas para computação comprovável por ZK, o que produz provas mais eficientes. Outros, como o zkSync Era e o Polygon zkEVM, aceitam Solidity padrão, mas o compilam por meio de pipelines especializados, aceitando algumas concessões na eficiência da prova em prol da familiaridade do desenvolvedor.
Posso sacar de um zk-Rollup mais rápido do que de um Optimistic Rollup? Sim. Como os zk-Rollups fornecem prova matemática de validade, os saques para a camada 1 podem ser processados assim que a próxima prova for enviada e verificada (normalmente em minutos ou horas). Os Optimistic Rollups exigem um período de contestação de 7 dias para saques padrão, embora serviços de ponte rápida possam oferecer saques mais rápidos mediante o pagamento de uma taxa.
Os zk-Rollups reduzem as taxas de gás? Sim, significativamente. Ao executar transações fora da blockchain e enviar apenas provas comprimidas para a camada 1 (L1), os zk-Rollups reduzem drasticamente os custos por transação. Com blobs EIP-4844, muitas transações de zk-Rollup custam menos de US$ 0.01, em comparação com US$ 1 a US$ 50 ou mais na rede principal do Ethereum durante períodos de pico de demanda.
O que é uma configuração confiável e devo me preocupar com ela? Uma configuração confiável é uma cerimônia única exigida pelos zk-Rollups baseados em SNARK para gerar parâmetros criptográficos. Se a cerimônia for comprometida (se nenhum participante excluir seu segredo), provas inválidas poderão ser geradas. Cerimônias modernas utilizam centenas de participantes; apenas um precisa agir honestamente. Sistemas baseados em STARK (StarkNet) evitam isso completamente.
Qual zk-Rollup é o mais equivalente ao Ethereum atualmente? Em 2026, o Taiko é o zkEVM Tipo 1 líder, buscando equivalência total ao Ethereum como um "rollup baseado" que utiliza os próprios validadores do Ethereum para sequenciamento. O Linea e o Scroll já alcançaram equivalência Tipo 2, enquanto o Polygon zkEVM permanece Tipo 3 e o zkSync Era utiliza uma abordagem Tipo 4, não equivalente a bytecode.
