ZK-Rollups: explicado de forma simples
Os ZK-Rollups aceleram e simplificam drasticamente as transacções do Ethereum. Em vez de esperar uma semana pela confirmação, uma prova matemática confirma de imediato que tudo está correcto. Descubram como funciona esta tecnologia na prática.
Índice:
Cada vez que se menciona a "próxima grande novidade" em blockchain, alguém nos comentários escreve que isso é apenas marketing. Os ZK-Rollups são a excepção.
Esta é uma das raras tecnologias em que o entusiasmo foi efectivamente confirmado por números concretos, e é precisamente por isso que vale a pena escrever sobre ela agora, e não há três anos, quando ainda era apenas teoria no blogue de Vitalik.
Que problema resolve?
Imaginem um balcão de banco onde o funcionário tem de verificar manualmente cada transacção, uma a uma, antes de a aprovar. Quando a fila aumenta, tudo abranda e as comissões sobem.
Foi mais ou menos isto que aconteceu com o Ethereum. Cada nó da rede tinha de verificar cada transacção individualmente. Seguro, mas lento e caro.
Como funciona na prática?
Um ZK-Rollup faz o seguinte:
- As transacções são executadas numa rede separada e rápida, uma segunda camada conhecida como Layer 2.
- Essa rede envia depois ao Ethereum um resumo e uma prova matemática de que tudo está correcto.
- O Ethereum não precisa de verificar tudo de novo, apenas dá uma olhadela rápida à prova, como quem digitaliza um código de barras em vez de contar cada artigo no carrinho.
- Se a prova "passar", a transacção está concluída. De imediato.
A palavra "ZK" significa zero-knowledge, ou seja, "conhecimento zero": a prova confirma que algo está correcto sem ter de mostrar todos os detalhes.
Porque é este um avanço tão importante?
Antes dos ZK-Rollups, a solução concorrente (o chamado rollup optimista) partia do princípio de que uma transacção estava correcta, dando depois sete dias para que alguém provasse o contrário. Por isso, levantar dinheiro demorava muitas vezes uma semana.
Os ZK-Rollups saltam completamente essa etapa. A prova é confirmada matematicamente de forma imediata, pelo que a transacção também fica concluída de imediato, sem esperas.
Porque agora, precisamente?
Várias coisas coincidiram ao mesmo tempo:
- Ficou mais barato. O Ethereum alterou a forma como os dados são transmitidos (uma actualização técnica chamada EIP-4844), o que fez os custos caírem drasticamente da noite para o dia.
- Ficou mais compatível. Anteriormente, os programadores tinham quase de reescrever as suas aplicações do zero para funcionarem em redes ZK. Hoje, redes como a Scroll, a Polygon zkEVM e a Linea funcionam de forma quase idêntica ao Ethereum clássico, tornando a mudança simples.
- O próprio Ethereum segue o mesmo caminho. Em vez de cada validador voltar a verificar cada bloco, o próprio Ethereum está a passar gradualmente para um modelo em que se gera uma única prova, que todos apenas verificam. É uma mudança comparável à passagem para o "proof-of-stake" em 2022.
- O dinheiro já está lá. As redes ZK processam hoje uma maior parte do tráfego de stablecoins do que a solução concorrente. Isto já não é uma experiência, é uma realidade de mercado.
Onde é isto utilizado na prática?
- Pagamentos: o dinheiro chega de imediato, sem esperar uma semana.
- Jogos: o baixo custo das transacções nas redes ZK permitiu a alguns jogos eliminar as comissões para a criação de NFT, pelo que os jogadores recebem gratuitamente objectos digitais que, de outra forma, teriam de pagar.
- Instituições: para bancos e fundos, a certeza imediata é muito mais conveniente do que uma semana de incerteza.
- Privacidade: as redes mais recentes permitem que uma transacção permaneça parcialmente privada e, ainda assim, verificável, algo essencial para instituições legalmente obrigadas a proteger a privacidade dos seus clientes.
O que ainda não é perfeito?
Claro que também existem desvantagens:
- Gerar estas provas matemáticas continua a exigir muita capacidade de processamento.
- A maioria das redes ainda depende de um único servidor central para determinar a ordem das transacções, em vez de distribuir essa tarefa.
- Existem muitas redes ZK diferentes que, actualmente, não comunicam bem entre si, pelo que o dinheiro e os dados por vezes ficam bloqueados entre elas.
Em resumo
Os ZK-Rollups fazem essencialmente uma coisa: provam que algo está correcto sem esperas e sem suposições.
Isto pode parecer um pequeno detalhe técnico, mas para o cliente significa que uma transacção que antes demorava dias agora demora segundos, e, para o Ethereum como um todo, significa que o tráfego sério tem finalmente a infra-estrutura à sua medida.
