Диаграммаи роҳи абстраксияи ҳисоби Ethereum I: EIP-3074, EIP-5806 ва EIP-7702

Пас аз мушоҳида кардани тағироти назаррасе, ки ба Ethereum тавассути такмилдиҳии Deneb ворид карда шуданд, мо ба пешгӯӣ шурӯъ кардем, ки хардфоркҳои навбатӣ, Pectra чӣ ҷорӣ хоҳанд кард. Барои кӯмак ба ташаккули мубоҳисаҳои оянда, мо мекӯшем манзараи кунунии абстраксияи ҳисобро дар атрофи Ethereum ва экосистемаи ҷамъоварии он тавсиф кунем, то эҳтимолан роҳи равшани пешро харита кунем.

Ин гузориш шарҳи модели ҳисоби ҷории Ethereum, алахусус таъсири онҳо ба эътибори транзаксия, абстраксияи ҳисоб чӣ маъно дорад ва чаҳорчӯбаи мулоҳиза дар бораи он пешниҳод мекунад. Сипас, мо ба равиши барномасозии EOA тавассути арзёбии EIPs 5086, 3074 ва 7702 тамаркуз мекунем ва хулоса мекунем, ки ин ҳама эҳтимол ба ояндаи муомилот дар Ethereum таъсир мерасонад.

Гарчанде ки дар бораи он ки абстраксияи ҳисоб чист ё не, нофаҳмиҳои зиёд вуҷуд дорад, чаҳорчӯбаи мо дар ин силсила ин аст, ки ҳама механизме, ки ба ҳисоб имкон медиҳад, ки ягон қисми қоидаҳои эътибори худро аз нав муайян кунад, механизми абстраксияи ҳисоб мебошад. Ғайр аз он, мо таснифи ин механизмҳоро пешниҳод менамоем, зеро аксари онҳо ба таври норавшан шабоҳат доранд ва ба ҳам мепайвандад.

Шарҳи абстраксияи ҳисоб дар Ethereum

Абстраксияи ҳисоб кӯшиш мекунад, ки таҷрибаи корбарон ва таҳиягаронро дар тамоми экосистемаи Ethereum беҳтар созад. Дар баробари гардонидани таҷрибаҳои занҷирӣ барои корбарон, он инчунин ба таҳиягарон имкон медиҳад, ки тавонанд дар Ethereum корҳои пурқувваттарро иҷро кунанд ва ба корбарон бо роҳҳои боз ҳам пурмазмунтар хидмат расонанд.

Таснифи мо дар бораи равишҳои абстраксияи ҳисоб чунин аст:

1. Такмили EOA/барномасозӣ : Ин тағиротҳои сатҳи протоколро дар бар мегирад, ки ба EOA (Ҳисобҳои берунӣ) имкон медиҳанд, ки қисми мантиқии иҷроиши қоидаҳои эътибори худро аз нав муайян кунанд. Тавре ки дар ҷомеаи рушд маълум аст, EOA ҳисобҳое мебошанд, ки одатан бо корбарони ниҳоӣ алоқаманданд. Аз ин рӯ, қарорҳое, ки ба ин равиш дохил мешаванд, ба ҳисобҳои корбарони ниҳоӣ имкон медиҳанд, ки дар муқоиса бо он, ки чӣ гуна онро имрӯз идора кардан мумкин аст, назорати бештарро аз рӯи кадом намуди амалҳо иҷозат диҳад.

2. Табдили EOA/муҳоҷират : Ин равиш пешниҳодҳоеро дар бар мегирад, ки табдили пурраи EOA-ро ба CA (ҳисобҳои шартномавӣ) меҷӯянд. Идеяи интегралии ин равиш аз он иборат аст, ки ҳисобҳои шартномавӣ аллакай аксарияти бартариҳои аз ҷониби ҳисобҳои интеллектуалӣ пешниҳодшударо пешниҳод мекунанд, аз ин рӯ дигар набояд ба мушкилсозии корҳо лозим ояд; Ҳама бояд танҳо ҳисоби шартномаро ҳамчун ҳисоби асосии худ истифода баранд (тавассути ҳамёнҳои шартномаи интеллектуалӣ).

Ин равиш механизмҳоеро дар бар мегирад, ки ба EOA имкон медиҳад, ки бидуни интиқоли дороиҳои худ ба CA гузарад, ба монанди EIP 7377 ва EIP 5003 (вақте ки дар баробари EIP 3074 баррасӣ мешаванд).

3. Ҳисобҳои интеллектуалӣ : Ин гурӯҳи пешниҳодҳо тарҳҳоеро дар бар мегиранд, ки ба ҳам EOA ва ҳам CA-ҳо имкон медиҳанд, ки ҳамчун “ҳисобҳои интеллектуалӣ” рафтор кунанд ва ба онҳо имкон медиҳанд, ки қоидаҳои эътибори худро комилан аз нав муайян кунанд.

Пешниҳодҳои гуногун барои эҷоди ҳисобҳои интеллектуалӣ ва сабти абстраксияи ҳисобҳо дар сатҳи протокол пешниҳод шуда буданд; EIP-86 ва EIP-2938 баъзе аз иқтибосҳои бештар мебошанд. Бо вуҷуди ин, аз сабаби мураккабии даркшудае, ки ин тарроҳӣ ҷорӣ кардааст ва ақидаи то ҳадде аксарият, ки Ethereum ба чунин мураккабӣ омода нест, бозпаси зиёд ба амал омад.

Пас аз эҳёи мавзӯъ аз ҷониби Виталик пас аз The Merge, ERC-4337 ҳамчун версияи интихобшудаи стандарти ҳисобҳои интеллектуалӣ, ки ба инфрасохтори PBS (Ҷудокунии пешниҳодкунанда-сохтмон) барои MEV (Максималии арзиши истихроҷшаванда) монанд аст, пешниҳод карда шуд. Ҳамин тариқ, корбароне, ки мехоҳанд ба манфиатҳои ҳисобҳои интеллектуалӣ дастрасӣ пайдо кунанд, метавонанд танҳо лӯлаи ERC-4337-ро барои аз нав муайян кардани мантиқи ҳисоби худ ва қоидаҳои эътибори транзаксияҳо дар сохторҳое, ки бо номи UserOperation (ё кӯтоҳ UserOps ) номида мешаванд, истифода баранд.

ERC 4337 ба сифати алтернативаи берун аз протокол ба ҳисобҳои интеллектуалии ҳифзшуда амал карда, бартариҳои ҳисобҳои интеллектуалиро ба Ethereum-и имрӯза бидуни сабти ягон мушкилӣ меорад. Бо вуҷуди ин, ин маънои онро надорад, ки инфрасохтор дар ҳолати кунунии худ оптималӣ аст, зеро мураккабии худи он ҳанӯз як нуқтаи назарраси нокомӣ мебошад.

Барои рафъи ин мураккабӣ, RIP 7560 ҳамчун версияи таҳрири инфрасохтори ERC 4337 дар саросари Ethereum ва L2-ҳои он таҳия шудааст, то он схемаҳои муқовимати сибил-муқовимати шабакаро мерос гирад, ба ҷои муайян кардани маҷмӯи нави қоидаҳо (чунон ки ERC 4337 бо ERC 7562 ).

Дар ин гузориш, мо ба омӯхтани барномасозии EOA, арзёбии EIP-ҳои гуногун, ки ҳалли ин хатҳоро тавсиф мекунанд ва бартариятҳо ва нуқсонҳои онҳоро муҳокима хоҳем кард. Дар қисмҳои 2 ва 3 ин силсила, мо ду синфи боқимондаи равишро ба абстраксияи ҳисоб, ки дар дохили Ethereum омӯхта мешаванд, фаро мегирем.

Як ибтидоӣ дар бораи ҳисобҳо ва муомилоти Ethereum

Барои дарёфти он, ки чиро абстракт кардан мумкин аст, ба мо тасвири пурраи тарҳи ҳисоби ҷорӣ лозим аст. Ин бахш асосан ҳамчун таҷдиди навъҳо дар бораи кадом ҳисобҳо дар Ethereum ва чӣ гуна транзаксияҳои онҳо тасдиқ ва иҷро карда мешаванд, хидмат хоҳад кард.

Ҳисобҳои Ethereum субъектҳои дорои тавозуни эфир (ETH) ва қобилияти фиристодани муомилот дар blockchain Ethereum мебошанд. Онҳо ҳамчун “суроғаи шонздаҳӣ” иборат аз 42 аломат муаррифӣ мешаванд, ки ҳамчун нишоннамои беназир барои нигоҳдорӣ ва муомилоти суратҳисоб хизмат мекунанд.

Суроға ҳамчун калид дар ҳолати блокчейн амал мекунад. Гиреҳҳои баргҳои ин трие сохторҳои додаҳои ҳисоб мебошанд, ки онҳоро ба чор соҳа тақсим кардан мумкин аст:

