Vitalik Buterin dëshiron një kufi të fortë kostosh për gjenerimin më të shpejtë të provave në Ethereum, dhe rrjeti tani po e teston atë propozim pikërisht kundër llojit të ngarkesës që ai synonte të kufizonte. Problemi kryesor: blloqet e shpejta të mostruara nuk përcaktojnë barrën maksimale të provës që një nyje mund të përballojë, dhe analiza ekzistuese e gazit CPU në Ethereum nuk e llogarit fare gjenerimin e provave.
Hendeku në modelin e gazit
Kontabiliteti i gazit CPU në Ethereum mat punën e ekzekutimit. Prova është një punë e veçantë, dhe është ajo e shtrenjta. Një bllok mund të kalojë përmes kufirit të gazit dhe gjithsesi t'u lërë provuesve një faturë që modeli aktual nuk e sheh kurrë. Ky është hendeku që kufiri i propozuar i Buterin synon të mbyllë — një tavan i fortë mbi koston e provës në vend të një mesatareje të mostruar që favorizon blloqet e shpejta.
Mostrimi është pika e dobët. Blloqet e shpejta të mostruara tregojnë atë që një nyje provoi në një ekzekutim të mirë, jo rastin më të keq që duhet të përballojë. Nëse kufiri kalibrohet sipas atyre mostrave, ai nuk është kufi. Është një lexim i rastit më të mirë me një shenjë kufiri të ngjitur sipër.
Pse koha ka rëndësi
Shtytja e Ethereum drejt gjenerimit më të shpejtë të provave është ajo që e bën këtë urgjente. Shpejtësia dhe kostoja tërheqin në drejtime të kundërta këtu. Kohët më të ngushta të provës zakonisht nënkuptojnë më shumë llogaritje për bllok, dhe më shumë llogaritje për bllok është pikërisht ajo që një kufi i fortë kostosh do të kufizonte. Testimi i gjenerimit më të shpejtë pa rënë dakord më parë për tavanin do të thotë që rrjeti e gjen kufirin e tij duke e goditur atë.
Propozimi nuk e zgjidh atë tension. Ai thjesht e emërton atë. Kufiri i Buterin vendos një numër rreth të cilit rrjeti duhet të projektojë, dhe analiza aktuale e gazit CPU nuk u jep ndërtuesve asnjë mënyrë për të çmuar punën e provës që ata po shtojnë në të vërtetë.
Çfarë po mat testi në të vërtetë
Blloqet e shpejta të mostruara ju tregojnë xhiron. Ato nuk ju tregojnë barrën maksimale të provës, që është shifra që i nevojitet një kufiri të fortë. Këto janë matje të ndryshme, dhe ngatërrimi i tyre është mënyra se si një kufi kostosh përfundon i vendosur shumë lart për të mbrojtur dikë.
Puna e Ethereum që është në vazhdim tani po teston gjenerimin më të shpejtë të provave kundrejt asaj dallimi. Nëse kufiri mbahet varet nga fakti nëse kostoja e provës mund të matet drejtpërdrejt sesa të nxirret nga mostra të shpejta — dhe nga fakti nëse modeli i gazit përditësohet për të përfshirë gjenerimin e provave përpara se të nisë rruga më e shpejtë.
Pyetja e hapur
Asnjë afat kohor nuk i është bashkangjitur kufirit të kostos, dhe asnjë numër përfundimtar nuk është vendosur. Hapi tjetër konkret është matja e barrës së provës drejtpërdrejt në vend të blloqeve të shpejta të mostruara. Derisa kjo të ndodhë, kufiri është një propozim që përballet me një model gazi që ende nuk mund ta shohë koston që supozohet të kufizojë.
