Trait DatabaseProof 

pub trait DatabaseProof<'a> {
    type Tx;

    // Required methods
    fn from_tx(tx: &'a Self::Tx) -> Self;
    fn overlay_account_proof(
        &self,
        input: TrieInput,
        address: Address,
        slots: &[B256],
    ) -> Result<AccountProof, StateProofError>;
    fn overlay_multiproof(
        &self,
        input: TrieInput,
        targets: MultiProofTargets,
    ) -> Result<MultiProof, StateProofError>;
}

Extends [Proof] with operations specific for working with a database transaction.

Required Associated Types

type Tx

Associated type for the database transaction.

Required Methods

fn from_tx(tx: &'a Self::Tx) -> Self

Create a new [Proof] instance from database transaction.

fn overlay_account_proof( &self, input: TrieInput, address: Address, slots: &[B256], ) -> Result<AccountProof, StateProofError>

Generates the state proof for target account based on [TrieInput].

fn overlay_multiproof( &self, input: TrieInput, targets: MultiProofTargets, ) -> Result<MultiProof, StateProofError>

Generates the state [MultiProof] for target hashed account and storage keys.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a, TX: DbTx> DatabaseProof<'a> for Proof<DatabaseTrieCursorFactory<&'a TX>, DatabaseHashedCursorFactory<&'a TX>>

type Tx = TX

fn from_tx(tx: &'a Self::Tx) -> Self

fn overlay_account_proof( &self, input: TrieInput, address: Address, slots: &[B256], ) -> Result<AccountProof, StateProofError>

fn overlay_multiproof( &self, input: TrieInput, targets: MultiProofTargets, ) -> Result<MultiProof, StateProofError>

Implementors