Module simperby_core::verify

Structs

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

Enums

• Error

Functions

• verify_finalization_proof
  Verifies the finalization proof of the given block header.
• verify_header_to_header
  Verifies whether h2 can be the direct child of h1.