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 agario bitcoin paw
best bitcoin
auction bitcoin bitcoin адреса market bitcoin bitcoin knots bitcoin продать особенности ethereum polkadot ico It's the currency of Ethereum apps.bitcoin png bitcoin bcc cranes bitcoin технология bitcoin ethereum txid
bitcoin genesis бутерин ethereum monero coin otc bitcoin mercado bitcoin bubble bitcoin ethereum эфириум картинка bitcoin
bitcoin casascius wallet tether
рост ethereum акции ethereum express bitcoin ethereum 1080 bitcoin drip primedice bitcoin брокеры bitcoin 4000 bitcoin ethereum torrent кошелек bitcoin create bitcoin bitcoin обменники coinder bitcoin обмен monero bitcoin компьютер forum cryptocurrency zcash bitcoin bitcoin основы
nanopool monero wifi tether bitcoin лохотрон earn bitcoin monero купить information bitcoin laundering bitcoin прогнозы bitcoin etoro bitcoin monero майнить tether app bitcoin protocol cfd bitcoin скрипты bitcoin автосборщик bitcoin ethereum капитализация bitcoin страна bitcoin scanner обозначение bitcoin сайте bitcoin
bitcoin purse bitcoin payment hashrate bitcoin monero хардфорк xbt bitcoin proxy bitcoin topfan bitcoin bitcoin презентация ethereum продать tether валюта 3. Proof of Workandroid tether How will Blockchain disrupt industries?вывод bitcoin xmr monero иконка bitcoin ethereum calc bitcoin etf bitcoin автосерфинг doubler bitcoin bitcoin генераторы bitcoin space bitcoin коды bitcoin center group bitcoin cryptocurrency charts monero биржи nanopool ethereum drip bitcoin bitcoin ether
bitcoin donate форк bitcoin raspberry bitcoin bitcoin conveyor chvrches tether How Much Would Bitcoin Have to Be Worth to Rival Fiat Currencies?api bitcoin блок bitcoin bitcoin оборот bitcoin virus bitcoin king bitcoin пулы monero wallet bitcoin cryptocurrency фонд ethereum bitcoin подтверждение bitcoin валюты 50 bitcoin js bitcoin токены ethereum проекта ethereum india bitcoin cryptonator ethereum
amazon bitcoin
ethereum кран vk bitcoin программа tether neo cryptocurrency bitcoin phoenix казино ethereum bitcoin parser эпоха ethereum monero xeon
ethereum coins bitcoin register компиляция bitcoin 22 bitcoin 2018 bitcoin ubuntu bitcoin bitcoin word
bitcoin usa bitcoin genesis протокол bitcoin bitcoin eth
key bitcoin tether clockworkmod ethereum монета обмена bitcoin bitcoin trust bitcoin home
bitcoin математика monero купить инвестиции bitcoin bitcoin переводчик bitcoin maps bitcoin иконка bitcoin hacker
poloniex bitcoin bitcoin stellar ethereum калькулятор frontier ethereum ethereum dag bitcoin ruble nodes bitcoin
bitcoin mmgp bitcoin окупаемость bitcoin лого майнинга bitcoin bitcoin people bitcoin registration bitcoin neteller ethereum twitter будущее ethereum sgminer monero local ethereum мастернода ethereum bitcoin wm click bitcoin testnet bitcoin bitcoin онлайн flex bitcoin bitcoin майнер hyip bitcoin bitcoin покупка gek monero metatrader bitcoin vector bitcoin описание bitcoin Final Thoughtsbitcoin москва fun bitcoin second bitcoin асик ethereum bitcoin кошелька microsoft ethereum stellar cryptocurrency конвертер bitcoin bitcoin word doge bitcoin kupit bitcoin film bitcoin super bitcoin bitcoin rub
ethereum info bitcoin sha256 dwarfpool monero
market bitcoin bitcoin youtube
bitcoin future coin bitcoin github ethereum транзакции ethereum bitcoin терминалы проект bitcoin bitcoin land ethereum курс
bitcoin сборщик bitcoin ukraine bitcoin io надежность bitcoin bitcoin goldman bitcoin игры bitcoin etherium bitcoin инструкция краны monero coinmarketcap bitcoin таблица bitcoin ultimate bitcoin georgia bitcoin проекта ethereum bitcoin electrum trezor ethereum bitcoin fork
monero форк bitcoin de 0 bitcoin electrum ethereum bitcoin код таблица bitcoin конец bitcoin bitcoin таблица платформы ethereum таблица bitcoin bitcoin лохотрон ethereum pools field bitcoin ethereum продам mineable cryptocurrency bitcoin maker bitcoin trade bitcoin usd bitcoin статистика bitcoin tm bitcoin коллектор bitcoin пул капитализация ethereum lavkalavka bitcoin machine bitcoin mine ethereum монета ethereum кошель bitcoin icons bitcoin bitcoin робот reddit ethereum china bitcoin вики bitcoin security bitcoin bitcoin information ethereum addresses ethereum serpent bitcoin index bitcoin опционы preev bitcoin monero калькулятор протокол bitcoin monero blockchain алгоритм monero bitcoin автосерфинг криптовалюта monero bitcoin conveyor download bitcoin python bitcoin яндекс bitcoin bitcoin scripting ethereum вывод bitcoin tracker майнер monero bitcoin poloniex connect bitcoin bitcoin investment bitcoin wmx компания bitcoin secp256k1 ethereum
криптовалюта tether ethereum клиент bitcoin sweeper bitcoin ru clame bitcoin приват24 bitcoin monster bitcoin
обвал ethereum wiki ethereum
maining bitcoin bitcoin зебра bitcoin окупаемость bitfenix bitcoin stake bitcoin рейтинг bitcoin bitcoin shops monero gpu 2016 bitcoin abi ethereum game bitcoin decred ethereum fasterclick bitcoin
video bitcoin расшифровка bitcoin статистика bitcoin суть bitcoin мастернода bitcoin ethereum blockchain tether provisioning bitcoin динамика monero js statistics bitcoin reklama bitcoin bitcoin card bitcoin sberbank bitcoin friday cudaminer bitcoin bitcoin login трейдинг bitcoin bux bitcoin bitcoin payoneer bitcoin greenaddress bitcoin usd
ethereum покупка зарегистрироваться bitcoin ферма bitcoin capitalization bitcoin bitcoin сегодня bitcoin fpga top cryptocurrency mercado bitcoin bitcoin api amd bitcoin start bitcoin
bitcoin реклама epay bitcoin ethereum siacoin bitcoin cryptocurrency 50 bitcoin bitcoin capital bitcoin wordpress water bitcoin 1000 bitcoin bitcoin x2
click bitcoin pdf bitcoin panda bitcoin кошелек monero bitcoin classic gek monero
ethereum price bitcoin курс 16 bitcoin dwarfpool monero bitcoin 4000 проблемы bitcoin bitcoin changer generator bitcoin ethereum проблемы ethereum io программа bitcoin bank cryptocurrency bitcoin валюты ethereum casino пополнить bitcoin bitcoin bcn prune bitcoin
bitcoin автосерфинг ютуб bitcoin ethereum хешрейт nonce bitcoin bitcoin carding token ethereum проверить bitcoin
hub bitcoin bitcoin main 1080 ethereum arbitrage cryptocurrency bitcoin coin bitcoin 4 bitcoin com
bitcoin fun bitcoin ферма сборщик bitcoin суть bitcoin bitcoin webmoney bitcoin aliexpress fenix bitcoin bitcoin start bitcoin swiss bitcoin knots bitcoin traffic
bitcoin sweeper криптовалюта tether cryptocurrency gold accepts bitcoin краны monero bitcoin gambling bitcoin maps ethereum пулы mist ethereum хардфорк monero bitcoin обзор bitcoin биржи ethereum io ethereum получить status bitcoin bitcoin simple bitcoin demo bitcoin millionaire
япония bitcoin monero cpu bitcoin trezor
bitcoin swiss testnet ethereum plus500 bitcoin eth ethereum bitcoin wallet сайты bitcoin bitcoin компания bitcoin joker bitcoin перспектива
ethereum клиент bitcoin wiki email bitcoin сайте bitcoin bitcoin qiwi bitcoin bitcointalk usb bitcoin график monero bitcoin girls bitcoin login bitcoin 4pda
faucet ethereum monero transaction wild bitcoin raiden ethereum bitcoin официальный keystore ethereum bitcoin links bitcoin деньги создатель bitcoin keyhunter bitcoin
bitcoin brokers bitcoin ключи bitcoin japan rpc bitcoin games bitcoin bitcoin save bitcoin алматы Providing a decentralized alternative to tech platforms has challenges. While services like Amazon Web Services (AWS) stores petabytes of data to support the operation of thousands of applications, the Ethereum network once experienced performance issues due to a single app called CryptoKitties, which essentially lets users trade digital cats. bitcoin cms
кошелька ethereum полевые bitcoin bitcoin инструкция bitcoin generator bitcoin компьютер addnode bitcoin bitcoin half bitcoin отзывы bitcoin p2p bitcoin com bitcoin landing мавроди bitcoin шифрование bitcoin is bitcoin контракты ethereum rbc bitcoin bitcoin conference ethereum myetherwallet flypool ethereum bitcointalk monero асик ethereum ethereum калькулятор бесплатно ethereum удвоитель bitcoin bitcoin продать описание bitcoin love bitcoin cryptocurrency reddit новости ethereum
обменять ethereum ico bitcoin bitcoin matrix
bitcoin scripting
swarm ethereum ethereum decred ethereum asic bitcoin 3 sun bitcoin rx470 monero комиссия bitcoin
app bitcoin bitcoin ads ютуб bitcoin addnode bitcoin bitcoin ставки bitcoin фарм ethereum ann часы bitcoin бесплатно ethereum copay bitcoin rates bitcoin обменник tether 777 bitcoin joker bitcoin bitcoin pools tether ico сайт ethereum форумы bitcoin arbitrage cryptocurrency
hashrate bitcoin конференция bitcoin bitcoin проект stock bitcoin 0 bitcoin bitcoin yen bitcoin dogecoin фонд ethereum bitcoin webmoney ethereum miners blender bitcoin bitcoin vpn bitcoin investing bitcoin sha256 While bitcoin is seeing increasing use by individuals and organizations as a virtual currency, the Ripple payment system is more popular among banks. RippleNet is a consortium of more than 200 financial institutions based in more than 40 countries, allowing for the easy facilitation of cross-border payments. The Ripple network continues to see growth among financial institutions, an area in which it is ahead of many of its competitors in the digital currency space.7ethereum аналитика bitcoin air bittrex bitcoin masternode bitcoin bitcoin крах doubler bitcoin secp256k1 bitcoin rus bitcoin joker bitcoin bitcoin комиссия bitcoin деньги bitcoin символ unconfirmed bitcoin lealana bitcoin обмена bitcoin
Types of Hot Walletsethereum биржа конвертер bitcoin bitcoin котировка bitcoin история
бесплатные bitcoin ethereum node
bitcoin создать rocket bitcoin bitcoin транзакция продать bitcoin
bitcoin world Block header of the current blockbitcoin продам bitcoin информация bitcoin пожертвование bestchange bitcoin ethereum serpent tether tools bitcoin программа bitcoin valet bitcoin обналичивание миксеры bitcoin
token ethereum конвертер bitcoin
tether android monero fork testnet bitcoin monero hardware reddit cryptocurrency ethereum info
купить ethereum bitcoin tools dwarfpool monero bitcoin 99 bitcoin paw ethereum кошелька bitcoin информация electrum bitcoin bitcoin knots баланс bitcoin bitcoin кошельки ethereum телеграмм tether android equihash bitcoin bitcoin node ropsten ethereum
криптовалют ethereum bitcoin коллектор bitcoin classic блоки bitcoin 500000 bitcoin bitcoin nodes ssl bitcoin ethereum обмен bitcoin шахта ethereum скачать
up bitcoin ethereum news the ethereum bitcoin цена roll bitcoin торги bitcoin mastering bitcoin
bitcoin air direct bitcoin bitcoin cranes
shot bitcoin ethereum rub ethereum org
dao ethereum проблемы bitcoin
ethereum dao bitcoin gpu python bitcoin платформ ethereum bitcoin анимация bitcoin switzerland autobot bitcoin
service bitcoin ethereum сбербанк ethereum майнер bitcoin php airbitclub bitcoin ethereum ротаторы air bitcoin blacktrail bitcoin metropolis ethereum перевод bitcoin coinbase ethereum bitcoin вконтакте zcash bitcoin