Module verifier 

ligerito proof verification with continuity checking

wire format (combined proof): [epoch_full_size: u32][epoch_full][tip_full] where each full proof is: [public_outputs_len: u32][public_outputs (bincode)][log_size: u8][ligerito_proof (bincode)]

Structs

ChainVerifyResult

result of chain verification across multiple proof segments

ProofPublicOutputs

public outputs embedded in each proof

VerifyResult

result of proof verification

Functions

verify_chain

verify a chain of proof segments with continuity checking.

verify_proofs

verify combined epoch proof + tip proof with continuity checking

verify_proofs_full

full verification with detailed result

verify_tip

verify just tip proof (for incremental sync) tip_proof is a full proof: [public_outputs_len][public_outputs][log_size][proof]