Struct sc_client_api::StorageProof
source · pub struct StorageProof { /* private fields */ }
Expand description
A proof that some set of key-value pairs are included in the storage trie. The proof contains the storage values so that the partial storage backend can be reconstructed by a verifier that does not already have access to the key-value pairs.
The proof consists of the set of serialized nodes in the storage trie accessed when looking up the keys covered by the proof. Verifying the proof requires constructing the partial trie from the serialized nodes and performing the key lookups.
Implementations§
source§impl StorageProof
impl StorageProof
sourcepub fn new(trie_nodes: impl IntoIterator<Item = Vec<u8>>) -> StorageProof
pub fn new(trie_nodes: impl IntoIterator<Item = Vec<u8>>) -> StorageProof
Constructs a storage proof from a subset of encoded trie nodes in a storage backend.
sourcepub fn new_with_duplicate_nodes_check(
trie_nodes: impl IntoIterator<Item = Vec<u8>>,
) -> Result<StorageProof, StorageProofError>
pub fn new_with_duplicate_nodes_check( trie_nodes: impl IntoIterator<Item = Vec<u8>>, ) -> Result<StorageProof, StorageProofError>
Constructs a storage proof from a subset of encoded trie nodes in a storage backend.
Returns an error if the provided subset of encoded trie nodes contains duplicates.
sourcepub fn empty() -> StorageProof
pub fn empty() -> StorageProof
Returns a new empty proof.
An empty proof is capable of only proving trivial statements (ie. that an empty set of key-value pairs exist in storage).
sourcepub fn into_iter_nodes(self) -> impl DoubleEndedIterator
pub fn into_iter_nodes(self) -> impl DoubleEndedIterator
Convert into an iterator over encoded trie nodes in lexicographical order constructed from the proof.
sourcepub fn iter_nodes(&self) -> impl DoubleEndedIterator
pub fn iter_nodes(&self) -> impl DoubleEndedIterator
Create an iterator over encoded trie nodes in lexicographical order constructed from the proof.
sourcepub fn into_nodes(self) -> BTreeSet<Vec<u8>>
pub fn into_nodes(self) -> BTreeSet<Vec<u8>>
Convert into plain node vector.
sourcepub fn into_memory_db<H>(self) -> MemoryDB<H, HashKey<H>, Vec<u8>>where
H: Hasher,
pub fn into_memory_db<H>(self) -> MemoryDB<H, HashKey<H>, Vec<u8>>where
H: Hasher,
Creates a MemoryDB
from Self
.
sourcepub fn to_memory_db<H>(&self) -> MemoryDB<H, HashKey<H>, Vec<u8>>where
H: Hasher,
pub fn to_memory_db<H>(&self) -> MemoryDB<H, HashKey<H>, Vec<u8>>where
H: Hasher,
Creates a MemoryDB
from Self
reference.
sourcepub fn merge(proofs: impl IntoIterator<Item = StorageProof>) -> StorageProof
pub fn merge(proofs: impl IntoIterator<Item = StorageProof>) -> StorageProof
Merges multiple storage proofs covering potentially different sets of keys into one proof covering all keys. The merged proof output may be smaller than the aggregate size of the input proofs due to deduplication of trie nodes.
sourcepub fn into_compact_proof<H>(
self,
root: <H as Hasher>::Out,
) -> Result<CompactProof, Error<<H as Hasher>::Out, Error<<H as Hasher>::Out>>>where
H: Hasher,
pub fn into_compact_proof<H>(
self,
root: <H as Hasher>::Out,
) -> Result<CompactProof, Error<<H as Hasher>::Out, Error<<H as Hasher>::Out>>>where
H: Hasher,
Encode as a compact proof with default trie layout.
Trait Implementations§
source§impl Clone for StorageProof
impl Clone for StorageProof
source§fn clone(&self) -> StorageProof
fn clone(&self) -> StorageProof
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for StorageProof
impl Debug for StorageProof
source§impl Decode for StorageProof
impl Decode for StorageProof
source§fn decode<__CodecInputEdqy>(
__codec_input_edqy: &mut __CodecInputEdqy,
) -> Result<StorageProof, Error>where
__CodecInputEdqy: Input,
fn decode<__CodecInputEdqy>(
__codec_input_edqy: &mut __CodecInputEdqy,
) -> Result<StorageProof, Error>where
__CodecInputEdqy: Input,
source§fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>,
) -> Result<DecodeFinished, Error>where
I: Input,
fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>,
) -> Result<DecodeFinished, Error>where
I: Input,
source§impl Encode for StorageProof
impl Encode for StorageProof
source§fn size_hint(&self) -> usize
fn size_hint(&self) -> usize
source§fn encode_to<__CodecOutputEdqy>(
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy,
)
fn encode_to<__CodecOutputEdqy>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )
source§fn using_encoded<__CodecOutputReturn, __CodecUsingEncodedCallback>(
&self,
f: __CodecUsingEncodedCallback,
) -> __CodecOutputReturn
fn using_encoded<__CodecOutputReturn, __CodecUsingEncodedCallback>( &self, f: __CodecUsingEncodedCallback, ) -> __CodecOutputReturn
source§fn encoded_size(&self) -> usize
fn encoded_size(&self) -> usize
source§impl PartialEq for StorageProof
impl PartialEq for StorageProof
source§fn eq(&self, other: &StorageProof) -> bool
fn eq(&self, other: &StorageProof) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl TypeInfo for StorageProof
impl TypeInfo for StorageProof
impl EncodeLike for StorageProof
impl Eq for StorageProof
impl StructuralPartialEq for StorageProof
Auto Trait Implementations§
impl Freeze for StorageProof
impl RefUnwindSafe for StorageProof
impl Send for StorageProof
impl Sync for StorageProof
impl Unpin for StorageProof
impl UnwindSafe for StorageProof
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
source§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T> DecodeLimit for Twhere
T: Decode,
impl<T> DecodeLimit for Twhere
T: Decode,
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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 moresource§impl<T, Outer> IsWrappedBy<Outer> for T
impl<T, Outer> IsWrappedBy<Outer> for T
source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
source§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
source§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
T
. Read moresource§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
source§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
unchecked_from
.source§impl<T, S> UniqueSaturatedInto<T> for S
impl<T, S> UniqueSaturatedInto<T> for S
source§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
T
.