L'annuncio di ieri della dimostrazione in tempo reale è una pietra miliare enorme, e @VitalikButerin solleva alcuni punti positivi su ulteriori lavori che saranno necessari. MA penso che siamo più vicini su tutti questi punti di quanto la gente possa immaginare... 1. Nel peggiore dei casi, la dimostrazione in tempo reale può essere risolta con semplici modifiche al programma del gas di Ethereum: oggi, ~94% dei blocchi può essere dimostrato in < 12 secondi, il 99% dei blocchi può essere dimostrato in < 13 secondi. Per i restanti valori anomali, dovrebbero essere sufficienti semplici aggiustamenti al programma del gas di Ethereum (attualmente le precompilazioni bn254, bls12-381 sono sottovalutate rispetto ai loro costi di prova). Inoltre, l'EIP che limita l'utilizzo massimo di gas di una singola transazione aiuterà a garantire che non ci siano vettori DDOS (poiché dimostriamo sottoblocchi di transazioni in parallelo per ottenere la nostra bassa latenza). 2. La verifica formale per SP1 è già in corso: convenientemente, la scorsa settimana abbiamo ricevuto 2 annunci sulla verifica formale per SP1, in collaborazione con @NethermindEth e @VeridiseInc! Abbiamo una chiara linea di vista per verificare formalmente tutti i nostri principali AIR nei prossimi mesi. 3. La prova a casa non è necessaria con le reti prover decentralizzate: in questo momento RTP richiede ~160 GPU, che è molto piccolo per qualsiasi data center ma forse leggermente grande per una configurazione a casa. Tuttavia, con i prossimi lanci di reti prover decentralizzate, non sono sicuro che dobbiamo puntare a dimostrare a casa. La rete incentiverà economicamente la presenza di dimostratori online pronti a dimostrare in tempo reale. 4. La verifica parallelizzata dei sottoblocchi significa che 100 volte il limite del gas non è un problema per la latenza: sono completamente a favore di 100 volte il limite del gas e questo non sarà un problema per noi. La nostra implementazione di dimostrazione in tempo reale utilizza un approccio a sottoblocchi, in cui prendiamo un blocco e lo suddividiamo in sottoblocchi più piccoli di poche transazioni. Questi sottoblocchi vengono dimostrati in parallelo e quindi aggregati in 1 dimostrazione alla fine. Anche se il limite del gas aumenta di 100 volte, possiamo comunque parallelizzare la prova dei sottoblocchi (ce ne sono solo di più), il che significa che la latenza non sarà influenzata. Credi in qualcosa di reale. Credi nella prova in tempo reale.