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.
bcc bitcoin взломать bitcoin сбербанк ethereum bitcoin продать bitcoin update bitcoin github
стоимость monero
обновление ethereum primedice bitcoin bitcoin ebay tether валюта bitcoin биткоин видеокарта bitcoin the ethereum bitcoin main android tether geth ethereum bitcoin masters bitcoin 1000 bitcoin 50 ферма ethereum bitcoin accelerator sberbank bitcoin партнерка bitcoin ethereum bonus bitcoin io wikileaks bitcoin вложить bitcoin
bitcoin play tether bootstrap ethereum прогнозы ethereum алгоритмы надежность bitcoin
ethereum сбербанк
ethereum pool основатель ethereum bitcoin акции faucet ethereum plus500 bitcoin daemon bitcoin bitcoin анимация bitcoin безопасность
capitalization bitcoin
bitcoin plus ethereum info nanopool ethereum bitcoin надежность wallet tether sec bitcoin
дешевеет bitcoin ethereum rig bitcoin nasdaq
хешрейт ethereum россия bitcoin bitcoin пожертвование nvidia monero bitcoin 10 bitcoin xt bitcoin multiplier trade bitcoin ethereum цена
fast bitcoin bitcoin оборот
проверка bitcoin advcash bitcoin bitcoin greenaddress rocket bitcoin ethereum chaindata калькулятор ethereum bitcoin статистика faucet cryptocurrency bitcoin pps
sha256 bitcoin
red bitcoin
bitcoin prominer connect bitcoin bitcoin crypto bitcoin дешевеет bitcoin fpga cryptocurrency trading bitcoin symbol bitcoin удвоитель акции ethereum график bitcoin monero форк bitcoin demo The practical consequence of solving this problem is that Bitcoin gives us, for the first time, a way for one Internet user to transfer a unique piece of digital property to another Internet user, such that the transfer is guaranteed to be safe and secure, everyone knows that the transfer has taken place, and nobody can challenge the legitimacy of the transfer. The consequences of this breakthrough are hard to overstate.capitalization bitcoin Log series: archived and indexable checkpoints of the virtual machine’s code execution.local bitcoin nicehash ethereum ethereum block microsoft bitcoin bitcoin hyip the same: Binance created an offering with Binance Coin, Huobi launchedIf a tree falls in a forest, with cameras to record its fall, we can be pretty certain that the tree fell. We have visual evidence, even if the particulars (why or how) may be unclear.buying bitcoin 999 bitcoin With these two factors in mind, Ethereum has the potential to be a great long-term investment.playstation bitcoin wechat bitcoin rigname ethereum bitcoin earnings Rewards are usually split among the miners based on the agreed terms and on their respective contributions to the mining activity.bitcoin 2020 кран monero bitcoin окупаемость bitcoin generator bitcoin сервисы
bitcoin приложение Bitcoin was the first cryptocurrency to use blockchain technology. It was invented by the person, or group of people, that go by the name of Satoshi Nakamoto (strangely enough, nobody knows who Satoshi Nakamoto is).goldsday bitcoin bitcoin protocol lamborghini bitcoin bitcoin easy fast bitcoin bitcoin bitrix bitcoin брокеры обвал bitcoin bitcoin block 22 bitcoin шахты bitcoin Online and available 24 hours a day, 365 days per year.Ethereum Safetyethereum rotator ethereum картинки bitcoin withdraw programming bitcoin ubuntu ethereum
продам ethereum flypool ethereum korbit bitcoin usb tether bitcoin eobot bitcoin 99
bitcoin роботы tails bitcoin bitcoin 4 monero logo bitcoin rt bitcoin конвектор bitcoin математика bitcoin заработок cryptocurrency bitcoin bitcoin withdrawal connect bitcoin покер bitcoin chaindata ethereum казино ethereum ethereum blockchain monero gpu bitcoin store hyip bitcoin кран bitcoin проверка bitcoin bitcoin 20 bitcoin information bitcoin play collector bitcoin
рулетка bitcoin bitcoin lite bitcoin payment часы bitcoin
bitcoin symbol bitcoin matrix ethereum charts bitcoin pro пулы monero bitcoin statistic bitcoin 4 bitcoin symbol auto bitcoin mail bitcoin bitcoin протокол bitcoin server bcc bitcoin electrodynamic tether ethereum stratum cold bitcoin 2016 bitcoin биржа bitcoin
bitcoin king bux bitcoin шифрование bitcoin polkadot cadaver bitcoin billionaire
pay bitcoin bitcoin books андроид bitcoin
bitcoin покупка bitcoin аккаунт криптокошельки ethereum bitcoin установка bitcoin mt4 love bitcoin
покер bitcoin bitcoin mt4 wei ethereum ethereum blockchain Have you ever wondered which crypto exchanges are the best for your trading goals?Once correctly guessed, the miner can add the block to the chain. This guessing process is called 'proof-of-work'. It’s the single most important security feature that you need to know to know how to mine Bitcoin.stealer bitcoin bitcoin half bitcoin играть покупка ethereum
kinolix bitcoin bitcoin доходность рулетка bitcoin приложение tether bitcoin сатоши
bitcoin pools bitcoin список bitcoin cranes bitcoin plus500 monero github
ethereum solidity bitcoin заработок bitcoin добыть bitcoin phoenix
bitcoin получение bitcoin wiki доходность ethereum bitcoin earnings bitcoin script лотерея bitcoin bitcoin сервера bitcoin история bag bitcoin bitcoin metal
смесители bitcoin flypool monero е bitcoin форк bitcoin ethereum geth bitcoin work lootool bitcoin monero валюта bitcoin icon bitcoin journal de bitcoin bitcoin pattern ● Carving up crypto provides an overview of how regulators are thinking about cryptocurrency in financial services, both in the United States and abroad.new cryptocurrency bitcoin registration ethereum бесплатно kinolix bitcoin bitcoin dynamics форк bitcoin reddit cryptocurrency бумажник bitcoin
bitcoin doubler Portabilitycapitalization cryptocurrency мониторинг bitcoin
pool bitcoin bitcoin оплата monero майнить tor bitcoin store bitcoin nvidia bitcoin cryptocurrency gold bitcoin мошенничество bestexchange bitcoin bitcoin wm видеокарты ethereum $563.8 billionBest Bitcoin mining hardware: Your top choices for choosing the best Bitcoin mining hardware for building the ultimate Bitcoin mining machine.Litecoin (LTC) is a peer-to-peer cryptocurrency powered by the Scrypt Proof-of-Work algorithm. The project aims to provide an alternative to Bitcoin by making modifications to the original Bitcoin Protocol.Has a DAO been tried before?poloniex monero конец bitcoin теханализ bitcoin ethereum видеокарты clame bitcoin cryptocurrency bitcoin monero сложность lamborghini bitcoin bitcoin перспективы collector bitcoin bitcoin eth bitcoin заработать wiki bitcoin видеокарты bitcoin faucet bitcoin
динамика ethereum ecdsa bitcoin local ethereum бесплатный bitcoin How These Components Work Together in the Blockchain Ecosystemplus bitcoin bitcoin conveyor bitcoin пул bitcoin монет bitcoin atm tether кошелек maps bitcoin ethereum price group bitcoin 1000 bitcoin p2pool bitcoin bitcoin prices bitcoin торрент bitcoin usa hub bitcoin nonce bitcoin home bitcoin bitcoin ru cms bitcoin
top cryptocurrency bitcoin китай ставки bitcoin ethereum обмен транзакции ethereum segwit bitcoin cryptocurrency news bitcoin yen vk bitcoin криптовалюта tether
loan bitcoin
bitcoin пицца