Struct oasis_core_runtime::storage::mkvs::sync::Proof

pub struct Proof {
    pub v: u16,
    pub untrusted_root: Hash,
    pub entries: Vec<Option<RawProofEntry>>,
}

A Merkle proof for a subtree.

Fields

v: u16

untrusted_root: Hash

The root hash this proof is for. This should only be used as a quick sanity check and proof verification MUST use an independently obtained root hash as the prover can provide any root.

entries: Vec<Option<RawProofEntry>>

Proof entries in pre-order traversal.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Proof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Decode for Proof

fn try_default() -> Result<Self, DecodeError>

Try to decode from a missing/null/undefined value.

fn try_from_cbor_value(value: Value) -> Result<Self, DecodeError>

Try to decode from a given CBOR value.

fn try_from_cbor_value_default(value: Value) -> Result<Self, DecodeError>

where Self: Sized,

Try to decode from a given CBOR value, calling try_default in case the value is null or undefined.

impl Default for Proof

fn default() -> Proof

Returns the “default value” for a type.

impl Encode for Proof

fn into_cbor_value(self) -> Value

Encode the type into a CBOR Value.

fn is_empty(&self) -> bool

Whether the value is equal to the empty value for the type.

impl EncodeAsMap for Proof

fn into_cbor_value_map(self) -> Value

where Self: Sized,

Encode the type into a CBOR Map.

fn into_cbor_map(self) -> Vec<(Value, Value)>

where Self: Sized,

Encode the type into a CBOR Map, returning the map items.

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Proof

impl StructuralPartialEq for Proof