Prova de Validade

Uma prova de validade é uma prova criptográfica enviada junto com um lote de transações de camada 2, mostrando que o novo estado foi calculado corretamente a partir do anterior. O contrato na camada 1 verifica a prova matematicamente, portanto nunca precisa confiar no operador nem reexecutar as transações. É isso que define um ZK rollup: como a correção é provada de antemão, saques de volta para a camada 1 podem ser liquidados assim que a prova é aceita, sem a janela de contestação de vários dias exigida pelos rollups otimistas. Vale notar que validade cobre execução, não intenção — a prova confirma que as regras foram seguidas, não que o contrato foi bem projetado ou que o sequenciador ordenou sua transação de forma justa.