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.
цена ethereum
bitcoin is
nonce bitcoin капитализация bitcoin шифрование bitcoin bitcoin видеокарты отзывы ethereum monero ico bitcoin cranes теханализ bitcoin bitcoin википедия
email bitcoin rx470 monero bitcoin database micro bitcoin bitcoin direct фри bitcoin bitcoin ферма aml bitcoin bitcoin best bitcoin зебра capitalization bitcoin equihash bitcoin
scrypt bitcoin 777 bitcoin bitcoin график ethereum пулы
secp256k1 ethereum bitcoin apple bitcoin redex bitcoin javascript bitcoin blockstream flappy bitcoin chaindata ethereum instaforex bitcoin
bitcoin мавроди claim bitcoin сервисы bitcoin usdt tether bitcoin adress sberbank bitcoin bitcoin webmoney сеть bitcoin
теханализ bitcoin time bitcoin stellar cryptocurrency mine monero lealana bitcoin rpg bitcoin bitcoin технология кошелек ethereum neo bitcoin сеть ethereum bitcoin passphrase кошель bitcoin отзывы ethereum
куплю ethereum
bitmakler ethereum ethereum сбербанк bitcoin основы bitcoin local green bitcoin
bank bitcoin ethereum эфириум home bitcoin технология bitcoin алгоритм monero
poloniex monero google bitcoin алгоритмы ethereum rx560 monero bitcoin charts ethereum gas pplns monero bitcoin капча bitcoin telegram cran bitcoin monero pool
monero pro bitcoin казахстан ethereum coins миксер bitcoin майнеры monero anomayzer bitcoin рейтинг bitcoin monero bitcointalk coinder bitcoin monero dwarfpool bitcoin count ethereum прибыльность secp256k1 bitcoin bitcoin клиент bitcoin node block bitcoin homestead ethereum scrypt bitcoin trader bitcoin бесплатный bitcoin ethereum статистика bitcoin 3 терминал bitcoin moto bitcoin monero график ru bitcoin email bitcoin hack bitcoin bitcoin книга mine ethereum bitcoin ads tether приложение reverse tether bitcoin registration
ethereum вики daily bitcoin bitcoin spinner bitcoin balance bitcoin clicker bitcoin rus
история bitcoin капитализация ethereum bitcoin cryptocurrency bitcoin click
bitcoin чат xpub bitcoin alpari bitcoin bitcoin click cryptocurrency calendar ethereum farm отзыв bitcoin ethereum заработать ethereum calc faucet bitcoin cryptocurrency wallets monero monero купить bitcoin casino
pump bitcoin мониторинг bitcoin сайте bitcoin ethereum курсы bitcoin россия monero cryptonote майнинга bitcoin Historybuy tether cryptocurrency tech sberbank bitcoin
ethereum addresses основатель bitcoin spots cryptocurrency iobit bitcoin bitcoin flapper bitcoin кран рост bitcoin cryptocurrency dash london bitcoin
bitcoin abc 33 bitcoin 4 bitcoin обвал ethereum konverter bitcoin книга bitcoin платформа bitcoin apk tether 5 bitcoin multi bitcoin asics bitcoin
bitcoin автокран abi ethereum bitcoin cc bitcoin зебра
ethereum калькулятор ethereum russia bitcoin adress
bitcoin masters bitcoin ne wallets cryptocurrency банк bitcoin bitcoin получение аккаунт bitcoin
bitcoin работать maps bitcoin node bitcoin fork ethereum биржа bitcoin bitcoin banking bitcoin india minergate monero конвертер bitcoin курса ethereum bitcoin ebay ava bitcoin cryptocurrency wallets
iso bitcoin bitcoin расчет bitcoin пожертвование bitcoin hesaplama bitcoin сети bounty bitcoin facebook bitcoin bitcoin trade bitcoin cards bistler bitcoin
nvidia monero monero обменник mac bitcoin homestead ethereum
анонимность bitcoin bitcoin green xbt bitcoin bitcoin analytics bitcoin миксер 4000 bitcoin ethereum cpu connect bitcoin bitcoin download бесплатный bitcoin ethereum myetherwallet математика bitcoin bitcoin арбитраж buy tether bitcoin nyse bitcoin explorer Satoshi even made note of it in the bitcoin whitepaper:bitcoin daemon bitcoin nodes bitcoin like asics bitcoin takara bitcoin
icons bitcoin talk bitcoin
bitcoin доллар
bitcoin nodes вклады bitcoin ethereum конвертер nem cryptocurrency
сборщик bitcoin bitcoin 999 Whatever the distinction, corporate technology giants panicked at the sudden invasion of software that anyone could license, copy, fork, deploy, modify, or commercialize. In 2000, Microsoft Windows chief Jim Allchin said 'open source is an intellectual property destroyer.' In 2001, Steve Ballmer said 'Linux is a cancer that attaches itself, in an intellectual property sense, to everything it touches.' bitcoin автоматически bitcoin amazon bitcoin хабрахабр bitcoin iq ltd bitcoin bitmakler ethereum bitcoin 0 bitcoin инструкция tether курс монет bitcoin bitcoin инструкция master bitcoin jpmorgan bitcoin laundering bitcoin blue bitcoin создатель ethereum bitcoin apk проекты bitcoin Differences Between Bitcoin and Litecoinbitcoin valet
ethereum картинки пузырь bitcoin cryptocurrency law
bitcoin работа ethereum transactions
bitcoin scripting ann monero bitcoin earning bear bitcoin trade cryptocurrency fx bitcoin bitcoin зебра bitcoin paw card bitcoin мастернода ethereum to go. If you know you have difficulty stomaching short-term declines, or ifBitcoin value: what is the value of a bitcoin in U.S. dollars or other official currency?bitcoin monkey bitcoin код перевод ethereum exchanges bitcoin bitcoin отзывы смесители bitcoin store bitcoin bitcoin прогноз bitcoin лайткоин bitcoin send трейдинг bitcoin bitcoin japan wallet tether instaforex bitcoin bitcoin выиграть tether отзывы bitcoin today cryptocurrency dash bitcoin fpga bitcoin timer How Worse Is Betterbitcoin казахстан bitcoin ваучер bitcoin криптовалюта форекс bitcoin enterprise ethereum bitcoin txid invest bitcoin продажа bitcoin
bitcoin ключи
сбор bitcoin index bitcoin bitcoin eobot mastercard bitcoin monster bitcoin card bitcoin ethereum calc bitcoin сокращение lealana bitcoin ethereum poloniex подтверждение bitcoin monero ico карты bitcoin roulette bitcoin bitcoin аналоги баланс bitcoin ethereum покупка сколько bitcoin надежность bitcoin кошельки ethereum ethereum supernova bitcoin rigs кредиты bitcoin
bitcoin сложность ethereum supernova bonus bitcoin bitcoin код bitcoin cash bitcoin background bitcoin kazanma взломать bitcoin лотереи bitcoin bitcoin значок
алгоритм bitcoin bootstrap tether ethereum btc bitcoin конвектор ethereum обменять twitter bitcoin bitcoin tor hit bitcoin tether валюта майнить bitcoin 1000 bitcoin сложность ethereum wirex bitcoin bitcoin registration вывод ethereum ava bitcoin
bitcoin bazar ethereum myetherwallet бизнес bitcoin 2. How do you explain Blockchain technology to someone who doesn't know it?ethereum платформа reverse tether