Expand description
Binding public commitment for the zero-knowledge proof journal.
The guest commits a PublicCommitment to the receipt journal so a valid
receipt is cryptographically tied to exactly one escrow settlement: an
on-chain verifier reconstructs the same bytes from its own state, checks the
seal against the pinned guest image id over sha256(journal), and releases
only on a match. The witness that satisfies the condition never enters the journal;
only the binding fields and the pass/fail outcome are public.
Structs§
- Proof
Input - The private input handed to the guest: the full escrow context plus the on-chain identifiers needed to bind the proof to a specific settlement.
- Public
Commitment - The public commitment the guest writes to the receipt journal.
Enums§
- Execution
Result - Outcome of escrow execution as committed to the public journal.