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.
txid bitcoin
bitcoin telegram bitcoin telegram bitcoin биткоин блокчейн ethereum konvert bitcoin calc bitcoin bitcoin icons лото bitcoin trade cryptocurrency china bitcoin
bitcoin lottery bitcoin вход bitcoin landing bitcoin часы bitcoin суть film bitcoin bitcoin заработать bitcoin экспресс bitcoin txid account bitcoin миллионер bitcoin bitcoin рубли bitcoin gift anomayzer bitcoin bitcoin cap bitcoin gambling monero hardware bitcoin electrum usb bitcoin If technologists exit the corporate-financial system en masse, the reduction in available technical labor would stymie the technical development of public companies, banks, and governments, whose services are increasingly digital.bitcoin quotes tether addon генераторы bitcoin торрент bitcoin rates bitcoin bitcoin easy reddit bitcoin
safe bitcoin network bitcoin p2pool bitcoin bitcoin проблемы coffee bitcoin bitcoin гарант bitcoin darkcoin
bitcoin мошенничество bitcoin farm bitcoin rpg BITCOIN AS INSURANCE: 1-2% OF FINANCIAL WEALTHexchange ethereum bitcoin продать bcc bitcoin importprivkey bitcoin bitcoin символ hacking bitcoin конвертер bitcoin
amazon bitcoin bitcoin charts скрипт bitcoin prune bitcoin flypool ethereum ccminer monero
андроид bitcoin bitcoin форекс bitcoin оборот сайт bitcoin bitcoin check total cryptocurrency надежность bitcoin bitcoin x bitcoin xbt кошель bitcoin bitcoin комментарии пицца bitcoin bitcoin продам
bcc bitcoin bitcoin акции system bitcoin bitcoin price bitcoin перспективы bitcoin desk bitcoin crash check bitcoin ethereum ann satoshi bitcoin зарегистрироваться bitcoin bitcoin бесплатный monero hardware
lootool bitcoin
программа ethereum kaspersky bitcoin bitcoin казино rinkeby ethereum разработчик ethereum bitcoin monkey bitcoin code poloniex ethereum разработчик ethereum bitcoin видеокарты masternode bitcoin nodes bitcoin easy bitcoin cryptocurrency trading конференция bitcoin вывести bitcoin ethereum online ethereum web3
production cryptocurrency polkadot stingray bitcoin hacker
gift bitcoin monero алгоритм cryptocurrency faucet monero xmr bitcoin trust bitcoin отследить moto bitcoin blockchain ethereum tether кошелек bitcoin logo график bitcoin foto bitcoin купить bitcoin spend bitcoin It was a source code fork of the Bitcoin Core client, differing primarily by having a decreased block generation time (2.5 minutes), increased maximum number of coins, different hashing algorithm (scrypt, instead of SHA-256), and a slightly modified GUI.ethereum видеокарты You remain in complete control of your private key by connecting your wallet to the exchangebitcoin fpga store bitcoin coinder bitcoin bitcoin зарабатывать bitcoin халява mining ethereum валюта tether bitcoin pps ethereum transaction перспективы bitcoin bitcoin автоматом обменять ethereum ethereum видеокарты бутерин ethereum стоимость monero alpari bitcoin форекс bitcoin bitcoin habr bitcoin бизнес ethereum supernova
bitcoin torrent
bitcoin plus курса ethereum ethereum заработок бесплатный bitcoin simple bitcoin ethereum cryptocurrency ethereum network bitcoin cryptocurrency
bitcoin registration bitcoin land расшифровка bitcoin бесплатный bitcoin monero 1070 ethereum script курса ethereum bitcoin co bitcoin оборудование goldsday bitcoin криптовалюта tether difficulty ethereum electrodynamic tether all cryptocurrency bitcoin pools bitcoin register bitcoin uk сложность bitcoin usb bitcoin 4pda tether bitcoin ваучер ico bitcoin coin ethereum iphone tether utxo bitcoin nicehash bitcoin gambling bitcoin прогнозы bitcoin стоимость monero купить bitcoin alien bitcoin bitcoin change token ethereum bcn bitcoin bitcoin перевод bitcoin easy кошельки ethereum мавроди bitcoin bitcoin txid ethereum serpent ethereum курс cpuminer monero бумажник bitcoin ethereum видеокарты bitcoin cryptocurrency bitcoin film bitcoin лотерея обменять ethereum plasma ethereum the ethereum bitcoin конвертер bcc bitcoin
rpg bitcoin
machine bitcoin скачать bitcoin bitcoin gambling ethereum stratum my bitcoin контракты ethereum debian bitcoin key bitcoin How to use Bitcoinbitcoin analytics cgminer ethereum bitcoin шахта ethereum coin лото bitcoin bitcoin wiki казахстан bitcoin bitcoin hunter биржи monero bitcoin oil monero amd ethereum пулы приложения bitcoin
forex bitcoin bitcoin nvidia bitcoin цены рулетка bitcoin ethereum pool alien bitcoin ethereum аналитика cranes bitcoin ethereum com tether usb ethereum упал создатель ethereum buy bitcoin bitcoin комиссия bitrix bitcoin bitcoin конвектор ethereum обозначение стратегия bitcoin tether криптовалюта up bitcoin
bitcoin bittorrent bitcoin virus
покер bitcoin график bitcoin exchanges bitcoin bitcoin приложение bitcoin qiwi что bitcoin
ethereum биткоин tails bitcoin q bitcoin bitcoin video bitcoin expanse bitcoin tor ethereum видеокарты ethereum прибыльность bitcoin rub bitcoin 0 bitcoin обои bitcoin blue бесплатные bitcoin Zero’s first function is as a placeholder in our numeric system: for instance, notice the '0' in the number '1,104' in the equation above, which indicates the absence of value in the tens place. Without zero acting as a symbol of absence at this order of magnitude in '1,104,' the number could not be represented unambiguously (without zero, is it '1,104' or '114'?). Lacking zero detracted from a numeral system’s capacity to maintain constancy of meaning as it scales. Inclusion of zero enables other digits to take on new meaning according to their position relative to it. In this way, zero lets us perform calculation with less effort—whether it’s pen strokes in a ledger, finger presses on a calculator, or mental gymnastics. Zero is a symbol for emptiness, which can be a highly useful quality—as Lao Tzu said:matrix bitcoin
bitcoin department bitcoin bio monero xeon security bitcoin vps bitcoin bitcoin traffic exchange bitcoin ethereum pools ethereum картинки ethereum coingecko bitcoin genesis store bitcoin airbit bitcoin withdraw bitcoin сеть ethereum q bitcoin monero usd tinkoff bitcoin перспектива bitcoin bitcoin mt4
tether wifi bitcoin доходность bitcoin 2020 bitcoin прогнозы ethereum vk майнинга bitcoin bitcoin коллектор приват24 bitcoin ethereum charts bitcoin кредиты bitcoin global