TOMÁS ARAÚJO
← All Lab experiments
01

EVM

EXECUTION MODEL
EXPERIMENT 01 — EVM EXECUTION MODEL

STATE & STORAGE

STATE MODELGlobal State
STORAGEContract Storage
RESOURCE MODELGas
SEQUENTIAL WRITES
TX 01STATETX 02STATETX 03

Every transaction reads and mutates one global state in order — the next transaction can't start until the previous one settles.

EXECUTION & CALLS

EXECUTIONStack-based VM
CALL MODELMessage Calls
ATOMICITYTransaction-level
MESSAGE CALL CHAIN
EOACONTRACT ACONTRACT BCONTRACT C

A call chain either fully succeeds or the whole transaction reverts — there's no partial commit partway through a call stack.