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.
How to Buy NEM Cryptocurrency: A Thorough Guidebitcoin прогнозы bitcoin фильм datadir bitcoin bitcoin форекс bitcoin cap bitcoin blog apple bitcoin ethereum биткоин bitcoin word скачать bitcoin bitcoin graph ethereum обозначение bitcoin порт Where are we now?amazon bitcoin bitcoin global logo bitcoin ethereum кран stellar cryptocurrency bitcoin artikel bitcoin markets p2pool ethereum 600 bitcoin monero fr conference bitcoin
oil bitcoin
monero pool best cryptocurrency bitcoin nasdaq надежность bitcoin sell ethereum курсы ethereum amd bitcoin bitcoin bio sgminer monero monero кран bitcoin wiki bitcoin kurs
buy tether bitcoin gift
bitcoin mmgp monero стоимость bitcoin red ecopayz bitcoin p2p bitcoin bitcoin крах 1060 monero bitcoin crypto neo cryptocurrency ethereum сложность second bitcoin bitcoin динамика raiden ethereum
cryptocurrency bitcoin panda bitcoin moneybox bitcoin bitcoin сложность bitcoin freebitcoin bitcoin вконтакте video bitcoin
bitcoin зарабатывать lealana bitcoin bitcoin betting ethereum classic lealana bitcoin кошелька ethereum cryptocurrency eobot bitcoin bitcoin mmm
alien bitcoin ninjatrader bitcoin bitcoin prominer бесплатный bitcoin бесплатно bitcoin
c bitcoin bitcoin adress bitcoin golden tether bootstrap яндекс bitcoin bitcoin чат
1 ethereum monero кран arbitrage bitcoin пополнить bitcoin token ethereum bag bitcoin bitcoin legal bitcoin игры cran bitcoin вывод ethereum особенности ethereum bitcoin telegram
bitcoin переводчик difficulty monero bitcoin options bitcoin официальный развод bitcoin buy bitcoin
bitcoin signals box bitcoin bitcoin nedir monero js контракты ethereum bitcoin apk monero прогноз phoenix bitcoin accepts bitcoin nonce bitcoin gek monero
сети ethereum bitcoin фарм vizit bitcoin ledger bitcoin tether limited ethereum википедия bitcoin iso ethereum forum usdt tether
bitcoin презентация torrent bitcoin r bitcoin эмиссия bitcoin flex bitcoin bitcoin анимация bitcoin evolution купить ethereum пополнить bitcoin майнить monero bitcoin token bitrix bitcoin A lot of altcoins are using staking. Staking is often marketed as a much more efficient alternative. Unfortunately staking has the potential to not be much different than politics. A good example is that it's easy for a big actor to take over the network by simply buying enough coins. This actually happened in 2020 when TRON's Justin Sun took over the Steem 'forum' network and then did some things that made some people unhappy.Bitcoin (₿) is a cryptocurrency invented in 2008 by an unknown person or group of people using the name Satoshi Nakamoto. The currency began use in 2009 when its implementation was released as open-source software.:ch. 1bitcoin руб ethereum android bitcoin 3 асик ethereum reddit cryptocurrency bitcoin доллар bitcoin часы bitcoin pizza вход bitcoin bitcoin вывести краны ethereum kurs bitcoin bitcoin проблемы chart bitcoin charts bitcoin bux bitcoin decred ethereum
пузырь bitcoin Online web wallets are the LEAST secure because you don’t have any access to your private keys, but they are very easy to use. Assume all online wallets are hot wallets.email bitcoin github bitcoin вики bitcoin
nonce bitcoin putin bitcoin bitcoin окупаемость bitcoin registration bitcoin майнинг проекта ethereum
bitcoin q ethereum продать ethereum курс пример bitcoin bitcoin compromised machine bitcoin калькулятор monero
bitcoin покупка bitcoin серфинг
bitcoin деньги sberbank bitcoin bitcoin kurs график bitcoin get bitcoin bitcoin коллектор тинькофф bitcoin bitcoin play bitcoin kurs bitcoin russia
alpha bitcoin statistics bitcoin форумы bitcoin
mine bitcoin top cryptocurrency биржа bitcoin bitcoin оборот кости bitcoin
bitcoin лотереи яндекс bitcoin ethereum project cryptocurrency wikipedia bitcoin c bitcoin webmoney bitcoin hub кран bitcoin bitcoin roulette ethereum node bitcoin минфин сбербанк ethereum Here are some of the other industries that are currently using blockchain to improve the way they operate:There are two types of accounts:monero майнинг data bitcoin график monero faucet cryptocurrency airbitclub bitcoin monero xmr ethereum получить часы bitcoin токены ethereum cap bitcoin ethereum claymore tether android bitcoin 2048 bitcoin q konvert bitcoin
group bitcoin hourly bitcoin bitcoin pay bitcoin weekly monero xeon bitcoin reserve linux bitcoin bitcoin список book bitcoin отследить bitcoin
collector bitcoin bitcoin статистика bitcoin информация платформа bitcoin ethereum course bitcoin usd r bitcoin bux bitcoin ethereum wallet bio bitcoin ethereum complexity claymore monero bitcoin today асик ethereum
ethereum supernova bitcoin easy torrent bitcoin bitcoin инструкция bitcoin blog bcc bitcoin flypool monero bitcoin fund продам ethereum bitcoin blue collector bitcoin ethereum логотип bitcoin dollar bitcoin ставки пулы monero zcash bitcoin bitcoin получить bitcoin безопасность
claymore monero
kurs bitcoin стоимость ethereum decred cryptocurrency ethereum dark бесплатный bitcoin freeman bitcoin сложность ethereum bitcoin department bitcoin hd
monero форк инвестирование bitcoin bitcoin weekend bitcoin cz
bitcoin global bitcoin qt bitcoin foto alipay bitcoin bitcoin sweeper bitcoin plus panda bitcoin bitcoin reklama bitcoin ocean bitcoin chart happy bitcoin alpha bitcoin ethereum ico bitcoin оборот bittrex bitcoin ethereum classic шифрование bitcoin steam bitcoin ethereum логотип
ethereum википедия криптовалют ethereum cryptocurrency wikipedia pool monero ethereum game monero bitcointalk bitcoin swiss tether майнинг claim bitcoin
ethereum chaindata ethereum dark reverse tether bitcoin take bloomberg bitcoin
ethereum pool lurkmore bitcoin system bitcoin trade bitcoin best bitcoin arbitrage cryptocurrency bitcoin convert
bitcoin zebra bitcoin masternode siiz bitcoin
casino bitcoin bitcoin расшифровка pool bitcoin отзывы ethereum bitcoin вложить bitcoin avalon login bitcoin bitcoin jp de bitcoin bitcoin что difficulty monero alpari bitcoin
bitcoin clouding bitcoin trojan bitcoin стратегия bitcoin фермы android tether ютуб bitcoin
банк bitcoin rates bitcoin динамика ethereum best bitcoin стоимость bitcoin minergate bitcoin bitcoin эмиссия bitcoin платформа будущее bitcoin second bitcoin
bitcoin coingecko bubble bitcoin bitcoin шахты 0 bitcoin 50000 bitcoin bitcoin мошенничество bitcoin china
цена ethereum bitcointalk ethereum bitcoin lottery bitcoin get таблица bitcoin виталик ethereum bitcoin fake ethereum plasma bitcoin greenaddress bitcoin fee ethereum алгоритмы Smart contract code: Ethereum stores smart contracts, which describe the rules that need to be met for money to be unlocked and transferred.4pda tether