1. nonce : Ҳисобкунаки хатӣ барои нишон додани шумораи муомилоти содиротӣ, ки аз ҳисоби суратҳисоб оғоз шудааст, истифода мешавад. Он инчунин дар пешгирии ҳамлаҳои такрорӣ муҳим аст.
2. balance : Маблағи бо нишондодашудаи эфир (ETH), ки ба ҳисоб тааллуқ дорад.
3. codeHash : Хеши рамзи иҷрошавандаи EVM, ки дар ҳисоб мавҷуд аст. EVM (Машинаи виртуалии Ethereum) муҳити фармоишии Ethereum мебошад, ки барои коркарди гузариши мураккаби ҳолати берун аз муомилоти оддии "фиристода" масъул аст. Мазмуни рамзи ҳисоб бетағйир барномарезӣ шудааст, ки шаклҳои мушаххаси гузариши давлатро дар blockchain Ethereum тавассути EVM амалӣ созад.
4. storageHash : Хеши решаи нигаҳдории ҳисоб, ки барои муаррифии мундариҷаи нигаҳдории ҳисоб ҳамчун хэши 256-битии гиреҳи решаи merkle patricia trie истифода мешавад. Ба таври оддӣ, он як ҳеши маълумоти тағирёбандаи давлатӣ мебошад, ки ба мундариҷаи коди ҳисоб алоқаманд аст.

Мундариҷаи ин чаҳор майдон барои муайян кардани намуди ҳисоб истифода мешаванд ва дар ниҳоят барои муайян кардани дараҷаи функсияҳои он идома медиҳанд. Ҳамин тариқ, ду намуди ҳисобҳои Ethereum инҳоянд:

1. Ҳисобҳои берунӣ (EOAs) - ки ҳамчун ҷуфти калидҳои криптографӣ оғоз карда мешаванд:

• Калиди хусусӣ , ки аломати рамзгузоришаванда ва исботшавандаи тасодуфии 64-шонздаҳӣ ва ҳамтои иловагии он аст;
• Калиди оммавӣ , ки аз калиди хусусӣ бо истифода аз ECDSA (Elliptic Curve Algorithm Signature Digital Signature) гирифта мешавад.

EOA майдонҳои холии codeHash ва storageHash доранд ва онҳоро танҳо ҳар касе, ки калидҳои хусусиро дорад, идора карда метавонад. Суроғаҳои онҳоро метавон аз калиди ҷамъиятии мувофиқ бо пешванди "0x" ба бист аломати охири калиди ҷамъиятии ҳисоб хэши keccak-256 дастрас кард.

2. Ҳисобҳои шартномавӣ (CAs), ки танҳо аз ҷониби EOA қаблан мавҷудбуда сохта мешаванд. Онҳо аз сабаби EOA, ки мундариҷаи рамзи иҷрошавандаро дар EVM ҷойгир мекунад, оғоз карда мешаванд. Ин мундариҷаи код (ҳамчун codeHash нигоҳ дошта мешавад) дар EVM сабт шудааст ва барои назорати ҳисоб тавассути муайян кардани мантиқ ва ҳамкории он масъул аст.

Амалиётҳо аз ҳисоби шартнома комилан ба мантиқи рамзи ҷойгиршудаи онҳо асос ёфтаанд. Азбаски ин ҳисобҳоро танҳо аз рӯи мундариҷаи кодашон идора кардан мумкин аст, онҳо ба калиди хусусӣ ниёз надоранд ва танҳо калиди оммавӣ доранд. Ҳамин тариқ, ҳар агенте, ки қобилияти навсозӣ/тағйир додани мундариҷаи рамзи ҳисоби шартномаро дорад, метавонад ба тавозуни он дастрасӣ пайдо кунад. Суроғаи ҳисоби шартнома аз суроғаи созандаи он ва то лаҳзаи ҷойгиркунии шартнома гирифта мешавад.

Муомилот

Мо ба наздикӣ ҳисобҳоро ҳамчун субъектҳое тавсиф кардем, ки қобилияти фиристодани транзаксияҳоро дар саросари Ethereum доранд. Аз ин рӯ, мо метавонем дарк кунем, ки ҳадафи асосии ҳисоб ин фиристодан ва гирифтани транзаксия мебошад, дар ҳоле ки blockchain ҳамчун китоби сабти таърихи транзаксияҳо амал мекунад ва инчунин тавсиф мекунад, ки чӣ гуна транзаксияҳо майдонҳои ҳисобро дар асоси қоидаҳои дар тавсифи протоколи blockchain тавсифшуда тағир медиҳанд.

Пас, ин «амалиёти» чист?

Муомилаҳо амалиётҳое мебошанд, ки аз суратҳисоб фиристода мешаванд, ки боиси тағирёбии "ҳолати" шабака мешаванд. Онҳо дастурҳои ба таври криптографӣ имзошуда аз ҳисобҳо мебошанд, ки ҳангоми иҷроиш ба навсозии ҳолати саросари шабака оварда мерасонанд.

Беиҷозат бо арзиши ҳавасмандии бардурӯғ меояд, барои мубориза бо ин, бояд дастурҳои қатъӣ (ё қоидаҳои эътибор) барои ҳамкорӣ дар чунин муҳитҳо муайян карда шаванд. Дар ин замина, транзаксияҳо бояд қоидаҳои муайяни эътиборро риоя кунанд, то эътиборнок ва иҷрошуда ҳисобида шаванд. Аксарияти ин қоидаҳои эътибор тавассути маҳдудиятҳое, ки дар суратҳисобе, ки транзаксия мефиристад, амалӣ карда мешаванд ва вобаста ба кадом намуди ҳисоб фарқ мекунанд.

Ҳисобҳо ва эътибори амалиёт

Дар Ethereum, EOAҳо барои қобили истифода оптимизатсия карда шудаанд, зеро онҳо ба корбари ниҳоӣ дучор меоянд. Онҳо қобилияти фиристодани муомилотро ба таври мушаххас доранд ва ба таври комил мустақилона кор мекунанд. Онҳо инчунин метавонанд ба таври маҳаллӣ сохта шаванд, усули маъмултарини истифодаи провайдерҳои ҳамён ба монанди MetaMask, Rainbow, Rabby ва ғайра.

Аз тарафи дигар, суратҳисобҳои шартномавӣ метавонанд танҳо транзаксияҳоеро, ки аз рӯи мантиқи онҳо иҷозат дода шудаанд, дар посух ба « даъват » фиристанд. Ғайр аз он, онҳо метавонанд танҳо аз ҷониби EOA эҷод карда шаванд, ки тавозуни кофӣ барои пардохти нигоҳдории давлатии он дорад.

Тавсифи сатҳи баландтар ин аст, ки EOA-ҳо танҳо тавозун дошта метавонанд, дар ҳоле ки CA-ҳо метавонанд ҳам тавозун ва ҳам мантиқро нигоҳ доранд, ки чӣ гуна ин тавозунро сарф кардан мумкин аст. Ин хосиятҳо ба параметрҳои зерини мантиқӣ вобастаанд, ки қоидаҳоеро муайян мекунанд, ки амалиёти ҳисоб бояд риоя шаванд:

1. Мантиқи аутентификатсия - Барои муайян кардани он, ки чӣ гуна ҳисоб шахсияти худро ба шабака ҳангоми тағир додани тавозуни худ ва/ё мантиқ исбот мекунад, истифода мешавад.
2. Мантиқи авторизатсия - Барои муайян кардани сиёсати дастрасии ҳисоб истифода мешавад, яъне кӣ метавонад дастрасӣ дошта бошад ва ба тавозуни ҳисоб ва/ё мантиқи он тағирот ворид кунад.
3. Мантиқи ғайримантиқӣ - он тартиби иҷро кардани транзаксияҳоро аз ҳисоб муайян мекунад.
4. Мантиқи пардохти газ - Барои муайян кардани тарафе, ки барои ҳисоб кардани ҳаққи газ масъул аст, истифода мешавад.
5. Мантиқи иҷро - Барои муайян кардани кадом шаклҳои транзаксияҳо, ки ҳисоб метавонад ирсол кунад ё чӣ гуна транзаксия бояд иҷро шавад, истифода мешавад.

Ин параметрҳо барои устувории EOA тарҳрезӣ шудаанд, аз ин рӯ:

• Аутентификатсия ва авторизатсия тавассути калиди махфии ECDSA асосёфта таъмин карда мешавад, яъне корбаре, ки мехоҳад транзаксияро аз EOA-и худ фиристад, бояд калиди махфии худро барои дастрасӣ ба суратҳисоб истифода барад ва ба ин васила исбот кунад, ки онҳо ҳақ доранд ҳама гуна тағиротро ба тавозуни он ворид кунанд. .
• Мантиқи ғайримантиқ як схемаи пайдарпайи ҳисобкуниро амалӣ мекунад, ки имкон медиҳад, ки танҳо як транзаксия барои як ноансеи беназир дар як ҳисоб пайдарпай иҷро карда шавад.
• Мантиқи пардохти газ муайян мекунад, ки ҳаққи газ барои транзаксияҳо бояд аз ҷониби ирсолкунанда/ҳисоби ибтидоӣ ҳисоб карда шавад.
• Мантиқи иҷро муайян мекунад, ки EOAҳо метавонанд танҳо шаклҳои транзаксияҳои зеринро фиристанд:

1. Интиқоли мунтазам байни ду EOA.
2. Ҷойгиркунии шартнома.
3. зангҳои шартномавӣ, ки мантиқи ҳисоби шартномаи ҷойгиршударо ҳадаф қарор медиҳанд.

Умуман, мантиқи иҷрои EOA онҳоро ба як транзаксия барои як имзои дуруст маҳдуд мекунад.

Аз тарафи дигар, CA дар атрофи ин параметрҳо чандирии бештар доранд:

• Аутентификатсия шарт нест, зеро муомилоти онҳо табиатан пайгирона/ба кашиш асос ёфтааст.
• Иҷозатнома барои CA метавонад ду шакл дошта бошад:

