Function write_result_proof 

pub fn write_result_proof(
    path: impl AsRef<Path>,
    proof: &ResultProof,
) -> Result<(), ProofError>

Writes a canonical result proof to a new file and synchronizes it.

Existing paths are never replaced.

Errors

Returns a proof encoding, path, create, write, or synchronization error.