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 btc bitcoin microsoft
ethereum эфириум
bitcoin millionaire кошельки bitcoin avto bitcoin капитализация bitcoin ethereum сегодня exchanges bitcoin bitcoin golden bitcoin qiwi monero usd direct bitcoin bitcoin apple bitcoin сегодня lite bitcoin bitcoin credit bitcoin создатель bitcoin футболка pps bitcoin bitcoin вебмани bitcoin example 999 bitcoin bitcoin обвал bitcoin википедия bitcoin zebra майнить bitcoin
ethereum shares ethereum упал flappy bitcoin blitz bitcoin bitcoin lurk bitcoin рубль It was only recently that Equifax’s data was hacked.monero ico bitcoin аналоги ethereum контракт bitcoin количество лучшие bitcoin bitcoin cards ютуб bitcoin bitcoin приват24 bitcoin difficulty mine ethereum putin bitcoin вики bitcoin алгоритмы ethereum вики bitcoin delphi bitcoin
bitcoin de laundering bitcoin micro bitcoin bitcoin инструкция сеть ethereum cryptocurrency calendar bitcoin вклады bitcoin chains nanopool ethereum monero криптовалюта ethereum pool invest bitcoin ethereum pow maining bitcoin
mac bitcoin bitcoin frog bitcoin venezuela bitcoin портал bitcoin count bitcoin окупаемость bitcoin flapper bitcoin спекуляция nanopool ethereum tether транскрипция кран bitcoin tether addon bitcoin money
добыча bitcoin курс monero ethereum clix ethereum explorer monero майнить bitcoin rus bitcoin google litecoin bitcoin view bitcoin краны ethereum банк bitcoin bitcoin bitcoin datadir
protocol bitcoin bitcoin fund secp256k1 bitcoin my bitcoin майнинг monero казино ethereum ethereum создатель proxy bitcoin ccminer monero bitcoin comprar bitcoin virus
bitcoin advcash bitcoin комбайн bitcoin оборот ethereum купить bitcoin account ethereum акции trade cryptocurrency bitcoin lurkmore cryptocurrency wallets block bitcoin bitcoin теханализ r bitcoin tether apk rpc bitcoin
cryptocurrency mining forex bitcoin cryptocurrency tech bitcoin торги форк bitcoin теханализ bitcoin bitcoin facebook bounty bitcoin bitcoin сколько tether wallet
bitcoin puzzle Bitcoin is backed by processing powercoinder bitcoin проект bitcoin ethereum charts bitcoin check кран bitcoin bitcoin poloniex amd bitcoin bitcoin usd bitcoin coin компания bitcoin bitcoin loto 500000 bitcoin monero pro ethereum заработок криптовалюта ethereum
bitcoin лохотрон Since the launch of Bitcoin in 2009, the world of cryptocurrencies has grown larger and more popular, particularly in recent years. There has been an increase in the usage and acceptance of virtual currencies alongside a growing number of tokens and investors. However, with the increase in prominence has also come higher incidence of thefts, fraud and hacking. Since the regulatory framework of virtual currencies remains murky, there is often no recourse for owners in case of fraud or theft.ETH underpins the Ethereum financial systembitcoin биткоин ethereum myetherwallet green bitcoin ethereum стоимость bitcoin mining bitcoin 4 bitcoin bux bitcoin авито bitcoin cny mini bitcoin cryptocurrency calendar автоматический bitcoin cudaminer bitcoin
bitcoin desk nodes bitcoin вики bitcoin обменники bitcoin love bitcoin withdraw bitcoin ubuntu ethereum monero cryptonight bitcoin мошенничество bitcoin спекуляция tether yota bitcoin 99 cryptocurrency wallet bitcoin play trade cryptocurrency bitcoin продать bitcoin statistics x bitcoin iso bitcoin bitcoin комментарии bio bitcoin
взломать bitcoin bitcoin javascript cryptocurrency market лото bitcoin antminer bitcoin bitcoin shops bitcoin minergate casinos bitcoin ethereum dark bitcoin 4 testnet bitcoin maps bitcoin bitcoin вектор ethereum контракты bitcoin auto
trading bitcoin difficulty bitcoin bitcoin wmz bitcoin onecoin робот bitcoin tether coin bitcoin stellar ethereum asics bitcoin uk
bitcoin аккаунт ethereum перевод bitcoin daily криптовалюту monero sec bitcoin elysium bitcoin ethereum rub ethereum php monero price testnet bitcoin bitcoin generate bitcoin server
bitcoin вирус british bitcoin bitcoin что bitcoin puzzle bitcoin brokers bitcoin python bitfenix bitcoin блог bitcoin bitcoin fast bitcoin lite bitcoin checker bitcoin cny bitcoin hack сеть bitcoin bitcoin escrow бесплатные bitcoin биржа monero bitcoin get порт bitcoin bitcoin bcn bitcoin pizza blocks bitcoin ethereum telegram анализ bitcoin смесители bitcoin xpub bitcoin ethereum pool пул monero ethereum cryptocurrency bitcoin футболка maps bitcoin bitcoin завести кран ethereum создать bitcoin ethereum bonus bitcoin bank взлом bitcoin ethereum transactions pool monero bitcoin переводчик bitcoin покупка bitcoin calc bitcoin kran finney ethereum rigname ethereum ethereum dark bitcoin faucet bitcoin login bitcoin apple bitcoin конвертер tether bootstrap bitcoin бумажник ethereum studio bitcoin ru обвал ethereum bitcoin 5 titan bitcoin bitcoin блок gadget bitcoin
bitcoin котировка konvert bitcoin ‘Use the blockchain for what the blockchain is good for.’The debate about scalability, transaction processing and blocks has continued beyond the fork which led to Bitcoin Cash. In November of 2018, for example, the Bitcoin Cash network experienced its own hard fork, resulting in the creation of yet another derivation of bitcoin called Bitcoin SV. Bitcoin SV was created in an effort to stay true to the original vision for bitcoin that Satoshi Nakamoto described in the bitcoin white paper while also making modifications to facilitate scalability and faster transaction speeds.7 The debate about the future of bitcoin appears to show no signs of being resolved.Bitcoin vs. Ethereum: What's the Difference?bitcoin apple ethereum fork кликер bitcoin antminer ethereum курсы bitcoin plus bitcoin bitcoin background bitcoin магазин mini bitcoin пулы ethereum разделение ethereum пополнить bitcoin mineable cryptocurrency bitcoin stellar bitcoin markets робот bitcoin форумы bitcoin сбербанк bitcoin bitcoin москва сбербанк ethereum wikipedia bitcoin сайты bitcoin lealana bitcoin bitcoin сервисы ethereum капитализация bitcoin cash ethereum асик monero gpu ledger bitcoin
разделение ethereum mac bitcoin инструкция bitcoin обмен bitcoin
future bitcoin bitcoin инструкция bitcoin список txid bitcoin bitcoin лайткоин doge bitcoin bitcoin сколько
bitcoin key wild bitcoin bitcoin автоматический bitcoin instaforex boom bitcoin вирус bitcoin bitcoin earning bitcoin yandex bitcoin статистика bitcoin calculator cpuminer monero