1. Имконияти " занг задан " ба рамзи мундариҷаи CA (ё иҷро кардани шартномаи интеллектуалии он), ки аз мантиқи шартномаи интеллектуалии ҳисоб ва инвариантҳои он вобаста аст.
2. Имконияти ворид кардани тағирот ба рамзи мундариҷаи CAs, ки бештар аз он вобаста аст, ки рамзи мундариҷа навсозӣ мешавад ё не.

Дар аксари ҳолатҳои амалӣ, мантиқе, ки дар ин маврид истифода мешавад, як схемаи имзои бисёрҷабҳа аст, ки барои тағир додани мантиқи CA аз ҳисобҳои мушаххас (одатан EOAs) як M аз N имзои дуруст (дар он ҷо M <N) лозим аст. эътибор дошта бошад.

• Фармоиши транзаксияҳои онҳо ба таври возеҳ асос надорад. Худи CA қодир аст ба қадри имкон ба шумораи зиёди зангҳои гуногун транзаксия фиристад, аммо ҳар як зангзан вобаста ба имкониятҳои худ маҳдуд аст.
• Пардохти газ одатан аз ҷониби зангзанандаи мантиқи CA сурат мегирад.
• Мантиқи иҷрои CA-ҳо гуногунтар аст, то беҳбуди UX, аз қабили транзаксияҳои бисёрзанагӣ ва транзаксияҳои атомиро таъмин кунад.

Ҳангоми арзёбии ин хусусиятҳо, мо мушоҳида мекунем, ки ҳар як намуди ҳисоб тарҳрезӣ шудааст, ки байни мустақилият ва барномарезӣ бархӯрд дошта бошад.

EOAҳо мустақилияти пурра доранд, аммо қобилияти барномарезии маҳдуд доранд; онҳо метавонанд транзаксияҳоро ҳар вақт иҷозат диҳанд ва ирсол кунанд, аммо ин транзаксияҳо бояд формати қатъиро риоя кунанд, то эътиборнок ҳисобида шаванд. Ҳисобҳои шартномавӣ барномарезии пурра доранд (танҳо бо тарҳи EVM маҳдуданд), аммо мустақилияти маҳдуд доранд: транзаксияҳои онҳо набояд ягон формати қатъиро риоя кунанд, аммо танҳо аз сабаби он ки мантиқи онҳо аввал даъват карда мешавад, фиристода мешаванд.

Дар зерфасли зерин, мо ҳоло оқибатҳои ин интихоби тарроҳиро меомӯзем, то пешниҳоди ҳар як EIP-и баррасишавандаро дар тамоми ин силсила пурра дарк кунем.

Мушкилоти ҳисоби Ethereum

Ҳоло, ки мо дар бораи вазифаҳои ҳисобҳои гуногун маълумоти то ҳадде мухтасар дорем, мо метавонем ба осонӣ нуқтаҳои фурӯши онҳо ва инчунин масъалаҳоеро, ки онҳо ба таҷрибаи корбар ва таҳиягар дар Ethereum пешниҳод мекунанд, муайян кунем. Тавре ки мо қаблан зикр кардем, EOA ҳамчун ҳисобҳои дараҷаи аввал тарҳрезӣ шудаанд, ки ба истифодабарандагони ниҳоӣ нигаронида шудаанд. Барномаҳо барои ба осонӣ муошират кардан бо онҳо тарҳрезӣ шудаанд, барои онҳо қариб ҳеҷ мушкилие вуҷуд надорад ва албатта барои эҷоди он хароҷоте нест. Аммо, соддагии он бо талафоти назарраси навоварӣ меояд, зеро онҳо ба таври қатъӣ муайян карда шудаанд.

Баъзе аз нигарониҳо дар атрофи онҳо инҳоянд:

1. Ҳассосият ба ҳамлаҳои квантӣ - Нақшаи имзои ECDSA, ки аз ҷониби ҷуфти калидии онҳо истифода мешавад, ба квантӣ тобовар нест ва бо мӯҳлатҳои оптимистии 5 то 10 сол барои системаҳои квантии саноатӣ, ин ба Ethereum ва замимаҳои он, ки ба таври ҷиддӣ такя мекунанд, хатари ҷиддӣ эҷод мекунад. дар бораи нақшаи ECDSA барои далелҳои криптографӣ ва амният.
2. Набудани баён - Формати қатъии қоидаҳои эътибори EOA қобилияти корбаронро барои баён кардани транзаксияҳои худ тавассути хусусиятҳо, аз қабили атомӣ ва бастабандии транзаксия ва интиқоли транзаксия маҳв мекунад.
3. Худтаъминкунӣ - Ҳар як шахс дар байни транзаксия лаҳзаҳои "ман тамом шуд" ҳиссаи одилона дошт. Ин ба он вобаста аст, ки EOA-ҳо газро барои муомилоти худ мустақилона ҳисоб мекунанд, ки ин чандон саволе нест, ки оё эфир (ETH) ягона асъори қобили қабулшуда нест. Гарчанде ки ин як масъалаи умумӣ бо мошинҳои давлатии ба ҳисоб асосёфта (ва ҳатто мошинҳои ба UTXO асосёфта) аст, Ethereum ҳамеша ният дошт гуногун бошад.

На ҳама намехоҳанд (ё қодиранд) ҳамеша ETH-ро нигоҳ доранд (манзурам ба ин амали нарх нигоҳ кунед), аз ин рӯ, ҳалли қобили қабул ё имкон додани асъорҳои сершумори газӣ хоҳад буд (хеле сахт, инвариантҳои аз ҳад зиёдро тавре, ки дар "Валюта" тавсиф шудааст, вайрон мекунад. ” фасли ин ҷо ) ё иҷозат додани пардохтҳои газ бо ҳисоби дигар, ки сарчашмаи транзаксия нест, ҳал карда шавад.

Дар канори дигари спектри ҳисоб, CA-ҳо таҳиягарон ва пойгоҳи корбарии техникии бештарро ҳадаф қарор медиҳанд. Онҳо ҳамчун воситаи нақлиёт барои шартномаҳои интеллектуалӣ хизмат мекунанд (яъне мо шартномаҳои оқилонаро мантиқ ё мундариҷаи рамзии онҳо мешуморем) ва аз ин рӯ метавонанд форматҳои нави транзаксияро, ки аз ҷониби EVM фаъол карда шудаанд, татбиқ кунанд.

Бо вуҷуди ин, барои ҳамаи ин хусусиятҳо онҳо ҳисобҳои дараҷаи дуюмро ҷалол медиҳанд, зеро онҳо мустақилият надоранд. Баъзе аз камбудиҳои онҳо инҳоянд:

1. Норасоии пурраи мустақилият - CA-ҳо наметавонанд транзаксияро оғоз кунанд, онҳо метавонанд танҳо транзаксияҳоро дар посух ба таври махсус даъват кунанд.
2. Ҳассосият ба иштибоҳи инсонӣ дар мантиқи онҳо - Набудани сахтгирӣ аксар вақт ба таърифи нодурусти инвариантҳо ва дигар мантиқҳо оварда мерасонад, ки дар натиҷаи истисмор ва ҳакерҳои шартномавӣ ба миллиардҳо доллар зиён овардааст. Бо вуҷуди ин, ин мавзӯи қариб тамоман дигар аст, ки дар ин ҷо аз доираи мо берун аст.

Пас аз баррасии интихоби тарҳрезӣ, ки боиси мушкилоти дар ин зерфасл муайяншуда гардид, мо ҳоло метавонем ба арзёбии роҳҳои пешниҳодшуда идома диҳем.

Ҷадвали абстраксияи ҳисоб

Барои дарёфти он, ки чиро абстракт кардан мумкин аст, ба мо тасвири пурраи тарҳи ҳисоби ҷорӣ лозим аст. Ин бахш асосан ҳамчун таҷдиди навъҳо дар бораи кадом ҳисобҳо дар Ethereum ва чӣ гуна транзаксияҳои онҳо тасдиқ ва иҷро карда мешаванд, хидмат хоҳад кард.

Консепсияи абстраксияи ҳисоб (ҳадди ақал тавассути ҳисобҳои интеллектуалӣ) ҳамеша як қисми ҷудонашавандаи харитаи роҳи Ethereum буд. Маълумот дар он аст, ки мураккабии марбут ба татбиқи он таҳдиди боз ҳам ба таъхир андохтани Ethereum-ро таҳдид мекард ва аз ин рӯ он барои тарҳи кунунӣ бо ҳисобҳои гуногун, ки вазифаҳои гуногунро пешниҳод мекунанд, бекор карда шуд. Он аз ҷониби тамаркузи Ethereum ба The Merge дубора ба таъхир афтод ва ҳоло ҳамчун як қисми асосии такмилдиҳии навбатии шабака - Pectra дубора пайдо мешавад. Бо вуҷуди ин, мураккабии он то ҳол як нуқсони назаррасе ҳисобида мешавад, ки ҷилавгирӣ аз таҳкими он аст, алахусус, зеро Ethereum ба харитаи роҳ мутамарказ табдил ёфтааст.

Талабот ҳоло ду баробар аст:

1. Стандартҳои ҳисоб бояд бештар возеҳ бошанд, аммо бидуни аз даст додани мустақилият. Стандарти нав, ки фарқияти байни стандартҳои EOA ва CA-ро мӯҳр мекунад.
2. Стандарти нав бояд фосилаи байни EOA ва CA-ро рафъ кунад, дар ҳоле ки дар саросари Ethereum ва экосистемаҳои L2 он комилан мувофиқ боқӣ мемонад.

