ZK sempre foi o endgame proposto para o escalonamento do Ethereum e está avançando mais rápido do que o previsto, puxando agressivamente as linhas do tempo para frente. Ainda assim, há uma falta de clareza em torno do design do mercado ao consagrar ZK no L1. Um resumo 🧵da minha palestra EthCC sobre este tema ↓

1/ É útil comparar a delegação de prova ao leilão PBS familiar. Ambos terceirizam tarefas complexas para partes externas, mas os fluxos de caixa vão em direções opostas: construtores compram espaço de bloco valioso provedores vendem o serviço de geração de prova Isto torna a responsabilidade dos provedores mais difícil.

3/ Introduzimos um modelo para aquisição com uma penalização de atividade. A penalização C captura a perda económica de um slot perdido e é incorrida se nenhuma prova for fornecida. Isso pode ser tão grande quanto centenas de ETH (por lances vencedores recentes do MEV-Boost @mevproposerbot)!

7/ Em resumo, a procura de provas não é uma solução única para todos. O ambiente adversarial é semelhante (e, arguivelmente, mais nuançado do que) aquele no design de TFM, mas sem quase tanta literatura de apoio. Algumas questões em aberto abaixo.

h/t @ks_kulk @_julianma @kevaundray pelos seus posts relacionados: - -