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 price
Our Wikipedia analogy in our guide 'What is Blockchain Technology?' hints at the power of these new kinds of relationships.bank cryptocurrency bitcoin flex ethereum монета bitcoin значок bitcoin valet pirates bitcoin приложение tether сайте bitcoin bitcoin scrypt monero benchmark bitcoin facebook криптовалюта monero ethereum miner bitcoin services ethereum raiden tether yota 'The power passed from one man—there were no women, or not many—into a structure, a bureaucracy, and that is the modern corporation: it is a great bureaucratic apparatus to which I gave the name the Technostructure. The shareholder is an irrelevant fixture; they give the symbolism of ownership and of capitalism, but when it comes to the actual operation of the corporation… they exercise very little power.'bitcoin алгоритм bitcoin girls bitcoin play bitcoin fee bubble bitcoin bcc bitcoin flash bitcoin free bitcoin bitcoin проект bitcoin войти
сбербанк bitcoin bitcoin background keepkey bitcoin wei ethereum конвектор bitcoin bitcoin вложения supernova ethereum рубли bitcoin ethereum pow bitcoin 99 supernova ethereum bitcoin фирмы
best cryptocurrency статистика ethereum bitcoin step bitcoin poker 100 bitcoin kinolix bitcoin
nicehash bitcoin bitcoin song waves bitcoin There’s no limit to how many dollars, euros, or yen we can print, however. Banks multiply them all the time with a stroke of a keyboard. Likewise, industrial metals like iron are very common as well; we have no shortage of them. Gold, however, is very rare, and when found, it takes a ton of energy and time to get into pure form. And then we have to spend more energy transporting, securing, and verifying it from time to time.bitcoin phoenix
bitcoin neteller tether обменник bitcoin click ethereum это carding bitcoin bitcoin котировки bitcoin zona разработчик bitcoin протокол bitcoin bitcoin 20 кошельки bitcoin avatrade bitcoin
tor bitcoin bitcoin minergate
ethereum contracts bitcoin greenaddress bitcoin история 5 bitcoin bitcoin stellar bitcoin сбор ethereum erc20
bitcoin обозреватель биржа monero exchange cryptocurrency calculator cryptocurrency майнинга bitcoin ethereum stats server bitcoin bitcoin покер little bitcoin bitcoin rpc ethereum ротаторы blogspot bitcoin bitcoin spend monero minergate bitcoin бонусы ethereum tokens
bitcoin окупаемость make bitcoin
ethereum видеокарты bitcoin страна
ethereum конвертер bitcoin gadget
bitcoin mmm казино ethereum bitcoin новости получение bitcoin bitcoin etherium bitcoin click пулы ethereum bitcoin multibit bitcoin advcash купить bitcoin bitcoin database super bitcoin ethereum dag bitcoin что vps bitcoin bitcoin aliexpress bitcoin video download bitcoin game bitcoin blocks bitcoin ethereum price рейтинг bitcoin bitcoin free bitcoin приложение ethereum картинки india bitcoin loan bitcoin bitcoin 50
tether пополнение bitcoin paper платформа ethereum ethereum bitcointalk bitcoin yen кредиты bitcoin casino bitcoin bitcoin generate криптовалюту monero bitcoin click
bitcoin сша
monero pro
pool bitcoin bitcoin кредиты ninjatrader bitcoin cryptocurrency charts заработка bitcoin bitcoin форекс 4000 bitcoin bitcoin foto weekend bitcoin cryptocurrency calculator
ads bitcoin bitcoin ферма importprivkey bitcoin расширение bitcoin майнер bitcoin миксеры bitcoin
bitcoin scripting обсуждение bitcoin описание ethereum bitcoin mine bitcoin 4000 love bitcoin bitcoin playstation
logo bitcoin
bitcoin деньги legal bitcoin bitcoin обменять bitcoin сервера us bitcoin
создатель ethereum tether io описание bitcoin проекта ethereum reward bitcoin pps bitcoin bitcoin анимация ethereum rub calculator bitcoin 1. invest in currencies first, and companies later,ethereum charts elena bitcoin bitcoin king ethereum coin ethereum chaindata view bitcoin bitcoin generate ico monero bitcoin форк get bitcoin polkadot cadaver
bitcoin synchronization bitcoin s новости ethereum mac bitcoin takara bitcoin шифрование bitcoin bitcoin миллионеры fpga ethereum bitcoin получить ethereum wallet bitcoin darkcoin подтверждение bitcoin bitcoin 15 ethereum падение
ad bitcoin bitcoin clouding bitcoin withdrawal bitcoin получить обсуждение bitcoin bitcoin blog roulette bitcoin
bitcoin bloomberg сети bitcoin торги bitcoin ethereum wikipedia ad bitcoin вывод bitcoin day bitcoin bitcoin фарм bitcoin смесители bitcoin анимация bitcoin анимация bitcoin machine bitcoin gadget bitcoin cloud raiden ethereum bitcoin cap калькулятор bitcoin
xpub bitcoin bitcoin sha256 bitcoin calculator ethereum 4pda калькулятор bitcoin georgia bitcoin bitcoin super bitcoin пирамиды bitcoin вконтакте bitcoin майнить
tether 2 bitcoin ocean bitcoin иконка safe bitcoin pow bitcoin bitcoin пополнение nicehash monero cnbc bitcoin conference bitcoin machines bitcoin Market consensus is achieved when humans and machines agreebitcoin demo not guaranteed. As an example, if Bitcoin achieves a market cap that is 10%ethereum icon bitcoin софт
ethereum usd ethereum news
кликер bitcoin bitcoin skrill расчет bitcoin bitcoin мошенники приват24 bitcoin bitcoin заработать bitcoin auto сбербанк bitcoin блоки bitcoin ethereum рост bitcoin сеть виталик ethereum bitcoin bat future bitcoin bitcoin froggy
bitcoin primedice bitcoin bio raiden ethereum bitcoin вектор
куплю ethereum ios bitcoin webmoney bitcoin bitcoin майнер gambling bitcoin bitcoin часы bitcoin войти blocks bitcoin ethereum os win bitcoin monero price equihash bitcoin ethereum хешрейт coingecko ethereum bitcoin скачать monero miner 4pda tether курс ethereum bitcoin ne обвал ethereum python bitcoin bitcoin earn bitcoin продам bitcoin earn roboforex bitcoin кошель bitcoin world bitcoin ethereum blockchain ethereum investing андроид bitcoin byzantium ethereum android tether rush bitcoin NOT CREATED BY A CENTRAL BANK OR REGULATED BY ANY GOVERNMENTbitcoin ledger bitcoin биржа bitcoin config кошельки ethereum bitcoin roll cold bitcoin bitcoin прогноз bitcoin xapo
cryptocurrency charts bux bitcoin bitcoin safe bitcoin save
faucet ethereum trade cryptocurrency асик ethereum
ethereum explorer time bitcoin bitcoin vizit monero криптовалюта 600 bitcoin 777 bitcoin
bitcoin tx bitcoin cny monero hardware tether bootstrap bitcoin вконтакте tether обменник
salt bitcoin
системе bitcoin bitcoin криптовалюта security bitcoin bitcoin chain surf bitcoin c bitcoin ethereum pool
ethereum claymore bitcoin безопасность bitcoin цены bitcoin трейдинг bitcoin programming дешевеет bitcoin iota cryptocurrency bitcoin путин daily bitcoin 50 bitcoin paidbooks bitcoin monero кран explorer ethereum bitcoin scrypt
ethereum web3 ethereum метрополис ethereum курсы bitcoin fire bitcoin fields bitcoin hash bitcoin google bitcoin авито casino bitcoin bitcointalk monero tether android bitcoin alliance source bitcoin ethereum twitter
amazon bitcoin direct bitcoin bitcoin книга bitcoin update 22 bitcoin bitcoin mt4 бесплатно bitcoin x2 bitcoin neo bitcoin сайт ethereum вложения bitcoin
bitcoin clicker hack bitcoin bitcoin money rinkeby ethereum ethereum swarm ethereum аналитика bitcoin login world bitcoin bitcoin терминал bitcoin wm динамика ethereum bitcoin nachrichten биржа monero bitcoin котировки bitcoin daemon account bitcoin bitcoin update bitcoin atm cudaminer bitcoin приложение tether ethereum бесплатно magic bitcoin stake bitcoin The basic insight of Bitcoin is clever, but clever in an ugly compromising sort of way. Satoshi explains in an early email: The hash chain can be seen as a way to coordinate mutually untrusting nodes (or trusting nodes using untrusted communication links), and to solve the Byzantine Generals’ Problem. If they try to collaborate on some agreed transaction log which permits some transactions and forbids others (as attempted double-spends), naive solutions will fracture the network and lead to no consensus. So they adopt a new scheme in which the reality of transactions is 'whatever the group with the most computing power says it is'! The hash chain does not aspire to record the 'true' reality or figure out who is a scammer or not; but like Wikipedia, the hash chain simply mirrors one somewhat arbitrarily chosen group’s consensus:получить bitcoin ASIC computers are so specialized that they can often only mine 1 specific cryptocurrency. You need an entirely different ASIC computer to mine Dash than to mine Bitcoin. This also means that a software update could make an ASIC computer obsolete overnight. bitcoin mine bitcoin grant
javascript bitcoin ethereum стоимость plus500 bitcoin bitcoin knots
бутерин ethereum стратегия bitcoin ethereum casper bitcoin motherboard ethereum com
moon bitcoin happy bitcoin
ethereum аналитика асик ethereum ethereum 4pda ethereum вывод iphone bitcoin sgminer monero bitcoin office
ethereum видеокарты connect bitcoin bitcoin 9000 bitcoin сколько bitcoin bbc
покер bitcoin logo ethereum ethereum проблемы
ethereum продам таблица bitcoin bitcoin wmx usb tether bitcoin price bitcoin word tether usd bitcoin news яндекс bitcoin buy tether bitcoin автосборщик
bitcoin book bitcoin сервера bitcoin up usb bitcoin
bank cryptocurrency withdraw bitcoin Usually no customer servicebitcoin compromised bitcoin sha256 контракты ethereum список bitcoin coinder bitcoin bitcoin mercado nicehash monero ethereum обвал bitcoin rotator bitcoin 2000 puzzle bitcoin ethereum contracts goldmine bitcoin bitcoin eobot bitcoin sha256 search bitcoin конвертер bitcoin
смысл bitcoin abi ethereum bear bitcoin казино ethereum вложить bitcoin decred cryptocurrency bitcoin 4096 bitcoin bitcointalk cubits bitcoin generator bitcoin neo cryptocurrency l bitcoin ethereum ann all cryptocurrency bitcoin debian bitcoin блог bitcoin vip bitcoin options bitcoin dance bitcoin video карты bitcoin tether bootstrap tera bitcoin bitcoin бесплатные майнер ethereum blogspot bitcoin
ethereum валюта avto bitcoin monero proxy
bitcoin information bitcoin вконтакте bitcoin review site bitcoin tether download tether комиссии
zebra bitcoin bitcoin paypal bitcoin help
bitcoin hardfork bubble bitcoin bitcoin bank neo cryptocurrency ethereum биткоин сбербанк bitcoin bitcoin etf monero криптовалюта anomayzer bitcoin bitcoin token bitcoin exchange bitcoin india bitcoin статья collector bitcoin прогноз bitcoin clame bitcoin bitcoin обменник bitcoin forum monero сложность earning bitcoin сеть bitcoin bitcoin trezor bitcoin price algorithm bitcoin ethereum cryptocurrency обозначение bitcoin форк ethereum статистика ethereum скачать tether bitcoin конвертер заработок ethereum wikipedia bitcoin
app bitcoin reverse tether equihash bitcoin робот bitcoin accept bitcoin технология bitcoin bitcoin 2048 bitcoin cranes paypal bitcoin
китай bitcoin
bitcoin adress bitcoin demo bitcoin торги trade cryptocurrency This produces a hash value that should be less than the predefined target as per the proof-of-work consensus. If the hash value generated is less than the target value, then the block is considered to be verified, and the miner gets rewarded.bitcoin миксер
Blockchain technology will change and improve the way businesses operate, but that’s not all it will change. It will also change the lives of millions of people by giving them the ability to store and send money to one another.What is Blockchain Technology?ethereum ротаторы 4 bitcoin trade cryptocurrency rx560 monero magic bitcoin bitcoin like ethereum ios bitcoin будущее bitcoin rate bitcoin icons ethereum покупка bitcoin drip nicehash monero ethereum прогноз
bitcoin grant форки ethereum ethereum доходность карта bitcoin electrum bitcoin краны monero bitcoin взлом спекуляция bitcoin collector bitcoin bitcoin реклама claymore monero
nicehash monero bitcoin red cold bitcoin bitcoin green bitcoin arbitrage работа bitcoin online bitcoin lurkmore bitcoin bitcoin вконтакте генераторы bitcoin neo bitcoin bitcoin сборщик coinmarketcap bitcoin bitcoin gif 1080 ethereum bitcoin online invest bitcoin algorithm ethereum
ethereum видеокарты стоимость ethereum bye bitcoin avalon bitcoin куплю ethereum bitcoin asic bitcoin maker bitcoin математика bitcoin pdf bitcoin торги ethereum info bitcoin мошенники bitcoin trader rise cryptocurrency
bitcoin обналичить cryptocurrency charts
bitcoin иконка ethereum настройка rx560 monero game bitcoin покупка ethereum safe bitcoin торрент bitcoin bitcoin trade ethereum обменники bitcoin marketplace attack bitcoin bitcoin central ethereum график lurkmore bitcoin bitcoin exchanges
Bitcoin only works because the rules of the system create incentives for participants to be honest. Miners, for example, could theoretically reorganize the chain in order to spend their own money multiple times, but this would be shooting themselves in the foot and cause their investments in hardware and electricity to lose value. It’s more profitable for them to spend their resources securing the blockchain honestly.bitcoin получить майнинг bitcoin bitcoin презентация ethereum 1070
пул bitcoin ethereum pos mastercard bitcoin bitcoin group
bitcoin create bitcoin кредит alpha bitcoin bitcoin комбайн
panda bitcoin 1 ethereum bitcoin автосерфинг bitcoin agario lite bitcoin tp tether bitcoin qiwi 100 bitcoin wallpaper bitcoin
серфинг bitcoin cryptocurrency exchanges sec bitcoin bitcoin india monero майнер dark bitcoin bitcoin status tether gps bitcoin описание boxbit bitcoin node bitcoin bitcoin genesis
mikrotik bitcoin ethereum coingecko ethereum org
bitcoin сервера apk tether daemon bitcoin bitcoin doge lavkalavka bitcoin форекс bitcoin bitcoin usd bitcoin puzzle blogspot bitcoin
xapo bitcoin bitcoin mmm bitcoin x2 bitcoin перспективы blockchain bitcoin адрес bitcoin goldmine bitcoin 2016 bitcoin exchange cryptocurrency bitcoin bitrix ethereum mine monero продать ethereum алгоритм bitcoin dogecoin wild bitcoin multisig bitcoin bitcoin protocol
bitcoin 2 tether addon field bitcoin раздача bitcoin биткоин bitcoin ethereum coin заработать monero видеокарты ethereum bitcoin payeer
форумы bitcoin майнить monero
tether wifi alpha bitcoin bitcoin easy новости monero bitcoin отзывы ethereum падение tether валюта supernova ethereum bitcoin программа
addnode bitcoin alliance bitcoin bitcoin прогнозы получить ethereum
bitcoin eu scrypt bitcoin анимация bitcoin monero usd
bitcoin гарант
ethereum russia bitcoin marketplace claim bitcoin
ethereum форум bitcoin future
ethereum microsoft bitcoin оплатить ethereum buy bitcoin чат addnode bitcoin mine monero bitcoin kran alipay bitcoin ethereum pool bitcoin hash amd bitcoin main bitcoin bitcoin plus500 bitcoin iq reddit bitcoin bitcoin кран тинькофф bitcoin bitcoin будущее скрипт bitcoin
bitcoin planet bitcoin зарегистрироваться bitcoin чат yandex bitcoin bitcoin metal forum bitcoin динамика ethereum ethereum shares статистика ethereum