Ба таври интуитивӣ ин консепсия дар заминаи абстраксияи занҷир ва ҳамоҳангсозӣ нақши калонтар мебозад. Аммо, доираи мо дар ин гузориш танҳо бо ташаббусҳои техникӣ барои ноил шудан ба абстраксияи ҳисоб маҳдуд аст.

Абстраксияи ҳисоб ҳадафи муттаҳид кардани беҳтарин хусусиятҳои EOAs ва CAs ба стандарти нави ҳисоб – ҳисобҳои интеллектуалӣ мебошад , ки имкон медиҳанд пурра ё қисман ҷудо кардани ҳама гуна қоидаҳои эътибори ҳисобро ба мантиқи тасдиқкунӣ ва иҷроиш иҷозат диҳанд; то ки ҳисобҳо метавонанд қоидаҳои эътибори худро муайян кунанд - тавре ки аз ҷониби EVM иҷозат дода шудааст - ба монанди ҳисобҳои шартномавӣ, дар ҳоле ки ба мисли ҳисобҳои берунӣ мустақил боқӣ монанд.

Дар атрофи фарқиятҳои байни ҳисобҳои интеллектуалӣ ва ҳамёнҳои шартномаи интеллектуалӣ аксар вақт нофаҳмиҳо вуҷуд доранд, бинобар ин биёед ба таври возеҳ тавсиф кунем, ки ин фарқиятҳо дар зер чӣ гунаанд:

• Ҳисобҳои интеллектуалӣ ҳисобҳои Ethereum мебошанд, ки барои таъмини қисмҳои баробари барномасозӣ ва мустақилият консептуалӣ шудаанд. Идеяи он аст, ки ҳам EOA ва ҳам CA-ҳо метавонанд танҳо тавассути истифодаи баъзе механизмҳо (масалан, ERC 4337) метавонанд ҳисобҳои интеллектуалӣ шаванд, ки ба онҳо имкон медиҳад, ки қоидаҳои эътибори шабакавии худро бо қоидаҳои эътибори фармоишӣ иваз кунанд.
• Аз тарафи дигар, ҳамёнҳои шартномавии интеллектуалӣ танҳо провайдерҳои ҳамёнҳоянд, ки ҳамчун интерфейс барои ҳисобҳои шартномавӣ хидмат мекунанд (бале, ҳамён ҳисоб нест).

Тиҷоратикунонии ҳамёнҳои шартномаи интеллектуалӣ қабули CA-ро аз ҷониби бозори васеъ осон кард ва ба корбарони камтари техникӣ имкон дод, ки аз хусусиятҳои пешниҳодкардаи онҳо истифода баранд. Бо вуҷуди ин, онҳо то ҳол бо домҳои марбут ба CA дучор меоянд.

Бозгашт ба сӯҳбат; Мо қаблан параметрҳоеро баррасӣ кардем, ки барои муайян кардани қоидаҳои эътибори амалиёти ҳисобҳо истифода мешаванд:

• Аутентификатсия
• Иҷозатнома
• Мантиқи ғайримантиқӣ
• Мантиқи пардохти газ
• Мантиқи иҷро

Қиматҳои чор параметри аввал метавонанд дар маҷмӯъ ҳамчун мантиқи тасдиқи ҳисоб номида шаванд, ки санҷишҳое мебошанд, ки пеш аз оғози иҷрои транзаксия ба амал меоянд. Параметри охирин муайян мекунад, ки чӣ гуна иҷрои транзаксия идома меёбад.

Дар муқаддима, мо шарҳи сатҳи баландро дар бораи манзараи кунунии АА дар шакли таснифоти навъҳо барои тарҳҳои гуногуни пешниҳодшуда пешниҳод кардем. Ҳоло мо ба синфи якуми ҳалли мушкилиҳои ҳисоби Ethereum - барномасозии EOA тамаркуз хоҳем кард.

EOA-ҳои барномарезишаванда

Бузургтарин ҷолибияти Ethereum экосистемаи ҷавон, вале пурқуввати он DeFi мебошад, ки дорои барномаҳои гуногуни ғайримарказонидашуда мебошад, ки ғарқкунандаи асосии пардохтпазирии он мебошанд. Аксари ин DApps барои хидматрасонии EOA оптимизатсия карда шудаанд, аз ин рӯ бо ҳисобҳои шартномавӣ ва дар ниҳоят ҳисобҳои интеллектуалӣ пайваст шудан душвор аст. Гарчанде ки ҳамёнҳои шартномавии интеллектуалӣ дар ин ҳолат ба ҳисобҳои шартномавӣ кӯмак мекунанд, онҳо бо маҳдудиятҳои худ ва UX комилан фарқ мекунанд.

Як ҳалли муваққатӣ дар ҳоле ки ҳам DApps ва ҳам провайдерҳои ҳамён ба стандарти ҳисоби интеллектуалӣ одат мекунанд, ин таъмин намудани такмили муваққатӣ ба EOA мебошад, ки ба онҳо имкон медиҳад, ки аксари маҳдудиятҳои гузоштаи худро, хоҳ тасдиқ ё мантиқи иҷрои онҳо бартараф кунанд. Дар зер, мо мушаххасоти се EIP-и асосиро меомӯзем, ки роҳҳои амалишавандаро барои барномарезии EOA таъмин мекунанд; аз EIP 5806 камтар маълум , то EIP 3074 шӯҳратпараст ва сипас дар ниҳоят ба EIP 7702 ғолиб .

Барномасозӣ тавассути EIP-5806

Ин пешниҳод кӯшиш мекунад, ки ба стандарти EOA функсияҳои бештар ворид кунад ва ба он имкон диҳад, ки зангҳои вакилонро ба мантиқи ҳисоби шартнома (шартномаи интеллектуалии он) иҷро кунад. Ин ба таври муассир боиси он мегардад, ки шартномаи оқилона дар контексти зангзанандаи EOA иҷро шавад, яъне EOA дар назорати мантиқи тасдиқи худ боқӣ мемонад, дар ҳоле ки мантиқи иҷрои он бо мантиқи ҳисоби шартномаи мувофиқ идора карда мешавад.

Пеш аз он ки минбаъд идома диҳем, биёед аз хатти хотираи эволютсияи Ethereum ба EIP-7 сафар кунем. EIP-7 эҷоди opcode 0xf4/DELEGATECALL -ро пешниҳод кард, ки барои фиристодани зангҳои паёмӣ ба ҳисоби ибтидоӣ бо мантиқи ҳисоби дуюмдараҷа ҳангоми нигоҳ доштани арзишҳои майдонҳои ҳисоби ибтидоӣ [фиристанда] ва [арзиш] истифода мешавад. Ба ибораи дигар, ҳисоби ибтидоӣ мантиқи ҳисоби дуюмро ба муддати муайяне, ки дар занги паёмӣ нишон дода шудааст, “ворис мекунад” (ё агар шумо хоҳед, қарз мегирад), то мантиқи охирин дар заминаи аввалӣ иҷро шавад.

Ин opcode ба таҳиягарони dapp имкон дод, ки мантиқи замимаи худро ба якчанд шартномаҳои интеллектуалӣ тақсим карда, вобастагии мутақобиларо нигоҳ доранд, то онҳо тавонанд ба осонӣ дар атрофи монеаҳои андозаи код ва монеаҳои газ гузаранд. EIP-5806 истифодаи навро барои опкоди DELEGATECALL берун аз имкон медиҳад, ки ҳисобҳои шартномавӣ ба ҳамдигар вобаста бошанд. Махсусан, EIP-5806 EIP-7-ро ҳамчун илҳом барои пешниҳоди тавсеаи функсияи даъвати вакил ба EOA низ истифода мебарад; яъне, биёед иҷозат диҳем, ки EOA-ҳо низ бо ҳисобҳои шартномавӣ вобаста бошанд, зеро чаро не.

Мушаххасоти EIP-5806

EIP 5806 як навъи нави муомилоти мувофиқи EIP-2718- ро муаррифӣ мекунад, ки ба таври зерин баста шудааст:

 rlp([chainID, nonce, max_priority_fee_per_gas, max_fee_per_gas, gas_limit, destination, data, access_list, signature_y_parity, signature_r, signature_s]).

Ин транзаксияҳо тавре тарҳрезӣ шудаанд, ки майдони [ба], ки суроғаи гирандаро ифода мекунад, метавонад танҳо суроғаҳоро ҳамчун вуруди 20-байтӣ қабул кунад ва ирсолкунандаро аз истифодаи рамзи CREATE ғайрифаъол кунад.

Ҳавасмандии ҳар як ҷузъи нақшаи RLP инҳоянд:

• chainID : Муайянкунандаи занҷираи ҷорӣ ба EIP-115 мувофиқ то 32 байт пур карда шудааст. Ин арзиш муҳофизати ҳамлаи такрориро таъмин мекунад, то транзаксияҳо дар занҷири аслӣ дар занҷирҳои алтернативии EVM бо таърихи шабеҳ ва амнияти камтари иқтисодӣ ба таври ночиз такрор нашаванд.
• nonce : Муайянкунандаи беназир барои ҳар як транзаксия, ки инчунин муҳофизати ҳамлаи такрориро таъмин мекунад.
• max_priority_fee_per_gas ва max_fee_per_gas : Арзиши пардохти газ, ки муомилоти EIP-5806 бояд мутаносибан барои фармоиш ва дохилкунӣ пардохт кунад.
• gas_limit : Ҳадди ниҳоии гази як амалиёти навъи 5806 метавонад истеъмол кунад.
• макони таъинот : гирандаи транзаксия
• маълумот : Мундариҷаи рамзи иҷрошаванда
• access_list : Агентҳое, ки шартан барои иҷрои амалиёти EIP-5806 ваколат доранд.
• signature_y_parity, signature_r ва signature_s : се арзише, ки якҷоя имзои secp256k1-ро дар болои паём ифода мекунанд — keccak256 (TX_TYPE || rlp ([chainID, nonce, max_priority_fee_per_gas, max_fee_per_gas, gas_limit, destination, data, access_list])).

