Struct Evidence 

pub struct Evidence<'a> {
    pub anchors: &'a [Anchor],
    pub verifier: Option<&'a dyn Verifier>,
    pub require_signatures: bool,
    pub freshness: Option<Freshness>,
}

What an auditor brought with them.

Hand-written Debug because a Verifier is a trait object with no useful rendering, and deriving would demand one.

Fields

anchors: &'a [Anchor]

Every checkpoint issued earlier, from outside this store.

All of them, and that is the point. Each is an independent observation of this log, so each is an independent constraint: the store must prove it extends every one. Holding the store to a single anchor — the largest, say — is exactly the shape an equivocating operator wants, because the fork it feeds a fresh observer is the longest history anybody holds, and the observer that saw the honest prefix is the one whose answer gets dropped.

verifier: Option<&'a dyn Verifier>

The key the records should carry.

require_signatures: bool

Whether an unsigned record is a failure.

Off by default: history written before signing was configured is legitimately unsigned, and an auditor who does not know that would read a wall of failures for a plane that is fine.

freshness: Option<Freshness>

The auditor’s clock and maximum age, against which each witness key’s latest signed timestamp is judged. None judges nothing.

Trait Implementations

impl Debug for Evidence<'_>

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

Formats the value using the given formatter.

impl<'a> Default for Evidence<'a>

fn default() -> Self

Returns the “default value” for a type.