pub struct ExecutionProver<Block, B, Exec> { /* private fields */ }Expand description
Creates storage proof for verifying an execution without owning the whole state.
Implementations§
source§impl<Block, B, Exec> ExecutionProver<Block, B, Exec>where
Block: BlockT,
B: Backend<Block>,
Exec: CodeExecutor + 'static,
impl<Block, B, Exec> ExecutionProver<Block, B, Exec>where
Block: BlockT,
B: Backend<Block>,
Exec: CodeExecutor + 'static,
sourcepub fn new(backend: Arc<B>, executor: Arc<Exec>) -> Self
pub fn new(backend: Arc<B>, executor: Arc<Exec>) -> Self
Constructs a new instance of ExecutionProver.
sourcepub fn prove_execution<DB: HashDB<HashingFor<Block>, DBValue>>(
&self,
at: Block::Hash,
execution_phase: &ExecutionPhase,
call_data: &[u8],
delta_changes: Option<(DB, Block::Hash)>,
) -> Result<StorageProof>
pub fn prove_execution<DB: HashDB<HashingFor<Block>, DBValue>>( &self, at: Block::Hash, execution_phase: &ExecutionPhase, call_data: &[u8], delta_changes: Option<(DB, Block::Hash)>, ) -> Result<StorageProof>
Returns a storage proof which can be used to reconstruct a partial state trie to re-run the execution by someone who does not own the whole state.
Auto Trait Implementations§
impl<Block, B, Exec> Freeze for ExecutionProver<Block, B, Exec>
impl<Block, B, Exec> RefUnwindSafe for ExecutionProver<Block, B, Exec>
impl<Block, B, Exec> Send for ExecutionProver<Block, B, Exec>
impl<Block, B, Exec> Sync for ExecutionProver<Block, B, Exec>
impl<Block, B, Exec> Unpin for ExecutionProver<Block, B, Exec>where
Block: Unpin,
impl<Block, B, Exec> UnwindSafe for ExecutionProver<Block, B, Exec>
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
Mutably borrows from an owned value. Read more
§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
§fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
§fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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>
Converts
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>
Converts
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 more§impl<T> IsType<T> for T
impl<T> IsType<T> for T
§impl<T, Outer> IsWrappedBy<Outer> for T
impl<T, Outer> IsWrappedBy<Outer> for T
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
Consume self to return an equivalent value of
T. Read more§impl<T, U> TryIntoKey<U> for Twhere
U: TryFromKey<T>,
impl<T, U> TryIntoKey<U> for Twhere
U: TryFromKey<T>,
type Error = <U as TryFromKey<T>>::Error
fn try_into_key(self) -> Result<U, <U as TryFromKey<T>>::Error>
§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
The counterpart to
unchecked_from.§impl<T, S> UniqueSaturatedInto<T> for S
impl<T, S> UniqueSaturatedInto<T> for S
§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
Consume self to return an equivalent value of
T.