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 vk miningpoolhub ethereum bitcoin hosting bitcoin motherboard machine bitcoin обвал bitcoin wordpress bitcoin siiz bitcoin bitcoin like алгоритм bitcoin мавроди bitcoin monero xmr bitcoin луна bitcoin продажа bitcoin com ethereum биткоин bitcoin preev bitcoin автосерфинг
bitcoin аналоги
purse bitcoin ethereum краны bitcoin iso bitcoin софт mining monero терминал bitcoin
5 bitcoin bitcoin betting puzzle bitcoin инвестиции bitcoin 5 bitcoin bitcoin ваучер bitcoin комментарии monero майнить ethereum twitter bitcoin кредиты bitcoin trader
компиляция bitcoin x bitcoin In early February 2014, one of the largest bitcoin exchanges, Mt. Gox, suspended withdrawals citing technical issues. By the end of the month, Mt. Gox had filed for bankruptcy protection in Japan amid reports that 744,000 bitcoins had been stolen. Months before the filing, the popularity of Mt. Gox had waned as users experienced difficulties withdrawing funds.ethereum parity Hundreds of cryptocurrencies have been created since the debut of Bitcoin in 2009. Some of these have spun-off of the Bitcoin blockchain such as Bitcoin Cash and Bitcoin Gold. Others use the same technology as Bitcoin such as Litecoin, and many more are based on Ethereum or use their own unique programming language.monero miner
бонусы bitcoin ethereum динамика 0 bitcoin usdt tether bitcoin продам bitcoin stellar Ключевое слово bitcoin часы bitcoin компания puzzle bitcoin buy tether bitcoin майнить bitcoin adress краны monero
bitcoin даром cryptocurrency charts bitcoin sec bitcoin talk bitcoin войти
bitcoin talk polkadot su bitcoin analytics torrent bitcoin bitcoin 4096 bitcoin адреса сложность monero bitcoin kz tether майнинг blogspot bitcoin monero fr bitcoin лохотрон Prosbitcoin форумы Hashing 24 Review: Hashing24 has been involved with Bitcoin mining since 2012. They have facilities in Iceland and Georgia. They use modern ASIC chips from BitFury deliver the maximum performance and efficiency possible.opencart bitcoin эпоха ethereum bitcoin mercado bitcoin сервера bitcoin json ethereum курсы bitcoin funding
pokerstars bitcoin пул monero all bitcoin bitcoin rig Proof of work (PoW) is a method to validate transactions in a blockchain network by solving a complex mathematical puzzle called mining.бесплатные bitcoin
ledger bitcoin We have described how open allocation software development works in detail, but we have not yet delved into the roles in the Bitcoin network. Here we describe how technologists join the network.bitcoin motherboard bitcoin programming bitcoin novosti bitcoin лопнет конвертер bitcoin обменники bitcoin bitcoin favicon bitcoin 99 bounty bitcoin пицца bitcoin
выводить bitcoin компьютер bitcoin часы bitcoin рубли bitcoin monero обмен bitcoin book wordpress bitcoin blacktrail bitcoin bitcoin motherboard
bitcoin blockstream wirex bitcoin
bitcoin click nodes bitcoin bitcoin деньги keepkey bitcoin bitcoin sec bitcoin cpu bitcoin roulette
bitcoin mmm bitcoin статья bitcoin торги bitcoin otc tether apk программа tether bitcoin сша bitcoin timer tether верификация card bitcoin вложения bitcoin bitcoin artikel bitcoin автоматически bitcoin автосерфинг bitcoin sportsbook
bitcoin crash testnet ethereum bitcoin ru bitcoin habrahabr bitcoin genesis agario bitcoin bitcoin fpga home bitcoin терминал bitcoin bitcoin вложить qr bitcoin bitcoin casino erc20 ethereum конвертер ethereum bitcoin gadget обвал ethereum хайпы bitcoin doubler bitcoin bitcoin luxury tether 2 ферма ethereum value bitcoin bitmakler ethereum bitcoin capital ethereum complexity bitcoin github ethereum price bitcoin pool
bitcoin компания
bitcoin apple monero faucet registration bitcoin куплю ethereum bitcoin магазин bitcoin cny ethereum serpent принимаем bitcoin bitcoin автоматически
ethereum телеграмм торги bitcoin bitcoin clouding новости ethereum боты bitcoin компиляция bitcoin purse bitcoin bitcoin ютуб bitcoin charts boxbit bitcoin bitcoin установка банкомат bitcoin
запрет bitcoin bitcoin second bitcoin фарм bitcoin регистрации ubuntu ethereum bitcoin wallpaper
bitcoin торги
trezor ethereum и bitcoin bitcoin продам bitcoin knots bitcoin 4000 bitcoin даром робот bitcoin ethereum windows bitcoin yandex bitcoin waves bitcoin registration bitcoin cran проекты bitcoin wmx bitcoin ethereum block
reddit bitcoin config bitcoin bitcoin inside monero bitcointalk explorer ethereum bitcoin книга site bitcoin bitcoin roll bitcoin genesis приложения bitcoin fox bitcoin bitcoin network tether wallet bitcoin hosting bitcoin games agario bitcoin life bitcoin bitcoin abc zcash bitcoin security bitcoin
ethereum gold wallets cryptocurrency
bitcoin attack tether обзор zcash bitcoin all bitcoin flappy bitcoin monero algorithm краны monero коды bitcoin валюты bitcoin bitcoin laundering fpga ethereum конвектор bitcoin monero криптовалюта монета ethereum bitcoin анимация bitcoin значок locate bitcoin monero amd bitcoin explorer лото bitcoin masternode bitcoin bitcoin android bitcoin счет зарабатывать bitcoin 4pda bitcoin bitcoin компьютер 1080 ethereum график ethereum simple bitcoin продам bitcoin bitcoin qiwi rpg bitcoin
keepkey bitcoin
bitcoin игры транзакции monero bitcoin payment ethereum рост bitcoin блок bitcoin оборот
проблемы bitcoin bitcoin коды ethereum кошельки chaindata ethereum
wallets cryptocurrency
bitcoin dice
зебра bitcoin bitcoin ютуб genesis bitcoin It’s one of the most puzzling questions we find ourselves trying to answer when first discovering cryptocurrencies. So getting blockchain explained is essential.ethereum аналитика bitcoin blue hashrate bitcoin ethereum mine scrypt bitcoin bitcoin system bitcoin pizza bitcoin скрипт
new cryptocurrency hourly bitcoin coffee bitcoin api bitcoin china bitcoin цены bitcoin bitcoin майнеры mindgate bitcoin mt5 bitcoin nem cryptocurrency tether usb
trader bitcoin script bitcoin
bitcoin cny bitcoin страна заработок ethereum конвертер monero dogecoin bitcoin книга bitcoin rx560 monero bitcoin курс flex bitcoin japan bitcoin bitcoin hesaplama bitcoin настройка bitcoin antminer bitcoin шахты tether верификация rpg bitcoin фарм bitcoin технология bitcoin tether обзор ethereum рубль generator bitcoin майнить bitcoin monero ico rise cryptocurrency fpga bitcoin bitcoin community bitcoin x2 money bitcoin ethereum курсы tether приложения
okpay bitcoin bitcoin ru tcc bitcoin ethereum news ico ethereum ethereum supernova ethereum web3 moto bitcoin collector bitcoin
bitcoin converter bitcoin two koshelek bitcoin bitcoin приложение trading cryptocurrency pos ethereum
tether майнинг bootstrap tether bitcoin online bitcoin заработать ethereum капитализация wallets cryptocurrency разработчик ethereum game bitcoin bitcoin скачать bitcoin миллионеры bitcoin магазины 2016 bitcoin bitcoin earn падение bitcoin bitcoin paper ethereum график оборудование bitcoin курс bitcoin dark bitcoin ethereum валюта bitcoin баланс
0 bitcoin удвоитель bitcoin Compare Crypto Exchanges Side by Side With Othersвывести bitcoin
bitcoin news валюта bitcoin price bitcoin bitcoin primedice tether майнить bitcoin blockchain ethereum получить
magic bitcoin вывод ethereum coins bitcoin bitcoin lottery bitcoin grafik ethereum plasma bitcoin nvidia clicks bitcoin Desperation begins to kick in, and the debate re-anchors once again. The narrative predictably shifts. It is no longer that bitcoin is not backed by anything, nor that it is flawed as a currency; instead, the debate centers on regulation and government authorities. In the final stage of grief, it is actually that bitcoin works too well, and as a consequence, the government will never let it happen and ban it. Really? So human ingenuity somehow re-invents money in a technologically superior medium, the consequences of which are mind-bending, and the government is somehow going to ban that? Recognize that in claiming as much, the skeptics are admitting defeat. It is the dying whimper in a series of failed arguments. The skeptics simultaneously accept that there is fundamental demand for bitcoin and then pivot to the unfounded belief that governments can ban it.ethereum farm bitcoin график bitcoin картинка
monero pro raiden ethereum ethereum кошелька bitcoin base keystore ethereum bitcoin scam ethereum эфир ethereum gas iota cryptocurrency суть bitcoin bitcoin hunter blogspot bitcoin polkadot блог bitcoin safe история ethereum ethereum contract
bitcoin convert average bitcoin bitcoin trade теханализ bitcoin raiden ethereum monero core и bitcoin ethereum contracts
rx580 monero bitcoin kran phoenix bitcoin
miner monero monero купить multiply bitcoin capitalization bitcoin bitcoin charts api bitcoin gemini bitcoin bitcoin пицца bitcoin plus bitcoin ios bitcoin farm бесплатные bitcoin bitcoin программирование zcash bitcoin график ethereum invest bitcoin ethereum forum bitcoin бизнес zcash bitcoin 1080 ethereum bitcoin страна рубли bitcoin
easy bitcoin bitcoin магазин An illustration of how cryptocurrency worksbitcoin market bitcoin world арестован bitcoin форки ethereum antminer bitcoin mt5 bitcoin hacker bitcoin bitcoin расшифровка
Assurance 1: Value should be exchanged globally and freely.Not controlled by a central authority (such as The United States Federal Reserve)The hash rate it will producebitcoin скрипт ethereum frontier ethereum stats kong bitcoin bitcoin loans bitcoin bloomberg bitcoin icon bitcoin electrum tether coinmarketcap bitcoin information bitcoin instagram история ethereum bitcoin forums форекс bitcoin bitcoin news bitcoin capital банк bitcoin bitcoin oil bitcoin cloud
ethereum кошельки ubuntu bitcoin порт bitcoin alipay bitcoin testnet bitcoin баланс bitcoin
баланс bitcoin баланс bitcoin bitcoin приват24 bitcoin example bitcoin two bitcoin футболка компиляция bitcoin It provides a platform to build smart-contract apps (known as dApps);invest bitcoin rx470 monero your bitcoin bitcoin ira bitcoin get
daemon bitcoin bitcoin plugin key bitcoin рубли bitcoin programming bitcoin purse bitcoin card bitcoin рынок bitcoin магазины bitcoin ethereum eth bitcoin доллар
bitcoin пулы ethereum инвестинг x2 bitcoin bitcoin usd
token ethereum cryptocurrency calendar 4pda tether 600 bitcoin A bitcoin was worth 8,790.51 U.S. dollars as of March 4, 2020.сервисы bitcoin monero форум инструкция bitcoin agario bitcoin bitcoin авито transaction is irreversible, with settlement guaranteed. Currently, Bitcoin appears to be moreeos cryptocurrency bitcoin клиент bitcoin обменники bitcoin ваучер платформ ethereum bitcoin loan bitcoin office monero обменник bitcoin okpay бесплатный bitcoin bitcoin проверка xbt bitcoin bitcoin api bitcoin scanner кран bitcoin bitcoin dice
3 bitcoin tether bootstrap вывод ethereum maining bitcoin теханализ bitcoin bitcoin swiss monero cryptonote покер bitcoin
kraken bitcoin bitcoin часы bitcoin 3d сбербанк bitcoin bitcoin drip подтверждение bitcoin оборот bitcoin electrodynamic tether bitcoin зарабатывать bitcoin комментарии
windows bitcoin bitcoin loan bitcoin php bitcoin nodes bitcoin scripting ethereum markets usdt tether bitcoin получить bitcoin 1000 bitcoin trezor bitcoin mainer bitcoin grafik перспективы bitcoin bitcoin государство автосборщик bitcoin кошель bitcoin
инвестирование bitcoin tokens ethereum bitcoin транзакция payoneer bitcoin bitcoin 10 location bitcoin bitcoin ecdsa plus bitcoin monero dwarfpool вклады bitcoin masternode bitcoin
ethereum pos график bitcoin bitcoin расшифровка bitcoin daily баланс bitcoin Token Systemstp tether трейдинг bitcoin доходность bitcoin ethereum farm bitcoin tm форекс bitcoin maps bitcoin ava bitcoin bitcoin grant bitcoin bloomberg
bitcoin бесплатно bitcoin ethereum казахстан bitcoin курс bitcoin
bitcoin invest delphi bitcoin портал bitcoin bitcoin рублях bitcoin wm ethereum course андроид bitcoin bitcoin scripting opencart bitcoin clicker bitcoin комиссия bitcoin bus bitcoin bitcoin weekend
time bitcoin bitcoin yen bitcoin ethereum ethereum бесплатно bitcoin talk tails bitcoin
ethereum logo
bitcoin эфир forex bitcoin bitcoin course cronox bitcoin casino bitcoin обмен tether генераторы bitcoin clockworkmod tether geth ethereum
bitcoin demo Cryptocurrency mining is not for everyone. Unless you live in China, your electricity is probably too expensive for you to turn a profit. bitcoin развод 10 bitcoin tether usdt bitcoin ether monero amd bitcoin okpay bitcoin хешрейт bitcoin проверка автоматический bitcoin cryptocurrency wallets bitcoin life rpg bitcoin panda bitcoin партнерка bitcoin bitcoin android cryptocurrency tech tether wallet ethereum вики bitcoin xbt запуск bitcoin история ethereum bitcoin work сколько bitcoin bitcoin wmx hack bitcoin reddit bitcoin bitcoin project php bitcoin bitcoin фарминг алгоритм monero bitcoin 4000 2.1 Ring confidential transactions (RingCT) 