Muitas pessoas pensam que a verificação de segurança do Layer2 é feita em tempo real, mas na verdade não é bem assim. Tomando como exemplo soluções como Plasma, a prova de fraude não é uma funcionalidade adicional, mas sim o núcleo de todo o design de segurança.

O fluxo de trabalho é bastante direto. A sidechain gera blocos primeiro, e os operadores submetem o cabeçalho do bloco à mainnet. Mas há um ponto crucial — a mainnet na verdade não verifica imediatamente a autenticidade das transações, apenas registra a promessa de Plasma sobre o estado naquele momento. A verdadeira disputa é empurrada para depois.

Quando um usuário inicia uma retirada de ativos, o mecanismo de prova de fraude realmente entra em ação. A parte que deseja retirar precisa apresentar uma prova: que o ativo realmente existe em um determinado bloco Plasma. Depois, entra no chamado período de desafio — que é o design mais inteligente do Plasma.

Durante o período de desafio, qualquer observador pode submeter uma prova de fraude. Por exemplo, apontar que a solicitação de retirada envolve duplo gasto, que o ativo já foi gasto em uma transação subsequente, ou que o estado em si é inválido. A lógica do Plasma é bastante interessante: ela não exige que você prove tudo antecipadamente, mas sim que você prove "onde houve um problema" posteriormente.

A beleza dessa janela de tempo está na teoria dos jogos. A hipótese do Plasma é que, desde que o período de desafio seja suficientemente longo, sempre haverá alguém disposto a se posicionar para se proteger ou obter incentivos, apontando os problemas. Quando o período se encerra, se ninguém desafiar, a mainnet reconhece a promessa do Plasma como válida, e a retirada é efetivada.

Portanto, você vê, a segurança do Layer2 não depende de cálculos em tempo real, mas de uma "prolongação no tempo". Esse design é ao mesmo tempo audacioso e pragmático, e é justamente nisso que o Plasma mais nos faz refletir.