TL;DR:
- Proposong ni Buterin ang pagpalit ng hexary state tree ng ethereum sa isang binary structure sa ilalim ng EIP-7864, na nagpapataas ng efficiency ng 100x.
- Ang pagbabago na ito ay magpapababa ng haba ng Merkle branch ng apat na beses at maaaring i-save ang higit sa 10,000 gas bawat transaksyon sa madalas gamit na dapps.
- Sa mas mahabang panahon, propone ni Buterin na palitan ang EVM ng isang RISC-V virtual machine upang tanggalin ang mga bottleneck sa pagbuo ng ZK proof.
Ipinakilala ni Vitalik Buterin ang isang malawak na teknikal na propuesta na nagtataya ng dalawang struktural na pagbabago na itinuturing niya bilang mahalaga para sa kinabukasan ng Ethereum: isang pagbabago sa state tree at pagpapalit ng kanyang virtual machine. Parehong naglalayong sagutin ang parehong pangunahing problema: ang kasalukuyang arkitektura ay hindi optimal para sa isang kapaligiran kung saan ang epektibong pagbuo ng ZK proofs ay isang sentral na priyoridad.
Ang unang pagbabago ay nasa pag-unlad na. Ang EIP-7864, na ginagawa ni Guillaume Ballet at iba pang mga tagapag-ambag, ay nagmamungkahi ng paglipat mula sa hexary Merkle Patricia Tree na batay sa keccak patungo sa binary tree na may mas epektibong hash function. Ang teknikal na pagkakaiba ay malaki: ang mga Merkle branches ay nabawasan ng apat na beses, na bumababa sa gastos sa pag-verify sa client-side at nagbabawas ng bandwidth na kailangan upang gamitin ang mga kasangkapan tulad ng Helios at PIR sa parehong kadahilanan.
Dinagdagan pa ng pagpapabuti ng hash function: ang blake3 ay maaaring magdala ng karagdagang 3x kumpara sa keccak, habang ang isang Poseidon variant ay makakarating sa 100x, bagaman babalani ni Buterin na ang huli ay nangangailangan ng karagdagang security na trabaho bago ito handa para sa produksyon.
Gusto ni Buterin na baguhin ang mga pundasyon ng ethereum
Ang binary design ay nagdadala rin ng isang page-based na sistema ng pag-iimbak na nagpapangkat sa pagitan ng 64 at 256 magkakasunod na slots. Ang block header at ang unang kilobyte ng code at storage ay nagbabahagi ng parehong page, na nagpapahintulot sa mga contract na basahin ang kanilang unang storage slots na makabawas ng batch efficiency kaysa magbayad ng individual access costs. Ipinapalagay ni Buterin na ito ay maaaring i-save ang higit sa 10,000 gas bawat transaksyon para sa mga dapp na nasa operasyon na sa ganitong pattern, na kumakatawan sa isang malaking bahagi ng aktibong deployed na mga contract.
Ang pangalawang pagbabago ay mas spekulatibo. Ipinopropose ni Buterin ang pagpalit ng EVM sa RISC-V, ang arkitektura na kasalukuyang ginagamit ng ZK provers. Kung ang proving infrastructure ay naisulat na sa RISC-V, ang isang native virtual machine sa standart na ito ay naglalayong tanggalin ang limitasyon kesa sa pagpapamahala nito sa pamamagitan ng nakumpol na precompilations. Kailangan ng isang RISC-V interpreter ng ilang daan na linya ng code, kumpara sa tumataas na kumplikasyon ng EVM.
Ang roadmap na inilalahad ni Buterin ay may tatlong hakbang: una, RISC-V lamang para sa mga precompilations; pagkatapos, buksan ito para sa mga contract na i-deploy ng user; huli, ang EVM ay itatanggal at muling isasagawa bilang isang smart contract na isusulat sa bagong VM. Ang buong backward compatibility ay pinapanatili para sa mga umiiral na contract, kasama ang mga pagbabago sa gas costs na itinuturing ni Buterin bilang maliit kumpara sa patuloy na pagpapalawak ng kakayahan. Kasama ang tree at ang VM, ito ay sumasakop sa higit sa 80% ng bottleneck sa epektibong pagbuo ng proof, ayon kay Vitalik mismo.