Function decode_proven_batch 

pub fn decode_proven_batch(
    value: ProvenBatch,
    proposed: &ProposedBatch,
) -> Result<ProvenBatch, ConversionError>

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