ఎల్లో పేపర్ యొక్క EVM స్పెసిఫికేషన్లను అర్థం చేసుకోవడం

ఎల్లో పేపర్opens in a new tab అనేది ఇతీరియము కోసం అధికారిక స్పెసిఫికేషన్. EIP ప్రక్రియ ద్వారా సవరించబడిన చోట తప్ప, ప్రతిదీ ఎలా పనిచేస్తుందో దాని యొక్క ఖచ్చితమైన వివరణను ఇది కలిగి ఉంటుంది. ఇది ఒక గణిత పేపర్‌గా వ్రాయబడింది, ఇందులో ప్రోగ్రామర్‌లకు సుపరిచితం కాని పరిభాష ఉంటుంది. ఈ పేపర్‌లో మీరు దానిని ఎలా చదవాలో నేర్చుకుంటారు, మరియు తద్వారా ఇతర సంబంధిత గణిత పత్రాలను కూడా.

ఏ ఎల్లో పేపర్?

ఇతీరియములోని దాదాపు అన్ని ఇతర విషయాల వలె, ఎల్లో పేపర్ కూడా కాలక్రమేణా అభివృద్ధి చెందుతుంది. ఒక నిర్దిష్ట వెర్షన్‌ను సూచించగలగడానికి, నేను వ్రాసే సమయంలో ఉన్న ప్రస్తుత వెర్షన్‌ను అప్‌లోడ్ చేసాను. నేను ఉపయోగించే విభాగం, పేజీ మరియు సమీకరణ సంఖ్యలు ఆ వెర్షన్‌ను సూచిస్తాయి. ఈ పత్రాన్ని చదివేటప్పుడు దానిని వేరొక విండోలో తెరిచి ఉంచడం మంచిది.

EVM ఎందుకు?

అసలైన ఎల్లో పేపర్ ఇతీరియము అభివృద్ధి ప్రారంభంలోనే వ్రాయబడింది. నెట్‌వర్క్‌ను భద్రపరచడానికి వాస్తవానికి ఉపయోగించిన అసలు ప్రూఫ్-ఆఫ్-వర్క్ ఆధారిత ఏకాభిప్రాయ యంత్రాంగాన్ని ఇది వివరిస్తుంది. అయితే, ఇతీరియము ప్రూఫ్-ఆఫ్-వర్క్‌ను నిలిపివేసి, సెప్టెంబర్ 2022లో ప్రూఫ్-ఆఫ్-స్టేక్ ఆధారిత ఏకాభిప్రాయాన్ని ఉపయోగించడం ప్రారంభించింది. ఈ ట్యుటోరియల్ ఎథేరియం వర్చువల్ మషీన్‌ను నిర్వచించే ఎల్లో పేపర్ భాగాలపై దృష్టి సారిస్తుంది. ప్రూఫ్-ఆఫ్-స్టేక్‌కు మారడం వల్ల EVM మారలేదు (DIFFICULTY ఆప్‌కోడ్ యొక్క రిటర్న్ విలువ మినహా).

9 ఎగ్జిక్యూషన్ మోడల్

ఈ విభాగం (p. 12-14) EVM యొక్క చాలా నిర్వచనాన్ని కలిగి ఉంటుంది.

సిస్టమ్ స్థితి అనే పదంలో సిస్టమ్‌ను అమలు చేయడానికి దాని గురించి మీరు తెలుసుకోవలసిన ప్రతిదీ ఉంటుంది. ఒక సాధారణ కంప్యూటర్‌లో, దీని అర్థం మెమరీ, రిజిస్టర్‌ల కంటెంట్, మొదలైనవి.

ట్యూరింగ్ మెషీన్opens in a new tab అనేది గణన నమూనా. ముఖ్యంగా, ఇది కంప్యూటర్ యొక్క సరళీకృత వెర్షన్, ఇది సాధారణ కంప్యూటర్ చేయగల గణనలను అమలు చేసే సామర్థ్యాన్ని కలిగి ఉందని నిరూపించబడింది (కంప్యూటర్ లెక్కించగల ప్రతిదీ ట్యూరింగ్ మెషీన్ లెక్కించగలదు మరియు దీనికి విరుద్ధంగా కూడా). ఈ మోడల్ గణన సాధ్యమయ్యేవి మరియు కానివి అనే దాని గురించి వివిధ సిద్ధాంతాలను నిరూపించడాన్ని సులభతరం చేస్తుంది.

ట్యూరింగ్-కంప్లీట్opens in a new tab అనే పదం ట్యూరింగ్ మెషీన్ వలె అదే గణనలను అమలు చేయగల కంప్యూటర్‌ను సూచిస్తుంది. ట్యూరింగ్ మెషీన్లు అనంత లూప్‌లలోకి వెళ్ళగలవు, మరియు EVM వెళ్ళలేదు ఎందుకంటే దానికి గ్యాస్ అయిపోతుంది, కాబట్టి ఇది కేవలం పాక్షిక-ట్యూరింగ్-కంప్లీట్.

9.1 ప్రాథమిక అంశాలు

ఈ విభాగం EVM యొక్క ప్రాథమిక అంశాలను మరియు ఇది ఇతర గణన నమూనాలతో ఎలా పోలుస్తుందో వివరిస్తుంది.

