Struct Receipt 

pub struct Receipt {
    pub asof: String,
    pub cell: Cell,
    pub computed_by: String,
    pub inputs: Vec<String>,
    pub issued: String,
    pub licence: String,
    pub publisher: String,
    pub sig: String,
    pub summary: String,
    pub tx: String,
    pub value: Scalar,
    pub valid: Args,
    /* private fields */
}

A receipt (8.1) that has passed verification steps 1-4: strict JSON, structure, canonical form and consistency. Its signature has not been checked; use crate::verify.

Fields

asof: String

The transaction time answered as of.

cell: Cell

The cell answered (no slices).

computed_by: String

<host>#<key id> of the signing key.

inputs: Vec<String>

Receipt hashes of the inputs, ascending.

issued: String

When the receipt was signed.

licence: String

An SPDX identifier or an https URL.

publisher: String

The namespace that owns the function; equals cell.ns.

sig: String

The Ed25519 signature, 128 lowercase hex digits.

summary: String

One human sentence.

tx: String

When the value was recorded.

value: Scalar

The value, typed.

valid: Args

The valid-time arguments, echoed from cell.args.

Implementations

impl Receipt

pub fn from_json(bytes: &[u8]) -> Result<Receipt>

Parses a receipt and runs verification steps 1-4 (10.1).

pub fn from_value(v: &Value) -> Result<Receipt>

Runs verification steps 2-4 on a parsed JSON value.

pub fn payload(&self) -> &[u8]

The signed payload: canonical bytes of the receipt without sig (8.3).

pub fn hash(&self) -> String

The receipt hash: SHA-256 of the payload, lowercase hex (8.3).

pub fn ty(&self) -> Type

The value’s type.

pub fn signer_host(&self) -> &str

The host of computed_by.

pub fn key_id(&self) -> &str

The key id of computed_by.

Trait Implementations

impl Clone for Receipt

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Receipt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Receipt

impl Hash for Receipt

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Receipt

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Receipt