O ZK sempre foi o objetivo final proposto para o dimensionamento do Ethereum e está avançando mais rápido do que o previsto, avançando agressivamente nos cronogramas. Ainda assim, há uma falta de clareza em torno do design do mercado ao consagrar o ZK no L1. Um pouco 🧵da minha palestra no EthCC sobre este tópico ↓

1/ É útil comparar a delegação de prova com o leilão familiar da PBS. Ambos terceirizam tarefas complexas para partes externas, mas o caixa flui em direções opostas: Construtores compram espaço valioso Provadores vendem o serviço de geração de provas Isso torna a responsabilidade do provador mais difícil

3/ Introduzimos um modelo de aquisição com penalidade de vivacidade. A penalidade 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 (de acordo com os lances vencedores recentes do MEV-Boost @mevproposerbot)!

7/ Em resumo, a aquisição de provas não é de tamanho único. O ambiente contraditório é semelhante (e sem dúvida mais sutil do que) o do design do TFM, mas sem tanta literatura de apoio. Algumas questões em aberto abaixo.

h / t @ks_kulk @_julianma @kevaundray para suas postagens relacionadas: - -