Anunțul de ieri este o piatră de hotar uriașă și @VitalikButerin aduce în discuție câteva puncte bune despre lucrările ulterioare care vor fi necesare. DAR cred că suntem mai aproape în toate aceste puncte decât și-ar putea da seama oamenii... 1. În cel mai rău caz, demonstrarea în timp real poate fi rezolvată cu modificări simple ale programului de gaz al Ethereum: Astăzi, ~94% din blocuri pot fi dovedite în < 12 secunde, 99% din blocuri pot fi dovedite în < 13 secunde. Pentru restul valorilor aberante, ar trebui să fie suficiente ajustări simple ale programului de gaze al Ethereum (în prezent, precompilările bn254, bls12-381 sunt subevaluate în raport cu costurile lor de dovedire). De asemenea, EIP care limitează consumul maxim de gaz al unei singure tranzacții va ajuta la asigurarea faptului că nu există vectori DDOS (deoarece dovedim subblocuri de tranzacții în paralel pentru a obține latența noastră scăzută). 2. Verificarea formală pentru SP1 este deja în curs de desfășurare: În mod convenabil, am avut 2 anunțuri în ultima săptămână despre verificarea formală pentru SP1, lucrând cu @NethermindEth și @VeridiseInc! Avem o linie de vedere clară pentru a verifica oficial toate AIR-urile noastre de bază în următoarele câteva luni. 3. Dovedirea la domiciliu nu este necesară cu rețelele de probă descentralizate: În acest moment, RTP necesită ~ 160 de GPU-uri, ceea ce este foarte mic pentru orice centru de date, dar poate puțin mare pentru o configurație la domiciliu. Cu toate acestea, odată cu lansările viitoare ale rețelelor de probă descentralizate, nu sunt sigur că trebuie să urmărim să dovedim acasă. Rețeaua va stimula economic că există întotdeauna programe online gata să dovedească în timp real. 4. Demonstrarea paralelă a subblocurilor înseamnă că limita de gaz de 100x nu este o problemă pentru latență: sunt pentru limita de gaz de 100x și asta nu va fi o problemă pentru noi. Implementarea noastră de demonstrare în timp real folosește o abordare de subbloc, în care luăm un bloc și îl împărțim în subblocuri mai mici din câteva tranzacții. Aceste subblocuri sunt dovedite în paralel și apoi agregate în 1 probă la sfârșit. Chiar dacă limita de gaz crește de 100 de ori, putem totuși paraleliza demonstrarea subblocurilor (sunt doar mai multe), ceea ce înseamnă că latența nu va fi afectată. Crede în ceva real. Crede în demonstrarea în timp real.