స్టాక్ మెషీన్opens in a new tab అనేది ఒక కంప్యూటర్, ఇది మధ్యంతర డేటాను రిజిస్టర్లలో కాకుండా, ఒక స్టాక్opens in a new tabలో నిల్వ చేస్తుంది. వర్చువల్ మెషీన్‌లకు ఇది ప్రాధాన్యత కలిగిన ఆర్కిటెక్చర్, ఎందుకంటే దీనిని అమలు చేయడం సులభం, అంటే బగ్‌లు మరియు భద్రతా బలహీనతలు చాలా తక్కువగా ఉంటాయి. స్టాక్‌లోని మెమరీ 256-బిట్ పదాలుగా విభజించబడింది. ఇది ఇతీరియము యొక్క కోర్ క్రిప్టోగ్రాఫిక్ ఆపరేషన్‌లైన కీకాక్-256 హాషింగ్ మరియు ఎలిప్టిక్ కర్వ్ గణనలకు సౌకర్యవంతంగా ఉండటం వల్ల ఎంచుకోబడింది. స్టాక్ యొక్క గరిష్ట పరిమాణం 1024 అంశాలు (1024 x 256 బిట్స్). ఆప్‌కోడ్‌లను అమలు చేసినప్పుడు, అవి సాధారణంగా స్టాక్ నుండి వాటి పారామీటర్‌లను పొందుతాయి. స్టాక్‌లోని మూలకాలను పునఃసంఘటించడానికి ప్రత్యేకంగా ఆప్‌కోడ్‌లు ఉన్నాయి, అవి POP (స్టాక్ పై నుండి అంశాన్ని తొలగిస్తుంది), DUP_N (స్టాక్‌లోని N'వ అంశాన్ని డూప్లికేట్ చేస్తుంది), మొదలైనవి.

EVMలో మెమరీ అని పిలువబడే ఒక అస్థిర స్థలం కూడా ఉంది, ఇది అమలు సమయంలో డేటాను నిల్వ చేయడానికి ఉపయోగించబడుతుంది. ఈ మెమరీ 32-బైట్ పదాలుగా నిర్వహించబడింది. అన్ని మెమరీ స్థానాలు సున్నాకు ప్రారంభించబడ్డాయి. మెమరీకి ఒక పదాన్ని జోడించడానికి మీరు ఈ Yulopens in a new tab కోడ్‌ను అమలు చేస్తే, అది పదంలోని ఖాళీ స్థలాన్ని సున్నాలతో పూరించడం ద్వారా 32 బైట్ల మెమరీని నింపుతుంది, అనగా, ఇది ఒక పదాన్ని సృష్టిస్తుంది - 0-29 స్థానాల్లో సున్నాలు, 30వ స్థానంలో 0x60, మరియు 31వ స్థానంలో 0xA7తో.

1mstore(0, 0x60A7)

mstore అనేది మెమరీతో ఇంటరాక్ట్ అవ్వడానికి EVM అందించే మూడు ఆప్‌కోడ్‌లలో ఒకటి - ఇది మెమరీలోకి ఒక పదాన్ని లోడ్ చేస్తుంది. మిగతా రెండు mstore8, ఇది ఒకే బైట్‌ను మెమరీలోకి లోడ్ చేస్తుంది, మరియు mload ఇది మెమరీ నుండి స్టాక్‌కు ఒక పదాన్ని తరలిస్తుంది.

EVMలో ఒక ప్రత్యేకమైన అస్థిరత లేని నిల్వ మోడల్ కూడా ఉంది, ఇది సిస్టమ్ స్థితిలో భాగంగా నిర్వహించబడుతుంది - ఈ మెమరీ వర్డ్ అర్రేలలో నిర్వహించబడుతుంది (స్టాక్‌లోని వర్డ్-అడ్రెస్సబుల్ బైట్ అర్రేలకు విరుద్ధంగా). ఈ నిల్వ స్థలంలో కాంట్రాక్టులు శాశ్వత డేటాను ఉంచుతాయి - ఒక కాంట్రాక్టు దాని స్వంత నిల్వతో మాత్రమే పరస్పర చర్య చేయగలదు. నిల్వ కీ-విలువ మ్యాపింగ్‌లలో నిర్వహించబడుతుంది.

ఎల్లో పేపర్ యొక్క ఈ విభాగంలో పేర్కొననప్పటికీ, నాల్గవ రకం మెమరీ ఉందని కూడా తెలుసుకోవడం ఉపయోగకరంగా ఉంటుంది. కాల్‌డేటా అనేది బైట్-అడ్రెస్ చేయగల రీడ్-ఓన్లీ మెమరీ, ఇది లావాదేవీ యొక్క డేటా పారామీటర్‌తో పంపిన విలువను నిల్వ చేయడానికి ఉపయోగించబడుతుంది. EVMలో calldataను నిర్వహించడానికి ప్రత్యేక ఆప్‌కోడ్‌లు ఉన్నాయి. calldatasize డేటా పరిమాణాన్ని తిరిగి ఇస్తుంది. calldataload డేటాను స్టాక్‌లోకి లోడ్ చేస్తుంది. calldatacopy డేటాను మెమరీలోకి కాపీ చేస్తుంది.

ప్రామాణిక వాన్ న్యూమాన్ ఆర్కిటెక్చర్opens in a new tab సంకేత భాష మరియు డేటాను ఒకే మెమరీలో నిల్వ చేస్తుంది. భద్రతా కారణాల వల్ల EVM ఈ ప్రమాణాన్ని పాటించదు - అస్థిర మెమరీని పంచుకోవడం ప్రోగ్రామ్ సంకేత భాషను మార్చడానికి వీలు కల్పిస్తుంది. బదులుగా, సంకేత భాష నిల్వలో సేవ్ చేయబడుతుంది.

మెమరీ నుండి సంకేత భాష అమలు చేయబడే రెండు సందర్భాలు మాత్రమే ఉన్నాయి:

• ఒక కాంట్రాక్టు మరొక కాంట్రాక్టును సృష్టించినప్పుడు (CREATEopens in a new tab లేదా CREATE2opens in a new tab ఉపయోగించి), కాంట్రాక్ట్ కన్స్ట్రక్టర్ కోసం సంకేత భాష మెమరీ నుండి వస్తుంది.
• ఏదైనా కాంట్రాక్టు సృష్టించే సమయంలో, కన్స్ట్రక్టర్ సంకేత భాష రన్ అయి, ఆ తర్వాత అసలు కాంట్రాక్ట్ యొక్క సంకేత భాషతో, మెమరీ నుండే తిరిగి వస్తుంది.

అసాధారణమైన అమలు అనే పదం ప్రస్తుత కాంట్రాక్టు అమలును నిలిపివేయడానికి కారణమయ్యే ఒక మినహాయింపును సూచిస్తుంది.

9.2 ఫీజుల అవలోకనం

ఈ విభాగం గ్యాస్ ఫీజులు ఎలా లెక్కించబడతాయో వివరిస్తుంది. మూడు ఖర్చులు ఉన్నాయి:

ఆప్‌కోడ్ ఖర్చు

నిర్దిష్ట ఆప్‌కోడ్ యొక్క స్వాభావిక ఖర్చు. ఈ విలువను పొందడానికి, అపెండిక్స్ H (p. 28, సమీకరణం (327) కింద)లో ఆప్‌కోడ్ యొక్క కాస్ట్ గ్రూప్‌ను కనుగొని, సమీకరణం (324)లో కాస్ట్ గ్రూప్‌ను కనుగొనండి. ఇది మీకు కాస్ట్ ఫంక్షన్‌ను ఇస్తుంది, ఇది చాలా సందర్భాలలో అపెండిక్స్ G (p. 27) నుండి పారామీటర్‌లను ఉపయోగిస్తుంది.

ఉదాహరణకు, CALLDATACOPYopens in a new tab అనే ఆప్‌కోడ్ W_copy గ్రూప్ సభ్యుడు. ఆ గ్రూప్ కొరకు ఆప్‌కోడ్ ఖర్చు G_verylow+G_copy×⌈μ_s[2]÷32⌉. అపెండిక్స్ G ని చూస్తే, రెండు స్థిరాంకాలు 3 అని మనం చూస్తాము, ఇది మనకు 3+3×⌈μ_s[2]÷32⌉ ఇస్తుంది.

మనం ఇప్పటికీ ⌈μ_s[2]÷32⌉ అనే వ్యక్తీకరణను అర్థం చేసుకోవాలి. వెలుపలి భాగం, ⌈ <value> ⌉ అనేది సీలింగ్ ఫంక్షన్, ఇది ఒక విలువను ఇచ్చినప్పుడు, ఆ విలువ కంటే తక్కువ కాని అతి చిన్న పూర్ణాంకాన్ని తిరిగి ఇస్తుంది. ఉదాహరణకు, ⌈2.5⌉ = ⌈3⌉ = 3. లోపలి భాగం μ_s[2]÷32. p. 3లోని సెక్షన్ 3 (సంప్రదాయాలు)ని చూస్తే, μ అనేది మెషీన్ స్థితి. మెషీన్ స్థితి p. 13లోని సెక్షన్ 9.4.1లో నిర్వచించబడింది. ఆ విభాగం ప్రకారం, మెషీన్ స్థితి పారామితులలో ఒకటి స్టాక్ కొరకు s. అన్నిటినీ కలిపి చూస్తే, μ_s[2] అనేది స్టాక్‌లోని #2 స్థానం అని అనిపిస్తుంది. ఆప్‌కోడ్opens in a new tabను చూస్తే, స్టాక్‌లోని #2 స్థానం బైట్లలోని డేటా పరిమాణం. W_copy గ్రూపులోని ఇతర ఆప్‌కోడ్‌లు, CODECOPYopens in a new tab మరియు RETURNDATACOPYopens in a new tabలను చూస్తే, వాటికి కూడా అదే స్థానంలో డేటా పరిమాణం ఉంటుంది. కాబట్టి ⌈μ_s[2]÷32⌉ అనేది కాపీ చేయబడుతున్న డేటాను నిల్వ చేయడానికి అవసరమైన 32 బైట్ పదాల సంఖ్య. అన్నింటినీ కలిపి చూస్తే, CALLDATACOPYopens in a new tab యొక్క అంతర్లీన వ్యయం 3 గ్యాస్ మరియు కాపీ చేయబడుతున్న డేటా యొక్క ప్రతి పదానికి 3.

రన్నింగ్ ఖర్చు

మనం కాల్ చేస్తున్న సంకేత భాషను రన్ చేసే ఖర్చు.

• CREATEopens in a new tab మరియు CREATE2opens in a new tab విషయంలో, కొత్త కాంట్రాక్ట్ కొరకు కన్స్ట్రక్టర్.
• CALLopens in a new tab, CALLCODEopens in a new tab, STATICCALLopens in a new tab, లేదా DELEGATECALLopens in a new tab విషయంలో, మనం కాల్ చేసే కాంట్రాక్ట్.

మెమరీ ఖర్చును విస్తరించడం

మెమరీని విస్తరించే ఖర్చు (అవసరమైతే).

సమీకరణం 324లో, ఈ విలువ _C_mem(μ_i')-C_mem(μ_i)_గా వ్రాయబడింది. సెక్షన్ 9.4.1ని మళ్ళీ చూస్తే, μ_i అనేది మెమరీలోని పదాల సంఖ్య అని మనం చూస్తాము. కాబట్టి μ_i అనేది ఆప్‌కోడ్‌కు ముందు మెమరీలోని పదాల సంఖ్య మరియు μ_i' అనేది ఆప్‌కోడ్‌కు తర్వాత మెమరీలోని పదాల సంఖ్య.

C_mem ఫంక్షన్ సమీకరణం 326లో నిర్వచించబడింది: C_mem(a) = G_memory × a + ⌊a² ÷ 512⌋. ⌊x⌋ అనేది ఫ్లోర్ ఫంక్షన్, ఇది ఒక విలువను ఇచ్చినప్పుడు, ఆ విలువ కంటే పెద్దది కాని అతి పెద్ద పూర్ణాంకాన్ని తిరిగి ఇస్తుంది. ఉదాహరణకు, ⌊2.5⌋ = ⌊2⌋ = 2. a < √512 అయినప్పుడు, a² < 512, మరియు ఫ్లోర్ ఫంక్షన్ ఫలితం సున్నా. కాబట్టి మొదటి 22 పదాలకు (704 బైట్లు), ఖర్చు అవసరమైన మెమరీ పదాల సంఖ్యతో సరళంగా పెరుగుతుంది. ఆ స్థానం దాటి ⌊a² ÷ 512⌋ ధనాత్మకంగా ఉంటుంది. అవసరమైన మెమరీ తగినంత ఎక్కువగా ఉన్నప్పుడు గ్యాస్ ఖర్చు మెమరీ మొత్తానికి వర్గానికి అనుపాతంలో ఉంటుంది.

గమనిక: ఈ కారకాలు అంతర్లీన గ్యాస్ వ్యయాన్ని మాత్రమే ప్రభావితం చేస్తాయి - తుది వినియోగదారుడు ఎంత చెల్లించాలో నిర్ణయించే ఫీజు మార్కెట్ లేదా వాలిడేటర్‌లకు ఇచ్చే చిట్కాలను ఇది పరిగణనలోకి తీసుకోదు - ఇది కేవలం EVMలో ఒక నిర్దిష్ట ఆపరేషన్‌ను అమలు చేయడానికి అయ్యే అసలు వ్యయం మాత్రమే.

గ్యాస్ గురించి మరింత చదవండి.

9.3 ఎగ్జిక్యూషన్ ఎన్విరాన్మెంట్

ఎగ్జిక్యూషన్ ఎన్విరాన్మెంట్ అనేది ఒక టపుల్, I, ఇది బ్లాక్‌చైన్ స్థితిలో లేదా EVMలో భాగం కాని సమాచారాన్ని కలిగి ఉంటుంది.

సెక్షన్ 9లోని మిగిలిన భాగాన్ని అర్థం చేసుకోవడానికి మరికొన్ని పారామితులు అవసరం:

9.4 ఎగ్జిక్యూషన్ అవలోకనం

ఇప్పుడు అన్ని ప్రాథమిక అంశాలు ఉన్నాయి, మనం చివరకు EVM ఎలా పనిచేస్తుందో పని చేయడం ప్రారంభించవచ్చు.

సమీకరణాలు 137-142 EVMను అమలు చేయడానికి ప్రారంభ పరిస్థితులను మనకు ఇస్తాయి:

సమీకరణం 143 మనకు అమలు సమయంలో ప్రతి సమయంలో నాలుగు సాధ్యమయ్యే పరిస్థితులు ఉన్నాయని, మరియు వాటితో ఏమి చేయాలో చెబుతుంది:

1. Z(σ,μ,A,I). Z అనేది ఒక ఆపరేషన్ చెల్లని స్థితి మార్పును సృష్టిస్తుందా లేదా అని పరీక్షించే ఒక ఫంక్షన్‌ను సూచిస్తుంది (చూడండి అసాధారణమైన ఆపివేయడం). ఇది True అని మూల్యాంకనం చేస్తే, కొత్త స్థితి పాత దానితో సమానంగా ఉంటుంది (గ్యాస్ బర్న్ అవడం మినహా) ఎందుకంటే మార్పులు అమలు చేయబడలేదు.
2. అమలు చేయబడుతున్న ఆప్‌కోడ్ REVERTopens in a new tab అయితే, కొత్త స్థితి పాత స్థితి వలెనే ఉంటుంది, కొంత గ్యాస్ కోల్పోబడుతుంది.
3. ఆపరేషన్ల క్రమం ముగిసినట్లయితే, RETURNopens in a new tab) ద్వారా సూచించబడినట్లుగా, స్థితి కొత్త స్థితికి నవీకరించబడుతుంది.
4. మనం 1-3 ముగింపు షరతులలో ఒకదానిలో లేకపోతే, రన్ చేయడం కొనసాగించండి.

9.4.1 మెషీన్ స్థితి

ఈ విభాగం మెషీన్ స్థితిని మరింత వివరంగా వివరిస్తుంది. ఇది w ప్రస్తుత ఆప్‌కోడ్ అని నిర్దేశిస్తుంది. μ_pc అనేది ||I_b|| కంటే తక్కువగా ఉంటే, అంటే సంకేత భాష యొక్క పొడవు కంటే, ఆ బైట్ (I_b[μ_pc]) ఆప్‌కోడ్. లేకపోతే, ఆప్‌కోడ్ STOPopens in a new tabగా నిర్వచించబడింది.

ఇది ఒక స్టాక్ మెషీన్opens in a new tab కాబట్టి, ప్రతి ఆప్‌కోడ్ ద్వారా పాప్ చేయబడిన (δ) మరియు పుష్ చేయబడిన (α) అంశాల సంఖ్యను మనం ట్రాక్ చేయాలి.

9.4.2 అసాధారణమైన నిలిపివేత

ఈ విభాగం Z ఫంక్షన్‌ను నిర్వచిస్తుంది, ఇది మనకు అసాధారణమైన ముగింపు ఎప్పుడు ఉంటుందో నిర్దేశిస్తుంది. ఇది ఒక బూలియన్opens in a new tab ఫంక్షన్, కాబట్టి ఇది లాజికల్ ఆర్ కోసం ∨opens in a new tab మరియు లాజికల్ అండ్ కోసం ∧opens in a new tab ఉపయోగిస్తుంది.

ఈ షరతులలో ఏది నిజమైనా మనకు అసాధారణమైన నిలుపుదల ఉంటుంది:

• μ_g < C(σ,μ,A,I) సెక్షన్ 9.2లో మనం చూసినట్లుగా, C అనేది గ్యాస్ ఖర్చును నిర్దేశించే ఫంక్షన్. తదుపరి ఆప్‌కోడ్‌ను కవర్ చేయడానికి తగినంత గ్యాస్ మిగిలి లేదు.

• δ_w=∅ ఒక ఆప్‌కోడ్ కోసం పాప్ చేయబడిన ఐటెమ్‌ల సంఖ్య నిర్వచించబడకపోతే, అప్పుడు ఆ ఆప్‌కోడ్ కూడా నిర్వచించబడదు.

• || μ_s || < δ_w స్టాక్ అండర్‌ఫ్లో, ప్రస్తుత ఆప్‌కోడ్ కోసం స్టాక్‌లో తగినన్ని ఐటెమ్‌లు లేవు.

• w = JUMP ∧ μ_s[0]∉D(I_b) ఆప్‌కోడ్ JUMPopens in a new tab మరియు చిరునామా JUMPDESTopens in a new tab కాదు. గమ్యం JUMPDESTopens in a new tab అయినప్పుడు మాత్రమే జంప్‌లు చెల్లుబాటు అవుతాయి.

• w = JUMPI ∧ μ_s[1]≠0 ∧ μ_s[0] ∉ D(I_b) ఆప్‌కోడ్ JUMPIopens in a new tab, షరతు నిజం (సున్నా కానిది) కాబట్టి జంప్ జరగాలి, మరియు చిరునామా JUMPDESTopens in a new tab కాదు. గమ్యం JUMPDESTopens in a new tab అయినప్పుడు మాత్రమే జంప్‌లు చెల్లుబాటు అవుతాయి.

• w = RETURNDATACOPY ∧ μ_s[1]+μ_s[2]>|| μ_o || ఆప్‌కోడ్ RETURNDATACOPYopens in a new tab. ఈ ఆప్‌కోడ్ స్టాక్ మూలకం μ_s[1] అనేది రిటర్న్ డేటా బఫర్‌లో చదవడానికి ఆఫ్‌సెట్, మరియు స్టాక్ మూలకం μ_s[2] అనేది డేటా పొడవు. మీరు రిటర్న్ డేటా బఫర్ ముగింపును దాటి చదవడానికి ప్రయత్నించినప్పుడు ఈ పరిస్థితి ఏర్పడుతుంది. కాల్‌డేటా లేదా సంకేత భాషకే అలాంటి షరతు లేదని గమనించండి. మీరు ఆ బఫర్‌ల ముగింపును దాటి చదవడానికి ప్రయత్నించినప్పుడు మీకు కేవలం సున్నాలు మాత్రమే వస్తాయి.

• || μ_s || - δ_w + α_w > 1024

  స్టాక్ పొంగి పొర్లు. ఆప్‌కోడ్‌ను అమలు చేయడం వల్ల 1024 కంటే ఎక్కువ ఐటెమ్‌లతో కూడిన స్టాక్ ఏర్పడితే, ఆపండి.

• ¬I_w ∧ W(w,μ) మనం స్టాటిక్‌గా రన్ చేస్తున్నామా (¬ అనేది నిరాకరణopens in a new tab మరియు మనం బ్లాక్‌చైన్ స్థితిని మార్చడానికి అనుమతించబడినప్పుడు I_w నిజం)? అలా అయితే, మరియు మనం స్థితిని మార్చే ఆపరేషన్‌ను ప్రయత్నిస్తుంటే, అది జరగదు.

  W(w,μ) ఫంక్షన్ తరువాత సమీకరణం 150లో నిర్వచించబడింది. ఈ షరతులలో ఒకటి నిజమైతే W(w,μ) నిజం:

  • w ∈ {CREATE, CREATE2, SSTORE, SELFDESTRUCT} ఈ ఆప్‌కోడ్‌లు కొత్త కాంట్రాక్ట్‌ను సృష్టించడం, విలువను నిల్వ చేయడం లేదా ప్రస్తుత కాంట్రాక్ట్‌ను నాశనం చేయడం ద్వారా స్థితిని మారుస్తాయి.

  • LOG0≤w ∧ w≤LOG4 మమ్మల్ని స్టాటిక్‌గా పిలిస్తే, మేము లాగ్ ఎంట్రీలను విడుదల చేయలేము. లాగ్ ఆప్‌కోడ్‌లు అన్నీ LOG0 (A0)opens in a new tab మరియు LOG4 (A4)opens in a new tab మధ్య పరిధిలో ఉన్నాయి. లాగ్ ఆప్‌కోడ్ తర్వాత ఉన్న సంఖ్య లాగ్ ఎంట్రీలో ఎన్ని టాపిక్‌లు ఉన్నాయో నిర్దేశిస్తుంది.

  • w=CALL ∧ μ_s[2]≠0 మీరు స్టాటిక్‌గా ఉన్నప్పుడు మరొక కాంట్రాక్ట్‌ను పిలవవచ్చు, కానీ అలా చేస్తే మీరు దానికి ETH బదిలీ చేయలేరు.

• w = SSTORE ∧ μ_g ≤ G_callstipend మీకు G_callstipend (అపెండిక్స్ Gలో 2300గా నిర్వచించబడింది) కంటే ఎక్కువ గ్యాస్ ఉంటే తప్ప మీరు SSTOREopens in a new tabను అమలు చేయలేరు.

9.4.3 జంప్ డెస్టినేషన్ చెల్లుబాటు

ఇక్కడ మనం JUMPDESTopens in a new tab ఆప్‌కోడ్‌లు ఏమిటో అధికారికంగా నిర్వచిస్తాము. మనం కేవలం 0x5B అనే బైట్ విలువను చూడలేము, ఎందుకంటే అది PUSH లోపల ఉండవచ్చు (మరియు అందువల్ల డేటా కానీ ఆప్‌కోడ్ కాదు).

సమీకరణం (153)లో మనం N(i,w) అనే ఫంక్షన్‌ను నిర్వచిస్తాము. మొదటి పారామీటర్, i, ఆప్‌కోడ్ యొక్క స్థానం. రెండవది, w, ఆప్‌కోడ్. w∈[PUSH1, PUSH32] అయితే, ఆప్‌కోడ్ ఒక PUSH అని అర్థం (చతురస్రాకార బ్రాకెట్‌లు ముగింపు బిందువులను కలిగి ఉన్న పరిధిని నిర్వచిస్తాయి). ఆ సందర్భంలో తదుపరి ఆప్‌కోడ్ i+2+(w−PUSH1) వద్ద ఉంటుంది. PUSH1opens in a new tab కోసం మనం రెండు బైట్లు ముందుకు వెళ్ళాలి (PUSH స్వయంగా మరియు ఒక బైట్ విలువ), PUSH2opens in a new tab కోసం మనం మూడు బైట్లు ముందుకు వెళ్ళాలి ఎందుకంటే ఇది రెండు బైట్ల విలువ, మొదలైనవి. అన్ని ఇతర EVM ఆప్‌కోడ్‌లు కేవలం ఒక బైట్ పొడవు ఉంటాయి, కాబట్టి అన్ని ఇతర సందర్భాలలో N(i,w)=i+1.

ఈ ఫంక్షన్ సమీకరణం (152)లో _D_J(c,i)_ని నిర్వచించడానికి ఉపయోగించబడుతుంది, ఇది సంకేత భాష _c_లో, ఆప్‌కోడ్ స్థానం i_తో ప్రారంభమయ్యే అన్ని చెల్లుబాటు అయ్యే జంప్ గమ్యస్థానాల సెట్opens in a new tab. ఈ ఫంక్షన్ పునరావృతంగా నిర్వచించబడింది. i≥||c|| అయితే, అంటే మనం సంకేత భాష చివరిలో లేదా దాని తర్వాత ఉన్నాము. మనం ఇకపై జంప్ గమ్యస్థానాలను కనుగొనలేము, కాబట్టి ఖాళీ సెట్‌ను తిరిగి ఇవ్వండి.

అన్ని ఇతర సందర్భాల్లో మనం తదుపరి ఆప్‌కోడ్‌కు వెళ్లి దాని నుండి ప్రారంభమయ్యే సెట్‌ను పొందడం ద్వారా సంకేత భాష యొక్క మిగిలిన భాగాన్ని చూస్తాము. c[i] అనేది ప్రస్తుత ఆప్‌కోడ్, కాబట్టి N(i,c[i]) అనేది తదుపరి ఆప్‌కోడ్ యొక్క స్థానం. D_J(c,N(i,c[i])) అనేది తదుపరి ఆప్‌కోడ్ వద్ద ప్రారంభమయ్యే చెల్లుబాటు అయ్యే జంప్ గమ్యస్థానాల సెట్. ప్రస్తుత ఆప్‌కోడ్ JUMPDEST కాకపోతే, ఆ సెట్‌ను తిరిగి ఇవ్వండి. అది JUMPDEST అయితే, దానిని ఫలిత సెట్‌లో చేర్చి, దానిని తిరిగి ఇవ్వండి.

9.4.4 సాధారణ నిలిపివేత

నిలిపివేసే ఫంక్షన్ H, మూడు రకాల విలువలను తిరిగి ఇవ్వగలదు.

• మనం హాల్ట్ ఆప్‌కోడ్‌లో లేకపోతే, ∅, ఖాళీ సెట్‌ను తిరిగి ఇవ్వండి. సంప్రదాయం ప్రకారం, ఈ విలువ బూలియన్ ఫాల్స్‌గా అన్వయించబడుతుంది.
• మనం అవుట్‌పుట్‌ను ఉత్పత్తి చేయని హాల్ట్ ఆప్‌కోడ్‌ను కలిగి ఉంటే (STOPopens in a new tab లేదా SELFDESTRUCTopens in a new tab), రిటర్న్ విలువగా సున్నా పరిమాణం గల బైట్‌ల క్రమాన్ని తిరిగి ఇవ్వండి. ఇది ఖాళీ సెట్‌కు చాలా భిన్నమైనదని గమనించండి. ఈ విలువ అంటే EVM నిజంగా ఆగిపోయింది, కానీ చదవడానికి రిటర్న్ డేటా లేదు.
• మనం అవుట్‌పుట్‌ను ఉత్పత్తి చేసే హాల్ట్ ఆప్‌కోడ్‌ను కలిగి ఉంటే (RETURNopens in a new tab లేదా REVERTopens in a new tab), ఆ ఆప్‌కోడ్ ద్వారా నిర్దేశించబడిన బైట్‌ల క్రమాన్ని తిరిగి ఇవ్వండి. ఈ క్రమం మెమరీ నుండి తీసుకోబడింది, స్టాక్ పైభాగంలో ఉన్న విలువ (μ_s[0]) మొదటి బైట్, మరియు దాని తర్వాత ఉన్న విలువ (μ_s[1]) పొడవు.

H.2 ఇన్స్ట్రక్షన్ సెట్

మనం EVM యొక్క చివరి ఉపవిభాగం 9.5కు వెళ్లే ముందు, ఇన్స్ట్రక్షన్‌లనే చూద్దాం. అవి p. 29లో ప్రారంభమయ్యే అపెండిక్స్ H.2లో నిర్వచించబడ్డాయి. ఆ నిర్దిష్ట ఆప్‌కోడ్‌తో మారుతున్నట్లుగా పేర్కొనబడని ఏదైనా అదే విధంగా ఉంటుందని ఆశించబడుతుంది. మారే వేరియబుల్స్ <something>′గా పేర్కొనబడ్డాయి.

ఉదాహరణకు, ADDopens in a new tab ఆప్‌కోడ్‌ను చూద్దాం.

δ అనేది మనం స్టాక్ నుండి పాప్ చేసే విలువల సంఖ్య. ఈ సందర్భంలో రెండు, ఎందుకంటే మనం పై రెండు విలువలను కలుపుతున్నాము.

α అనేది మనం తిరిగి పుష్ చేసే విలువల సంఖ్య. ఈ సందర్భంలో ఒకటి, మొత్తం.

కాబట్టి కొత్త స్టాక్ టాప్ (μ′_s[0]) పాత స్టాక్ టాప్ (μ_s[0]) మరియు దాని కింద ఉన్న పాత విలువ (μ_s[1]) యొక్క మొత్తం.

"కళ్ళు తిరిగే జాబితా"తో అన్ని ఆప్‌కోడ్‌లను పరిశీలించే బదులు, ఈ కథనం కొత్తది ఏదైనా పరిచయం చేసే ఆ ఆప్‌కోడ్‌లను మాత్రమే వివరిస్తుంది.

మెమరీని యాక్సెస్ చేసే మొదటి ఆప్‌కోడ్ ఇది (ఈ సందర్భంలో, రీడ్ ఓన్లీ). అయినప్పటికీ, ఇది మెమరీ యొక్క ప్రస్తుత పరిమితులకు మించి విస్తరించవచ్చు, కాబట్టి మనం μ_i ని నవీకరించాలి._ మనం దీనిని p. 29లోని సమీకరణం 328లో నిర్వచించబడిన M ఫంక్షన్‌ను ఉపయోగించి చేస్తాము.

మనం బ్యాలెన్స్ కనుగొనవలసిన చిరునామా μ_s[0] mod 2¹⁶⁰. స్టాక్ పైన ఉన్నది చిరునామా, కానీ చిరునామాలు కేవలం 160 బిట్‌లు మాత్రమే కాబట్టి, మనం విలువను మాడ్యులోopens in a new tab 2¹⁶⁰ లెక్కిస్తాము.

σ[μ_s[0] mod 2¹⁶⁰] ≠ ∅_ అయితే, ఈ చిరునామా గురించి సమాచారం ఉందని అర్థం. ఆ సందర్భంలో, σ[μ_s[0] mod 2¹⁶⁰]_b ఆ చిరునామా యొక్క బ్యాలెన్స్. σ[μ_s[0] mod 2¹⁶⁰] = ∅_ అయితే, ఈ చిరునామా ప్రారంభించబడలేదని మరియు బ్యాలెన్స్ సున్నా అని అర్థం. మీరు p. 4లోని సెక్షన్ 4.1లో ఖాతా సమాచార ఫీల్డ్‌ల జాబితాను చూడవచ్చు.

రెండవ సమీకరణం, A'_a ≡ A_a ∪ {μ_s[0] mod 2¹⁶⁰}, వెచ్చని నిల్వ (ఇటీవల యాక్సెస్ చేయబడిన మరియు కాష్ చేయబడే అవకాశం ఉన్న నిల్వ) మరియు చల్లని నిల్వ (యాక్సెస్ చేయబడని మరియు తిరిగి పొందడానికి ఎక్కువ ఖరీదైన నెమ్మదిగా ఉన్న నిల్వలో ఉండే అవకాశం ఉన్న నిల్వ) మధ్య ఖర్చు వ్యత్యాసానికి సంబంధించినది. A_a అనేది లావాదేవీ ద్వారా గతంలో యాక్సెస్ చేయబడిన చిరునామా జాబితా, ఇది యాక్సెస్ చేయడానికి చౌకగా ఉండాలి, p. 8లోని సెక్షన్ 6.1లో నిర్వచించబడినట్లుగా. మీరు ఈ విషయం గురించి EIP-2929opens in a new tabలో మరింత చదవవచ్చు.

ఏదైనా స్టాక్ ఐటెమ్‌ను ఉపయోగించడానికి, మనం దానిని పాప్ చేయాలని గమనించండి, అంటే మనం దాని పైన ఉన్న అన్ని స్టాక్ ఐటెమ్‌లను కూడా పాప్ చేయాలి. DUP<n>opens in a new tab మరియు SWAP<n>opens in a new tab విషయంలో, దీని అర్థం పదహారు విలువల వరకు పాప్ చేసి, ఆపై పుష్ చేయవలసి ఉంటుంది.

9.5 ఎగ్జిక్యూషన్ సైకిల్

ఇప్పుడు మనకు అన్ని భాగాలు ఉన్నాయి, మనం చివరకు EVM యొక్క ఎగ్జిక్యూషన్ సైకిల్ ఎలా డాక్యుమెంట్ చేయబడిందో అర్థం చేసుకోవచ్చు.

సమీకరణం (155) స్థితిని బట్టి ఇలా చెబుతుంది:

• σ (గ్లోబల్ బ్లాక్‌చైన్ స్థితి)
• μ (EVM స్థితి)
• A (ఉపస్థితి, లావాదేవీ ముగిసినప్పుడు జరిగే మార్పులు)
• I (ఎగ్జిక్యూషన్ ఎన్విరాన్మెంట్)

కొత్త స్థితి (σ', μ', A', I').

సమీకరణాలు (156)-(158) స్టాక్‌ను మరియు ఒక ఆప్‌కోడ్ (μ_s) కారణంగా అందులో జరిగే మార్పును నిర్వచిస్తాయి. సమీకరణం (159) అనేది గ్యాస్‌లో మార్పు (μ_g). సమీకరణం (160) ప్రోగ్రామ్ కౌంటర్ (μ_pc)లో మార్పు. చివరగా, సమీకరణాలు (161)-(164) ఇతర పారామీటర్లు ఆప్‌కోడ్ ద్వారా స్పష్టంగా మార్చబడకపోతే అవే విధంగా ఉంటాయని నిర్దేశిస్తాయి.

దీనితో EVM పూర్తిగా నిర్వచించబడింది.

ముగింపు

గణిత సంజ్ఞామానం కచ్చితమైనది మరియు ఎల్లో పేపర్ ఇతీరియము యొక్క ప్రతి వివరాలను పేర్కొనడానికి అనుమతించింది. అయినప్పటికీ, దీనికి కొన్ని ప్రతికూలతలు ఉన్నాయి:

• ఇది మానవులకు మాత్రమే అర్థమవుతుంది, అంటే కంప్లయన్స్ టెస్టులుopens in a new tab మాన్యువల్‌గా వ్రాయబడాలి.
• ప్రోగ్రామర్లు కంప్యూటర్ సంకేత భాషను అర్థం చేసుకుంటారు. వారు గణిత సంజ్ఞామానాన్ని అర్థం చేసుకోవచ్చు లేదా చేసుకోకపోవచ్చు.

బహుశా ఈ కారణాల వల్ల, కొత్త ఏకాభిప్రాయం లేయర్ స్పెక్స్opens in a new tab పైథాన్‌లో వ్రాయబడ్డాయి. పైథాన్‌లో ఎగ్జిక్యూషన్ లేయర్ స్పెక్స్opens in a new tab ఉన్నాయి, కానీ అవి పూర్తి కాలేదు. మొత్తం ఎల్లో పేపర్‌ను పైథాన్ లేదా అలాంటి భాషలోకి అనువదించే వరకు మరియు అనువదించనంత వరకు, ఎల్లో పేపర్ సేవలో కొనసాగుతుంది, మరియు దానిని చదవగలగడం సహాయకరంగా ఉంటుంది.

పేజీ చివరి అప్‌డేట్: 21 అక్టోబర్, 2025

popens in a new tab

popens in a new tab

wopens in a new tab

+7

సహకారులను చూడండి