Struct oasis_core_runtime::consensus::tendermint::merkle::Proof

pub struct Proof {
    pub total: i64,
    pub index: i64,
    pub leaf_hash: Hash,
    pub aunts: Vec<Hash>,
}

Proof represents a Merkle proof.

NOTE: The convention for proofs is to include leaf hashes but to exclude the root hash. This convention is implemented across IAVL range proofs as well. Keep this consistent unless there’s a very good reason to change everything. This also affects the generalized proof system as well.

Fields

total: i64

index: i64

leaf_hash: Hash

aunts: Vec<Hash>

Implementations

impl Proof

pub fn verify(&self, root_hash: Hash, leaf: Hash) -> Result<()>

Verify that the Proof proves the root hash. Check index/total manually if needed.

pub fn compute_root_hash(&self) -> Option<Hash>

Compute the root hash given a leaf hash. Does not verify the result.

Trait Implementations

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.