Trait ReceiptPolicy 

pub trait ReceiptPolicy<E> {
    type Receipt;

    // Required method
    fn receipt(evidence: E) -> Self::Receipt;
}

Creates deterministic evidence for bounded machine work.

For example, a WebAssembly audit profile or a Forth tracer can supply it.

Required Associated Types

type Receipt

Consumer-defined receipt.

Required Methods

fn receipt(evidence: E) -> Self::Receipt

Records exact work from ordered execution evidence.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors