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