Unidade 3 · Nível 2 · Layer 2s
Optimistic vs ZK
Como a Ethereum sabe que o lote de um rollup é honesto? Duas escolas. Os rollups optimistic (Arbitrum, Optimism) assumem que os lotes são válidos, mas deixam uma janela de contestação (cerca de sete dias) durante a qual qualquer um pode enviar uma prova de fraude mostrando que um lote estava errado. Os rollups ZK pulam a espera: cada lote chega com uma prova de validade, um pedaço de matemática criptográfica que demonstra a correção na entrada. Inocente até ser contestado versus provado inocente na chegada.
Grátis. Sem anúncios, sem token e sem conta para começar.
O que você vai responder
Ligue cada termo ao seu significado
Dois jeitos diferentes de responder uma pergunta: por que a L1 deveria acreditar no que a L2 diz?
Por que os rollups optimistic mantêm uma janela de contestação de cerca de 7 dias?
'Optimistic' significa não verificado por padrão; a janela é a rede de segurança. Um único vigilante honesto com uma prova de fraude basta para barrar um lote ruim.
Qual é a vantagem principal dos rollups ZK?
A matemática chega junto com o lote, então a L1 pode aceitá-lo na hora, sem o suspense de sete dias. ('ZK' é abreviação de zero-knowledge, a família de provas usada.)
Os rollups optimistic assumem que os lotes são válidos, a menos que alguém envie uma prova de ___.
Provas de fraude punem mentiras depois do fato; provas de validade as previnem na entrada. Mesmo objetivo, timing oposto.
Pergunta honesta: se o ZK pula a espera, por que alguém roda rollups optimistic?
Gerar provas de validade exige computação e engenharia sérias; os designs optimistic chegaram antes e continuam mais simples. É trade-off até lá embaixo, como sempre. 🐜
O resto desta unidade
Rollups: faça o trabalho lá em cima, pague a conta na Ethereum.