Module vm

Structs§

FrameTxContext: Context for frame transaction (EIP-8141) execution. This is set when executing a frame transaction and is used by APPROVE, TXPARAM, FRAMEDATALOAD, and FRAMEDATACOPY opcodes.
PrefixSimResult: Result of VM::simulate_validation_prefix (EIP-8141 mempool simulation).
PrepareRegionBackupMarker: Snapshot of call_frame_backup’s key-space taken by VM::enter_prepare_region at the start of the atomic prepare region (EIP-8037 auth + prepare-dispatch charges). original_accounts_info / original_account_storage_slots are first-write-wins maps keyed by address, so a plain entry-count marker can’t tell which keys are region-added; recording the pre-region key sets lets VM::fail_prepare_region revert exactly the region’s writes while leaving the earlier sender nonce-bump / fee-deduction backup entries intact. inserted_code_hashes is an append-only Vec, so its pre-region length is enough to identify the region-added tail.
Substate: Execution substate that tracks changes during transaction execution.
VM

frame_signatures_are_low_s: Local mempool anti-malleability policy (NOT consensus): returns false if any frame signature is high-s (s > n/2).
frame_value_exceeds_balance: The LEVM (Lambda EVM) execution engine.
validate_frame_signatures: Validate every EIP-8141 outer signature (spec commit fe0940cae2) against the canonical sig_hash. Returns false if any signature is malformed or invalid. Verification gas is intrinsic (already in total_gas_limit), so a scratch budget is used for the crypto precompiles and their deduction is ignored.