Um zk-rollup é um sistema de escalabilidade que executa transações fora de uma blockchain base, agrupa resultados e envia provas criptográficas de validade para verificação nessa camada base. O verificador confere se a transição proposta segue as regras codificadas do rollup. Dividir os custos de publicação e verificação entre as transações de um lote pode reduzir o custo individual.
Provas e dados têm funções diferentes
Um provador gera evidências que ligam o estado anterior, as operações processadas e o novo estado proposto. Um contrato de liquidação verifica essas evidências antes de aceitar a atualização. O usuário pode receber uma confirmação antecipada do operador, diferente da liquidação definitiva na blockchain base.
O rollup também publica dados suficientes nessa camada para reconstruir seu estado, usando mecanismos como calldata ou blobs do Ethereum. Um validium mantém os dados correspondentes fora dessa camada, introduzindo outras premissas de disponibilidade. Uma prova de validade, sozinha, não fornece dados de estado ausentes.
O que o nome não garante
«ZK» não significa que todos os detalhes das transações sejam privados. Muitos sistemas usam a tecnologia principalmente para verificar cálculos.
O modelo não exige por natureza um período otimista de contestação, mas gerar provas, publicá-las e liquidá-las ainda pode atrasar saques. Circuitos incorretos, contratos vulneráveis, poderes de atualização e falhas do operador continuam sendo riscos. Compatibilidade de aplicações e custos também variam conforme a implementação.