Гарчанде ки бастабандии транзаксияҳои EIP-5806 дар лифофаҳои EIP-2718 ба онҳо имкон медиҳад, ки ба ақиб хеле мувофиқ бошанд, EOAҳо ба ҳисобҳои шартномавӣ баробар нестанд. Ҳамин тавр, маҳдудиятҳои муайян бояд тавре муайян карда шаванд, ки EOA зангҳои вакилонро барои пешгирии шикастани инвариант истифода мебарад.

Ин маҳдудиятҳо ба опкодҳои зерин нигаронида шудаанд:

• SSTORE/0x55 : Ин opcode ба ҳисоб имкон медиҳад, ки арзишро дар нигаҳдорӣ захира кунад. Он дар транзаксияҳои EIP-5806 барои пешгирӣ кардани танзим/дастрасӣ ба нигаҳдории EOA-ҳо бо истифода аз зангҳои вакил маҳдуд карда шудааст ва аз ин рӯ, пешгирии мушкилоти эҳтимолӣ, ки дар оянда бо сабаби муҳоҷирати ҳисоб ба вуҷуд меоянд, пешгирӣ карда мешавад.
• CREATE/0xF0 , CREATE2/0xF5 ва SELFDESTRUCT/0xFF : Ин кодҳо ба таври васеъ имкон медиҳанд, ки зангзананда ҳисоби нав эҷод кунад. Дастрасӣ ба инҳо бо мақсади пешгирӣ кардани тағири ғайримуқаррарии EOA дар чаҳорчӯбаи иҷрои дигар (эҷоди шартнома/нобудкунӣ дар ин ҳолат) ҳангоми анҷом додани амалиёти EIP-5806 бо мақсади пешгирӣ кардани беэътибор шудани интизории транзаксияҳо, ки транзаксияҳо бефосила доранд, маҳдуд карда шудааст.

Барномаҳои эҳтимолии EIP-5806

Татбиқи асосии EIP-5806 абстраксияи иҷро барои EOA мебошад. Иҷозат додан ба EOA ба таври эътимодбахш бо шартномаҳои интеллектуалӣ берун аз зангҳои оддӣ ба мантиқи онҳо ба онҳо чунин хусусиятҳоро медиҳад:

• Иҷрои шартии муомилот
• Ҷамъоварии транзаксия
• Муомилоти бисёрзанагӣ (масалан, тасдиқ ва занг задан)

Интиқодҳои EIP-5806

Тағйироте, ки аз ҷониби EIP-5806 пешниҳод шудааст, дар ҳоле ки хусусиятҳои заруриро фаъол мекунанд, махсусан нав нестанд; мавҷудияти он асосан ба EIP-7, ки аллакай фаъол аст, пешбинӣ шудааст. Ин ба он имкон медиҳад, ки монеаҳои зиёди эҳтимолиро барои қабул гузарад.

Яке аз нигарониҳои асосӣ, ки дар рӯзҳои аввали он садо дод, ин хатари эҳтимолии иҷозати EOAs барои дастрасӣ ба нигаҳдорӣ ва тағир додани он буд, ба монанди CA-ҳои ҳозира. Ин бисёре аз инвариантҳои шабакавиро дар бораи чӣ гуна муомилоти EOA вайрон мекунад ва аз ин рӯ бо ҷорӣ кардани маҳдудиятҳои дар зербоби қаблӣ зикршуда ҳал карда шуд.

Интиқоди дуввум (ки каме шамшери дудама аст) соддагии EIP-5806 аст; Баъзе ҳиссиёт вуҷуд дорад, ки мукофотҳо дар натиҷаи қабули EIP-5806 шояд арзише надошта бошанд, зеро он танҳо абстраксияи иҷроро имкон медиҳад, на чизи дигар. Ҳар як маҳдудияти эътибори дигар барои EOA-ҳое, ки ба EIP-5806 дохил мешаванд, дар муқоиса бо дигар EIP-ҳои то ҳадде шабеҳ, ки мо дар зерфаслҳои зерин муҳокима мекунем, дар шабака боқӣ мемонад.

Барномасозӣ тавассути EIP-3074

EIP-3074 пешниҳод мекунад, ки ба EOA иҷозат диҳад, ки мантиқи тасдиқи худро ба ҳисобҳои махсуси шартномавӣ, ки ҳамчун даъваткунанда номида мешавад, бо гузоштани мантиқи иҷозати охирин бар мантиқи онҳо барои шаклҳои мушаххаси муомилот вогузор кунанд. Он ба ин тавассути имзо кардани сиёсати дастрасии онҳо ба шартномаи даъваткунанда ноил мешавад, ки баъдан барои муайян кардани сиёсати дастрасии EOA масъул мешавад.

Ин EIP илова кардани ду опкоди навро ба EVM пешниҳод мекунад:

• [AUTH] , ки ҳисоби тағйирёбандаи контекст [ваколатдор]-ро барои амал кардан аз номи ҳисоби дуюми [мақомот] муқаррар мекунад, ки дар асоси имзои ECDSA охирин.
• [AUTHCALL] ки зангҳоро барои ҳисоби [мақомот] аз/ҳамчун ҳисоби [ваколатдор] мефиристад/амал мекунад.

Ин ду опкод ба EOA имкон медиҳанд, ки назоратро ба CA-и қаблан муқарраршуда вогузор кунанд ва аз ин рӯ, бидуни ҷойгиркунии шартнома ва хароҷот ва берунии марбут ба он тавассути он ҳамчун як амал амал кунанд.

Мушаххасоти EIP-3074

EIP-3074 ба транзаксияҳо имкон медиҳад, ки формати имзои [MAGIC] истифода баранд, то аз бархӯрд бо форматҳои дигари имзои транзаксия пешгирӣ кунанд. Ҳисоби фаъоле, ки ба он дастурҳои [AUTHCALL] интиқол дода мешаванд, ҳамчун майдони тағирёбандаи контекстӣ бо номи [ваколатдор] муайян карда мешавад, ки танҳо тавассути як транзаксия боқӣ мемонад ва бояд барои ҳар як [AUTHCALL] нав муайян карда шавад.

Пеш аз баррасии мушкилиҳои ҳар як код, инҳо субъектҳое ҳастанд, ки дар муомилоти EIP-3074 иштирок мекунанд:

• [мақом] : Ҳисоби имзои ибтидоӣ (EOA), ки дастрасӣ/назоратро ба ҳисоби дуюм, ки маъмулан ҳисоби шартномавӣ аст, вогузор мекунад.
• [ваколатдор] : Ҳисобе, ки ба он дастурҳои [AUTHCALL] барои иҷро интиқол дода мешаванд. Ба ибораи дигар, ин ҳисобест, ки дар он мантиқи [AUTHCALL] аз номи [мақом] бо истифода аз маҳдудиятҳои муайянкардаи [инвокер] иҷро карда мешавад.
• [invoker] : Шартномаи фаръӣ барои идоракунии мутақобила байни ҳисоби [ваколатдор] ва мантиқи [AUTHCALL] пешбинӣ шудааст, махсусан дар ҳолатҳое, ки мантиқи асосии рамзи шартномаи охирин сарпарастии газ аст.

Шартномаҳои даъваткунанда аз [мақом] паёмҳои [AUTH] бо арзиши [COMMIT] мегиранд; ин арзиш маҳдудиятҳоеро муайян мекунад, ки ҳисоб мехоҳад дар иҷрои дастурҳои [AUTHCALL] ҷойгир кунад. Ҳамин тариқ, даъваткунандаҳо барои таъмини он, ки [ contract_code ] дар ҳисоби [иҷозат додашуда] зараровар нест ва қобилияти қонеъ кардани инвариантҳои аз ҷониби ҳисоби имзои ибтидоӣ дар арзиши [COMMIT] ҷойгиршуда масъулият доранд.

Коди [AUTH] дорои се вуруди унсури стек мебошад; ё соддатар - он аз ҷониби се вуруд муайян карда мешавад, ки як баромадро ҳисоб мекунанд. Ин вурудот инҳоянд:

1. мақомот : он суроғаи EOA мебошад, ки имзоро тавлид мекунад
2. офсет
3. дарозӣ

Ду вуруди охирин барои тавсифи як қатор хотираи тағирёбанда аз 0 то 97 истифода мешаванд, ки дар он ҷо:

