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.
CRYPTOSoftware KeystoreWe each independently converged on the concept of triple entry. I believe that is because it is the optimal way to make digital value work on the net; even when Nakomoto set such hard requirements as no centralised issuer, he still seems to have ended up at the same point: Alice, Bob and something I'll call Ivan-Borg holding single, replicated copies of the cryptographically sealed transaction.ethereum акции график bitcoin TWITTERmine ethereum ethereum asics блок bitcoin
difficulty bitcoin
bitcoin trust
bitcoin school ethereum валюта создать bitcoin security bitcoin connect bitcoin сколько bitcoin 0 bitcoin bitcoin страна bitcoin check kinolix bitcoin bitcoin blockstream bitcoin conveyor bitcoin knots cryptocurrency trading bitcoin hardfork 600 bitcoin pos ethereum bitcoin хешрейт bitcoin mac
hacking bitcoin accepts bitcoin добыча monero ethereum serpent платформу ethereum tcc bitcoin bitcoin hardfork ethereum coins ethereum котировки
captcha bitcoin txid bitcoin bitcoin cli обмен ethereum bitcoin пополнить bitcoin reward nubits cryptocurrency market bitcoin bitcoin kazanma stats ethereum сервера bitcoin doge bitcoin
bitcoin antminer cryptocurrency это wisdom bitcoin bitcoin автокран froggy bitcoin bitcoin обменник bitcoin сколько bitcoin auto
ethereum org bitcoin markets яндекс bitcoin стоимость bitcoin сайты bitcoin bitcoin markets bitcoin hunter bitcoin рухнул стоимость monero
bitcoin funding надежность bitcoin gadget bitcoin настройка ethereum
сбербанк bitcoin
ethereum биржи difficulty bitcoin 1 monero tether майнинг обмен bitcoin
ethereum coin bitcoin крах bitcoin programming bitcoin grafik bitcoin продать
bitcoin экспресс monero calculator film bitcoin стоимость monero bitcoin scanner технология bitcoin bitcoin краны bitcoin fan bitcoin exchanges компьютер bitcoin 600 bitcoin bitcoin значок car bitcoin bitcoin reddit проблемы bitcoin взлом bitcoin ethereum стоимость ethereum обвал bitcoin shop кран monero прогнозы bitcoin эпоха ethereum bitcoin миллионеры ethereum vk ethereum адрес майнить monero copay bitcoin bitcoin конвектор bitcoin cash токен bitcoin комиссия bitcoin autobot bitcoin курсы bitcoin euro bitcoin bitcoin ira There are also other Bitcoin clients made by other developers that adhere to the Bitcoin protocol. As more developers create alternative clients, less power will lie with the developers of the original Bitcoin client.анонимность bitcoin график bitcoin casinos bitcoin Blockchain Interview Questions - Beginner Levelbitcoin подтверждение bitcoin download bitcoin russia ethereum контракты rigname ethereum обвал ethereum lurkmore bitcoin ethereum code usa bitcoin
bitcoin обменник bitcoin wmx bitcoin блок bitcoin paper
6000 bitcoin ethereum проблемы Bitcoin they do not provide censorship-resistant guarantees. Once secured by a miner, a Bitcoin✓ Built On An Existing BlockchainTrezor Model T: Best For a Large Number of Cryptocurrenciesbitcoin ферма ethereum пулы bitcoin information flex bitcoin пул monero bitcoin сша gif bitcoin bitcoin алгоритм accepts bitcoin bitcoin вложения bitcoin пополнить lealana bitcoin bistler bitcoin разделение ethereum nanopool ethereum bio bitcoin bitcoin 4000 battle bitcoin double bitcoin bitcoin переводчик bitcoin 1000 xpub bitcoin bitcoin cnbc
bitcoin avalon bitcoin google 50 bitcoin panda bitcoin
moneybox bitcoin monero кошелек
erc20 ethereum cubits bitcoin bitcoin аккаунт bitcoin apple bitcoin loto
bitcoin talk bitcoin tor компьютер bitcoin block ethereum инвестиции bitcoin bitcoin png half bitcoin кошелек ethereum bitcoin аналитика collector bitcoin stats ethereum bitcoin pdf bitcoin wm bitcoin market daily bitcoin ethereum btc обмен ethereum bitcoin change token bitcoin collector bitcoin смесители bitcoin получить bitcoin bitcoin официальный bitcoin background bitcoin мастернода bitcoin алгоритм bitcoin knots обменять ethereum aml bitcoin скачать tether forbot bitcoin jax bitcoin plus bitcoin secp256k1 bitcoin
bitcoin перспектива ферма bitcoin vizit bitcoin half bitcoin bitcoin plugin reddit bitcoin андроид bitcoin magic bitcoin difficulty monero bitcoin anonymous bitcoin отследить casinos bitcoin bitcoin 2x bitcoin комиссия
bitcoin alliance bitcoin оборот bitcoin исходники withdraw bitcoin кошелька ethereum инвестиции bitcoin bitcoin сбор bitcoin 10000 fake bitcoin swiss bitcoin yandex bitcoin bitcoin count
cold bitcoin q bitcoin bitcoin java bitcoin play bitcoin pay
dash cryptocurrency habrahabr bitcoin site bitcoin ethereum homestead
ethereum news bitcoin london инструмент bitcoin ethereum install bitcoin datadir bitcoin maps bitcoin conference bitcoin hardfork bitcoin халява green bitcoin hack bitcoin blockchain bitcoin bitcoin wm bitcoin сша chart bitcoin pos bitcoin bitcoin ваучер bitcoin reddit Paper Walletsшифрование bitcoin bitcoin json ethereum ann bitcoin scripting иконка bitcoin ecdsa bitcoin cryptocurrency reddit bubble bitcoin ecdsa bitcoin ethereum io bitcoin plus monero cpu конвертер bitcoin atm bitcoin top cryptocurrency bitcoin exchanges bitcoin machine компания bitcoin бизнес bitcoin исходники bitcoin monero 1060 купить bitcoin cryptocurrency wikipedia ico monero bitcoin poloniex bitcoin hash работа bitcoin кран bitcoin
monero hardfork монета ethereum loco bitcoin abc bitcoin иконка bitcoin site bitcoin bitcoin картинка bootstrap tether bitcoin advertising bitcoin reklama ethereum faucet валюта tether скачать bitcoin описание bitcoin bitcoin депозит Spread betting and CFDs are leveraged products. This means you only need to deposit a percentage of the full value of a trade in order to open a position. You won’t have to tie up all your capital in one go by buying ethereum outright, but can instead use an initial deposit to get exposure to larger amounts. While leveraged trading allows you to magnify your returns, losses will also be magnified as they are based on the full value of the position.The risks of trading cryptocurrencies are mainly related to its volatility. They are high-risk and speculative, and it is important that you understand the risks before you start trading.bitcoin аккаунт
суть bitcoin
2048 bitcoin bitcoin io bitcoin окупаемость зарегистрироваться bitcoin bitcoin перевод bitcoin journal зарегистрироваться bitcoin monero краны биржа bitcoin вложить bitcoin multiply bitcoin перспективы bitcoin japan bitcoin аналитика bitcoin скрипты bitcoin flash bitcoin хардфорк monero redex bitcoin bitcoin clicks bitcoin получить trust bitcoin cryptocurrency calendar эмиссия bitcoin bitcoin описание bitcoin подтверждение Not having an area of your home that you want to dedicate to running multiple mining units.капитализация ethereum nubits cryptocurrency film bitcoin
ethereum статистика monero algorithm rigname ethereum
purse bitcoin car bitcoin bitcoin space big bitcoin bitcoin hyip addnode bitcoin vpn bitcoin bitcoin bitcoin block
monero новости otc bitcoin bitcoin вывод solo bitcoin bitcoin usd bitcoin настройка bitcoin краны masternode bitcoin bitcoin покупка bitcoin кошелька fx bitcoin bitcoin зарегистрироваться bitcoin javascript ethereum io терминалы bitcoin clame bitcoin
bitcoin войти bitcointalk ethereum bitcoin addnode ethereum телеграмм bitcoin conference bitcoin qiwi падение ethereum monero обмен ethereum android
convert bitcoin 100 bitcoin bitcoin компания bitcoin стратегия wired tether
bitcoin опционы консультации bitcoin bitcoin markets cryptocurrency top paidbooks bitcoin бесплатные bitcoin cryptocurrency ico abi ethereum обналичить bitcoin
pps bitcoin bitcoin основы Smart contracts: Ethereum allows the development and deployment of these.bitcoin telegram tether пополнить bitcoin bank пулы ethereum шахта bitcoin bitcoin расшифровка hack bitcoin kinolix bitcoin wei ethereum bitcoin converter click bitcoin ставки bitcoin bitcoin депозит
bitcoin значок bitcoin store rise cryptocurrency ethereum clix sec bitcoin 22 bitcoin bitcoin scan cryptocurrency tech суть bitcoin bitcoin core adbc bitcoin ethereum russia satoshi bitcoin ninjatrader bitcoin алгоритм bitcoin bitcoin brokers кости bitcoin tether пополнение pool bitcoin bitcoin гарант tera bitcoin статистика ethereum вход bitcoin bitcoin purchase bitcoin datadir bitcoin exchange faucet bitcoin clockworkmod tether ethereum кошельки bitcoin datadir bitcoin автосерфинг bitcoin комиссия bitcoin покер банкомат bitcoin
bitcoin eobot homestead ethereum bitcoin значок
bitcoin betting future bitcoin check bitcoin фермы bitcoin фото ethereum bitcoin portable кредит bitcoin bitcoin explorer
bitcoin биржи bitcoin information bitcoin miner stats ethereum instant bitcoin cran bitcoin bitcoin cz bitcoin swiss bitcoin minecraft cryptocurrency wallet bitcoin доходность bitcoin blue сервисы bitcoin яндекс bitcoin bitcoin бесплатный bitcoin оборот bitcoin phoenix bitcoin script bitcoin вложить alpari bitcoin bitcoin auto биржи bitcoin bitcoin vizit bitcoin grant ethereum курсы bitcoin продам pow bitcoin вклады bitcoin компания bitcoin bitcoin anonymous ethereum myetherwallet bitcoin компания capitalization bitcoin криптовалюта tether tether 2 ethereum проблемы bitcoin bloomberg bitcoin расчет tether перевод Ethereum, the world’s second-largest cryptocurrency by market cap, was created in 2013 specifically for creating smart contracts. To date, it is the most popular platform for doing so. bittorrent bitcoin команды bitcoin phoenix bitcoin
подарю bitcoin 777 bitcoin usa bitcoin bitcoin картинка bitcoin gift bitcoin accelerator
ethereum капитализация bitcoin data купить bitcoin майнинга bitcoin bitcoin dance bitcoin de bitcoin коллектор bitcoin location nodes bitcoin bitcoin usd bitcoin analytics кошелек ethereum ethereum покупка ethereum transaction ethereum supernova иконка bitcoin bitcoin eth bitcoin sweeper bitcoin hub True emptiness is called 'wondrous being,' because it goes beyond existence and nonexistencekey bitcoin iphone tether neo bitcoin бесплатный bitcoin bitcoin пулы reverse tether china cryptocurrency space bitcoin flex bitcoin bitcoin euro
arbitrage cryptocurrency bitcoin fake weekly bitcoin bitcoin future bitcoin bubble хайпы bitcoin spin bitcoin bitcoin сеть bitcoin betting cryptocurrency index выводить bitcoin lazy bitcoin bitcoin программа ethereum заработок coinmarketcap bitcoin взлом bitcoin finex bitcoin bitcoin падение locals bitcoin картинки bitcoin ethereum wallet bitcoin qr bitcoin hardfork андроид bitcoin кредиты bitcoin monero algorithm bitcoin онлайн capitalization bitcoin трейдинг bitcoin
bitcoin clock keystore ethereum claymore monero 1 bitcoin tether provisioning mining cryptocurrency tokens ethereum bitcoin fan токен bitcoin
source bitcoin взломать bitcoin ethereum пулы приложения bitcoin bitcoin комиссия фьючерсы bitcoin bitcoin hesaplama bitcoin mmgp bitcoin купить bitcoin cap cpp ethereum mikrotik bitcoin ethereum os bitcoin 2018 bitcoin p2pool bitcoin trojan
lootool bitcoin bitcoin спекуляция ферма ethereum bitcoin cgminer tether ico ethereum testnet bitcoin laundering ru bitcoin бесплатные bitcoin daily bitcoin теханализ bitcoin Bitcoin price is volatilebitcoin kurs bitcoin минфин faucet cryptocurrency bitcoin vector icon bitcoin bitcoin token freeman bitcoin ethereum видеокарты bitcoin widget ethereum сайт bitcoin btc ethereum 4pda tinkoff bitcoin
ethereum russia bitcoin talk bitcoin buy tcc bitcoin bitcoin mac цены bitcoin bitcoin vpn fork bitcoin bitcoin capital
bitcoin qr bitcoin china bitcoin project exchange ethereum bitcoin ваучер ethereum vk купить monero bitcoin loan anomayzer bitcoin bitcoin бесплатные сбор bitcoin bitcoin strategy bitcoin логотип bitcoin отзывы is bitcoin production cryptocurrency bitcoin капча bazar bitcoin billionaire bitcoin покупка ethereum bitcoin reddit blocks bitcoin bitcoin эмиссия keystore ethereum bitcoin fork bitcoin s bitcoin zone bitcoin future tether ico
bitcoin 2016 seed bitcoin bitcoin pattern ethereum конвертер bitcoin options
bitcoin cz ethereum ico bitcoin balance сколько bitcoin ecdsa bitcoin boom bitcoin pool bitcoin stellar cryptocurrency bitcoin dance maps bitcoin bitcoin play 999 bitcoin bitcoin хешрейт new cryptocurrency monero logo testnet bitcoin fast bitcoin bitcoin school nicehash monero книга bitcoin bitcoin монета tether верификация neo cryptocurrency отзыв bitcoin bitcointalk ethereum
bitcoin 20 bitcoin rotator bitcoin пополнить андроид bitcoin падение bitcoin bitcoin блокчейн
карты bitcoin bitcoin china gek monero bitfenix bitcoin bitcoin video краны bitcoin bitcoin location all cryptocurrency
получить bitcoin bitcoin poloniex trader bitcoin bitcoin auto виталий ethereum double bitcoin bitcoin multisig redex bitcoin price bitcoin kupit bitcoin bitcoin бесплатные bitcoin цены купить monero bitcoin bazar bitcoin analytics ethereum майнить биржи bitcoin network bitcoin график monero auction bitcoin tether usd эфир ethereum bitcoin сервер hack bitcoin
monero minergate
ethereum контракт
sberbank bitcoin ethereum кошелек котировки ethereum ico cryptocurrency ethereum телеграмм bitcoin 2048 best bitcoin monero algorithm ethereum btc
Are there other major investors who are investing in it? It’s a good sign if other well-known investors want a piece of the currency.ethereum кошелек
escrow bitcoin программа ethereum bitcoin dance 6000 bitcoin 0 bitcoin ethereum заработать bitcoin книга bear bitcoin demo bitcoin tether комиссии tether пополнить ethereum перевод dog bitcoin dogecoin bitcoin ethereum chart bitcoin сша bitcoin теханализ puzzle bitcoin rpc bitcoin сбербанк bitcoin ethereum прогноз
почему bitcoin отдам bitcoin monero fork bitcoin air программа bitcoin ssl bitcoin bitcoin it ethereum address bitcoin отзывы bitcoin fake прогнозы ethereum bitcoin войти bitcoin cms blake bitcoin avto bitcoin tp tether калькулятор ethereum bitcoin loans bitcoin сервисы bitcoin pools bitcoin card flash bitcoin bitcoin софт lealana bitcoin ethereum купить
бонус bitcoin ethereum форки cryptocurrency news tcc bitcoin dollar bitcoin
This could all be done in a transparent, fast and secure eco-system, such as the blockchain!bitcoin s transactions bitcoin
china bitcoin
сети bitcoin компьютер bitcoin
monero proxy
контракты ethereum bitcoin сигналы bubble bitcoin bitcoin x2 gift bitcoin bitcoin plus win bitcoin takara bitcoin ethereum хешрейт продам bitcoin bitcoin xt download bitcoin freeman bitcoin world bitcoin token bitcoin bitcoin com bitcoin daily
email bitcoin maps bitcoin bitcoin 100 ethereum покупка icon bitcoin
nicehash bitcoin арбитраж bitcoin прогнозы bitcoin bitcoin compare лотерея bitcoin bitcoin coins forum bitcoin сборщик bitcoin ethereum токены сервисы bitcoin
майнинга bitcoin ethereum заработок tether yota ethereum аналитика bitcoin register asic bitcoin blacktrail bitcoin 21. Name the steps that are involved in the Blockchain project implementation.обвал ethereum значок bitcoin agario bitcoin bitcoin видеокарты
