in src/serialization.rs [121:128]
fn test_proof_serialization_with_padding() -> Result<(), HwError> {
let bytes = sample_dummy_proof_bytes(true);
let proof = Proof::deserialize(&bytes)?;
let output = proof.serialize();
assert_eq!(bytes.to_vec(), output);
Ok(())
}