O anúncio da prova em tempo real de ontem é um grande marco, e @VitalikButerin traz alguns pontos positivos sobre o trabalho adicional que será necessário. MAS acho que estamos mais próximos em todos esses pontos do que as pessoas podem imaginar... 1. Pior caso de prova em tempo real pode ser resolvido com mudanças simples no cronograma de gás do Ethereum: Hoje, ~94% dos blocos podem ser provados em < 12 segundos, 99% dos blocos podem ser comprovados em < 13 segundos. Para os outliers restantes, ajustes simples no cronograma de gás do Ethereum devem ser suficientes (atualmente as pré-compilações bn254, bls12-381 estão subfaturadas em relação aos seus custos de prova). Além disso, o EIP limitando o uso máximo de gás de uma única transação ajudará a garantir que não haja vetores DDOS (uma vez que comprovamos subblocos de transações em paralelo para alcançar nossa baixa latência). 2. A verificação formal para o SP1 já está em andamento: convenientemente, tivemos 2 anúncios na semana passada sobre a verificação formal para o SP1, trabalhando com @NethermindEth e @VeridiseInc! Temos uma linha de visão clara para verificar formalmente todos os nossos principais AIRs nos próximos meses. 3. A prova em casa não é necessária com redes prover descentralizadas: Neste momento, a RTP requer ~160 GPUs, o que é muito pequeno para qualquer centro de dados, mas talvez um pouco grande para uma configuração em casa. No entanto, com os próximos lançamentos de redes de provadores descentralizadas, não tenho certeza de que precisamos ter como objetivo provar em casa. A rede incentivará economicamente que haja sempre provadores on-line prontos para provar em tempo real. 4. Prova paralelizada de subblocos significa que 100x-ing o limite de gás não é problema para latência: Eu sou totalmente a favor de 100x-ing o limite de gás e isso não será problema para nós. Nossa implementação de comprovação em tempo real usa uma abordagem de subbloco, onde pegamos um bloco e o dividimos em subblocos menores de algumas transações. Estes subblocos são comprovados em paralelo e, em seguida, agregados em 1 prova no final. Mesmo que o limite de gás aumente em 100x, ainda podemos paralelizar a prova dos subblocos (há apenas mais deles), o que significa que a latência não será afetada. Acredite em algo real. Acredite na prova em tempo real.