Gårdagens tillkännagivande av realtidsprovning är en enorm milstolpe, och @VitalikButerin tar upp några bra punkter om ytterligare arbete som kommer att krävas. MEN jag tror att vi är närmare på alla dessa punkter än vad folk kanske inser... 1. Sämsta fall kan realtidsbevisning lösas med enkla ändringar i Ethereums gasschema: Idag kan ~94 % av blocken bevisas på < 12 sekunder, 99 % av blocken kan bevisas på < 13 sekunder. För de återstående extremvärdena bör det räcka med enkla justeringar av Ethereums gasschema (för närvarande är bn254, bls12-381 förkompilerar underprissatta i förhållande till deras beviskostnader). EIP:n som begränsar den maximala gasanvändningen för en enskild transaktion kommer också att bidra till att säkerställa att det inte finns några DDOS-vektorer (eftersom vi bevisar delblock av transaktioner parallellt för att uppnå vår låga latens). 2. Formell verifiering för SP1 är redan igång: Lägligt nog har vi haft 2 tillkännagivanden under den senaste veckan om formell verifiering för SP1, i samarbete med @NethermindEth och @VeridiseInc! Vi har en tydlig sikte för att formellt verifiera alla våra kärn-AIR:er under de närmaste månaderna. 3. Hemmaprovning behövs inte med decentraliserade provnätverk: Just nu kräver RTP ~160 GPU:er, vilket är väldigt litet för alla datacenter men kanske något stort för en hemmainstallation. Men med de kommande lanseringarna av decentraliserade provnätverk är jag inte säker på att vi behöver sikta på att bevisa oss hemma. Nätverket kommer att ge ett ekonomiskt incitament att det alltid finns bevisare online som är redo att bevisa i realtid. 4. Parallelliserad bevisning av underblock innebär att 100x-ing av gasgränsen inte är något problem för latens: Jag är helt för 100x-ing av gasgränsen och detta kommer inte att vara något problem för oss. Vår implementering av realtidsprovning använder en subblock-metod, där vi tar ett block och delar upp det i mindre delblock med några få transaktioner. Dessa underblock bevisas parallellt och aggregeras sedan till 1 bevis i slutet. Även om gasgränsen ökar med 100 gånger kan vi fortfarande parallellisera bevisningen av underblocken (det finns bara fler av dem), vilket innebär att latensen inte kommer att påverkas. Tro på något verkligt. Tro på bevisning i realtid.