Struct diem_types::proof::definition::EventProof

pub struct EventProof { /* private fields */ }

The complete proof used to authenticate a contract event. This structure consists of the AccumulatorProof from LedgerInfo to TransactionInfo, the TransactionInfo object and the AccumulatorProof from event accumulator root to the event.

Implementations

impl EventProof

pub fn new( transaction_info_with_proof: TransactionInfoWithProof, transaction_info_to_event_proof: EventAccumulatorProof ) -> Self

Constructs a new EventProof using given ledger_info_to_transaction_info_proof, transaction_info and transaction_info_to_event_proof.

pub fn transaction_info_with_proof(&self) -> &TransactionInfoWithProof

Returns the transaction_info_with_proof object in this proof.

pub fn verify( &self, ledger_info: &LedgerInfo, event_hash: HashValue, transaction_version: Version, event_version_within_transaction: Version ) -> Result<()>

Verifies that a given event is correct using provided proof.

Trait Implementations

impl Arbitrary for EventProof

type Parameters = (<TransactionInfoWithProof as Arbitrary>::Parameters, <AccumulatorProof<EventAccumulatorHasher> as Arbitrary>::Parameters)

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

type Strategy = Map<(<TransactionInfoWithProof as Arbitrary>::Strategy, <AccumulatorProof<EventAccumulatorHasher> as Arbitrary>::Strategy), fn(_: (TransactionInfoWithProof, AccumulatorProof<EventAccumulatorHasher>)) -> EventProof>

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

fn arbitrary_with(_top: 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 Clone for EventProof

fn clone(&self) -> EventProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EventProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EventProof

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<EventProof> for EventProof

fn eq(&self, other: &EventProof) -> 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 Serialize for EventProof

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

Serialize this value into the given Serde serializer.

impl Eq for EventProof

impl StructuralEq for EventProof

impl StructuralPartialEq for EventProof