Os rollups de Camada 2 processam centenas de transações fora da cadeia, comprimem os dados em um único pacote e o enviam de volta à Camada 1 do Ethereum. Esse sistema oferece aos usuários transações rápidas e taxas de gas baixas, sem deixar de contar com a segurança subjacente do Ethereum.
No entanto, nem todos os rollups funcionam da mesma maneira. Os dois principais designs de escalabilidade são os rollups otimistas e os rollups de conhecimento zero (ZK).
Ambos os designs agrupam transações fora da rede principal, mas adotam abordagens completamente diferentes em relação à confiança e à verificação. Um presume que as transações são honestas até que se prove o contrário, enquanto o outro usa matemática avançada para comprovar a exatidão antes mesmo de as transações serem finalizadas.
O que são rollups e por que precisamos deles?
A Camada 1 do Ethereum processa cerca de 15 a 30 transações por segundo. Quando a demanda da rede aumenta, os usuários competem entre si oferecendo taxas de gas mais altas para incluir suas transações no próximo bloco.
Os rollups resolvem esse gargalo ao separar a execução da liquidação:
Você envia transações pela rede da Camada 2, que as executa imediatamente.
O operador do rollup agrupa centenas dessas transações em um único lote.
O rollup publica esse lote comprimido na Camada 1, onde o Ethereum armazena permanentemente a alteração de estado.
O principal desafio é a verificação: como a Camada 1 do Ethereum sabe que as transações processadas fora da cadeia são legítimas? É aqui que os rollups otimistas e ZK seguem caminhos diferentes.
Rollups otimistas: confiar primeiro, verificar se houver contestação
Os rollups otimistas seguem um princípio simples: presumir que as transações são válidas por padrão.
O sequenciador da rede agrupa as transações dos usuários e publica o estado atualizado dos saldos no Ethereum sem realizar verificações complexas previamente. O sistema confia no estado enviado, a menos que outro participante se manifeste para contestá-lo.
O mecanismo de prova de fraude
Para manter os operadores honestos, os rollups otimistas usam provas de fraude (também chamadas de provas de falha):
Quando um lote é publicado na Camada 1, abre-se um período de contestação (normalmente com duração de 7 dias).
Durante esse período, qualquer validador independente que monitore a rede pode examinar o lote.
Se um validador identificar uma transação inválida ou um saldo alterado, ele envia uma prova criptográfica de fraude ao contrato da Camada 1.
O Ethereum executa a transação contestada na cadeia. Se a fraude for confirmada, o operador desonesto perde o depósito em staking, e o estado da rede volta aos saldos corretos.
Exemplos do mundo real
Entre os rollups otimistas mais adotados estão Arbitrum One, OP Mainnet (Optimism) e Base.
Principal vantagem: alta compatibilidade com a Ethereum Virtual Machine (EVM). Os desenvolvedores podem copiar e colar seus contratos inteligentes existentes do Ethereum em um rollup otimista, com alterações mínimas no código.
Principal desvantagem: o período de contestação de 7 dias. Se você transferir fundos de volta para a Camada 1 do Ethereum pela ponte nativa oficial do rollup, deverá esperar sete dias até que os fundos sejam liberados na L1.
Rollups ZK: primeiro, matemática e provas criptográficas
Os rollups de conhecimento zero adotam a abordagem oposta: verificam tudo matematicamente antes de publicar.
Em vez de presumir que as transações são válidas e aguardar contestações, um rollup ZK gera uma prova criptográfica de validade (normalmente, uma ZK-SNARK ou ZK-STARK) para cada lote de transações.
O mecanismo de prova de validade
O operador do rollup (o provador) executa transações fora da cadeia e compila uma prova matemática demonstrando que cada alteração de estado seguiu as regras da rede.
O lote e sua prova de validade são enviados a um contrato inteligente dedicado na Camada 1 do Ethereum.
O contrato da Camada 1 verifica a prova matemática. Como verificar uma prova exige muito menos poder computacional do que reexecutar cada transação individual, a liquidação acontece rapidamente.
Assim que o Ethereum verifica a prova, as transações têm finalidade imediata. Não é necessário um período de contestação, pois transações inválidas não podem gerar uma prova matemática válida.
Exemplos do mundo real
Entre os principais rollups ZK estão zkSync Era, Starknet, Linea e Polygon zkEVM.
Principal vantagem: saques nativos rápidos. Como a validade é comprovada matematicamente na Camada 1, os fundos podem ser transferidos para a rede principal do Ethereum em minutos ou horas, em vez de uma semana inteira.
Principal desvantagem: altas exigências computacionais. Gerar provas de validade de conhecimento zero exige hardware especializado e de alto desempenho para servidores, tornando a geração de provas tecnicamente complexa e intensiva em recursos.
Comparação lado a lado: rollups otimistas vs. ZK
Como os usuários evitam a espera de 7 dias para sacar
O atraso de 7 dias nos rollups otimistas costuma surpreender quem está começando. No entanto, na prática, raramente os usuários comuns precisam esperar uma semana inteira.
Pontes de liquidez entre redes de terceiros (como Across ou Stargate) contornam esse atraso. Essas pontes disponibilizam fundos diretamente na Camada 1 do Ethereum, usando suas próprias reservas de liquidez e cobrando uma pequena taxa de conveniência. Elas mesmas assumem o período de espera de 7 dias.
Como resultado, para usuários comuns que utilizam agregadores de pontes modernos, as transferências padrão entre os dois tipos de rollup costumam parecer quase instantâneas.
Qual tecnologia liderará o futuro?
As duas arquiteturas de rollup desempenham funções distintas no ecossistema Ethereum:
Atualmente, os rollups otimistas dominam o valor total bloqueado e o uso diário. Sua equivalência inicial com a EVM facilitou a implantação de aplicativos DeFi já estabelecidos (como Uniswap e Aave), sem que precisassem reconstruir seus sistemas.
Os rollups ZK representam a solução definitiva de longo prazo para a escalabilidade do blockchain. À medida que a tecnologia de geração de provas fica mais barata e os softwares zkEVM amadurecem, os rollups ZK oferecem maior eficiência de capital, melhor compressão de dados e liquidação nativa instantânea.
Em vez de uma tecnologia substituir completamente a outra, é provável que ambas coexistam, impulsionando diferentes setores da economia descentralizada conforme cada projeto priorize a simplicidade na implantação de código ou a finalidade matemática instantânea.
Perguntas frequentes
Por que os rollups otimistas exigem um período de contestação de 7 dias?
O atraso de 7 dias dá aos verificadores descentralizados tempo suficiente para baixar os lotes de transações, verificar se há discrepâncias e enviar uma prova de fraude à Camada 1 do Ethereum caso um sequenciador tente publicar dados inválidos.
É possível perder dinheiro durante uma transferência em um rollup ZK?
Como os rollups ZK dependem de provas de validade, o contrato inteligente da Camada 1 não pode verificar transações inválidas. No entanto, os usuários ainda precisam considerar a segurança padrão dos contratos inteligentes e garantir que a rede tenha mecanismos confiáveis de disponibilidade de dados.
O que é uma zkEVM?
Uma zkEVM (Ethereum Virtual Machine de conhecimento zero) é um mecanismo de execução que executa contratos inteligentes no estilo Ethereum enquanto gera provas de validade de conhecimento zero dessa execução. Isso permite que os desenvolvedores criem aplicativos ZK usando linguagens conhecidas, como Solidity.