Uma prova de fraude é um mecanismo criptográfico usado em soluções de escalabilidade de blockchain baseadas em rollups otimistas, que permite a qualquer observador contestar e refutar uma alegação fraudulenta de transição de estado submetida por um operador ou sequenciador. Rollups otimistas (como Arbitrum e Optimism) funcionam assumindo que todas as transações são válidas ("otimisticamente") e enviando dados de transação compactados para o Ethereum sem calcular imediatamente cada resultado. Se um operador submeter uma raiz de estado fraudulenta – alegando saldos de conta ou resultados de transação incorretos – qualquer participante atento pode submeter uma prova de fraude durante um período de contestação (normalmente 7 dias), fornecendo o mínimo de computação on-chain necessário para provar a fraude. Se a prova de fraude for válida, a raiz de estado incorreta é rejeitada, a garantia do operador fraudulento é reduzida e o participante honesto recebe uma recompensa. As provas de fraude são essenciais para a segurança dos rollups otimistas, contrastando com as provas de validade (provas ZK) usadas pelos rollups ZK , que comprovam a correção antecipadamente, em vez de depender da detecção de fraude posterior.
Origem e história
| Data | Evento |
| 2019 | A estrutura Plasma (proposta em 2017) introduz provas de fraude como um mecanismo central de jogo de saída. |
| 2019 | O conceito de Optimistic Rollup foi formalizado pelo pesquisador do Ethereum, John Adler, e por Mikerah Quintyne-Collins. |
| 2019-2020 | Arbitrum e Optimism iniciam o desenvolvimento usando arquiteturas de rollup otimistas/à prova de fraude. |
| agosto 2021 | Arbitrum One é lançado na rede principal Ethereum com segurança à prova de fraudes. |
| dezembro 2021 | Lançamento da mainnet Optimism; sistema antifraude inicialmente limitado; evolui ao longo dos anos subsequentes. |
| 2023 | Arbitrum anuncia protocolo interativo BOLD à prova de fraudes; testes começam. |
| 2023 | A Optimism implementa o sistema à prova de falhas Cannon na testnet; o lançamento na mainnet ocorre em junho de 2024. |
| 2024 | As provas de fraude tornam-se totalmente sem permissão, tanto no Arbitrum quanto no Optimism; a segurança da camada 2 amadurece significativamente. |
“As provas de fraude são o sistema imunológico dos rollups otimistas – elas pressupõem bom comportamento, mas fornecem uma penalidade matemática para a mentira.”
Como Funciona
| Característica | À prova de fraude (otimista) | Prova de Validade (ZK-Rollup) |
| Correção de tempo | Pós-hoc (janela de 7 dias) | Imediato (comprovante enviado junto com o lote) |
| Custo na cadeia | Baixo (apenas quando ocorre fraude) | Maior (verificação de comprovação a cada lote) |
| Finalidade | 7 dias para levantamentos de nível 1 | Quase instantâneo |
| Pressuposto de segurança | Pelo menos 1 verificador honesto | Matemática ZK |
| Sobrecarga computacional | Mínimo normalmente | Geração de alta prova |
| Exemplos | Arbitrum, Otimismo | zkSync, StarkNet |
Em termos simples
- Suponha que seja válido, prove que é inválido.Os rollups otimistas partem do princípio de que cada lote de transações é válido, mas permitem que qualquer pessoa prove fraude durante um período de contestação.
- O DesafioCaso seja submetido um estado fraudulento, qualquer observador pode apresentar uma prova de fraude – um argumento matemático que demonstra exatamente onde o operador mentiu.
- Jogos InterativosAs provas de fraude modernas usam "jogos de disputa interativos" onde a fraude é reduzida a uma única etapa de computação, minimizando o custo de verificação na blockchain.
- incentivosO operador fraudulento perde sua garantia; o operador honesto recebe uma recompensa – criando fortes incentivos financeiros para comportamentos honestos e monitoramento vigilante.
- Atraso de 7 diasO período de contestação (normalmente de 7 dias) é o motivo pelo qual os saques para Ethereum via Arbitrum e Optimism levam 7 dias, a menos que sejam utilizadas pontes.
Exemplos do mundo real
| Cenário | Implementação | Resultado |
| Prova de Fraude Arbitral | O verificador detecta raiz de estado incorreta no lote do Arbitrum; submete prova de fraude usando o protocolo interativo BOLD. | Estado fraudulento rejeitado; operador demitido; verificador honesto recompensado. |
| Canhão do Otimismo | O sistema antifraude Cannon da Optimism aceita contestação em lote OP disputado | A bissecção interativa reduz a disputa a uma única instrução da EVM; resolvida na blockchain. |
| Retirada do usuário | O usuário deseja sacar ETH da Arbitrum para a Ethereum. | É necessário aguardar 7 dias (período de contestação), a menos que se utilize uma ponte rápida; a janela antifraude garante esse atraso. |
Vantagens
| A Vantagem | Descrição |
| Baixo custo normal | A verificação on-chain só ocorre quando a fraude é efetivamente detectada, mantendo os custos operacionais baixos. |
| Segurança Ethereum | As provas de fraude implementadas corretamente herdam toda a segurança do Ethereum para ativos de camada 2. |
| Global | Os rollups otimistas escalam o Ethereum de 10 a 100 vezes, mantendo a segurança à prova de fraudes. |
| Participação aberta | Qualquer entidade pode monitorar e enviar provas de fraude – segurança sem permissão. |
Desvantagens e Riscos
| Desvantagem | Descrição |
| Período de carência de 7 dias para retirada do medicamento | O período de contestação exige uma finalidade longa para saques de nível 1. |
| Requer monitoramento ativo | A segurança depende de pelo menos um verificador honesto monitorando a cadeia. |
| Ataques de Luto | Contestantes maliciosos podem apresentar provas de fraude inválidas para atrasar a decisão final. |
| Complexidade | Os protocolos interativos de prevenção de fraudes são extremamente complexos de implementar corretamente. |
| Risco de Ponte | Pontes rápidas que contornam o atraso de 7 dias reintroduzem a confiança centralizada. |
Dicas de gerenciamento de risco:
- Ao sacar grandes quantias de rollups otimistas, utilize a ponte nativa de 7 dias para máxima segurança.
- Pontes rápidas (Atravessar, Saltar) oferecem conveniência, mas introduzem riscos para o operador da ponte.
- Para desenvolvedores: nunca desative as provas de fraude em implantações de rollup otimista; elas são o mecanismo de segurança principal.
Perguntas frequentes
P: Qual a diferença entre uma prova de fraude e uma prova ZK?
A: Uma prova ZK (validade) prova que um cálculo está correto antes de ser submetido. Uma prova de fraude prova que um cálculo submetido estava errado depois de já ter sido submetido. Ambas garantem a correção por meio de mecanismos diferentes.
P: Por que o processo de desistência no Arbitrum leva 7 dias?
A: O período de contestação de 7 dias é a janela de segurança contra fraudes – durante esse tempo, qualquer observador pode contestar o status do saque. Após 7 dias sem uma contestação válida, os fundos são considerados finalizados.
P: Quem pode apresentar uma prova de fraude?
A: Em sistemas totalmente sem permissão (Arbitrum One, Optimism pós-2024), qualquer conta Ethereum pode monitorar o rollup e enviar provas de fraude. Versões anteriores restringiam isso a validadores autorizados.
P: O que acontece com meus fundos se for detectada fraude em um lote de consolidação?
A: O estado fraudulento foi revertido; seus fundos permanecem intactos. O operador/sequenciador que submeteu a fraude teve sua fiança reduzida para compensar o transtorno.
P: Os rollups ZK são mais seguros do que os rollups otimistas com provas de fraude?
A: Nenhum dos dois é estritamente "mais seguro" – ambos podem alcançar segurança equivalente. Os ZK-rollups comprovam a validade antecipadamente; os rollups otimistas dependem de provas de fraude. Os ZK-rollups oferecem finalidade mais rápida; os rollups otimistas têm menor sobrecarga computacional.
Termos relacionados
- Pacote otimista– Solução de escalonamento de camada 2 cuja segurança depende de provas de fraude.
- ZK-Rollup– Consolidação alternativa usando provas de validade em vez de provas de fraude
- Período de desafio– O prazo de 7 dias durante o qual as provas de fraude podem ser apresentadas.
- Sequencer– O operador de nível 2 que submete lotes de transações e pode ser contestado por meio de provas de fraude.
- rede Arbitrum– O principal consolidador otimista usando o protocolo interativo antifraude BOLD
