Struct EvidenceLedger 

pub struct EvidenceLedger { /* private fields */ }

Implementations

impl EvidenceLedger

pub fn new() -> Self

pub fn without_semantic_witnesses(self) -> Self

Build a ledger that does not record semantic witnesses. Used by the public arithmetic convenience methods that discard their ledger, so the AACE witness fingerprint (a sha256 over the index) is not computed when nothing will read it. Observable operation output is unaffected.

pub fn records_semantic_witnesses(&self) -> bool

Whether this ledger records AACE semantic witnesses (default true).

pub fn push(&mut self, record: DecisionRecord)

pub fn push_semantic_witness(&mut self, record: SemanticWitnessRecord)

pub fn records(&self) -> &[DecisionRecord]

pub fn semantic_witnesses(&self) -> &[SemanticWitnessRecord]

Trait Implementations

impl Clone for EvidenceLedger

fn clone(&self) -> EvidenceLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceLedger

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

Formats the value using the given formatter.

impl Default for EvidenceLedger

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for EvidenceLedger

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EvidenceLedger

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EvidenceLedger

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for EvidenceLedger