Struct exonum_merkledb::ProofOfAbsence

pub struct ProofOfAbsence { /* fields omitted */ }

Encapsulates a proof of absence for ProofListIndex.

Proof of absence for an element with the specified index consists of merkle_root of ProofListIndex and length of the list.

Element with index is absent in the list with provided length and merkle_root when two conditions are met:

1. list_hash == sha256( HashTag::List || length || merkle_root )
2. index > length

In case of a range proof this rule applies to the whole range.

Methods

impl ProofOfAbsence

pub fn new(length: u64, merkle_root: Hash) -> Self

New ProofOfAbsence for specified list length and merkle_root.

pub fn length(&self) -> u64

Return the length of the corresponding ProofListIndex.

pub fn merkle_root(&self) -> Hash

Return the Merkle root of the corresponding ProofListIndex.

Trait Implementations

impl Clone for ProofOfAbsence

fn clone(&self) -> ProofOfAbsence

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<ProofOfAbsence> for ProofOfAbsence

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

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

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

This method tests for !=.

impl Eq for ProofOfAbsence

impl Debug for ProofOfAbsence

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

Formats the value using the given formatter.