Struct PotVerifier

pub struct PotVerifier { /* private fields */ }

Verifier data structure that verifies and caches results of PoT verification

Implementations

impl PotVerifier

pub fn new(genesis_seed: PotSeed, cache_size: u32) -> Self

pub fn inject_verified_checkpoints( &self, seed: PotSeed, slot_iterations: NonZeroU32, checkpoints: PotCheckpoints, )

Inject known good checkpoints into verifier

pub fn genesis_seed(&self) -> PotSeed

Get genesis seed

pub fn get_checkpoints( &self, slot_iterations: NonZeroU32, seed: PotSeed, ) -> Option<PotCheckpoints>

Try to get checkpoints for provided seed and slot iterations, returns None if proving fails internally.

pub fn try_get_checkpoints( &self, slot_iterations: NonZeroU32, seed: PotSeed, ) -> Option<PotCheckpoints>

Try to get checkpoints quickly without waiting for potentially locked mutex or proving

pub fn is_output_valid( &self, input: PotNextSlotInput, slots: Slot, output: PotOutput, maybe_parameters_change: Option<PotParametersChange>, ) -> bool

Verify sequence of proofs of time that covers slots slots starting at slot with provided initial seed.

In case maybe_parameters_change is present, it will not affect provided seed and slot_iterations, meaning if parameters change occurred at slot, provided seed and slot_iterations must already account for that.

NOTE: Potentially much slower than checkpoints, prefer Self::verify_checkpoints() whenever possible.

pub fn try_is_output_valid( &self, input: PotNextSlotInput, slots: Slot, output: PotOutput, maybe_parameters_change: Option<PotParametersChange>, ) -> bool

Does the same verification as Self::is_output_valid() except it relies on proofs being pre-validated before and will return false in case proving is necessary, this is meant to be a quick and cheap version of the function.

pub fn verify_checkpoints( &self, seed: PotSeed, slot_iterations: NonZeroU32, checkpoints: &PotCheckpoints, ) -> bool

Verify proof of time checkpoints

Trait Implementations

impl Clone for PotVerifier

fn clone(&self) -> PotVerifier

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PotVerifier

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

Formats the value using the given formatter.