Struct Proof 

pub struct Proof<T, H, K = AddedRemovedKeys> { /* private fields */ }

A struct for generating merkle proofs.

Proof generator adds the target address and slots to the prefix set, enables the proof retainer on the hash builder and follows the same algorithm as the state root calculator. See StateRoot::root for more info.

Implementations

impl<T, H> Proof<T, H>

pub fn new(t: T, h: H) -> Self

Create a new Proof instance.

impl<T, H, K> Proof<T, H, K>

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 with_branch_node_masks(self, branch_node_masks: bool) -> Self

Set the flag indicating whether to include branch node masks in the proof.

pub fn with_added_removed_keys<K2>( self, added_removed_keys: Option<K2>, ) -> Proof<T, H, K2>

Configures the proof to retain certain nodes which would otherwise fall outside the target set, when those nodes might be required to calculate the state root when keys have been added or removed to the trie.

If None is given then retention of extra proofs is disabled.

pub const fn trie_cursor_factory(&self) -> &T

Get a reference to the trie cursor factory.

pub const fn hashed_cursor_factory(&self) -> &H

Get a reference to the hashed cursor factory.

impl<T, H, K> Proof<T, H, K>

where T: TrieCursorFactory + Clone, H: HashedCursorFactory + Clone, K: AsRef<AddedRemovedKeys>,

pub fn account_proof( self, address: Address, slots: &[B256], ) -> Result<AccountProof, StateProofError>

Generate an account proof from intermediate nodes.

pub fn multiproof( self, targets: MultiProofTargets, ) -> Result<MultiProof, StateProofError>

Generate a state multiproof according to specified targets.

Trait Implementations

impl<T: Debug, H: Debug, K: Debug> Debug for Proof<T, H, K>

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.