De real-time bewijsaankondiging van gisteren is een enorme mijlpaal en @VitalikButerin brengt een aantal goede punten naar voren over verder werk dat nodig zal zijn. MAAR ik denk dat we op al deze punten dichterbij zijn dan mensen misschien beseffen... 1. In het ergste geval kan real-time bewijs worden opgelost met eenvoudige wijzigingen in het gasschema van Ethereum: Vandaag kan ~94% van de blokken in < 12 seconden worden bewezen, 99% van de blokken kan in < 13 seconden worden bewezen. Voor de overige uitschieters zouden eenvoudige aanpassingen aan het gasschema van Ethereum voldoende moeten zijn (momenteel zijn de bn254, bls12-381 precompilaties te laag geprijsd in verhouding tot hun bewijskosten). Ook de EIP die het maximale gasverbruik van een enkele transactie beperkt, zal ervoor zorgen dat er geen DDOS-vectoren zijn (aangezien we subblokken van transacties parallel bewijzen om onze lage latentie te bereiken). 2. Formele verificatie voor SP1 is al aan de gang: Handig is dat we de afgelopen week 2 aankondigingen hebben gehad over formele verificatie voor SP1, in samenwerking met @NethermindEth en @VeridiseInc! We hebben een duidelijk zicht om al onze kern-AIR's de komende maanden formeel te verifiëren. 3. Thuis testen is niet nodig met gedecentraliseerde prover-netwerken: Op dit moment vereist RTP ~160 GPU's, wat erg klein is voor elk datacenter, maar misschien iets groot voor een thuisopstelling. Met de aanstaande lanceringen van gedecentraliseerde prover-netwerken, weet ik echter niet zeker of we ernaar moeten streven om thuis te bewijzen. Het netwerk zal economisch stimuleren dat er altijd online experts klaar staan om in realtime te bewijzen. 4. Geparallelliseerd bewijzen van subblokken betekent dat 100x-ing van de gaslimiet geen probleem is voor latency: ik ben helemaal voor 100x-ing van de gaslimiet en dit zal voor ons geen probleem zijn. Onze real-time bewijsimplementatie maakt gebruik van een subblokbenadering, waarbij we een blok nemen en het opsplitsen in kleinere subblokken van een paar transacties. Deze subblokken worden parallel bewezen, en vervolgens aan het eind samengevoegd tot 1 bewijs. Zelfs als de gaslimiet met 100x toeneemt, kunnen we het bewijs van de subblokken nog steeds parallelliseren (er zijn er gewoon meer), wat betekent dat de latentie niet wordt beïnvloed. Geloof in iets echts. Geloof in real-time bewijzen.