Struct diem_types::proof::definition::AccumulatorProof

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

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> Arbitrary for AccumulatorProof<H>where H: CryptoHasher + 'static,

type Parameters = ()

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

type Strategy = BoxedStrategy<AccumulatorProof<H>>

The type of Strategy used to generate values of type Self.

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

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 ==.

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<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>