[−][src]Struct sp_state_machine::ProvingBackend
Patricia trie-based backend which also tracks all touched storage trie values. These can be sent to remote node and used as a proof of execution.
Implementations
impl<'a, S: 'a + TrieBackendStorage<H>, H: 'a + Hasher> ProvingBackend<'a, S, H> where
H::Out: Codec, [src][−]
H::Out: Codec,
pub fn new(backend: &'a TrieBackend<S, H>) -> Self[src][−]
Create new proving backend.
pub fn new_with_recorder(
backend: &'a TrieBackend<S, H>,
proof_recorder: ProofRecorder<H>
) -> Self[src][−]
backend: &'a TrieBackend<S, H>,
proof_recorder: ProofRecorder<H>
) -> Self
Create new proving backend with the given recorder.
pub fn extract_proof(&self) -> StorageProof[src][−]
Extracting the gathered unordered proof.
Trait Implementations
impl<'a, S, H> Backend<H> for ProvingBackend<'a, S, H> where
S: 'a + TrieBackendStorage<H>,
H: 'a + Hasher,
H::Out: Ord + Codec, [src][+]
S: 'a + TrieBackendStorage<H>,
H: 'a + Hasher,
H::Out: Ord + Codec,
impl<'a, S: 'a + TrieBackendStorage<H>, H: 'a + Hasher> Debug for ProvingBackend<'a, S, H>[src][+]
Auto Trait Implementations
impl<'a, S, H> !RefUnwindSafe for ProvingBackend<'a, S, H>
impl<'a, S, H> Send for ProvingBackend<'a, S, H> where
<H as Hasher>::Out: Send + Sync,
<H as Hasher>::Out: Send + Sync,
impl<'a, S, H> Sync for ProvingBackend<'a, S, H> where
<H as Hasher>::Out: Send + Sync,
<H as Hasher>::Out: Send + Sync,
impl<'a, S, H> Unpin for ProvingBackend<'a, S, H> where
<H as Hasher>::Out: Unpin,
<H as Hasher>::Out: Unpin,
impl<'a, S, H> !UnwindSafe for ProvingBackend<'a, S, H>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src][+]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src][+]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src][+]
T: ?Sized,
impl<T> From<T> for T[src][+]
impl<T, U> Into<U> for T where
U: From<T>, [src][+]
U: From<T>,
impl<T, Outer> IsWrappedBy<Outer> for T where
Outer: AsRef<T> + AsMut<T> + From<T>,
T: From<Outer>, [src][+]
Outer: AsRef<T> + AsMut<T> + From<T>,
T: From<Outer>,
impl<T> MaybeDebug for T where
T: Debug, [src]
T: Debug,
impl<T> MaybeDebug for T where
T: Debug, [src]
T: Debug,
impl<T> Same<T> for T[src]
type Output = T
Should always be Self
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src][+]
U: Into<T>,
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src][+]
U: TryFrom<T>,
impl<S, T> UncheckedInto<T> for S where
T: UncheckedFrom<S>, [src][+]
T: UncheckedFrom<S>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>, [src][+]
V: MultiLane<T>,