pub struct EventByVersionWithProof {
    pub lower_bound_incl: Option<EventWithProof>,
    pub upper_bound_excl: Option<EventWithProof>,
}
Expand description

The response type for get_event_by_version_with_proof, which contains lower and upper bound events surrounding the requested version along with proofs for each event.

Why do we need two events?

If we could always get the event count at the requested event_version, we could return only the lower bound event. With the event count we could verify that the returned event is actually the latest event at the historical ledger view just by checking that event.sequence_number == event_count.

Unfortunately, the event count is only (verifiably) accessible via the on-chain state. While we can easily acquire the event count near the chain HEAD, historical event counts (at versions below HEAD for more than the prune window) may be inaccessible after most non-archival fullnodes have pruned past that version.

Including the Upper Bound Event

In contrast, if we also return the upper bound event, then we can always verify the request even if the version is past the prune window and we don’t know the event_count (at event_version). The upper bound event lets us prove that there is no untransmitted event that is actually closer to the requested event_version than the lower bound.

For example, consider the case where there are three events at versions 10, 20, and 30. A client asks for the latest event at or below version 25. If we just returned the lower bound event, then a malicious server could return the event at version 10; the client would not be able to distinguish this response from the correct response without the event count (2) at version 25.

If we also return the upper bound event (the event at version 30), the client can verify that the upper bound is the next event after the lower bound and that the upper bound comes after their requested version. This proves that the lower bound is actually the latest event at or below their requested version.

Fields§

§lower_bound_incl: Option<EventWithProof>§upper_bound_excl: Option<EventWithProof>

Implementations§

source§

impl EventByVersionWithProof

source

pub fn new( lower_bound_incl: Option<EventWithProof>, upper_bound_excl: Option<EventWithProof> ) -> Self

source

pub fn verify( &self, ledger_info: &LedgerInfo, event_key: &EventKey, latest_event_count: Option<u64>, event_version: Version ) -> Result<()>

Verify that the lower_bound_incl EventWithProof is the latest event at or below the requested event_version.

The ledger_info is the client’s latest know ledger info (will be near chain HEAD if the client is synced).

The latest_event_count is the event count at the ledger_info version (not the event_version) and is needed to verify the empty event stream and version after last event cases. In some select instances (e.g. NewBlockEvents) we can determine these cases more efficiently and so this parameter is left optional.

Trait Implementations§

source§

impl Arbitrary for EventByVersionWithProof

§

type Parameters = (<Option<EventWithProof> as Arbitrary>::Parameters, <Option<EventWithProof> as Arbitrary>::Parameters)

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

type Strategy = Map<(<Option<EventWithProof> as Arbitrary>::Strategy, <Option<EventWithProof> as Arbitrary>::Strategy), fn(_: (Option<EventWithProof>, Option<EventWithProof>)) -> EventByVersionWithProof>

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

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. Read more
§

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). Read more
source§

impl Clone for EventByVersionWithProof

source§

fn clone(&self) -> EventByVersionWithProof

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for EventByVersionWithProof

source§

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

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for EventByVersionWithProof

source§

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

Deserialize this value from the given Serde deserializer. Read more
source§

impl PartialEq<EventByVersionWithProof> for EventByVersionWithProof

source§

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

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

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.
source§

impl Serialize for EventByVersionWithProof

source§

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

Serialize this value into the given Serde serializer. Read more
source§

impl Eq for EventByVersionWithProof

source§

impl StructuralEq for EventByVersionWithProof

source§

impl StructuralPartialEq for EventByVersionWithProof

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T> TestOnlyHash for Twhere T: Serialize + ?Sized,

source§

fn test_only_hash(&self) -> HashValue

Generates a hash used only for tests.
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

source§

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,