Uma prova de fraude permite a um sistema de verificação de blockchain contestar uma afirmação incorreta sobre um cálculo ou transição de estado. Rollups otimistas usam essas contestações para rejeitar resultados inválidos enviados à cadeia base. Também se usa prova de falha: ela demonstra um erro, não necessariamente fraude intencional de alguém.
Da afirmação à disputa
Um proponente apresenta um compromisso criptográfico com o estado resultante do rollup. Verificadores podem reconstruir a execução com dados disponíveis e contestar erros no prazo. Alguns sistemas reduzem a divergência de forma interativa até um cálculo pequeno que o contrato da cadeia base consegue verificar.
Uma contestação bem-sucedida impede a aceitação do resultado conforme as regras. Cauções e penalidades dependem da implementação. Provar que um saque foi incluído no rollup é diferente de contestar uma afirmação sobre seu estado.
O sistema completo importa
Uma prova de validade demonstra o cálculo correto para aceitar o resultado. A abordagem otimista permite contestar erros e precisa de dados disponíveis e verificadores capazes de responder a tempo.
Prazos, permissões, poderes de atualização e controles emergenciais variam. A existência dessas provas não elimina automaticamente censura, bugs ou dependência de administradores, nem garante saques imediatos.