O que é afinal o ZK Rollup? Desta vez está mesmo bem explicado.

Question

## Versão curta: Prova de conhecimento zero + Layer2 = Rápido e baratoRollup é atualmente a solução L2 mais popular, dividida em duas categorias: Optimistic e ZK. Hoje vamos falar porque o ZK é tão promissor.## Três características principais do ZK**1. Completude**: O que é verdadeiro pode ser provado como verdadeiro  **2. Solidez**: O que é falso não pode ser provado como verdadeiro  **3. Zero divulgação de informação**: Durante a verificação, o verificador não vê os dados concretosAtualmente, o ZK Rollup utiliza principalmente as duas primeiras características para comprimir o cálculo e reduzir custos. A informação das transações dos utilizadores continua consultável.## Porque é que o ZK é muito mais rápido que o Optimistic?| | ZK Rollup | Optimistic ||---|---|---|| Velocidade de verificação | Segundos (prova de conhecimento zero) | 7 dias (período de desafio necessário) || Gas | Baixo (apenas submete a prova) | Mais elevado (todos os dados on-chain) || Barreiras técnicas | Muito elevadas (incompatível com EVM) | Relativamente acessível |**Diferença chave**: ZK calcula e submete a prova “calculei corretamente”; Optimistic assume que não há batota e dá 7 dias para que outros denunciem.## Comparação das principais soluções atuais**StarkNet**: Usa provas STARK, mais descentralizado, mas verificação mais lenta  **zkSync**: Usa provas SNARK, verificação rápida, custos baixos, suporta abstração de contas  **Scroll**: Totalmente compatível com EVM, pode usar Solidity diretamente  **Polygon**: Solução híbrida, consenso próprio Proof of Efficiency## Porque é que o gas do ZK ainda é tão caro?Basicamente só há uma razão: **poucos utilizadores**.Incentivo ao validador + taxa da mainnet + custo de armazenamento = custo total  Quanto mais utilizadores, menor o custo por pessoa  Neste momento o ZK ainda está numa fase inicial, por isso o custo não desce. Quando houver adoção em massa, ficará mais barato que o Optimistic.## Porque é que o ZK é o futuro?✅ Transações rápidas (confirmação em segundos)  ✅ Mais seguro por natureza (prova de conhecimento zero impede batota)  ✅ Custos mais baixos a longo prazo (grande potencial de compressão de dados)  ❌ Maior dificuldade de desenvolvimento (é preciso aprender novas linguagens)  ❌ Compatibilidade com EVM ainda em desenvolvimento (Scroll ainda em testes)**Conclusão**: ZK Rollup é a solução definitiva para escalabilidade, mas ainda está numa fase de crescimento. Assim que houver aplicações mainstream, pode substituir o Optimistic. Atualmente zkSync e Scroll são os projetos a ter debaixo de olho.

	ZK Rollup	Optimistic
Velocidade de verificação	Segundos (prova de conhecimento zero)	7 dias (período de desafio necessário)
Gas	Baixo (apenas submete a prova)	Mais elevado (todos os dados on-chain)
Barreiras técnicas	Muito elevadas (incompatível com EVM)	Relativamente acessível