Struct TrieWitness 

pub struct TrieWitness<T, H> { /* private fields */ }

State transition witness for the trie.

Implementations

impl<T, H> TrieWitness<T, H>

pub fn new(trie_cursor_factory: T, hashed_cursor_factory: H) -> Self

Creates a new witness generator.

pub fn with_prefix_sets_mut(self, prefix_sets: TriePrefixSetsMut) -> Self

Set the prefix sets. They have to be mutable in order to allow extension with proof target.

pub const fn always_include_root_node(self) -> Self

Set always_include_root_node to true. Root node will be included even in empty state. This setting is useful if the caller wants to verify the witness against the parent state root.

pub const fn with_execution_witness_mode( self, mode: ExecutionWitnessMode, ) -> Self

Set the execution witness generation mode.

impl<T, H> TrieWitness<T, H>

where T: TrieCursorFactory + Clone, H: HashedCursorFactory + Clone,

pub fn compute( self, state: HashedPostState, ) -> Result<B256Map<Bytes>, TrieWitnessError>

Compute the state transition witness for the trie. Gather all required nodes to apply state on top of the current trie state.

Arguments

state - state transition containing both modified and touched accounts and storage slots.

Trait Implementations

impl<T: Debug, H: Debug> Debug for TrieWitness<T, H>

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

Formats the value using the given formatter.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.