Autor: @yyy
A Coinbase anunciou que entraria no mercado e construiria um L2 baseado no OP Stack - @BuildOnBase O sentimento de “otimismo no otimismo” foi mais uma vez aceso. Aproveitando a oportunidade, este tweet falará sobre o período de desafio do Otimismo.
Como todos sabemos, a retirada dos fundos de segunda camada do Optimism para a rede principal Ethereum requer um período de desafio de 7 dias.
Então, por que exatamente 7 dias? 3 dias? Não são 5 dias?
Antes de responder a esta pergunta, vamos primeiro entender por que é necessário um período de desafio.
Os rollups melhoram o desempenho da rede principal Ethereum, desacoplando a camada de execução do Ethereum. Isto significa que as transações são executadas na segunda camada, mas para herdar a segurança da rede principal Ethereum, as transações que ocorrem na segunda camada devem ser verificadas na rede principal.
Simplificando, a rede principal Ethereum precisa confirmar se a transação enviada pelo sequenciador realmente ocorreu na segunda camada, ou seja, a validade da transação.
Rollup é dividido em zk-Rollup e Optimistic Rollup devido aos diferentes métodos de verificação da validade da transação.
Os métodos de verificação são classificados principalmente em duas categorias: prova de conhecimento zero e prova de fraude. Sob o mecanismo de prova de conhecimento zero, as transações têm finalidade quase instantânea.
Para ORUs baseadas em prova de fraude, a finalidade da transação depende da duração do período de desafio, o que explica porque leva 7 dias para que os fundos do Optimism sejam retirados da segunda camada para a rede principal.
No mecanismo ORUs, é otimista que todas as transações Rollup enviadas pelo sequenciador sejam válidas. Então, durante o período de contestação, o verificador pode iniciar uma prova de fraude se encontrar uma transação inválida.
Se ninguém contestar após o período de contestação, a transação será considerada válida por padrão e a transação será final neste momento.
Mas será que o período do desafio realmente dura sete dias? Vamos primeiro simplificar todo o processo de contestação: o verificador descobre uma transação inválida reconstruindo a raiz do estado e, em seguida, emite uma prova de fraude. Esta série de ações leva tempo, o que significa que o período do desafio não pode ser 0.
Presumimos que o processo de desafio acima é muito rápido, 10 blocos para ser concluído (cerca de 2 minutos).
Claro que é impossível ter uma resposta tão rápida, por isso se diminuirmos o tempo em 10 vezes, para 100 blocos (cerca de 20 minutos), este tempo será muito inferior a 50.400 blocos (7 dias).
A discussão acima é baseada na situação mais ideal. E se alguém fizer o mal na rede? Quanto tempo leva para descobrir uma irregularidade?
Ou, dito de outra forma, por quanto tempo o período de desafio precisa ser estendido, pelo menos, para impedir o mau comportamento? O mau comportamento aqui é evitar que provas fraudulentas sejam recebidas pelos validadores, publicando um grande número de transações para aumentar o gás durante um período de tempo.
Aqui fazemos outra suposição, assumindo que há uma exposição ao risco de 2 bilhões de dólares americanos no Otimismo, e que o perpetrador está disposto a gastar 1 milhão de dólares americanos em gorjetas de gás (taxas prioritárias) por bloco para transações "front-run" que contêm provas de fraude.
Então, o tempo máximo que a rede pode ser “sequestrada” é de 2.000 blocos (6,67 horas). É claro que os exemplos anteriores baseiam-se em algumas suposições muito simples e grosseiras.
Parece que não importa como você olhe, o período do desafio não precisa ser tão longo quanto 7 dias. É difícil compreender a relação não linear entre a duração do período de desafio e a segurança.
Talvez 7 seja um número muito significativo para o fundador do Otimismo, assim como todos adivinham que Satoshi Nakamoto é um amante do futebol durante o ciclo de redução pela metade do Bitcoin de 4 anos.
Então, o período de desafio para ORUs pode ser reduzido para 3 a 5 dias sem comprometer a segurança? Sim, mas não é muito otimizado para a experiência do usuário.
Que tal reduzir o período do desafio para 1-2 dias? Parece que pode fazer sentido otimizar efetivamente a experiência do usuário.
@0xMantle, uma ORU incubada pela BitDAO, pode reduzir o período de desafio para 1-2 dias. A lógica de otimização do período de desafio é baseada no esquema MPC.
Simplificando, o sequenciador não envia diretamente o lote de transações ao Ethereum, mas primeiro o envia à rede MPC, que é assinada conjuntamente pelos nós do MPC. Depois de confirmar que a transação é válida, ela é enviada ao Ethereum.
Portanto, as principais diferenças são:
O Optimism envia o lote contendo a raiz do estado para Ethereum como resultado da execução;
Mantle envia lotes contendo raízes de estado assinadas conjuntamente por nós MPC como resultados de execução para Ethereum.
O objetivo é reduzir o risco de confiança dos resultados da execução do Rollup.
Mas, em última análise, a verificação MPC ainda é uma solução de verificação fora da cadeia, que é melhor do que nada e proporciona um conforto psicológico extra aos utilizadores.
Para usar uma metáfora inadequada, o esquema de verificação MPC é como um esquema zk descentralizado. A segurança do primeiro baseia-se em pressupostos económicos, enquanto o segundo baseia-se na verificação criptográfica.
O que foi dito acima são algumas reflexões e discussões sobre o período de desafio das ORUs. Elas não são muito lógicas e devem ser usadas como sugestões. Aliás, ainda estou ansioso para ver ORUs (níveis de compartilhamento de tempo) com períodos de desafio significativamente reduzidos no futuro.