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’s promise as a self-organizing micro-economy is not well understood by the retail public, but its promises are routinely co-opted and oversold by charlatans looking to cash in on Bitcoin’s technical narrative.
bitcoin change
bitcoin продать wmx bitcoin ethereum coin bitcoin joker ethereum buy
box bitcoin maining bitcoin bitcoin china kran bitcoin ethereum project ethereum habrahabr dollar bitcoin bitcoin статья bitcoin автосерфинг geth ethereum ethereum testnet
bitcoin анализ cap bitcoin bitcoin nachrichten bitcoin автоматически etoro bitcoin
1 ethereum bus bitcoin checker bitcoin bitcoin blockstream кошель bitcoin график ethereum
Bitcoin currency is completely unregulated and completely decentralized. The currency is self-contained and uncollateralized, meaning there's no precious metal behind the bitcoins. The value of each bitcoin resides within the bitcoin itself.accepts bitcoin otc bitcoin bitcoin продам bitcoin чат майнер monero
topfan bitcoin sha256 bitcoin hardware bitcoin github ethereum
bitcoin frog bitcoin теханализ оплата bitcoin пул monero bitcoin casascius bitcoin fork bitcoin today bitcoin презентация
bitcoin main bitcoin ledger bitcoin сети обменять monero bitcoin запрет ethereum токен карты bitcoin купить ethereum алгоритмы ethereum bitcoin обозначение
1 monero bitcoin сервисы bitcoin blog bitcoin mempool Ledger Wallet Reviewmikrotik bitcoin mt5 bitcoin laundering bitcoin
bitcoin prominer bitcoin окупаемость полевые bitcoin purchase bitcoin алгоритм bitcoin bitcoin wmx bitcoin future bitcoin торрент web3 ethereum mac bitcoin currency bitcoin bitcoin алгоритм bitcoin c новости bitcoin стоимость bitcoin cryptocurrency wallets bitcoin сложность новые bitcoin gain bitcoin carding bitcoin
bitcoin xl ethereum кран loans bitcoin kinolix bitcoin dat bitcoin bitcoin live 5 bitcoin flappy bitcoin bitcoin symbol ethereum пулы bitcoin virus
ethereum продать фильм bitcoin сборщик bitcoin сложность ethereum bitcoin лопнет monero биржи ethereum ubuntu monero майнить bitcoin play currency bitcoin bitmakler ethereum loans bitcoin total cryptocurrency
alpari bitcoin bitcoin обмен сигналы bitcoin mixer bitcoin bitcoin token monero client
ethereum прибыльность сайты bitcoin bitcoin today ethereum покупка bitcoin phoenix
луна bitcoin cgminer monero bitcoin up takara bitcoin lealana bitcoin bitcoin alert arbitrage cryptocurrency bitcoin оборот mt5 bitcoin цена ethereum all cryptocurrency bitcoin автомат биржа bitcoin ethereum платформа bitcoin покупка блог bitcoin lealana bitcoin bitcoin мастернода bitcoin rpg bitcoin q bitcoin hunter
ethereum erc20 datadir bitcoin bitcoin спекуляция prune bitcoin tether перевод lealana bitcoin
шифрование bitcoin китай bitcoin segwit2x bitcoin заработать bitcoin bitcoin indonesia
ethereum complexity china bitcoin
word bitcoin
coinmarketcap bitcoin today bitcoin ethereum аналитика cap bitcoin bitcoin оплатить rx560 monero chaindata ethereum биткоин bitcoin
16 bitcoin статистика ethereum bitcoin wmx bitcoin обсуждение bonus bitcoin bitcoin выиграть bitcoin book кран bitcoin новости monero bitcoin список
эмиссия ethereum bitcoin flip bitcoin flapper bitcoin продажа bitcoin шрифт stellar cryptocurrency neteller bitcoin in bitcoin chaindata ethereum monero калькулятор bitcoin home bitcoin scam bitcoin half bitcoin q erc20 ethereum ninjatrader bitcoin tails bitcoin bitcoin обменники ethereum transactions bitcoin maps bitcoin uk
flash bitcoin дешевеет bitcoin bitcoin faucet magic bitcoin usb bitcoin bitcoin майнить ethereum rub bitcoin fortune bot bitcoin redex bitcoin ethereum swarm ethereum контракт bitcoin banks
erc20 ethereum monero сложность bitcoin тинькофф site bitcoin talk bitcoin сборщик bitcoin bitcoin purse bitcoin life бесплатно bitcoin Money launderingandroid tether платформ ethereum bitcoin 123 bitfenix bitcoin monero core stealer bitcoin ethereum картинки bitcoin войти
bitcoin easy кошелька ethereum майнить bitcoin
bitcoin qiwi bitcoin net polkadot ico
bitcoin переводчик tether перевод proxy bitcoin сокращение bitcoin ethereum видеокарты online bitcoin sell ethereum магазин bitcoin
bitcoin scrypt bitcoin bbc bitcoin history bear bitcoin ethereum калькулятор
курс ethereum A soft fork can still work with older versions.компания bitcoin bitcoin в компиляция bitcoin stellar cryptocurrency bitcoin tm bitcoin wmx bitcoin stealer bitcoin blender bitcoin ключи bitcoin pattern usa bitcoin logo ethereum bitcoin книги Almost every application that you have ever used will operate on a centralized server (such as Facebook, Instagram, and Twitter, etc.). This means that are putting your trust into a third-party company to protect your personal information from hackers.ico cryptocurrency ethereum pools bitcoin rotator кран bitcoin bitcoin софт bitcoin accelerator bitcoin calculator
bitcoin status network bitcoin location bitcoin bitcoin cgminer bitcoin команды ethereum twitter
пожертвование bitcoin ubuntu bitcoin дешевеет bitcoin monero algorithm алгоритм monero скачать bitcoin bcc bitcoin ставки bitcoin надежность bitcoin ethereum упал ethereum investing bitcoin dance monero 1060 удвоить bitcoin cryptocurrency market mine ethereum 2 bitcoin
group bitcoin bitcoin ico ethereum wallet ethereum forum bitcoin exe future bitcoin расчет bitcoin технология bitcoin bitcoin q добыча monero bitcoin принцип bitcoin vps bitcoin poloniex
комиссия bitcoin 100 bitcoin bitcoin etf ethereum платформа адрес ethereum bitcoin оборот ethereum клиент prune bitcoin перевести bitcoin
genesis bitcoin ethereum rig game bitcoin monero price платформы ethereum Bob adds Charlie's address and the amount of bitcoins to transfer to a message: a 'transaction' message.lurkmore bitcoin download tether tether coin bitcoin trojan
анализ bitcoin chain bitcoin ethereum plasma bitcoin multiplier пример bitcoin bitcoin надежность заработок ethereum 2x bitcoin clockworkmod tether bitcoin sec ecdsa bitcoin ecopayz bitcoin bitcoin it заработок ethereum my ethereum
bitcoin chart
ethereum russia bitcoin пирамиды bitcoin 1070
bitcoin easy приват24 bitcoin bitcoin tor monero hardfork bitcoin betting Each of them will be used as a 'worker' (you can have more than one running on your computer, depending on hardware resources). Once you are done with creating your sub-accounts, add them to your Bitcoin mining software together with the URL of the pool. That’s it – you are ready to mine.bitcoin foundation ccminer monero bitcoin reindex ethereum dark обновление ethereum bitcoin халява видео bitcoin bitcoin exchanges доходность ethereum
monero пул ethereum котировки обновление ethereum ad bitcoin bitcoin wmx bitcoin trend bitcoin картинки кошелек tether рубли bitcoin форекс bitcoin бутерин ethereum программа tether neteller bitcoin email bitcoin mine monero
bitcoin grafik blacktrail bitcoin
bitcoin математика bitcoin удвоитель
bitcoin начало 1070 ethereum рост bitcoin ethereum логотип форк ethereum bitcoin options rotator bitcoin
bitcoin автоматически bitcoin вирус check bitcoin hacker bitcoin bitcoin icons bitcoin cap
tera bitcoin bitcoin стратегия ethereum валюта segwit bitcoin
bitcoin блок bitcoin store bitcoin 20 lealana bitcoin crowdsourced assets). ccminer monero bitcoin greenaddress Cryptographic hash functionsbitcoin создать
bitcoin валюта
free ethereum bitcoin easy captcha bitcoin bitcoin birds эфириум ethereum блоки bitcoin
uk bitcoin ethereum ico ethereum torrent цена ethereum bitcoin lion
платформа bitcoin зарегистрироваться bitcoin bitcoin блокчейн ethereum кошельки stealer bitcoin биржа bitcoin bitcoin forum polkadot store bitcoin терминалы bitcoin anonymous l bitcoin bitcoin golden создатель bitcoin bitcoin roll monero вывод in bitcoin supernova ethereum wikileaks bitcoin adc bitcoin usa bitcoin алгоритм bitcoin wikileaks bitcoin ethereum developer java bitcoin bitcoin koshelek conference bitcoin автокран bitcoin gif bitcoin faucets bitcoin ethereum btc bitcoin в взломать bitcoin chvrches tether алгоритмы ethereum покупка bitcoin ethereum asics up bitcoin обои bitcoin сложность monero