Fremgangen @SuccinctLabs og @RiscZero har gjort mot sanntidsbevis har vært superimponerende. QT-ing ikke for å være kritisk, men fordi jeg synes disse spørsmålene er veldig interessante (og jeg vil gjerne se RTP treffe Ethereum!). 1. Å bevise alle historiske Ethereum-blokker innen 12 sekunder er ikke tilstrekkelig for å dekke verste tenkelige bevistid. Dette er viktig fordi det er mulige patologiske ("prover-killer") blokker der beviskostnad >> gasskostnad (beviskostnad er et mål på latens eller $). Det første trinnet er å bevise alle historiske blokker innen 12s. Men dette er ikke nok. Vi må jobbe for å identifisere patologiske tilfeller som ikke har dukket opp på Ethereum ennå. Ikke sikker på hva kostnadsplanen er for SP1, men noe sånt som en hel blokk full av extcodehash kan være dyrt når det gjelder latens. 2. Formell verifisering må også dekke kompilatoren 😱 @argumentxyz hadde en god artikkel om hvor ofte kompilatorfeil blir funnet ( tl; dr det er en spesifikk klasse av "feiloptimaliseringsfeil" som potensielt kan utnyttes i zkVM-er for å skape soliditetsproblemer. Disse feilene finnes ganske ofte. @drakefjustin har hevdet at vi kan omgå dette med mange zkVM-implementeringer. Men det fungerer ikke hvis disse zkVM-ene deler den samme kompilatorverktøykjeden og er sårbare for de samme feilene. 3. Hjemmebevis er ikke nødvendig Jeg tror at jeg er enig i at det ikke er nødvendig å bevise hjemme. Vi er allerede avhengige av utenomprotokollaktører som byggherrer for å konstruere blokker. Garantien vi ønsker er at *noen* alltid er tilgjengelig for å generere bevis. Å utsette RTP for WW3-scenariet der alle bevisere går offline virker som overkill. Kanskje i dette scenariet kan Ethereum som standard gå tilbake til en modus der gassgrensen reduseres og blokker utføres på nytt i stedet for verifisert med ZKP-er. 4. 100x-ing av gassgrensen kan skape problemer Parallellisert bevising hjelper definitivt, men timingen er så stram at vi må vurdere vitnegenerering (ikke parallelliserbar i mange zkVM-er) og rekursjon. Rekursjonsoverhead bør skaleres logaritmisk, men hvis gassgrensen øker med 100x, kan bevistiden overskride blokkeringstidene. Bonus - Jeg vil hevde at det er veldig viktig for Ethereum å redusere blokkeringstider og tid til endelighet, for å hjelpe brukere ombord til L2-er, bygge bro fra CEX-er, etc. Dette øker latenskravene til bevising. Det ville være suboptimalt hvis vi ikke klarer å flytte til 1s blokktider fordi den nedre grensen for verste fall RTP-latens er 10s.