Module proof 

Canonical snapshot-witness result proofs and offline verification.

Structs

ProofAnchor

Snapshot and log checkpoint identity trusted by one result proof.

ResultProof

Canonical result proof with an embedded request and result.

ResultProofArtifact

Newly created proof and the local canonical snapshot witness it references.

VerificationLimits

Resource limits for complete offline result verification.

VerificationReport

Successful offline verification evidence.

Enums

ProofError

Failure while encoding, reading, or verifying a result proof.

ProvenOperation

Durable operation embedded in a result proof.

ProvenResult

Complete logical result embedded in a result proof.

Constants

MAX_RESULT_PROOF_BYTES

Hard maximum canonical proof file length.

RESULT_PROOF_FORMAT_VERSION

Version of the canonical result-proof envelope.

Functions

read_result_proof

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

verify_result_proof

Verifies a result proof completely offline against a trusted anchor and canonical snapshot witness.

write_result_proof

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