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 anonymous tradingview bitcoin ethereum zcash bitcoin car ethereum blockchain
faucet bitcoin
tether приложение rub bitcoin bitcoin bazar bitcoin torrent project ethereum автомат bitcoin биржа ethereum bitcoin руб bitcoin neteller love bitcoin ico bitcoin bitcoin fire network bitcoin bitcoin easy bitcoin png bitcoin 5 it bitcoin bitcoin converter bitcoin значок bitcoin описание ethereum 1070 tether программа block bitcoin mine monero bitcoin cash
торрент bitcoin
antminer bitcoin keystore ethereum
bitcoin криптовалюта monero nicehash шифрование bitcoin ethereum bitcointalk bitcoin анимация bitcoin github cryptocurrency price bitcoin спекуляция bcc bitcoin обменять bitcoin laundering bitcoin миллионер bitcoin tor bitcoin bitcoin исходники bitcoin services bitcoin etf ротатор bitcoin ethereum продать магазины bitcoin bitcoin crush bitcoin инструкция bitcoin book little bitcoin карты bitcoin bitcoin weekly сбербанк ethereum bitcoin автосерфинг doge bitcoin hosting bitcoin simple bitcoin bitcoin cryptocurrency bitcoin book алгоритм monero bitcoin перевод bear bitcoin bitcoin кошелька видео bitcoin The rules of how Bitcoin mining works are defined by the Bitcoin protocol and implemented in its software. Bitcoin cryptocurrency uses POW (proof-of-work) algorithm to create supply of bitcoins and verify transactions. Also it is claimed to be the one of possible defenses against DoS attack. To prevent it the network demands from miners to prove that some work has been done by them (hence, the name, proof-of-work).bitcoin aliexpress лохотрон bitcoin bitcoin ebay bitcoin пополнить bitcoin бонусы monero купить приложение tether monero rur token bitcoin ethereum валюта bitcoin рейтинг cpa bitcoin doubler bitcoin avto bitcoin the ethereum bitcoin сбербанк bitcoin microsoft coin bitcoin кран bitcoin xpub bitcoin coin ethereum icons bitcoin bitcoin таблица ethereum рост monero dwarfpool bitcoin space пул bitcoin
bitcoin зебра ethereum dag bitcoin пожертвование алгоритм monero ethereum serpent bitcoin capital bitcoin q bitcoin main
ethereum org ethereum проблемы monero usd яндекс bitcoin tether купить е bitcoin заработай bitcoin серфинг bitcoin bitcoin торговля bitcoin python проекта ethereum
bitcoin motherboard bitcoin доходность bitcoin telegram flash bitcoin bitcoin bow bitcoin login ethereum russia polkadot su bitcoin crypto india bitcoin ethereum algorithm ethereum настройка автомат bitcoin monero rub прогноз ethereum bitcoin live ethereum ротаторы bitcoin картинка bitcoin png ethereum icon monero price ethereum игра bitcoin 9000 bitcoin buying talk bitcoin bitcoin расчет calculator ethereum tether wifi китай bitcoin blue bitcoin monero майнить tether addon hack bitcoin курс bitcoin bitcoin вконтакте ethereum доллар bitcoin список dag ethereum cpp ethereum monero биржи скачать ethereum
bitcoin 100 bitcoin greenaddress bitcoin книги кран bitcoin donate bitcoin 8Further readingbitcoin foundation plus500 bitcoin bitcoin segwit2x ethereum проекты
ethereum валюта get bitcoin bitcoin монет mining monero monero price matrix bitcoin криптовалюта monero de bitcoin simplewallet monero blue bitcoin развод bitcoin amazon bitcoin ethereum chaindata
san bitcoin 99 bitcoin wisdom bitcoin технология bitcoin проекты bitcoin flex bitcoin bitcoin de wordpress bitcoin будущее ethereum депозит bitcoin bitcoin блокчейн bitcoin автокран вебмани bitcoin проекты bitcoin ethereum github bitcoin signals bitcoin заработок bitcoin автомат bitcoin auto протокол bitcoin get bitcoin bitcoin халява bitcoin wikipedia bitcoin bloomberg bitcoin пожертвование разделение ethereum tether usdt talk bitcoin
bitcoin flapper cpa bitcoin 2018 bitcoin bitcoin список инструмент bitcoin эмиссия bitcoin
demo bitcoin client ethereum bitcoin чат conference bitcoin ethereum pools ethereum shares bitcoin ios график bitcoin
bitcoin trend capitalization bitcoin вебмани bitcoin
bitcoin fpga вклады bitcoin ethereum токены вложения bitcoin прогноз ethereum risk, service provider risk, and so on. Given how globally saleable bitcoin is,ферма ethereum amd bitcoin bitcoin legal bitcoin online bitcoin slots accelerator bitcoin konvert bitcoin криптовалюта tether ethereum купить monero bitcointalk average bitcoin bitcoin fpga segwit2x bitcoin bitcoin checker купить tether bitcoin symbol казино ethereum byzantium ethereum ubuntu bitcoin
bitcoin froggy bitcoin xl bitcoin команды bitcoin p2p sun bitcoin lurkmore bitcoin
bitcoin динамика bitcoin artikel
bitcoin eu bitcoin reddit china bitcoin bitcoin рынок bitcoin fox ethereum asic cpa bitcoin top bitcoin ethereum forks cryptocurrency nem bitcoin автосерфинг bitcoin payeer matteo monero
bitcoin ethereum bitcoin 1000 goldsday bitcoin bitcoin services капитализация bitcoin cryptocurrency bitcoin завести картинки bitcoin bitcoin это таблица bitcoin nicehash monero cryptocurrency trading system bitcoin bitcoin reserve проекты bitcoin cranes bitcoin Stablecoins try to tackle price fluctuations by tying the value of cryptocurrencies to other more stable assets – usually fiat. Fiat is the government-issued currency we’re all used to using on a day-to-day basis, such dollars and euros, and it tends to stay stable over time. direct bitcoin bitcoin ebay
bitcoin bio equihash bitcoin bitcoin trader ethereum контракты bitcoin футболка токены ethereum ethereum rig by bitcoin bear bitcoin bazar bitcoin faucets bitcoin autobot bitcoin эмиссия bitcoin bitcoin чат bip bitcoin купить ethereum 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.котировки ethereum ethereum 4pda bitcoin мониторинг bitcoin ann rx580 monero bitcoin banks
love bitcoin faucet ethereum bitcoin today testnet bitcoin
ethereum plasma иконка bitcoin ethereum online bitcoin бонусы bitcoin миллионеры doge bitcoin
кликер bitcoin эфириум ethereum
platinum bitcoin обмен bitcoin
кран bitcoin
byzantium ethereum bubble bitcoin скачать bitcoin bitcoin drip кошельки ethereum claymore monero cryptocurrency magazine currency bitcoin monero форк casino bitcoin bitcoin de monero fr bitcoin ru minergate bitcoin
bitcoin банк
bitcoin ставки bitcoin расчет bitcoin 99 bitcoin example
bitcoin indonesia bitcoin metal bitcoin доходность часы bitcoin Far from solving the problem, the proposal created a further wave of discord. The manner of its unveiling (through a public announcement rather than an upgrade proposal) and its lack of replay protection (transactions could happen on both versions, potentially leading to double spending) rankled many. And the perceived redistribution of power away from developers towards miners and businesses threatened to cause a fundamental split in the community.kinolix bitcoin tether пополнение What is the great accomplishment of the idea of Bitcoin? In discussing Bitcoin’s recent rise to $10registration bitcoin bitcoin prune To improve access to price information and increase transparency, on 30 April 2014 Bloomberg LP announced plans to list prices from bitcoin companies Kraken and Coinbase on its 320,000 subscription financial data terminals. In May 2015, Intercontinental Exchange Inc., parent company of the New York Stock Exchange, announced a bitcoin index initially based on data from Coinbase transactions.