Gårsdagens kunngjøring om beviser i sanntid er en stor milepæl, og @VitalikButerin tar opp noen gode poenger om videre arbeid som vil være nødvendig. MEN jeg tror vi er nærmere på alle disse punktene enn folk kanskje er klar over... 1. I verste fall kan sanntidsbevis løses med enkle endringer i Ethereums gassplan: I dag kan ~94 % av blokkene bevises på < 12 sekunder, 99 % av blokkene kan bevises på < 13 sekunder. For de gjenværende uteliggerne bør enkle justeringer av Ethereums gassplan være tilstrekkelig (for øyeblikket er bn254, bls12-381-forhåndskompilatorene underpriset i forhold til beviskostnadene). EIP som begrenser det maksimale gassforbruket til en enkelt transaksjon vil også bidra til å sikre at det ikke er noen DDOS-vektorer (siden vi beviser underblokker av transaksjoner parallelt for å oppnå vår lave latens). 2. Formell verifisering for SP1 er allerede i gang: Beleilig nok har vi hatt 2 kunngjøringer den siste uken om formell verifisering for SP1, i samarbeid med @NethermindEth og @VeridiseInc! Vi har en klar siktlinje for å formelt verifisere alle våre kjerne-AIR-er i løpet av de neste månedene. 3. Hjemmebevis er ikke nødvendig med desentraliserte bevisnettverk: Akkurat nå krever RTP ~160 GPUer, som er veldig lite for ethvert datasenter, men kanskje litt stort for et hjemmeoppsett. Men med de kommende lanseringene av desentraliserte bevisnettverk, er jeg ikke sikker på at vi trenger å sikte på å bevise hjemme. Nettverket vil økonomisk stimulere til at det alltid er bevisere online klare til å bevise i sanntid. 4. Parallellisert påvisning av underblokker betyr at 100xing av gassgrensen ikke er noe problem for ventetid: Jeg er helt for 100xing av gassgrensen, og dette vil ikke være noe problem for oss. Vår sanntidsbevisende implementering bruker en underblokktilnærming, der vi tar en blokk og deler den opp i mindre underblokker med noen få transaksjoner. Disse underblokkene er bevist parallelt, og deretter samlet til 1 bevis på slutten. Selv om gassgrensen øker med 100x, kan vi fortsatt parallellisere bevising av underblokkene (det er bare flere av dem), noe som betyr at latensen ikke vil bli påvirket. Tro på noe ekte. Tro på sanntidsbevis.