Module verifier 

ligerito proof verification with continuity checking

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

Structs

ProofPublicOutputs

public outputs embedded in each proof

VerifyResult

result of proof verification

Functions

verify_proofs

verify combined gigaproof + tip proof with continuity checking

verify_proofs_full

full verification with detailed result

verify_tip

verify just tip proof (for incremental sync)