Struct ExecutionWitnessRecord 

pub struct ExecutionWitnessRecord<'a, DB> { /* private fields */ }

Available on crate features evm and witness only.

Borrows finalized execution state for witness generation.

Implementations

impl<'a, DB> ExecutionWitnessRecord<'a, DB>

pub const fn new(state: &'a CacheDB<DB>) -> ExecutionWitnessRecord<'a, DB>

Creates a new record from the state after execution.

pub fn with_additional_state( self, additional_state: HashedPostState, ) -> ExecutionWitnessRecord<'a, DB>

Adds hashed state that should be included when generating the witness.

State recorded during execution takes precedence over additional state for overlapping accounts and storage slots.

pub fn into_execution_witness<SP, HP>( self, state_provider: &SP, headers_provider: &HP, block_number: u64, mode: ExecutionWitnessMode, ) -> Result<ExecutionWitness, ProviderError>

where SP: StateProofProvider + HashedPostStateProvider + AccountReader + ?Sized, HP: HeaderProvider + ?Sized, <HP as HeaderProvider>::Header: Encodable,

Converts this record into a complete [ExecutionWitness] by generating state proofs and fetching ancestor block headers.

The block_number is the number of the block being witnessed. Ancestor headers are included based on the lowest block number referenced by BLOCKHASH opcodes during execution, or just the parent header if BLOCKHASH was not called.

pub fn into_execution_witness_without_headers<SP>( self, state_provider: &SP, mode: ExecutionWitnessMode, ) -> Result<ExecutionWitness, ProviderError>

where SP: StateProofProvider + HashedPostStateProvider + AccountReader + ?Sized,

Generates state proofs and codes without fetching ancestor headers.

Callers witnessing non-canonical blocks can supply headers by following parent hashes.

pub fn capture_codes(state: &CacheDB<DB>) -> Vec<Bytes>

Captures canonical witness bytecode after execution, before committing its output.

The cache must contain only parent-state reads, excluding code produced by execution.

pub fn commit_execution( state: &mut CacheDB<DB>, output: &BundleState, ) -> Vec<Bytes>

Captures the parent-state bytecode read during execution, then commits the execution output to state, and returns the captured codes for Self::with_canonical_codes.

The codes are captured before the commit, so code deployed by execution is excluded from canonical witnesses.

pub fn with_canonical_codes( self, codes: Vec<Bytes>, ) -> ExecutionWitnessRecord<'a, DB>

Uses captured parent-state bytecode for canonical witnesses, retaining all code in legacy mode.

Trait Implementations

impl<'a, DB> Clone for ExecutionWitnessRecord<'a, DB>

where DB: Clone,

fn clone(&self) -> ExecutionWitnessRecord<'a, DB>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, DB> Debug for ExecutionWitnessRecord<'a, DB>

where DB: Debug,

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 112 bytes