1. [memory(offset : offset+1)] – [yParity]
2. [memory(offset+1 : offset+33] – [r]
3. [memory(offset+33 : offset+65)] – [s]
4. [memory(offset+65 : offset+97)] – [COMMIT]

Тағйирёбандаҳои [yParity], [r] ва [s] ба таври дастаҷамъӣ ҳамчун имзои ECDSA, [magic] дар каҷи secp256k1 дар болои паём шарҳ дода мешаванд:

[keccak256 (MAGIC || chainID || nonce || invoker address || COMMIT)]

дар куҷо:

• [MAGIC] як имзои ECDSA аст, ки дар натиҷаи омезиши тағирёбандаҳо ба вуҷуд меояд:
• [chainID], ки идентификатори мутобиқи EIP 115-и занҷир аст, ки барои таъмини ҳифзи ҳамлаи такрорӣ дар занҷирҳои алтернативии EVM бо таърихи шабеҳ ва амнияти камтари иқтисодӣ истифода мешавад.
• [nonce], ки суроғаи ҷории имзокунандаи транзаксия мебошад, ки ба 32 байт гузошта шудааст.
• [invokerAddress] , ки суроғаи шартномаест, ки мантиқи иҷрои [AUTH] -ро дар бар мегирад.
• [COMMIT] арзиши 32-байт аст, ки барои муайян кардани шароити иловагии эътибори транзаксия дар мантиқи коркарди пешакии даъваткунанда истифода мешавад.

Агар имзои ҳисобшуда дуруст бошад ва суроғаи имзокунанда ба [мақом] баробар бошад, майдони [ваколатдор] ба арзиши пешниҳодкардаи [мақом] нав карда мешавад. Агар яке аз ин талаботҳо қонеъ карда нашавад, майдони [иҷозатномадор] дар ҳолати қаблии худ ё ҳамчун арзиши муқаррарнашуда бетағйир мемонад.

Арзиши газ барои ин opcode ҳамчун маблағи зерин ҳисоб карда мешавад:

1. Пардохти собит барои [ecrecover] пешакӣ ва иловагӣ барои hash keccak256 ва баъзе мантиқи иловагӣ, ки 3100 адад арзиш дорад

2. Пардохти тавсеаи хотира, ки ба ҳамон коди опсияи [RETURN] ҳисоб карда мешавад ва ҳангоми васеъ кардани хотира аз доираи муайяни тақсимоти ҷорӣ (97 адад) истифода мешавад.

3. Хароҷоти собит 100 адад барои [мақомот] гарм ва 2600 адад барои сард барои пешгирии ҳамлаҳо аз сабаби нодуруст нархгузории опкодҳои дастрасии давлатӣ.

   
   

   ( AUTH барои тағир надодани хотира амалӣ карда мешавад ва арзиши [мақом]-ро ҳамчун аргумент мегирад, то тафтиши арзиши он аз имзои додашуда ночиз бошад.)

Коди [AUTHCALL] дорои ҳафт вуруди элементи стек мебошад, ки барои ҳисоб кардани баромади як унсури стек истифода мешаванд.

Он дорои мантиқи якхелаест, ки опкоди [CALL] , яъне; он барои фиристодани зангҳои паёмӣ ба ҳисоб ва мантиқи мушаххас дар шартномаҳои он истифода мешавад. Ягона инҳироф дар мантиқи онҳо ин аст, ки [AUTHCALL] барои муқаррар кардани арзиши [CALLER] пеш аз идома додани иҷро тарҳрезӣ шудааст.

Ҳамин тариқ, [AUTHCALL] аз ҷониби [мақомот] барои оғоз кардани рафтори контекстӣ дар [ваколатдор] бо санҷишҳои мантиқӣ ба таври зерин истифода мешавад:

1. Қимати [автоҷирон]-ро санҷед. Агар танзим нашуда бошад, иҷро беэътибор дониста мешавад ва чаҳорчӯба фавран хориҷ карда мешавад. Ин барои пешгирӣ кардани пардохтҳои ноодилона аз сабаби нокомиҳои бесобиқа кӯмак мекунад.
2. Арзиши гази рафтори пешбинишудаи [ваколатдор] -ро тафтиш мекунад.
3. Арзиши мувофиқи операнди EIP-150-ро [газ] тафтиш мекунад.
4. Мавҷудияти арзиши умумии газ –[арзиш]– дар тавозуни [мақомот] тафтиш мекунад.
5. Иҷро пас аз тарҳ кардани [арзиш] аз бақияи суратҳисоби [мақомот] сурат мегирад. Агар [арзиш] аз тавозуни онҳо зиёд бошад, иҷро беэътибор дониста мешавад.

Арзиши газ барои [AUTHCALL] ҳамчун маблағи зерин ҳисоб карда мешавад:

• Арзиши собит барои занг [warm_storage_read]
• Хароҷоти тавсеаи хотира [memory_expansion_fee] , ки ба арзиши газ барои коди опсияи [CALL] шабеҳ ҳисоб карда мешавад
• Хароҷоти динамикӣ [dynamic_gas]
• Хароҷоти иҷрои зерзағд [subcall_gas]

Маълумоте, ки аз [AUTHCALL] бармегардад, тавассути:

• [RETURNDATASIZE] - ки андозаи буфери маълумотро ба стеки баромад тела медиҳад
• [RETURNDATACOPY] - ки маълумотро аз буфери маълумот ба хотира нусхабардорӣ мекунад.

Хамаи онро бо хеле ками тех-никй якчоя кардан; Муомилоти Ethereum одатан ду арзишро муайян мекунанд:

1. tx.origin - ки барои транзаксия иҷозат медиҳад.
2. msg.sender - дар он амалиёт воқеан сурат мегирад.

Дар EOA-ҳо, тавре ки қаблан зикр шуда буд, иҷозат бо иҷроиш зич алоқаманд аст, яъне ( tx.origin == msg.sender ). Ин инварианти оддӣ боиси аксари масъалаҳое мегардад, ки мо дар зербахши "Ҳисобҳо ва эътибори амалиёт" -и ин ҳисобот шарҳ додаем.

Паёмҳои [AUTH] аз [авторитет] ба он имкон медиҳанд, ки функсияи tx.origin-ро ба [иҷозат додашуда] ҷуброн кунад ва дар ҳоле ки msg.sender боқӣ мемонад. Он инчунин ба он имкон медиҳад, ки бо истифода аз арзиши [COMMIT] маҳдудиятҳоро ба ин имтиёз муайян кунад. Пас [AUTHCALL] ба [ваколатдор] имкон медиҳад, ки мантиқи шартномаро дастрас кунад, бо истифода аз [инвокер] ҳамчун миёнарав барои кафолат додани он, ки шартномае, ки мехоҳад дастрас кунад, безарар аст. Яъне, барои ҳар як [AUTHCALL] , [ваколатдор] аст, ки барои [COMMIT] худ як [инвокер]-ро муайян кунад.

Барномаҳои эҳтимолии EIP-3074

EIP 3074 пеш аз ҳама барои иҷозат додан ба EOA-ҳо масъул аст, ки мантиқи иҷозати худро ба ҳисоби дигар интиқол диҳанд, аммо тарҳи кушодаи он дар контекстҳои гуногун имкон медиҳад, ки чизҳои бештарро фароҳам орад. Тамоми мантиқи тасдиқи EOA-ро метавон тавассути истифодаи маҳдудиятҳо/навовариҳои гуногун ба даъваткунанда ба таври зарурӣ абстракт кард, баъзе тарҳҳои имконпазир дар асоси мантиқи ҳадафи онҳо инҳоро дар бар мегиранд:

• Мантиқи ғайримантиқӣ : EIP-3074 ба EOA имкон медиҳад, ки пас аз фиристодани паёми [AUTH] бетағйир боқӣ монад, дар айни замон бефосилаи он барои ҳар як [AUTHCALL] аз он вобаста аст, ки он бо кадом даъваткунанда ҳамкорӣ мекунад. Бо ин роҳ, он барои EOA-ҳо параллелизмро имкон медиҳад, то онҳо тавонанд чанде аз [AUTHCALL] -ро мувофиқи хоҳишашон фиристанд.
• Мантиқи пардохти газ : Тавре ки дар EIP нишон дода шудааст , инвокерҳо метавонанд барои иҷозати сарпарастии газ тарҳрезӣ шаванд. Ҳамин тавр, ҳаққи газ барои [COMMIT]-и корбар метавонад аз пайдоиши транзаксия ё аз ҳама гуна ҳисоби дастгирӣ, хоҳ шахси шахсӣ ё реле дар асоси хидмат (хизматрасонии сарпарастии газ) тарҳ карда шавад. Инчунин, мантиқи иҷро ба таври интуитивӣ абстрактӣ аст; пас аз ҳама даъваткунанда (ки CA аст) ҳоло барои иҷрои дархостҳои транзаксия аз номи EOA масъул аст.

Танқидҳои EIP-3074

Марказизатсияи даъваткунанда

Бо иқтибос аз яке аз муаллифони он: " Ман интизор набудам, ки ҳамёнҳо функсияҳоро барои имзои инвокерҳои худсарона фош кунанд ... ". Шояд бузургтарин мушкилие, ки ташаббуси 3074 ба миён омадааст, ин аст, ки навоварӣ дар болои он ба осонӣ ба ҷараёнҳои муомилоти иҷозатдодашуда ва хусусӣ майл мекунад; ба монанди такрори ҷории бозорҳои Ethereum MEV (арзиши ҳадди аксар истихроҷшаванда) ва PBS (ҷудошавии пешниҳодкунанда ва сохтмончӣ).

Бо нобаёнӣ, шартномаҳои даъваткунанда бояд ба таври ҷиддӣ тафтиш карда шаванд, то аз ҳамлаҳои бадтар аз ҳозира пешгирӣ карда шаванд. Ин ногузир ба экосистема майл хоҳад кард, ки дар он танҳо чанде аз шартномаҳои даъваткунанда аз ҷониби шахсони бонуфуз таҳияшуда ҳамчун пешфарз барои таҳиягарони ҳамён қабул карда мешаванд. Ҳамин тариқ, он ба муомилоти байни:

• Гирифтани роҳи сахти ғайримарказонидашудаи мунтазам тафтиш ва дастгирии шартномаҳои даъваткунанда бо хатари амнияти корбарон
• Қабули шартномаҳои даъваткунанда аз манбаъҳои муқарраршуда ва бонуфуз бо кафолатҳои беҳтари амнияти корбарон ва назорати камтари бехатарии шартнома.

Ҷанбаи дигари ин нукта ин функсияи хароҷотест, ки бо тарҳрезӣ, аудит ва маркетинги инвокери функсионалӣ ва бехатар алоқаманд аст. Гурӯҳҳои хурдтар тақрибан ҳамеша аз созмонҳои калонтар, махсусан дар ҷабҳаи маркетинг, ки аллакай обрӯи муқарраршуда доранд, бартарӣ хоҳанд дошт, ҳатто агар маҳсулоти онҳо беҳтар бошад.

Масъалаҳои мутобиқати пеш

EIP-3074 нақшаи имзои ECDSA-ро мустаҳкам мекунад, зеро он то ҳол нисбат ба нақшаи иҷозатдиҳӣ, ки тавассути инвокер ҷорӣ карда шудааст, эътиборноктар ҳисобида мешавад. Гарчанде ки далелҳо вуҷуд доранд, ки муқовимати квантӣ дар айни замон як мушкили қатъӣ нест (ва дар ояндае, ки ECDSA фосид аст, хеле бадтар аст), ҳадафи то ҳадде номуайяншудаи Ethereum ин аст, ки ҳамеша пеш аз чунин мушкилот бошад. Потенсиали қурбонии муқовимати квантӣ ва сензура барои беҳбудиҳои ночиз дар UX шояд беҳтарин интихоб дар ояндаи наздик набошад.

Нуктаи дигар дар далели мутобиқат ба пеш ин аст, ки дар ҳоле ки манфиатҳои 3074 ҳоло ҳам арзёбӣ мешуданд, ERC-4337 (ки ягон тағироти протоколро талаб намекунад) ҳоло як бозори бузург дорад, аз ин рӯ шумо бояд бо он ҳам мувофиқ бошед, то пешгирӣ кунед. тақсимоти экосистема. Ҳатто бо харитаи роҳи абстраксияи ҳисоби маҳаллӣ, опкодҳои [AUTH] ва [AUTHCALL] дар ниҳоят дар EVM кӯҳна мешаванд ва ба Ethereum қарзи зиёди техникӣ меоранд, то миқдори ками беҳбуди UX-ро таъмин кунанд.

Бозгаштнопазирии схемаи ECDSA

Пас аз фиристодани паёми [AUTH] ва додани назорат, EOA интизор меравад, ки аз нақшаи муқаррарии иҷозатдиҳии калиди хусусӣ канорагирӣ кунад, зеро фиристодани транзаксияи "муқаррарӣ" боиси бекор шудани иҷозати ба ҳар як даъваткунанда додашуда мегардад. Ҳамин тариқ, нақшаи ECDSA аз ҳама гуна нақшаи дигари иҷозатдиҳӣ, ки шартномаҳои алоқаманд метавонанд ба он имкон диҳанд, бартарӣ доранд, яъне аз даст додани калидҳои хусусӣ боиси талафоти умумии дороиҳои ҳисоб мегардад.

Барномасозӣ тавассути EIP-7702

Ин пешниҳод дар аввал ҳамчун як варианти то ҳадде минималистии EIP 3074 муқаррар шуда буд ва ҳатто бояд навсозии он бошад. Он барои рафъи бесамарии эҳтимолии EIP 3074, бахусус нигарониҳо дар бораи номувофиқатии он бо экосистемаи аллакай нашъунамоёфтаи 4337 ва пешниҳоди абстраксияи ҳисоби ватанӣ - RIP 7560 тавлид шудааст.

Равиши он илова кардани навъи нави транзаксия бо EIP 2718 - [SET_CODE_TX_TYPE] мебошад, ки ба EOA имкон медиҳад, ки ҳамчун ҳисоби интеллектуалӣ барои муомилоти мушаххас амал кунад. Ин тарҳ ҳамон хусусиятҳои EIP 5806 ва баъзе чизҳои дигарро фароҳам меорад, дар ҳоле ки бо харитаи роҳи абстраксияи ҳисоби ватанӣ ва ташаббусҳои мавҷуда мувофиқ боқӣ мемонад.

Мушаххасоти EIP-7702

EIP-7702 ба EOA имкон медиҳад, ки мундариҷаи коди шартномаро тавассути транзаксияи ба [SET_CODE_TX_TYPE] 2718 мувофиқи формат "ворид кунад":

 rlp([chain_id, nonce, max_priority_fee_per_gas, max_fee_per_gas, gas_limit, destination, value, data, access_list, authorization_list, signature_y_parity, signature_r, signature_s])

Ин сарбории пурбор комилан ба бори EIP 5806 монанд аст, ба истиснои он, ки он "рӯйхати иҷозат" -ро ҷорӣ мекунад. Ин рӯйхат пайдарпайии арзишҳои формат аст:

[[chain_id, address, nonce, y_parity, r, s], ...]

ки дар он ҳар як навор арзиши [адрес]-ро муайян мекунад.

Пеш аз идома додан, тарафҳои дар SET_CODE_TX_TYPE иштирокдошта инҳоянд:

• [мақом] : ки ҳисоби EOA/имзокунии ибтидоӣ мебошад
• [адрес] : он суроғаи ҳисобест, ки дорои рамзи ваколатшаванда мебошад.

Вақте ки [мақом] ба SET_CODE_TX_TYPE бо нишон додани [суроға] имзо мегузорад, таъинкунандаи намояндагӣ сохта мешавад. Ин "барномаи ишоракунанда" аст, ки боиси он мегардад, ки ҳама дархостҳои ҷустуҷӯи код аз сабаби амалҳои [мақомот] дар ҳар лаҳза ба коди мушоҳидашавандаи [суроға] интиқол дода шаванд.

Барои ҳар як [chain_id, address, nonce, y_parity, r, s] tuple, ҷараёни мантиқии амалиёти навъи 7702 чунин аст:

1. Тасдиқи имзои [авторитет] аз хэши додашуда бо истифода аз: authority = ecrecover(keccak(MAGIC || rlp([chain_id, address, nonce])), y_parity, r, s]
2. Пешгирии ҳамлаҳои такрории занҷир ва дигар векторҳои ҳамла тавассути санҷиши ID занҷир.
3. Санҷед, ки оё [мақом] аллакай мундариҷаи код дорад.
4. Nonce санҷед, то боварӣ ҳосил кунед, ки nonce-и [мақомот] ба nonnce дохил карда шудааст.
5. Агар транзаксия аввалин транзаксияи SET_CODE_TX_TYPE аз ҷониби [мақом] бошад, аз он ҳаққи PER_EMPTY_ACCOUNT_COST ситонида мешавад. Дар ҳолате, ки бақияи он аз арзиши ин пардохт камтар бошад, амалиёт тарк карда мешавад.
6. Таъиноти намояндагӣ ба амал меояд, ки дар он рамзи [мақомот] ба нишондиҳандаи [суроға] гузошта мешавад.
7. Нақши имзокунанда - [мақом] - як зиёд мешавад.
8. [мақом] ба рӯйхати суроғаҳои дастрасшуда илова карда мешавад, ки (аз ҳад зиёд соддакардашуда) маҷмӯи суроғаҳоест, ки ба тавре сохта шудаанд, ки баргардонидани доираи муомилот аз онҳо боиси баргардонидани онҳо (суроға) ба ҳолати қаблии худ мегардад. , пеш аз ворид шудани доираи баргардонидашуда. Ин тавре аст, ки дар EIP-2929 барои имкон кэшкунии арзишҳои дубора истифодашаванда ва пешгирӣ кардани пардохтҳои нолозим муайян карда шудааст.

Оҳ! Хамаи онро ба пушт бастан; ин EIP ба EOA имкон медиҳад, ки транзаксияҳоеро фиристанд, ки нишондиҳандаи рамзи шартномаро муқаррар мекунанд ва ба онҳо имкон медиҳад, ки ин мантиқро ҳамчун мантиқи худ дар муомилоти минбаъда татбиқ кунанд. Бо ин роҳ, он нисбат ба EIP 5806 ба таври қатъӣ қавитар аст, зеро он ба EOA имкон медиҳад, ки воқеан то он даме, ки мехоҳанд мундариҷаи рамзро дошта бошанд (бар хилофи EIP 5806, ки ба EOA имкон медиҳад, ки зангҳои вакилонро ирсол кунанд).

Барномаҳои эҳтимолии EIP-7702

Абстраксияи иҷро

Дар ҳоле ки метавон гуфт, ки он дигар абстраксия нест, зеро EOA мантиқи иҷро карданро фаъолона қабул мекунад, он то ҳол "соҳиби ибтидоии" мантиқи зикршуда нест. Ғайр аз он, он мустақиман мантиқро дарбар намегирад, он танҳо як ишораро ба мантиқ муайян мекунад (барои кам кардани мураккабии ҳисоббарорӣ). Ҳамин тавр, мо бо абстраксияи иҷроиш меравем!

Сарпарастии газ

Ҳангоме ки инварианти require(msg.sender == tx.origin) барои иҷозаи худсарпарастӣ шикастааст, EIP то ҳол ба ҳамгироии релеерҳои транзаксиони сарпарастӣ имкон медиҳад. Бо вуҷуди ин, огоҳӣ дар он аст, ки чунин релеерҳо барои пешгирии ҳамлаҳои ғамгинӣ ба як системаи обрӯ ё саҳм асосёфта ниёз доранд.

Сиёсати дастрасии шартӣ

EOA-ҳо метавонанд танҳо ба як қисми мушаххаси коди ҳисоб ишора кунанд, то дар контексти онҳо танҳо мантиқи он қисм иҷрошаванда бошад.

Ин инчунин мавҷудияти зеркалидҳоро фароҳам меорад, ки барои фаъол кардани "паст кардани имтиёз" идома медиҳанд, то даппҳои мушаххас танҳо дар шароити мушаххас ба тавозуни ҳисоб дастрасӣ дошта бошанд. Масалан, шумо метавонед иҷозати харҷ кардани токенҳои ERC-20-ро тасаввур кунед, аммо на ETH, ё сарф кардани то 1% тавозуни умумӣ дар як рӯз ё ҳамкорӣ танҳо бо барномаҳои мушаххас.

Ҷойгиркунии шартномаи интеллектуалии байни занҷир

Аз сабаби хусусияти маҳдуднашавандаи худ, транзаксияи EIP-7702 метавонад ба корбар имкон диҳад, ки ба опкоди CREATE2 дастрасӣ пайдо кунад ва онро барои ҷойгиркунии байткод ба суроға бидуни ягон параметрҳои дигари маҳдудкунанда, ба монанди мантиқи бозори пардохт (масалан, EIP-1559 ва EIP-4844) истифода барад. ). Ин имкон медиҳад, ки суроға дар якчанд мошинҳои давлатӣ бо ҳамон байт-код барқарор ва истифода шавад, ки дар он ҳисоби он дар ҳар як занҷир пас барои муайян кардани дигар параметрҳои тағирёбандаи контекст масъул аст.

