Function format_digest 

pub fn format_digest(digest: &[u8; 32]) -> [u8; 71]

Format a 32-byte digest as a lowercase hex string with the sha256: prefix the contract format expects. Used by the case-file serializer.