Struct VerifiedTicket

pub struct VerifiedTicket(/* private fields */);

Holds a ticket that has been already verified. This structure guarantees that Ticket::get_hash() of VerifiedTicket::verified_ticket() is always equal to VerifiedTicket::verified_hash

Implementations

impl VerifiedTicket

pub fn win_prob(&self) -> f64

Returns the verified encoded winning probability of the ticket

pub fn is_winning( &self, response: &Response, chain_keypair: &ChainKeypair, domain_separator: &Hash, ) -> bool

Checks if this ticket is considered a win. Requires access to the private key to compute the VRF values.

Computes the ticket’s luck value and compares it against the ticket’s probability. If luck <= probability, the ticket is considered a win.

Ticket luck value

This ticket’s luck value is the first 7 bytes of Keccak256 hash of the concatenation of ticket’s hash, VRF’s encoded v value, PoR response and the ticket’s signature.

Winning probability

Each ticket specifies a probability, given as an integer in [0, 2^56 - 1] where 0 -> 0% and 2^56 - 1 -> 100% win probability. If the ticket’s luck value is greater than the stated probability, it is considered a winning ticket.

pub fn get_path_position( &self, price_per_packet: U256, ) -> Result<u8, CoreTypesError>

Based on the price of this ticket, determines the path position (hop number) this ticket relates to.

This is done by first determining the amount of tokens the ticket is worth if it were a win and redeemed on-chain.

Does not support path lengths greater than 255.

pub fn verified_ticket(&self) -> &Ticket

Ticket with already verified signature.

pub fn verified_hash(&self) -> &Hash

Fixed ticket hash that is guaranteed to be equal to Ticket::get_hash of VerifiedTicket::verified_ticket.

pub fn verified_issuer(&self) -> &Address

Verified issuer of the ticket. The returned address is guaranteed to be equal to the signer recovered from the VerifiedTicket::verified_ticket’s signature.

pub fn verified_signature(&self) -> &Signature

Shorthand to retrieve reference to the verified ticket signature

pub fn leak(self) -> Ticket

Deconstructs self back into the unverified Ticket.

pub fn into_unacknowledged(self, own_key: HalfKey) -> UnacknowledgedTicket

Creates new unacknowledged ticket from the VerifiedTicket, given our own part of the PoR challenge.

pub fn into_acknowledged(self, response: Response) -> AcknowledgedTicket

Shorthand to acknowledge the ticket if the matching response is already known. This is used upon receiving an aggregated ticket.

Trait Implementations

impl Clone for VerifiedTicket

fn clone(&self) -> VerifiedTicket

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedTicket

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifiedTicket

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for VerifiedTicket

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

Formats the value using the given formatter.

impl Ord for VerifiedTicket

fn cmp(&self, other: &VerifiedTicket) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for VerifiedTicket

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for VerifiedTicket

fn partial_cmp(&self, other: &VerifiedTicket) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for VerifiedTicket

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerifiedTicket

impl StructuralPartialEq for VerifiedTicket