Crate interpreter
Expand description
§revm-interpreter
REVM Interpreter.
Modules§
- gas
- EVM gas calculation utilities.
- instructions
- EVM opcode implementations.
- interpreter
- interpreter_
action - opcode
- EVM opcode definitions and utilities.
- primitives
- revm-primitives
Macros§
- as_
isize_ saturated - Converts a
U256
value to aisize
, saturating toisize::MAX
if the value is too large. - as_
u64_ saturated - Converts a
U256
value to au64
, saturating toMAX
if the value is too large. - as_
usize_ or_ fail - Converts a
U256
value to ausize
, failing the instruction if the value is too large. - as_
usize_ or_ fail_ ret - Converts a
U256
value to ausize
and returnsret
, failing the instruction if the value is too large. - as_
usize_ saturated - Converts a
U256
value to ausize
, saturating toMAX
if the value is too large. - check
- Check if the
SPEC
is enabled, and fail the instruction if it is not. - gas
- Records a
gas
cost and fails the instruction if it would exceed the available gas. - gas_
or_ fail - Same as
gas!
, but withgas
as an option. - pop
- Pops
U256
values from the stack. Fails the instruction if the stack is too small. - pop_
address - Pops
Address
values from the stack. Fails the instruction if the stack is too small. - pop_
address_ ret - Pop
Address
values from the stack, returnsret
on stack underflow. - pop_ret
- Pops
U256
values from the stack, and returnsret
. Fails the instruction if the stack is too small. - pop_top
- Pops
U256
values from the stack, and returns a reference to the top of the stack. Fails the instruction if the stack is too small. - push
- Pushes a
B256
value onto the stack. Fails the instruction if the stack is full. - push_
b256 - Pushes
B256
values onto the stack. Fails the instruction if the stack is full. - refund
- Records a
gas
refund. - require_
eof - Error if the current call is executing EOF.
- require_
init_ eof - Error if not init eof call.
- require_
non_ staticcall - Fails the instruction if the current call is static.
- resize_
memory - Resizes the interpreter memory if necessary. Fails the instruction if the memory or gas limit is exceeded.
- return_
error - return_
ok - return_
revert
Structs§
- Account
Load - Result of the account load from Journal state.
- Call
Inputs - Inputs for a call.
- Call
Outcome - Represents the outcome of a call operation in a virtual machine.
- Contract
- EVM contract information.
- Create
Inputs - Inputs for a create call.
- Create
Outcome - Represents the outcome of a create operation in an interpreter.
- Dummy
Host - A dummy Host implementation.
- EOFCreate
Inputs - Inputs for EOF create call.
- Eip7702
Code Load - EIP-7702 code load result that contains optional delegation is_cold information.
- Function
Return Frame - Function return frame. Needed information for returning from a function.
- Function
Stack - Function Stack
- Gas
- Represents the state of gas during execution.
- Interpreter
- EVM bytecode interpreter.
- Interpreter
Result - The result of an interpreter operation.
- OpCode
- An EVM opcode.
- SStore
Result - Represents the result of an
sstore
operation. - Self
Destruct Result - Result of a selfdestruct action.
- Shared
Memory - A sequential memory shared between calls, which uses
a
Vec
for internal representation. A SharedMemory instance should always be obtained using thenew
static method to ensure memory safety. - Stack
- EVM stack with STACK_LIMIT capacity of words.
- State
Load - State load information that contains the data and if the account or storage is cold loaded.
Enums§
- Call
Scheme - Call scheme.
- Call
Value - Call value.
- Create
Scheme - Create scheme.
- EOFCreate
Kind - EOF create can be called from two places:
- Instruction
Result - Internal
Result - Internal result that are not ex
- Interpreter
Action - Success
OrHalt
Constants§
- EMPTY_
SHARED_ MEMORY - Empty shared memory.
- MAX_
CODE_ SIZE - EIP-170: Contract code size limit
- MAX_
INITCODE_ SIZE - EIP-3860: Limit and meter initcode
- OPCODE_
INFO_ JUMPTABLE - Maps each opcode to its info.
- STACK_
LIMIT - EVM interpreter stack limit.
Traits§
- Host
- EVM context host.
Functions§
- num_
words - Returns number of words what would fit to provided number of bytes, i.e. it rounds up the number bytes to number of words.
Type Aliases§
- Instruction
- EVM opcode function signature.