pub struct MultiProofCalculator<'a, T: TrieCursorFactory + 'a, H: HashedCursorFactory + 'a> { /* private fields */ }Expand description
Generates account and storage multiproofs for one immutable state snapshot.
The calculator owns its cursor factories and may be reused for any number of requests. It stays usable after an error, but must be dropped after a panic during a request. The factories must keep describing the same state for the lifetime of the calculator. Cursor factories control whether their cursors are instrumented.
'a is the lifetime of the cursors opened from the owned factories. It is not tied to a
caller-supplied borrow; it only needs to be satisfied by T and H.
Implementations§
Source§impl<'a, T: TrieCursorFactory + 'a, H: HashedCursorFactory + 'a> MultiProofCalculator<'a, T, H>
impl<'a, T: TrieCursorFactory + 'a, H: HashedCursorFactory + 'a> MultiProofCalculator<'a, T, H>
Sourcepub fn new(
trie_cursor_factory: T,
hashed_cursor_factory: H,
prefix_sets: TriePrefixSets,
known_storage_roots: Arc<B256Map<B256>>,
) -> Self
pub fn new( trie_cursor_factory: T, hashed_cursor_factory: H, prefix_sets: TriePrefixSets, known_storage_roots: Arc<B256Map<B256>>, ) -> Self
Creates a calculator for the supplied factories and frozen changed-key prefixes.
Prefixes invalidate cached branch hashes for keys whose leaf values have changed, and apply to every request served by this calculator.
known_storage_roots supplies roots keyed by hashed account address. Each root must be
valid for the account leaf being encoded. Accounts absent from the map calculate their
storage roots from the cursors. Explicit storage proof requests always use the cursors.
Sourcepub fn multiproof(
&mut self,
targets: MultiProofTargetsV2,
) -> Result<DecodedMultiProofV2, StateProofError>
pub fn multiproof( &mut self, targets: MultiProofTargetsV2, ) -> Result<DecodedMultiProofV2, StateProofError>
Generates account and storage proofs for targets.
An explicit storage address with no slot targets requests its root node. Empty targets return an empty proof.
Trait Implementations§
Source§impl<T: TrieCursorFactory, H: HashedCursorFactory> Debug for MultiProofCalculator<'_, T, H>
impl<T: TrieCursorFactory, H: HashedCursorFactory> Debug for MultiProofCalculator<'_, T, H>
Source§impl<'a, T: TrieCursorFactory + 'a, H: HashedCursorFactory + 'a> Drop for MultiProofCalculator<'a, T, H>
impl<'a, T: TrieCursorFactory + 'a, H: HashedCursorFactory + 'a> Drop for MultiProofCalculator<'a, T, H>
Auto Trait Implementations§
impl<'a, T, H> !RefUnwindSafe for MultiProofCalculator<'a, T, H>
impl<'a, T, H> !UnwindSafe for MultiProofCalculator<'a, T, H>
impl<'a, T, H> Freeze for MultiProofCalculator<'a, T, H>where
Option<ProofCalculator<<T as TrieCursorFactory>::AccountTrieCursor<'a>, <H as HashedCursorFactory>::AccountCursor<'a>, AccountValueEncoder<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>: Freeze,
Option<Arc<Mutex<RawMutex, PrefixSetStorageCalculator<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>>: Freeze,
Pin<Box<MultiProofCalculatorFactories<T, H>>>: Freeze,
impl<'a, T, H> Send for MultiProofCalculator<'a, T, H>where
Option<ProofCalculator<<T as TrieCursorFactory>::AccountTrieCursor<'a>, <H as HashedCursorFactory>::AccountCursor<'a>, AccountValueEncoder<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>: Send,
Option<Arc<Mutex<RawMutex, PrefixSetStorageCalculator<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>>: Send,
Pin<Box<MultiProofCalculatorFactories<T, H>>>: Send,
impl<'a, T, H> Sync for MultiProofCalculator<'a, T, H>where
Option<ProofCalculator<<T as TrieCursorFactory>::AccountTrieCursor<'a>, <H as HashedCursorFactory>::AccountCursor<'a>, AccountValueEncoder<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>: Sync,
Option<Arc<Mutex<RawMutex, PrefixSetStorageCalculator<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>>: Sync,
Pin<Box<MultiProofCalculatorFactories<T, H>>>: Sync,
impl<'a, T, H> Unpin for MultiProofCalculator<'a, T, H>where
Option<ProofCalculator<<T as TrieCursorFactory>::AccountTrieCursor<'a>, <H as HashedCursorFactory>::AccountCursor<'a>, AccountValueEncoder<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>: Unpin,
Option<Arc<Mutex<RawMutex, PrefixSetStorageCalculator<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>>: Unpin,
Pin<Box<MultiProofCalculatorFactories<T, H>>>: Unpin,
impl<'a, T, H> UnsafeUnpin for MultiProofCalculator<'a, T, H>where
Option<ProofCalculator<<T as TrieCursorFactory>::AccountTrieCursor<'a>, <H as HashedCursorFactory>::AccountCursor<'a>, AccountValueEncoder<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>: UnsafeUnpin,
Option<Arc<Mutex<RawMutex, PrefixSetStorageCalculator<<T as TrieCursorFactory>::StorageTrieCursor<'a>, <H as HashedCursorFactory>::StorageCursor<'a>>>>>: UnsafeUnpin,
Pin<Box<MultiProofCalculatorFactories<T, H>>>: UnsafeUnpin,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreimpl<T> MaybeDebug for Twhere
T: Debug,
§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere
S: Into<Dispatch>,
§fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ
fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere
S: Into<Dispatch>,
Source§fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ
fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ
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.