De framsteg som @SuccinctLabs och @RiscZero har gjort mot realtidsprovning har varit superimponerande. QT-ing inte för att vara kritisk utan för att jag tycker att dessa frågor är riktigt intressanta (och jag skulle vilja se RTP träffa Ethereum!). 1. Att bevisa alla historiska Ethereum-block inom 12 sekunder är inte tillräckligt för att täcka värsta möjliga bevistid. Detta är viktigt eftersom det finns möjliga patologiska ("prover-killer") block där beviskostnaden >> gaskostnaden (beviskostnaden är ett mått på latens eller $). Det första steget är att bevisa alla historiska block inom 12 sekunder. Men det räcker inte. Vi måste arbeta för att identifiera patologiska fall som ännu inte har dykt upp på Ethereum. Inte säker på vad kostnadsschemat är för SP1, men något som ett helt block fullt av extcodehash kan vara dyrt i latenstermer. 2. Formell verifiering måste också omfatta kompilatorn 😱 @argumentxyz hade en bra artikel om hur ofta kompilatorbuggar hittas ( tl; dr: det finns en specifik klass av "feloptimeringsbuggar" som potentiellt kan utnyttjas i zkVMs för att skapa sundhetsproblem. Dessa buggar hittas ganska ofta. @drakefjustin har hävdat att vi kan komma runt detta med många zkVM-implementeringar. Men det fungerar inte om dessa zkVM:er delar samma kompilatorverktygskedja och är sårbara för samma buggar. 3. Att bevisa hemma behövs inte Jag tror att jag håller med om att det inte är nödvändigt att bevisa sig hemma. Vi förlitar oss redan på aktörer utanför protokollet, t.ex. byggare, för att konstruera block. Den garanti som vi vill ha är att *någon* alltid är tillgänglig för att generera bevis. Att skjuta upp RTP för WW3-scenariot där alla bevisare går offline verkar vara överdrivet. Kanske kan Ethereum i det här scenariot återgå till ett läge där gasgränsen minskar och block exekveras igen snarare verifierade med ZKP:er. 4. 100x-ing av gasgränsen kan skapa problem Parallelliserad bevisning hjälper definitivt, men tidpunkten är så snäv att vi måste överväga vittnesgenerering (inte parallelliserbar i många zkVMs) och rekursion. Rekursionsoverhead bör skalas logaritmiskt, men om gasgränsen ökar med 100 gånger kan bevistiderna överskrida blocktiderna. Bonus - Jag skulle vilja påstå att det är väldigt viktigt för Ethereum att minska blocktiderna och tiden till slutgiltighet, för att hjälpa användare ombord på L2s, bridge från CEX, etc. Detta ökar latenskraven på att bevisa. ...