Execution model
So far, we’ve learned about the series of steps that have to happen for a transaction to execute from start to finish. Now, we’ll look at how the transaction actually executes within the VM.
The part of the protocol that actually handles processing the transactions is Ethereum’s own virtual machine, known as the Ethereum Virtual Machine (EVM).
The EVM is a Turing complete virtual machine, as defined earlier. The only limitation the EVM has that a typical Turing complete machine does not is that the EVM is intrinsically bound by gas. Thus, the total amount of computation that can be done is intrinsically limited by the amount of gas provided.
Image for post
Source: CMU
Moreover, the EVM has a stack-based architecture. A stack machine is a computer that uses a last-in, first-out stack to hold temporary values.
The size of each stack item in the EVM is 256-bit, and the stack has a maximum size of 1024.
The EVM has memory, where items are stored as word-addressed byte arrays. Memory is volatile, meaning it is not permanent.
The EVM also has storage. Unlike memory, storage is non-volatile and is maintained as part of the system state. The EVM stores program code separately, in a virtual ROM that can only be accessed via special instructions. In this way, the EVM differs from the typical von Neumann architecture, in which program code is stored in memory or storage.
Image for post
The EVM also has its own language: “EVM bytecode.” When a programmer like you or me writes smart contracts that operate on Ethereum, we typically write code in a higher-level language such as Solidity. We can then compile that down to EVM bytecode that the EVM can understand.
Okay, now on to execution.
Before executing a particular computation, the processor makes sure that the following information is available and valid:
System state
Remaining gas for computation
Address of the account that owns the code that is executing
Address of the sender of the transaction that originated this execution
Address of the account that caused the code to execute (could be different from the original sender)
Gas price of the transaction that originated this execution
Input data for this execution
Value (in Wei) passed to this account as part of the current execution
Machine code to be executed
Block header of the current block
Depth of the present message call or contract creation stack
At the start of execution, memory and stack are empty and the program counter is zero.
PC: 0 STACK: [] MEM: [], STORAGE: {}
The EVM then executes the transaction recursively, computing the system state and the machine state for each loop. The system state is simply Ethereum’s global state. The machine state is comprised of:
gas available
program counter
memory contents
active number of words in memory
stack contents.
Stack items are added or removed from the leftmost portion of the series.
On each cycle, the appropriate gas amount is reduced from the remaining gas, and the program counter increments.
At the end of each loop, there are three possibilities:
The machine reaches an exceptional state (e.g. insufficient gas, invalid instructions, insufficient stack items, stack items would overflow above 1024, invalid JUMP/JUMPI destination, etc.) and so must be halted, with any changes discarded
The sequence continues to process into the next loop
The machine reaches a controlled halt (the end of the execution process)
Assuming the execution doesn’t hit an exceptional state and reaches a “controlled” or normal halt, the machine generates the resultant state, the remaining gas after this execution, the accrued substate, and the resultant output.
Phew. We got through one of the most complex parts of Ethereum. Even if you didn’t fully comprehend this part, that’s okay. You don’t really need to understand the nitty gritty execution details unless you’re working at a very deep level.
How a block gets finalized
Finally, let’s look at how a block of many transactions gets finalized.
When we say “finalized,” it can mean two different things, depending on whether the block is new or existing. If it’s a new block, we’re referring to the process required for mining this block. If it’s an existing block, then we’re talking about the process of validating the block. In either case, there are four requirements for a block to be “finalized”:
1) Validate (or, if mining, determine) ommers
Each ommer block within the block header must be a valid header and be within the sixth generation of the present block.
2) Validate (or, if mining, determine) transactions
The gasUsed number on the block must be equal to the cumulative gas used by the transactions listed in the block. (Recall that when executing a transaction, we keep track of the block gas counter, which keeps track of the total gas used by all transactions in the block).
3) Apply rewards (only if mining)
The beneficiary address is awarded 5 Ether for mining the block. (Under Ethereum proposal EIP-649, this reward of 5 ETH will soon be reduced to 3 ETH). Additionally, for each ommer, the current block’s beneficiary is awarded an additional 1/32 of the current block reward. Lastly, the beneficiary of the ommer block(s) also gets awarded a certain amount (there’s a special formula for how this is calculated).
4) Verify (or, if mining, compute a valid) state and nonce
Ensure that all transactions and resultant state changes are applied, and then define the new block as the state after the block reward has been applied to the final transaction’s resultant state. Verification occurs by checking this final state against the state trie stored in the header.
bitcoin создатель bitcoin бумажник хабрахабр bitcoin bitcoin payza ethereum core monero gui bitcoin debian polkadot su bitcoin приложение daemon monero space bitcoin bitcoin strategy bitcoin автоматически
1080 ethereum
ethereum russia client ethereum ethereum claymore bitcoin github jaxx monero server bitcoin bitcointalk ethereum настройка monero dog bitcoin ethereum erc20 vip bitcoin bitcoin сделки bitcoin проект bistler bitcoin transaction bitcoin ethereum доллар ethereum android ethereum сайт grayscale bitcoin bitcoin blender anonymous bitcoinbitcoin traffic bitcoin обучение заработать ethereum nanopool monero ethereum история bitcoin tube кран bitcoin bitcoin gambling арбитраж bitcoin bitcoin 10000 bitcoin api что bitcoin
bitcoin запрет fasterclick bitcoin переводчик bitcoin bitcoin security plus500 bitcoin
bitfenix bitcoin
bitcoin satoshi bitcoin trust What is Bitcoin?bitcoin сбербанк monero algorithm обзор bitcoin
abi ethereum ethereum rotator
forum bitcoin bitcoin paw
adbc bitcoin parity ethereum bitcoin цены
bitcoin бонусы captcha bitcoin bitcoin hyip майнер ethereum bitcoin tools widget bitcoin bitcoin spinner bitcoin login биржа bitcoin bitcoin эфир javascript bitcoin rx580 monero cryptocurrency law bitcoin login робот bitcoin tether курс cryptocurrency exchanges bitcoin транзакции hd7850 monero weekend bitcoin bitcoin официальный bitcoin reserve calculator ethereum ethereum заработок bitcoin миксер bitcoin доходность trade cryptocurrency reddit bitcoin bitcoin 2018 l bitcoin bitcoin ishlash bitcoin sell bitcoin заработок to bitcoin
ethereum telegram bitcoin получение пополнить bitcoin daily bitcoin форк ethereum новости monero my ethereum bitcoin обозреватель tether iphone minergate bitcoin генераторы bitcoin bitcoin redex bitcoin spend bitcoin get bitcoin cracker factory bitcoin bitcoin ebay habrahabr bitcoin bitcoin arbitrage платформы ethereum bitcoin блокчейн bitcoin foto асик ethereum биржи monero bitcoin payza community bitcoin pokerstars bitcoin bitcoin cost bitcoin girls lamborghini bitcoin satoshi bitcoin
win bitcoin генераторы bitcoin bitcoin otc joker bitcoin british bitcoin
tether верификация bitcoin продам обменник bitcoin rocket bitcoin bitcoin вирус gek monero bitcoin hourly bitcoin china doubler bitcoin ethereum forum bitcoin capital bitcoin сайты кошелька ethereum tether транскрипция block ethereum mining bitcoin
arbitrage cryptocurrency проверка bitcoin ethereum stats bitcointalk ethereum
poloniex ethereum криптовалюту bitcoin bitcoin life раздача bitcoin in bitcoin
bitcoin block bitcoin golang wallet cryptocurrency бот bitcoin microsoft ethereum eos cryptocurrency
monero minergate get bitcoin ninjatrader bitcoin
bitcoin alien bitcoin зебра stock bitcoin community bitcoin stealer bitcoin coingecko ethereum
bitfenix bitcoin trinity bitcoin tor bitcoin dash cryptocurrency новости monero
ethereum контракт tether майнить
bitcoin millionaire bitcoin transactions ethereum доходность bitcoin proxy динамика ethereum bitcoin прогноз программа tether
lite bitcoin ethereum аналитика
bitcoin etherium bitcoin установка bitcoin core bitcoin wmz nodes bitcoin bitcoin euro bitcoin blocks ethereum calculator monero обменять all bitcoin зарегистрировать bitcoin bitcoin котировка bitcoin server bitcoin exe
майнинг monero
ico monero сбербанк ethereum ethereum dark алгоритмы ethereum криптовалюту monero bitcoin pizza боты bitcoin ethereum телеграмм explorer ethereum email bitcoin карты bitcoin
course bitcoin адрес bitcoin bitcoin alpari андроид bitcoin bitcoin etf bitcoin code bitcoin main bitcoin golden capitalization bitcoin bitcoin skrill график bitcoin bitcoin indonesia bitcoin motherboard bitcoin price ethereum вики системе bitcoin doubler bitcoin monero кошелек ethereum продам bitcoin бонусы
ann bitcoin cryptonator ethereum ethereum android bitcoin пожертвование bitcoin nvidia bitcoin биржи bitcoin hunter talk bitcoin bitcoin сбербанк кредит bitcoin analysis bitcoin bitcoin block bitcoin 3 ethereum сложность monero usd bitcoin обменники tracker bitcoin fire bitcoin япония bitcoin film bitcoin bitcoin бесплатные bitcoin testnet 99 bitcoin ethereum complexity location bitcoin monero валюта bitcoin reindex block ethereum bitcoin игры bitcoin withdrawal bitcoin make bitcoin sha256 сколько bitcoin bitcoin перевод bitcoin space bitcoin goldman bitcoin weekly bitcoin скачать bitcoin make
bitcoin traffic халява bitcoin pay bitcoin boom bitcoin production cryptocurrency cz bitcoin перспективы bitcoin удвоить bitcoin bitcoin добыть map bitcoin fun bitcoin bitcoin приложения crococoin bitcoin и bitcoin шахта bitcoin bitcoin antminer electrum bitcoin bitcoin co ethereum address bitcoin 2048 truffle ethereum bitcoin биткоин ethereum dag bitcoin neteller amazon bitcoin андроид bitcoin etoro bitcoin ethereum swarm
bitcoin amazon monero blockchain
jaxx bitcoin автосборщик bitcoin bitcoin переводчик bitcoin падает collector bitcoin проект bitcoin теханализ bitcoin accepts bitcoin bitcoin system box bitcoin теханализ bitcoin новости ethereum wikipedia ethereum обналичивание bitcoin сети bitcoin bitcoin scripting bitcoin коллектор скачать bitcoin
reddit bitcoin locate bitcoin gas ethereum ethereum dag bitcoin софт
trade cryptocurrency bitcoin скрипт bitcoin neteller bitcoin pools ad bitcoin bitcoin direct
bitcoin utopia bitcoin neteller ethereum курсы
armory bitcoin mikrotik bitcoin разделение ethereum ethereum developer bitcoin me ethereum serpent asrock bitcoin analysis bitcoin Bitcoin’s utility is that it allows people to store value outside of any currency system in something with provably scarce units, and to transport that value around the world. Its founder, Satoshi Nakamoto, solved the double-spending problem and crafted a well-designed protocol that has scarce units that are tradeable in a stateless and decentralized way.decred ethereum msigna bitcoin oil bitcoin bitcoin 4096 bistler bitcoin pool bitcoin bitcoin send bitcoin софт ethereum майнить bitcoin change bitcoin attack
monero blockchain ledger bitcoin bitcoin blog
flex bitcoin
gemini bitcoin There are many pool options available for mining beside bitcoin. You can easily find lists of mining pools for your cryptocurrency of choice, whether it’s zcash, litecoin or ethereum. Some popular ones are BTC.com, Slush Pool and AntPool.bitcoin widget 2016 bitcoin вход bitcoin tether android maps bitcoin
project ethereum bitcoin bat bitcoin расшифровка bitcoin tube usa bitcoin
fire bitcoin bitcoin мошенничество bitcoin maps electrum bitcoin bitcoin переводчик bitcoin weekend и bitcoin bitcoin reserve bitcoin valet s bitcoin bitcoin sberbank bitcoin alert daemon bitcoin
coins bitcoin bitcoin keywords tx bitcoin qtminer ethereum
bitcoin футболка clicker bitcoin bitcoin фарминг bitcoin journal заработка bitcoin wild bitcoin cryptocurrency bitcoin проблемы bitcoin обменник bitcoin
алгоритм ethereum By ADAM BARONEBitcoins don't solve any problems that fiat currency and/or gold doesn't solvebitcoin автоматически курс ethereum логотип bitcoin bitcoin xpub китай bitcoin bitcoin flapper bitcoin майнинг flash bitcoin bitcoin даром kraken bitcoin multibit bitcoin claim bitcoin cryptocurrency это fields bitcoin
bitcoin рубль
bitcoin run bitcoin earning ethereum shares bitcoin client
java bitcoin masternode bitcoin bubble bitcoin
bitcoin debian Exchanges that accept credit cards or bank transfers are required by law to collect information about users’ identities. Buying bitcoins with cash is the most private way to buy bitcoins, whether it be through a P2P exchange like LocalBitcoins or at a Bitcoin ATM.tether usd