O Ethereum possui um limite de gás. Mas podemos provar matematicamente o trabalho computacional máximo necessário para verificar qualquer bloco válido? Surpreendentemente, ainda não temos um limite superior finito certificado para o modelo completo de desafio. Esse é o problema que @yukonresearch, @zksecurityXYZ e @Veritylab estão abordando com https://t.co/w9Ti86Tqsj. Atualmente, validadores do Ethereum executam transações independentemente para verificar blocos. À medida que o Ethereum avança em direção à validação baseada em zkEVM, o desafio se estende além da execução correta das transações. Também precisamos entender o custo computacional no pior caso. Por que isso importa? Um bloco do Ethereum pode ser válido e ainda assim exigir computação excessivamente cara. Se os custos de prova se tornarem imprevisíveis, a prova ZK em tempo real pode se tornar um gargalo para a escalabilidade do Ethereum. https://t.co/w9Ti86Tqsj introduz uma competição aberta para estabelecer limites superiores matematicamente certificados para o cálculo de validação de blocos. As implicações são significativas: → Cargas de trabalho de execução e prova mais previsíveis. → Fundações mais sólidas para prova ZK em tempo real. → Maior confiança para aumentar os limites de gás do Ethereum. → Um caminho rumo à validação em hardware mais acessível. Claro, limitar os passos de execução não garante automaticamente provas ZK rápidas. Mas é uma base importante. O próximo desafio de escalabilidade do Ethereum não é apenas tornar a execução mais rápida. É tornar o custo computacional no pior caso previsível e comprovável. E à medida que rollups do Ethereum, como @puffer_unifi, avançam em direção à menor latência e composição síncrona, esse tipo de pesquisa se torna cada vez mais relevante. https://t.co/SwPS2w3ic1