Qual é a diferença entre Optimistic Rollups e ZK Rollups?
Se a promessa das redes de 2ª camada (Layer 2) é aliviar a carga do Ethereum, surge uma pergunta inevitável: quem garante que milhares de transações processadas fora da rede principal estão corretas?
É aí que Optimistic Rollups e ZK Rollups seguem caminhos diferentes. Os dois agrupam transações e executam boa parte do trabalho fora da camada principal, mas mudam a forma como o Ethereum verifica o resultado.
Nos Optimistic Rollups, a transação é aceita como válida enquanto ninguém apresenta uma contestação. Nos ZK Rollups, o lote chega acompanhado de uma prova criptográfica de que a mudança de estado está correta.
A diferença parece pequena na descrição, mas ela altera a forma como a rede lida com fraude, finalização e complexidade técnica.
Qual é a diferença entre Optimistic Rollups e ZK Rollups?
Antes de separar os dois modelos, vale fixar a ideia de rollup.
Um rollup é uma solução de Layer 2 que executa transações fora do Ethereum e depois registra na rede principal as informações necessárias para que esse processamento possa ser verificado. Ao agrupar muitas operações, o custo da camada principal pode ser distribuído entre várias transações.
O ponto decisivo está no mecanismo de verificação.
Optimistic Rollups funcionam como uma afirmação que pode ser contestada. O operador publica um resultado sem apresentar, naquele momento, uma prova criptográfica de validade para todo o lote. Surge então um período de desafio no qual outra parte pode contestar uma transição considerada incorreta. Se a contestação for comprovada, o estado inválido é revertido e o responsável pode ser penalizado.
Um ZK Rollup segue a lógica inversa. Em vez de pedir que alguém encontre um erro, o sistema produz uma prova de validade que permite ao Ethereum verificar se o lote foi processado corretamente. A rede não precisa reexecutar todas as transações para confirmar a transição de estado.
Nos Optimistic Rollups, a segurança depende da possibilidade de contestar
O nome “otimista” vem de uma aposta operacional: o protocolo parte da premissa de que o lote está correto.
Isso não significa confiar cegamente no operador. O sistema mantém um mecanismo para que participantes independentes contestem uma afirmação inválida. Quando há uma disputa, a prova de fraude permite localizar a parte incorreta da execução e determinar qual lado está errado.
Essa arquitetura tem uma consequência: a finalização não depende apenas da publicação do lote.
Enquanto existir uma janela de contestação, um resultado ainda pode ser questionado. É por isso também que saques de Optimistic Rollups para o Ethereum podem enfrentar um período de espera. A segurança vem justamente da possibilidade de alguém aparecer e provar que houve um erro.
Para o usuário, isso transforma uma característica técnica em algo concreto. Uma transação pode parecer concluída na Layer 2 e, ainda assim, não ter a mesma finalidade econômica de uma transação já aceita definitivamente pela camada principal.
Nos ZK Rollups, a prova precisa convencer a rede
Nos ZK Rollups, o operador também processa as transações fora do Ethereum. A diferença está no que acontece depois.
Para atualizar o estado do rollup, ele precisa enviar uma prova de validade ao contrato na camada principal. Essa prova funciona como uma garantia matemática de que a nova configuração da rede resulta da execução correta do lote anterior. O Ethereum verifica a prova sem precisar refazer toda a computação.
Isso explica por que “ZK” não significa simplesmente “transações privadas”. O termo vem de zero-knowledge, mas, em rollups, o elemento central é a prova de validade. Um sistema pode usar essas provas para demonstrar que uma computação foi correta sem tornar as transações confidenciais.
Esse detalhe costuma passar batido quando ZK Rollups são apresentados apenas como uma tecnologia de privacidade. Para escalabilidade, a vantagem está principalmente em provar a correção da computação de forma compacta e verificável.
Onde cada modelo paga o preço da escalabilidade?
É tentador transformar a disputa em uma corrida entre “tecnologia antiga” e “tecnologia avançada”. A realidade é mais interessante.
Os Optimistic Rollups deslocam parte do trabalho para o mecanismo de contestação. A maior parte dos lotes pode seguir sem uma prova pesada de validade, mas o sistema precisa preservar a possibilidade de uma disputa e lidar com seus efeitos sobre a finalização.
Os ZK Rollups deslocam mais complexidade para a produção das provas. Gerá-las pode exigir infraestrutura e engenharia sofisticadas, enquanto a verificação no Ethereum precisa permanecer eficiente. Em troca, uma vez que a prova válida é verificada pelo contrato do rollup, não é necessário esperar uma janela de contestação equivalente.
Há ainda uma nuance importante: nenhum dos dois modelos simplesmente “tira tudo do Ethereum”. Os rollups continuam publicando na camada principal os dados necessários para que o estado possa ser reconstruído e verificado. A redução de custos vem de agrupar e comprimir informações, além de tirar a execução pesada do caminho principal.
Por isso, a escolha do mecanismo não é apenas uma questão de velocidade. É uma decisão sobre onde colocar a complexidade.
O verdadeiro contraste não é confiança contra criptografia
Existe um contrassenso interessante nessa disputa: tanto Optimistic Rollups quanto ZK Rollups tentam reduzir o que o Ethereum precisa fazer diretamente, mas precisam preservar uma maneira confiável de provar que o trabalho foi feito corretamente.
Nos Optimistic Rollups, essa confiança é estruturada em torno da contestação. A rede não precisa provar tudo imediatamente porque existe um mecanismo para detectar e punir resultados inválidos.
Nos ZK Rollups, a confiança é deslocada para a prova. O sistema investe em uma tecnologia criptográfica mais complexa para que a camada principal possa verificar o resultado sem refazer toda a computação.
Em outras palavras, os dois modelos mudam o momento e a forma como a verificação acontece.
Não se trata apenas de saber qual rollup é “mais rápido” ou “mais seguro”. Trata-se de entender qual mecanismo consegue fazer uma rede processar muito mais atividade sem transformar a camada principal em um gargalo.
No fim, Optimistic Rollups e ZK Rollups chegam ao mesmo problema por lados opostos: um diz “aceite, a menos que alguém prove o contrário”; o outro diz “aceite depois que eu provar que está certo”.
A batalha entre os dois é, portanto, menos sobre eliminar a confiança do que sobre encontrar a forma mais eficiente de substituí-la por verificação.
