O anúncio de 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. Na pior das hipóteses, a prova em tempo real pode ser resolvida com mudanças simples no cronograma de gás do Ethereum: Hoje, ~ 94% dos blocos podem ser comprovados 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 subvalorizadas em relação aos seus custos de comprovação). 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 provamos subblocos de transações em paralelo para alcançar nossa baixa latência). 2. A verificação formal do SP1 já está em andamento: Convenientemente, tivemos 2 anúncios na semana passada sobre a verificação formal do 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 de provadores descentralizadas: No momento, o RTP requer ~ 160 GPUs, o que é muito pequeno para qualquer data center, mas talvez um pouco grande para uma configuração doméstica. No entanto, com os próximos lançamentos de redes de provadores descentralizadas, não tenho certeza se precisamos tentar provar em casa. A rede incentivará economicamente que sempre haja provadores online prontos para provar em tempo real. 4. A prova paralelizada de subblocos significa que 100x o limite de gás não é problema para a latência: sou totalmente a favor de 100x o limite de gás e isso não será problema para nós. Nossa implementação de prova em tempo real usa uma abordagem de subbloco, onde pegamos um bloco e o dividimos em subblocos menores de algumas transações. Esses 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.