Eilinen reaaliaikainen todistusilmoitus on valtava virstanpylväs, ja @VitalikButerin tuo esiin hyviä näkökohtia tarvittavista lisätöistä. MUTTA luulen, että olemme lähempänä kaikissa näissä kohdissa kuin ihmiset saattavat ymmärtää... 1. Pahimmassa tapauksessa reaaliaikainen todistaminen voidaan ratkaista yksinkertaisilla muutoksilla Ethereumin kaasuaikatauluun: Nykyään ~94 % lohkoista voidaan todistaa < 12 sekunnissa, 99 % lohkoista voidaan todistaa < 13 sekunnissa. Jäljellä oleville poikkeamille Ethereumin kaasuaikataulun yksinkertaisten säätöjen pitäisi riittää (tällä hetkellä bn254, bls12-381 esikäännökset ovat alihinnoiteltuja verrattuna niiden todistelukustannuksiin). Myös yksittäisen transaktion kaasun enimmäiskäyttöä rajoittava EIP auttaa varmistamaan, että DDOS-vektoreita ei ole (koska todistamme transaktioiden alalohkoja rinnakkain alhaisen viiveen saavuttamiseksi). 2. SP1:n virallinen vahvistus on jo käynnissä: Kätevästi olemme saaneet viimeisen viikon aikana 2 ilmoitusta SP1:n virallisesta vahvistuksesta, joka työskentelee @NethermindEth ja @VeridiseInc kanssa! Meillä on selkeä näköyhteys kaikkien keskeisten vuotuisten arviointikertomusten viralliseen tarkistamiseen seuraavien kuukausien aikana. 3. Kotona todistamista ei tarvita hajautetuissa todisteverkoissa: Tällä hetkellä RTP vaatii ~160 GPU:ta, mikä on hyvin pieni mille tahansa datakeskukselle, mutta ehkä hieman suuri kotiasennukselle. Hajautettujen todisteverkkojen tulevien lanseerausten myötä en kuitenkaan ole varma, tarvitseeko meidän pyrkiä todistamaan kotona. Verkko kannustaa taloudellisesti siihen, että verkossa on aina todistajia, jotka ovat valmiita todistamaan reaaliajassa. 4. Alilohkojen rinnakkainen todistaminen tarkoittaa, että 100-kertainen kaasuraja ei ole ongelma latenssin suhteen: kannatan 100-kertaista kaasurajaa, eikä tämä ole meille ongelma. Reaaliaikaisessa todentamistoteutuksessamme käytetään alilohkolähestymistapaa, jossa otamme lohkon ja jaamme sen pienemmiksi muutaman tapahtuman alilohkoiksi. Nämä alilohkot todistetaan rinnakkain ja yhdistetään sitten 1 todisteeksi lopussa. Vaikka kaasuraja nousisi 100-kertaiseksi, voimme silti rinnakkaistaa alilohkojen todistamisen (niitä on vain enemmän), mikä tarkoittaa, että latenssi ei vaikuta. Usko johonkin todelliseen. Usko reaaliaikaiseen todistamiseen.
vitalik.eth
vitalik.eth21.5.2025
1. This is average case, not worst case. We need real-time worst case for safe L1 use 2. Not formally verified 3. ~100 kW to prove. Proving is a 1-of-n trust model, but even still, perhaps we want proving doable at home (~10 kW) 4. We wanna 10-100x the L1 gaslimit So, truly amazing work by @pumatheuma and team, but definitely still a few steps to the final destination.
60,75K