Танқидҳои EIP-7702

Набудани мутобиқат ба ақиб

Гарчанде ки EIP-7702 ҳанӯз хеле нав аст, аллакай прототипсозӣ ва озмоиши вобастагӣ ва нуқсонҳои эҳтимолии он вуҷуд дорад, аммо модели минималистии он ба он чандирии зиёд ва аз ин рӯ муфидро дар заминаҳои гуногун кафолат медиҳад. Бо вуҷуди ин, он бисёр инвариантҳоро вайрон мекунад ва фавран ба ақиб мувофиқат намекунад. Баъзе аз мантиқи EIP-7702 иборатанд аз:

1. Тағйироти миёнаравии EOA: EIP-7702 ҳеҷ гуна опкодро дар дархост барои таъмини мувофиқат маҳдуд намекунад. Ин маънои онро дорад, ки EOA метавонад ҳангоми иҷрои транзаксияи EIP-7702, ба монанди CREATE , CREATE2 ва SSTORE opcodҳоро амалӣ кунад ва имкон медиҳад, ки номуайянии он дар заминаи дигар афзоиш ёбад.
2. Иҷозат додан ба ҳисобҳое, ки арзиши codeHash сифр надоранд, ташкилкунандаи транзаксия бошанд: EIP-3607 барои кам кардани оқибати эҳтимолии "бархӯрди суроғаҳо" байни EOA ва CA амалӣ карда шуд. Бархӯрди суроғаҳо вақте рух медиҳад, ки арзиши 160-битии суроғаи EOA комилан ба суроғаи CA баробар аст.

