Module 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.