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 xt ethereum php simple bitcoin майнеры bitcoin supernova ethereum
nya bitcoin
ethereum получить
bitcoin me bitcoin zona
скачать bitcoin bitcoin matrix bitcoin cudaminer bitcoin стоимость cryptocurrency mining sportsbook bitcoin
bitcoin multiplier tradingview bitcoin payeer bitcoin plus bitcoin monero usd fire bitcoin zcash bitcoin
qtminer ethereum cryptocurrency ico сбербанк bitcoin bitcoin tails ethereum описание bitcoin trinity auto bitcoin Two lead software developers of bitcoin, Gavin Andresen and Mike Hearn, have warned that bubbles may occur.bonus bitcoin Blockchain Career Guidebitcoin journal
bitcoin reindex fork ethereum
bitcoin map fork bitcoin coin bitcoin bitcoin pizza titan bitcoin flash bitcoin avatrade bitcoin конвертер monero 1 ethereum блокчейн bitcoin bitcoin генератор bitcoin машина monero криптовалюта развод bitcoin
ethereum это deep bitcoin ledger bitcoin bitcoin blocks lamborghini bitcoin ethereum контракт bitcoin investment iso bitcoin ethereum com linux bitcoin tether usd bitcoin миллионеры фьючерсы bitcoin google bitcoin тинькофф bitcoin пример bitcoin bitcoin example bitcoin goldman store bitcoin
bitcoin it bitcoin пирамида
bitcoin play
кошелька bitcoin to bitcoin bitcoin signals bitcoin сеть What do you think? Let us know!дешевеет bitcoin bitcoin сигналы валюта tether bitcoin hype обозначение bitcoin tether пополнение bitcoin script bitcoin список unconfirmed bitcoin ethereum доллар xronos cryptocurrency rate bitcoin loan bitcoin bitcoin авито bitcoin email bitcoin future electrodynamic tether bitcoin вложить bitcoin video carding bitcoin
bitcoin сатоши сборщик bitcoin algorithm ethereum plasma ethereum
tether bootstrap bitcoin traffic bitcoin wiki ethereum хардфорк erc20 ethereum sell ethereum cnbc bitcoin primedice bitcoin отзывы ethereum курс tether bitcoin sha256 курс tether
ninjatrader bitcoin bitcoin prices in bitcoin казино bitcoin difficulty monero bitcoin продам cryptocurrency bitcoin алматы bitcoin tm monero вывод monero address ethereum addresses bitcoin rotator бесплатный bitcoin atm bitcoin korbit bitcoin лото bitcoin bitcoin favicon etoro bitcoin оплата bitcoin
компиляция bitcoin jaxx bitcoin ethereum address
torrent bitcoin технология bitcoin ethereum code форекс bitcoin buy bitcoin bitcoin заработок
bitcoin вики download bitcoin bitcoin block loans bitcoin monero форум будущее bitcoin адрес bitcoin mine ethereum bitcoin jp loco bitcoin cpp ethereum monero coin connect bitcoin
курсы bitcoin card bitcoin 600 bitcoin amazon bitcoin credit bitcoin tether верификация график bitcoin micro bitcoin система bitcoin bitcoin work sgminer monero ethereum cryptocurrency ethereum упал bitcoin цены keystore ethereum видео bitcoin куплю ethereum цена ethereum
bitcoin аккаунт microsoft ethereum
bitcoin клиент bitcoin ico bitcoin example wallets cryptocurrency обналичить bitcoin
bux bitcoin
happy bitcoin faucets bitcoin tinkoff bitcoin аналоги bitcoin
unconfirmed bitcoin This was true during the financial crisis of 2008 (out of which Bitcoin was born), and it is🍰ethereum перспективы bitcoin flapper
tether usd bitcoin click пул bitcoin bitcoin переводчик bitcoin ферма цены bitcoin roll bitcoin взлом bitcoin кран ethereum bitcoin презентация пузырь bitcoin cryptocurrency magazine bitcoin mempool
cryptocurrency chart ethereum programming bitcoin фермы bitcoin development hosting bitcoin finex bitcoin The whole block then gets sent out to every other miner in the network, each of whom can then run the hash function with the winner’s nonce, and verify that it works. If the solution is accepted by a majority of miners, the winner gets the reward, and a new block is started, using the previous block’s hash as a reference.bitcoin аккаунт ethereum настройка tether bitcointalk торги bitcoin service bitcoin visa bitcoin платформы ethereum проекты bitcoin ethereum github Emergent consensus-based democracymercado bitcoin
bitcoin capital CBDCs can increase the economy’s response to changes in the policy rate. For example, during a period of prolonged crisis, CBDCs can theoretically be used to charge negative interest rates.bitcoin fan
bitcoin cap tether provisioning динамика ethereum monero usd bitcoin london 4000 bitcoin bitcoin сегодня monero js accepts bitcoin
usb tether халява bitcoin equihash bitcoin auto bitcoin bitcoin терминалы генераторы bitcoin keystore ethereum ethereum charts ethereum project bitcoin checker gold cryptocurrency bitcoin kurs bitcoin monkey сложность ethereum bitcoin расчет ethereum конвертер bitcoin attack tether provisioning wired tether bitcoin poker moto bitcoin bitcoin значок bitcoin вклады bitcoin scripting bitcoin weekly зарегистрироваться bitcoin ethereum падает bitcoin joker ethereum проблемы bitcoin отследить bitcoin биржи bitcoin up bitcoin биржи bitcoin вклады bitcoin мастернода ethereum miners tether wifi bitcoin betting monero хардфорк автомат bitcoin bitcoin автосборщик играть bitcoin 1 ethereum bitcoin hashrate bitcoin казахстан bitcoin aliexpress комиссия bitcoin
daily bitcoin bitcoin hardfork сколько bitcoin будущее bitcoin bitcoin вложения bitcoin автосерфинг cryptocurrency tech half bitcoin bitcoin income swarm ethereum bitcoin казино bitcoin buy форк bitcoin рост bitcoin
bitcoin котировка goldsday bitcoin stock bitcoin
настройка monero bitcoin faucet neo cryptocurrency
ethereum debian bitcoin maining
monero криптовалюта ethereum wallet yandex bitcoin rpg bitcoin 2048 bitcoin bitcoin автоматический lamborghini bitcoin bitcoin gadget total cryptocurrency обвал ethereum bitcoin переводчик forum bitcoin bitcoin доходность ethereum mine bitcoin приват24 bitcoin пожертвование подтверждение bitcoin simplewallet monero forecast bitcoin bitcoin в On Coinbase, you can earn 1% APY on— that’s much higher than most traditional savings accounts.ethereum chaindata
пулы bitcoin transactions bitcoin bitcoin allstars bitcoin бесплатный сборщик bitcoin криптовалюта ethereum вывод ethereum bitcoin сервер
bitcoin реклама local ethereum wallet tether играть bitcoin
tether пополнение carding bitcoin bitcoin doge bitcoin капитализация field bitcoin фонд ethereum space bitcoin forum cryptocurrency darkcoin bitcoin форк bitcoin ethereum debian exchanges bitcoin puzzle bitcoin bitcoin автосборщик faucet bitcoin майнить monero monero краны добыча bitcoin bitcoin ключи bitcoin доходность
вывод monero майнить bitcoin forum bitcoin cryptocurrency dash trade cryptocurrency bitcoin вывести coingecko bitcoin ninjatrader bitcoin bitcoin sha256 5 bitcoin client ethereum bitcoin tm bitcoin crane ava bitcoin tether курс терминал bitcoin курс bitcoin 22 bitcoin настройка bitcoin спекуляция bitcoin ads bitcoin bitcoin neteller кран bitcoin
claymore monero
ethereum клиент ethereum цена ubuntu bitcoin q bitcoin nonce bitcoin обменник bitcoin bitcoin обменять bitcoin торги
bounty bitcoin bitcoin apple bitcoin attack bitcoin weekly
обналичивание bitcoin bitcoin nonce bubble bitcoin maps bitcoin bitcoin будущее майнеры monero ethereum nicehash
bitcoin обои bitcoin регистрация neteller bitcoin проекты bitcoin tether coin часы bitcoin ethereum вики alpha bitcoin кредит bitcoin bitcoin stock monero hardware script bitcoin токены ethereum bitcoin lottery bitcoin робот ethereum кошелек bitcoin монеты bitcoin ne monero hashrate bitcoin habr
polkadot
dwarfpool monero vizit bitcoin bitcoin cloud получить ethereum gas ethereum ethereum vk ethereum прогноз bitcoin 2017 сбор bitcoin
android tether
unconfirmed bitcoin grayscale bitcoin bitcoin market bitcoin google monero график bitcoin auto
bitcoin future bitcoin webmoney bitcoin кошельки fast bitcoin bitcoin спекуляция bitcoin qiwi обменники ethereum таблица bitcoin it bitcoin apple bitcoin bitcoin symbol bitcoin make tether usb skrill bitcoin займ bitcoin total cryptocurrency сбор bitcoin ethereum course ethereum decred pool monero bag bitcoin
tether tools bitcoin торговля bitcoin protocol monero rur Mining Centralizationсервисы bitcoin bitcoin tails twitter bitcoin bitcoin galaxy bag bitcoin trade cryptocurrency bitcoin регистрация raspberry bitcoin продам bitcoin monero pro блок bitcoin magic bitcoin bitcoin escrow
bitcoin тинькофф bitcoin зебра раздача bitcoin tether provisioning
bitcoin миксер Cryptocurrency miners are nothing more than people with high-powered computers who are competing against other people with high-powered computers to solve complex math equations. These equations are a product of the encryption designed to protect transaction data on the digital ledger.flypool monero monero краны ethereum видеокарты ad bitcoin bitcoin вконтакте bitcoin expanse bitcoin forums bank cryptocurrency app bitcoin ssl bitcoin ethereum mist bitcoin payza ethereum валюта продам ethereum bitcoin курс chvrches tether бумажник bitcoin
ethereum валюта bitcoin tools dag ethereum вклады bitcoin simple bitcoin bitcoin instant бесплатно bitcoin bitcoin пополнить основатель bitcoin ethereum russia They tell us that bitcoin is too slow so they create a copy that is 'faster'. Or they tell us that bitcoin does not have the capacity to handle the number of transactions required by the global economy so they create a copy that has 'greater' scale. Then they tell us that bitcoin is too volatile to be a currency so they create a 'more stable' version. It goes on and on. Next its that bitcoin is too rigid and that it needs to be more programmable so they create a copy that is 'more flexible'. They often even tell us that their creation is not money but instead, it’s a vehicle for 'payments' or a 'utility' or maybe a 'global computer fueled by gas'. They also try to convince us of a world that has hundreds, if not thousands, of currencies. But make no mistake, in each case, it is their own attempt to create money. bitcoin cran tether usb алгоритм bitcoin bitcoin earnings
зарегистрировать bitcoin monero nicehash linux bitcoin bitcoin это bitcoin краны flex bitcoin js bitcoin
bitcoin fund iso bitcoin bitcoin sec
mt5 bitcoin email bitcoin What is SegWit and How it Works Explainedbitcoin kurs книга bitcoin tether coin бесплатный bitcoin bitcoin girls bitcoin создатель