@SuccinctLabs ja @RiscZero edistyminen kohti reaaliaikaista todistamista on ollut erittäin vaikuttavaa. QT-ing ei ole kriittinen, vaan koska mielestäni nämä kysymykset ovat todella mielenkiintoisia (ja haluaisin nähdä RTP:n osuvan Ethereumiin!). 1. Kaikkien historiallisten Ethereum-lohkojen todistaminen 12 sekunnin kuluessa ei riitä kattamaan pahimman mahdollisen todistusajan. Tämä on tärkeää, koska on olemassa mahdollisia patologisia ("prover-killer") lohkoja, joissa todistekustannukset >> kaasukustannukset (todistekustannus on latenssin tai $:n mitta). Ensimmäinen askel on todistaa kaikki historialliset lohkot 12 sekunnin sisällä. Mutta tämä ei riitä. Meidän on pyrittävä tunnistamaan patologiset tapaukset, jotka eivät ole vielä näkyneet Ethereumissa. En ole varma, mikä on SP1:n kustannusaikataulu, mutta esimerkiksi kokonainen lohko täynnä extcodehashia voi olla kallis latenssin kannalta. 2. Muodollisen vahvistuksen on katettava myös kääntäjä 😱 @argumentxyz ollut hyvä artikkeli kääntäjän virheiden esiintymistiheydestä ( tl; dr on olemassa tietty luokka "virheoptimointivirheitä", joita voidaan mahdollisesti hyödyntää zkVM:issä luotettavuusongelmien luomiseksi. Näitä vikoja löytyy melko usein. @drakefjustin on väittänyt, että voimme kiertää tämän monilla zkVM-toteutuksilla. Mutta se ei toimi, jos nämä zkVM:t jakavat saman kääntäjän työkaluketjun ja ovat alttiita samoille virheille. 3. Kotona tapahtuvaa todistamista ei tarvita Luulen, että olen samaa mieltä siitä, että kotona todistaminen ei ole välttämätöntä. Luotamme jo nyt protokollan ulkopuolisiin toimijoihin, kuten rakentajiin, lohkojen rakentamisessa. Taku, jonka haluamme, on, että *joku* on aina käytettävissä luomaan todisteita. RTP:n lykkääminen WW3-skenaariossa, jossa kaikki todistajat menevät offline-tilaan, tuntuu liioittelulta. Ehkä tässä skenaariossa Ethereum voisi oletusarvoisesti palata tilaan, jossa kaasuraja laskee ja lohkot suoritetaan uudelleen sen sijaan, että ne tarkistetaan ZKP:illä. 4. 100-kertainen kaasuraja voi aiheuttaa ongelmia Rinnakkaistodistaminen auttaa ehdottomasti, mutta ajoitus on niin tiukka, että meidän on otettava huomioon todistajien luominen (ei rinnakkaistettavissa monissa zkVM:issä) ja rekursio. Rekursion yläpuolella pitäisi skaalautua logaritmisesti, mutta jos kaasuraja kasvaa 100-kertaiseksi, todisteajat voivat ylittää lohkoajat. Bonus - Väittäisin, että Ethereumille on todella tärkeää lyhentää lohkoaikoja ja aikaa lopullisuuteen, jotta käyttäjät voivat siirtyä L2:een, siltaa CEX:istä jne. Tämä lisää todisteiden latenssivaatimuksia. Olisi epäoptimaalista, jos emme pystyisi siirtymään 1 sekunnin lohkoaikoihin, koska pahimman tapauksen RTP-latenssin alaraja on 10 sekuntia.