Аксари корбарон мундариҷаи воқеии ҳисобро (ё ҳатто фарқияти байни ҳисоб ва суроғаро!) намедонанд, аз ин рӯ иҷозат додан ба бархӯрди суроғаҳо маънои онро дорад, ки EOA метавонад ҳамчун ҳисоби шартномавӣ маскан гирад ва маблағҳои корбарро дар муддати тӯлонӣ ҷалб кунад. каме барои он ки дар ниҳоят ҳама чизро дуздид. EIP-3607 ин масъаларо бо роҳи ҳаллу фасл кард, ки ҳисобҳое, ки рамз доранд, набояд бо истифода аз мантиқи иҷозати худ тавозуни худро сарф кунанд. Аммо, EIP 7702 ин инвариантро вайрон мекунад, то ки EOAҳо ҳатто пас аз ба даст овардани баъзе барномасозӣ мустақил бошанд.

Монандӣ ба EIP-3074

Имзои суроғаи ҳисоб ба ҷои мундариҷаи коди он асосан ба нақшаи 3074 бо даъваткунандагон монанд аст. Он кафолати қатъиро дар бораи мутобиқати мундариҷаи рамзҳои байнизанҷирӣ таъмин намекунад, зеро суроға метавонад дар занҷирҳои гуногун мундариҷаи рамзи дигарро дар бар гирад. Ин маънои онро дорад, ки суроғае, ки мундариҷаи кодаш дар як занҷир як мантиқро дар бар мегирад, метавонад дар занҷири дигар дарранда ё бадхоҳона бошад ва ин метавонад боиси аз даст додани маблағҳои корбарон гардад.

Хулоса

EOAҳо дар шакли кунунии худ имрӯз хеле маҳдуданд, зеро онҳо ба корбарон имкон намедиҳанд, ки аз хусусиятҳои барномасозӣ, ки EVM пешниҳод мекунанд, истифода баранд. Гарчанде ки роҳҳои гуногуни такмил додани ҳисобҳо мавҷуданд, тавре ки мо дар аввали ин гузориш зикр кардем, роҳи интихобшуда бояд принсипҳои ҳифзи бехатар ва бехатарро нигоҳ дорад. Ғайр аз он, такмилдиҳии EOA метавонад ҳам ба таҷрибаи корбар ва ҳам ба таҳиягарони барномаҳо ба таври назаррас таъсир расонад, аз ин рӯ бояд ҳамаи овозҳои ҷонибҳои манфиатдор ба назар гирифта шаванд.

Иҷозат додан ба EOAs барои иҷро кардани код ба ҳама гуна усулҳо функсияҳои ҳисобҳоро ба таври назаррас васеъ мекунад, аммо ин ифодаи нав бо хатарҳои назаррас ва нобиноҳои имконпазир меояд. Ҳалли ин муомилаҳо барои расонидани навсозӣ бо манфиатҳои бебаҳсонаи UX барои корбарони Ethereum муҳим аст.

Фарҳанги мубоҳисаи кушоди Ethereum онро як майдони бузурги озмоишӣ барои чунин навоварӣ месозад, зеро қариб ҳар як таъсири ҳар як тарроҳӣ аз ҷониби коршиносони мавзӯъ ба таври амиқ вайрон карда мешавад. Ин баррасии ҳамаҷониба бояд барои коҳиш додани хатарҳои сӯиистифода аз рақибон кӯмак кунад.

EIP-7702 дар айни замон кӯдаки плакат барои механизмҳое мебошад, ки мехоҳанд барномасозии EVM-ро ба EOAs расонанд ва ҳамчун ивазкунандаи ковокии EIP 3074 дар такмилдиҳии Pectra қайд карда шудаанд. Он тарҳи кушодаи механизми 3074-ро мерос мегирад ва ҳамзамон сатҳи ҳамла / хатарҳоро хеле паст мекунад. Он инчунин тавассути канорагирӣ аз маҳдудиятҳои 3074 ба синфҳои муайяни опкодҳо чизҳои бештарро фароҳам меорад.

Гарчанде ки дар тарҳрезии пешниҳод то ҳол баъзе такмилҳо анҷом дода мешаванд, он аллакай аз ҷониби таҳиягарон иродаи нек ва дастгирии зиёде ба даст овардааст, бахусус аз он ки он мустақиман Виталик онро дастгирӣ мекунад. Дар дохили ҷомеа даъвоҳо мавҷуданд, ки ин равиш ба абстраксияи ҳисоб ҳатто метавонад аз ҳисобҳои интеллектуалӣ беҳтар бошад. Ин шарҳ таъкид мекунад, ки ин роҳ тағироти камтарро талаб мекунад ва он қадар мураккаб нест ва EOAҳо аллакай сабт шудаанд.

Аммо, мо бояд марҳилаи ояндаи амнияти муқовимати квантиро дар ҳама сатҳҳои шабакаи Ethereum дар хотир дорем. Ин бехатарии квантӣ бо асоси модели ҳисоби ҷорӣ аз сабаби истифодаи схемаҳои имзои ECDSA барои иҷозати EOA ғайриимкон аст.

Ҳамин тариқ, барномасозии EOA бояд ҳамчун як қадам дар роҳ ба ҳисобҳои интеллектуалӣ баррасӣ шавад, на макони таъинот. Он EOA-ро пур мекунад ва таҷрибаи беҳтари корбарон ва таҳиягаронро фароҳам меорад ва ҳамзамон бо ҳадафи ниҳоии абстраксияи ҳисобҳои ҳисобҳои интеллектуалӣ мувофиқ мемонад.

Дар гузориши навбатии худ, мо ба нақшаҳои муҳоҷирати EOA ғарқ мешавем, то бубинем, ки онҳо ба харитаи роҳи абстраксияи ҳисоб то чӣ андоза мувофиқат мекунанд, бохабар бошед!