Function write_exact_retrieval_proof 

pub fn write_exact_retrieval_proof(
    path: impl AsRef<Path>,
    proof: &ExactRetrievalProof,
) -> Result<(), RetrievalProofError>

Writes a canonical exact-retrieval proof to a new synchronized file.

Existing paths are never replaced.

Errors

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