Module execution_proof 

Proof of execution for content-addressed functions.

An execution proof attests that a specific function (identified by content hash) was executed with specific arguments and produced a specific result.

Structs

ExecutionProof

A cryptographic proof that a function was executed with given inputs producing given outputs.

ExecutionProofBuilder

Builder for constructing execution proofs during function execution.

ProofRegistry

Registry of execution proofs, indexed by function hash.

Enums

VerificationResult

Result of verifying an execution proof.

Functions

hash_bytes

Compute SHA-256 of arbitrary bytes, returning a 32-byte array.