Function read_result_proof 

pub fn read_result_proof(
    path: impl AsRef<Path>,
    maximum_bytes: u64,
) -> Result<ResultProof, ProofError>

Reads and verifies one canonical result-proof file under a byte limit.

Errors

Returns an I/O, resource-limit, framing, canonicality, checksum, or digest error.