Struct CommitSequenceVerifier

pub struct CommitSequenceVerifier { /* private fields */ }

Verifies whether the given sequence of commits can be a partial sequence of a valid finalized chain.

It may accept sequences that contain more than one BlockHeader.

Implementations

impl CommitSequenceVerifier

pub fn new( start_header: BlockHeader, reserved_state: ReservedState, ) -> Result<Self, Error>

Creates a new CommitSequenceVerifier with the given block header.

pub fn get_header(&self) -> &BlockHeader

pub fn get_total_commits(&self) -> &[Commit]

Returns the commits received so far.

pub fn get_reserved_state(&self) -> &ReservedState

pub fn get_block_headers(&self) -> Vec<(BlockHeader, usize)>

Returns the block headers received so far, with the index of the commit.

It returns [start_header] if no block header has been received.

pub fn verify_last_header_finalization( &self, proof: &FinalizationProof, ) -> Result<(), Error>

Verifies finalization of the last header with the given proof.

Note that due to the nature of the finalization proof (included in the next block) there is always an unverified last header (which may even not be the last commit).

pub fn verify_reserved_state(&self, rs: &ReservedState) -> Result<(), Error>

Verifies whether the given reserved state is valid from the current state.

pub fn apply_commit(&mut self, commit: &Commit) -> Result<(), Error>

Verifies the given commit and updates the internal reserved_state of CommitSequenceVerifier.

Trait Implementations

impl Clone for CommitSequenceVerifier

fn clone(&self) -> CommitSequenceVerifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommitSequenceVerifier

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

Formats the value using the given formatter.