Ethereum įrodinėjimo išlaidos susiduria su Vitaliko blogiausiu atveju
Vitalikas Buterinas paragino nustatyti griežtas „Ethereum“ ribas, įrodančias sąnaudas už blokinių dujų vienetą, pridedant išteklių apskaitos testą, kad būtų galima greičiau įrodyti, kad žinios nėra. Nepriklausomiems operatoriams problema yra ta, kiek darbo gali pareikalauti sunkiausiai leistinas blokas, net kai įprasti blokai greitai baigiasi.
Savo spalio 15 d. įraše Buterinas pasveikino „ZKsync“ „Airbender“ komandą ir nustatė tris formalaus patikrinimo prioritetus: matematinį vykdymo atvaizdavimą suderinti su „Ethereum“ specifikacijomis, apriboti patikrinimo išlaidas, palyginti su blokuotomis dujomis, ir pačios patikrinimo sistemos apsaugą.
Išlaidų reikalavimas viršija greičio lyderių lentelę. Dujos suteikia Ethereum galimybę atsiskaityti už darbą ir apriboti bloko išteklių suvartojimą. Naudinga įrodinėjimo riba turėtų susieti tą pašalpą su ištekliais, reikalingais įrodymui pateikti, įskaitant sąmoningai sudėtingus darbo krūvius.
Saugumas jau buvo prioritetas. 2025 m. gruodžio mėn. Ethereum fondas nustatė į saugumą orientuotą etapą. Šiuo metu kyla klausimas, ar apskaita, kuri palaiko didesnį vykdymo pajėgumą, taip pat gali išlaikyti nuspėjamą įrodinėjimo naštą.
Greiti įrodymai ir sunkiausiai leidžiami blokai
Dabartinėje EIP-7904 skaičiavimo sąnaudų analizėje nerekomenduojama skaičiuoti dujų sąnaudų pakeitimų. Spalio 18 d. tai yra informacinis EIP paskutiniame skambutyje, kurio galutinis terminas yra lapkričio 1 d.
Jo analizė nukreipta į 100 milijonų dujų per sekundę optimizuoto vietinio vykdymo klientams. Dokumente pakeista išvada priskiriama optimizavimui, kurį įgalino bloko lygio prieigos sąrašai, įskaitant lygiagretų darbą, kuris pagreitina anksčiau problemines operacijas. Jame nenurodomi jokie Ethereum dujų grafiko pakeitimai.
Ši išvada turi apibrėžtą apimtį: vykdymas matuojamas tuščiu CPU. EIP-7904 aiškiai sako, kad jis nėra konkrečiai skirtas ZK-SNARK įrodymo generavimui. CPU vykdymas ir įrodymų generavimas nustato skirtingus darbo krūvius.
„ZKsync“ vieno GPU įvertinimas parodo pažangą bandomojoje pusėje. Savo spalio 13 d. pranešime bendrovė pranešė, kad vienas NVIDIA RTX PRO 6000 Blackwell įrodė 99% iš 7200 iš eilės Ethereum tinklo blokų per mažiau nei 10 sekundžių, įskaitant liudininkų paruošimą. Kiekvienas atrinktas blokas baigtas per mažiau nei 12 sekundžių.
Skelbime taip pat aprašytos atskiros tiesioginės ETHproofs konfigūracijos, naudojant du ir keturis GPU.
Pavyzdys įrašo tų blokų našumą. Didžiausių išlaidų garantija turi apimti kiekvieną leistiną darbo krūvį pagal nurodytas prielaidas, įskaitant blokus, kurie sąmoningai surinkti, kad būtų brangu įrodyti.
Operatoriui, kuris sudaro biudžetą aparatinei įrangai, šis skirtumas yra svarbus. Įprastas blokas gali patogiai tilpti mažoje sąrankoje, o sudėtingas teisinis darbo krūvis lemia rezervinį pajėgumą, reikalingą įrodymams laiku pateikti.
Darbo krūvis yra svarbus, nes vykdymo dujų vienetas gali atitikti skirtingus įrodinėjimo darbų kiekius. Sausio 27 d. matavimų metu „Nethermind Research“ darbuotojas Linas Oshitanis nustatė, kad kriptografinių išankstinių kompiliacijų ir kelių modulinių aritmetinių ar padalijimo operacijų įrodymas buvo gana brangus už dujas. Išlaidos skyrėsi atsižvelgiant į įrodymą, o ZK ciklų skaičiavimai nepadarė vienodo įrodinėjimo laiko per visas operacijas.
Tyrimo metu buvo įvertintas ribinis įrodinėjimo laikas, keičiant operacijų skaičių, išlaikant aplinkinį vykdymo kontekstą pastovų. Jis išbandė SP1 v5.2.3 su sp1 klasterį ir RISC0 v3.0.4, naudodamas reth v1.9.3 ir keturis NVIDIA GeForce RTX 4090 GPU. RISC0 naudojo RISC0_KECCAK_PO2=15 nustatymą.
Atliekant matavimus buvo naudojamos fiksuotos reprezentatyvios arba geriausios pastangos blogiausio atvejo įvestis. Jie praleido bloko antraštės patvirtinimą ir netyčia praleido BLOCKHASH; išsamus nuo argumentų priklausančių išlaidų tyrimas liko būsimam darbui.
Stipresniam įrišimui reikalingas nurodytas veikimo vokas. Ethereum fondo sausio mėnesio blogiausio atvejo lyginamosios analizės sistema reikalaujama įrodyti pralaidumą susieja su pasirinkta bloko dujų riba ir įrodinėjimo terminu. Pagal šį metodą sudėtingas blokas vis tiek turi atitikti numatytą aparatūros ir laiko biudžetą.
Sistema taip pat paaiškina, kodėl reikia atlikti kiekvienos operacijos įvertinimą nuo galo iki galo. Įrodymų generavimas turi fiksuotas pridėtines išlaidas, agregavimas gali būti netiesinis, o aparatinės įrangos konfigūracija ir saugos parametrai turi įtakos našumui. Taip pat svarbus vykdymo klientų ir tikrinimo sistemų, kuriose turėtų dalyvauti, rinkinys.
Kaip pasirinkimai pasiekia operatorius ir vartotojus
Inžinerinis atsakas nustato, kur nukrenta našta. Patobulinus brangią grandinę arba vykdymo kelią, gali sumažėti įrodinėjimo darbas, o operacijos vykdymo dujų blokai nepakeistų. Tada operatoriams gali prireikti mažiau išteklių tam pačiam darbo krūviui.
Nethermind tyrime taip pat buvo aprašytas svertinis ZK dujų matavimas su bloko lubomis. Tokioje sistemoje būtų įskaičiuotos sudėtingos operacijos, kai gaunamas atskiras leidimas, o tai gali apriboti bloką prieš išnaudojant įprastą vykdymo dujų leidimą. Jo apsauga priklausys nuo to, kaip gerai svoriai užfiksavo sudėtingas įvestis.
Ekonominiu požiūriu išteklių viršutinė riba ir mokėjimo taisyklė atsako į atskirus klausimus. Viršutinė riba gali nustatyti, kiek darbo leidžiama, nenurodant, ką moka programos vartotojas arba ką uždirba įrodininkas. Norint apmokestinti patikrinamuosius išteklius, reikės papildomų dizaino pasirinkimų.
EIP-7999 daugiamatis mokesčių rinkos pasiūlymas lieka projektu ir išskiria skambinimo duomenis į savo išteklius.
Opcode perkainojimas būtų vykdomas naudojant esamą dujų leidimą. Priskyrus daugiau dujų brangioms operacijoms, mažiau jų būtų galima patekti į bloką esant fiksuotam dujų limitui. Programos, naudojančios šias operacijas, gali sunaudoti daugiau dujų, kad būtų sėkmingai vykdomos.
Pagal EIP-1559 nurodytą vykdymo mokesčio mechanizmą, apmokestintos dujos dauginamos iš faktinės dujų kainos. Esant nepakitusiam teigiamai efektyviajai dujų kainai, programa, apmokestinusi daugiau dujų už tą patį sėkmingą sandorį, mokėtų daugiau.
Dabartinis neprivalomas vykdymo užtikrinimo pasiūlymas EIP-8025 išlieka juodraštis, jame neteikiama paskatų įrodyti ir išlaikomas pakartotinis vykdymas, net kai yra įrodymų. Fondo rugsėjo mėnesio prioritetai privalomus įrodymus pateikia vėliau, o šakės užsakymas yra peržiūrimas.
EIP-7904 peržiūros terminas lapkričio 1 d. yra susijęs su jo procesoriaus analize. Nepriklausomiems tikrintojams kitas tolesnis žingsnis yra susijęs su aiškiais darbo krūviais, diegimais, saugos nustatymais ir techninės įrangos prielaidomis. Tai paverstų dujų leidimą patikimu įrodančių išteklių, kuriuos operatorius turi būti pasirengęs tiekti, riba.
