Vitalik Buterin predlaže dvije velike tehničke nadogradnje za budućnost Ethereuma

TL;DR:

• Buterin je predložio zamjenu Ethereumovog heksarnog stabla stanja binarnom strukturom pod EIP-7864, povećavajući učinkovitost za 100x.
• Ova bi promjena smanjila dužinu podružnice Merkle četiri puta i mogla bi uštedjeti više od 10 000 goriva po transakciji u često korištenim dappovima.
• Dugoročno gledano, Buterin predlaže zamjenu EVM-a s RISC-V virtualnim strojem kako bi se uklonila uska grla u stvaranju ZK dokaza.

Vitalik Buterin objavio opširnu tehnički prijedlog identificirajući dvije strukturne promjene koje smatra bitnima za budućnost Ethereuma: izmjena stabla stanja i zamjena njegovog virtualnog stroja. Obje ciljaju na isti temeljni problem: trenutna arhitektura nije optimizirana za okruženje u kojem učinkovito generiranje ZK dokaza je središnji prioritet.

Prva od promjena je već u razvoju. EIP-7864na kojem rade Guillaume Ballet i drugi suradnici, predlaže prelazak s hexary Merkle Patricia stabla temeljenog na keccak na binarno stablo s učinkovitijom hash funkcijom. Tehnička razlika je značajna: grane Merkle smanjene su četiri puta, što smanjuje troškove provjere na strani klijenta i smanjuje potrebnu propusnost koristiti alate kao što su Helios i PIR po istom faktoru.

Ovome je pridodan i poboljšanje hash funkcije: blake3 bi mogao dati dodatnih 3x u odnosu na keccak, dok bi varijanta Poseidon dosegla 100x, iako Buterin upozorava da potonji zahtijeva dodatne sigurnosne radove prije nego što bude spreman za proizvodnju.

Buterin želi promijeniti temelje Ethereuma

Binarni dizajn također uvodi a shema pohrane temeljena na stranicama koja grupira između 64 i 256 uzastopnih mjesta. Zaglavlje bloka i prvi kilobajti koda i pohrane dijele istu stranicu, omogućujući ugovorima koji čitaju svoje prve utore za pohranu da iskoriste prednosti učinkovitost serije umjesto plaćanja pojedinačnih troškova pristupa. Buterin to procjenjuje mogao uštedjeti više od 10.000 goriva po transakcijiza dappove koji već rade prema tom uzorkukoji predstavljaju značajan dio aktivnih raspoređenih ugovora.

Druga promjena je više spekulativna. Buterin predlaže zamjena EVM-a s RISC-V, arhitekturom koju trenutno koriste ZK ispitivači. Ako je infrastruktura za dokazivanje već napisana u RISC-V, domaći virtualni stroj u tom standardu eliminira ograničenje umjesto da njime upravlja putem akumuliranih predkompilacija. RISC-V tumač zahtijeva samo nekoliko stotina redaka kodau usporedbi s rastućom složenošću EVM-a.

Putokaz koji Buterin ocrtava ima tri faze: prviRISC-V samo za predkompilacije; zatimotvaranje za ugovore koje postavljaju korisnici; konačnoEVM je povučen i ponovno implementiran kao pametni ugovor napisan u novom VM-u. Potpuna kompatibilnost s prethodnim verzijama sačuvana je za postojeće ugovore, uz prilagodbe troškovi plina koje Buterin smatra manjim u odnosu na tekući rad na skalabilnosti. Zajedno, stablo i VM čine više od 80% uskog grla u učinkovitom stvaranju dokazaprema riječima samog Vitalika.