Struct EvmSketchInput

pub struct EvmSketchInput {
    pub anchor: Anchor,
    pub genesis: Genesis,
    pub ancestor_headers: Vec<Header>,
    pub state: EthereumState,
    pub state_requests: HashMap<Address, Vec<U256>>,
    pub bytecodes: Vec<Bytecode>,
    pub receipts: Option<Vec<ReceiptEnvelope>>,
}

Information about how the contract executions accessed state, which is needed to execute the contract in SP1.

Instead of passing in the entire state, only the state roots and merkle proofs for the storage slots that were modified and accessed are passed in.

Fields

anchor: Anchor

The current block anchor.

genesis: Genesis

The genesis block specification.

ancestor_headers: Vec<Header>

The previous block headers starting from the most recent. These are used for calls to the blockhash opcode.

state: EthereumState

Current block’s Ethereum state.

state_requests: HashMap<Address, Vec<U256>>

Requests to account state and storage slots.

bytecodes: Vec<Bytecode>

Account bytecodes.

receipts: Option<Vec<ReceiptEnvelope>>

Receipts.

Trait Implementations

impl Clone for EvmSketchInput

fn clone(&self) -> EvmSketchInput

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EvmSketchInput

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EvmSketchInput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EvmSketchInput

fn eq(&self, other: &EvmSketchInput) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for EvmSketchInput

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl WitnessInput for EvmSketchInput

fn state(&self) -> &EthereumState

Gets a reference to the state from which account info and storage slots are loaded.

fn state_anchor(&self) -> B256

Gets the state trie root hash that the state referenced by state() must conform to.

fn state_requests(&self) -> impl Iterator<Item = (&Address, &Vec<U256>)>

Gets an iterator over address state requests. For each request, the account info and storage slots are loaded from the relevant tries in the state returned by state().

fn bytecodes(&self) -> impl Iterator<Item = &Bytecode>

Gets an iterator over account bytecodes.

fn sealed_headers(&self) -> impl Iterator<Item = SealedHeader>

Gets an iterator over references to a consecutive, reverse-chronological block headers starting from the current block header.

fn witness_db( &self, sealed_headers: &[SealedHeader], ) -> Result<TrieDB<'_>, ClientError>

Creates a [WitnessDb] from a [WitnessInput] implementation. To do so, it verifies the state root, ancestor headers and account bytecodes, and constructs the account and storage values by reading against state tries.

impl Eq for EvmSketchInput

impl StructuralPartialEq for EvmSketchInput