Struct diem_types::proof::definition::AccumulatorProof

pub struct AccumulatorProof<H> { /* fields omitted */ }

A proof that can be used authenticate an element in an accumulator given trusted root hash. For example, both LedgerInfoToTransactionInfoProof and TransactionInfoToEventProof can be constructed on top of this structure.

Implementations

impl<H> AccumulatorProof<H> where
    H: CryptoHasher, 

pub fn new(siblings: Vec<HashValue>) -> Self

Constructs a new AccumulatorProof using a list of siblings.

pub fn siblings(&self) -> &[HashValue]

Returns the list of siblings in this proof.

pub fn verify(
    &self,
    expected_root_hash: HashValue,
    element_hash: HashValue,
    element_index: u64
) -> Result<()>

Verifies an element whose hash is element_hash and version is element_version exists in the accumulator whose root hash is expected_root_hash using the provided proof.

Trait Implementations

impl<H: Clone> Clone for AccumulatorProof<H>

fn clone(&self) -> AccumulatorProof<H>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<H> Debug for AccumulatorProof<H>

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

Formats the value using the given formatter.

impl<'de, H> Deserialize<'de> for AccumulatorProof<H>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<H> PartialEq<AccumulatorProof<H>> for AccumulatorProof<H>

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

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

#[must_use]

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

This method tests for !=.

impl<H> Serialize for AccumulatorProof<H>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<H> Eq for AccumulatorProof<H>