Module conversion 

Functions

decode_proposed_batch

Decodes and structurally validates a proposed batch, including transaction proof verification.

decode_proven_batch

Decodes a proven batch and checks every public field duplicated from its proposal.

decode_standalone_proven_batch

Decodes a proven batch without a proposal and validates every invariant available from the transmitted fields. Cryptographic proof verification remains a service-boundary concern.