Ibinigay ni Vitalik Buterin ang isang mas mahabang panahon na modelo para sa mga transaksyon ng Ethereum, kung saan ang pangunahing ideya ay ang paghihiwalay ng mga “aksyon” at “mga dependensiya” sa transaksyon. Ang unang bahagi ay responsable sa pagbabago ng estado sa chain, habang ang pangalawa ay ginagamit upang patunayan na natutugunan na ng transaksyon ang mga kondisyon ng lagda, patunay ng estado, at kahusayan bago ito isasagawa. Ayon sa ideyang ito, may pagkakataon na matapos ang ilang proseso ng pag-verify bago pumasok sa bloke, at mas malaki ang puwang para sa parehong pagproseso.
Ihihiwalay ang pag-verify at pagpapatupad ng transaksyon
Sa kasalukuyang proseso ng pagtrato ng Ethereum, karaniwang isinasaayos ang pagpapahintulot, pagbabayad ng transaction fee, at pagpapatupad ng contract sa iisang chain ng proseso. Kailangan ng node na i-check ang kahihinatnan ng signature, kung may kakayahan ang sender na magbayad ng bayad, at kung matagumpay ang pagpapatupad ng transaksyon.
Sa tingin ni Buterin, ang ilang mga pagsusuri ay hindi nakasalalay sa pagbabago ng huling estado, at teoretikal na maaaring tratuhin nang hiwalay. Halimbawa, ang mga digital signature, zero-knowledge proofs, o ilang proof of validity na hindi nakasalalay sa pagbabago ng chain state, ay maaaring maipakilala sa bahagi ng “dependency”.
Kung malinaw na isasampa ng transaksyon kung anong mga estado ang itatawag nito, mas madali para sa memory pool na matukoy kung anong mga kondisyon ang epektado ng mga nakaraang transaksyon at kung anong mga pagsusuri ang maaaring maisagawa nang maaga. Ibig sabihin nito, mas maipagmamalaki ang transaksyon ay maaaring makakuha ng mas mataas na efficiency sa pag-verify.
Ang EIP-8141 ay nasa pagsusulat pa rin
Kasalungat sa ideyang ito ay ang draft proposal na tinatawag na EIP-8141. Ipinapakilala ng proposal na ito ang isang bagong uri ng transaksyon na tinatawag na Frame Transaction. Ibinabahagi nito ang isang transaksyon sa mga hiwalay na call frames para sa pagtrato sa pag-awtorisasyon, pagbabayad ng gas fee, at pagpapatupad ng mga aksyon ng user.
Ayon sa disenyo ng draft, ang pagkakatotoo ng transaksyon at ang pagbabayad ng bayarin ay hindi na ganap na nakadepende sa panlabas na standard na lagda. Ang code ng akawnt ay maaaring magtakda ng sariling paraan ng pagpapahintulot at mga patakaran sa pagbabayad. Ang verification frame ang responsable sa pagpapatotoo kung natutugunan ang mga kondisyon, habang ang send frame ang responsable sa tunay na pagbabago ng estado.
Ang istrukturang ito ay itinuturing din na nakakatulong sa pagkamit ng mas malapit na pangunahing anyo ng transaksyon sa pagitan ng iba’t ibang EVM network. Gayunpaman, ang EIP-8141 ay kasalukuyang isang pangunahing draft at hindi pa kasali sa upgrade ng Ethereum mainnet, at walang tiyak na oras ng pag-deploy.
Sa diskusyon ng mga developer, ipinakilala rin ang ilang teknikal na isyu, kabilang ang panganib ng denial-of-service, mga patakaran sa pagpapalit ng transaksyon, pagkakasundo ng wallet at block builder, at ang limitasyon ng publikong memory pool sa bilang ng mga naghihintay na transaksyon mula sa parehong tagapadala. Ang mga isyung ito ay nasa paghihintay pa ng karagdagang pagkakasundo.
Recursive STARK or reduction of redundant verification
Hindi lamang EIP-8141 ang pangmatagalang direksyon na inilahad ni Buterin. Isinip niya rin na para sa mga “puro dependensya” na hindi nangangailangan ng pag-access sa on-chain state, maaaring gawin ang isang pagsusuri sa antas ng memory pool bago ito paulit-ulit na isasagawa ng bawat validator.
Sa ilalim ng modelo na ito, ang network ay maaaring i-compress ang mga natapos na verification task sa isang recursive STARK proof, na pagkatapos ay i-verify ng verifier bilang isang aggregated proof. Ang layunin nito ay mabawasan ang pag-uulit ng computation at i-compress ang ilang burden ng verification.
Binanggit niya rin na maaaring makatulong sa pag-adapt ng Ethereum sa mga quantum-resistant cryptographic scheme sa hinaharap dahil ang mga quantum-resistant signatures ay karaniwang mas malaki ang laki at mas mataas ang gastos sa pag-verify. Kung ang mga account ay maaaring mag-customize ng kanilang paraan ng pag-authorize kasama ang recursive proof aggregation, maaaring bumaba ang mga gastos sa pag-verify.
Gayunpaman, ang bahaging ito ay kasalukuyang nasa antas ng pag-aaral lamang at hindi kasali sa umiiral na mga spesipikasyon ng EIP-8141. Upang maisagawa ito nang tunay, kailangan pa linutasin ang mga isyu tulad ng pagbuo ng patotoo, koordinasyon ng memory pool, data availability, at proteksyon laban sa pagkakamali.