Struct SingletonCommitment 

pub struct SingletonCommitment<P>
where
    P: ObservablePredicate,
{
    pub predicate: P,
}

Wiki ADR-048: a single typed predicate over a UOR observable per ADR-049. bandwidth_bits = -log2(P::accept_prob()), accept_prob = P::accept_prob(), evaluate = P::evaluate(kappa_label), predicate_count = 1.

Fields

predicate: P

The wrapped typed-observable predicate.

Trait Implementations

impl<P> Clone for SingletonCommitment<P>

where P: Clone + ObservablePredicate,

fn clone(&self) -> SingletonCommitment<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P> Debug for SingletonCommitment<P>

where P: Debug + ObservablePredicate,

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

Formats the value using the given formatter.

impl<P> TypedCommitment for SingletonCommitment<P>

where P: ObservablePredicate,

fn bandwidth_bits(&self) -> f64

Bandwidth in bits the commitment encodes per κ-label. Equal to -log2(accept_prob()) by U6 per ADR-047. The architectural interpretation: each declared predicate is one bit of structural commitment in the κ-label at proportional PRF cost.

fn accept_prob(&self) -> f64

PRF acceptance probability under the random-oracle baseline. Equal to the product of per-predicate acceptances; tight per the Hardening Principle’s U1 + U2 axioms (ADR-047).

fn evaluate(&self, kappa_label: &[u8]) -> bool

Evaluate the commitment on the κ-label byte sequence. Returns true iff every underlying predicate accepts. Monomorphized per concrete C: TypedCommitment at compile time.

fn predicate_count(&self) -> usize

Number of typed predicates conjuncted in this commitment.

fn predicate_iris(&self) -> &'static [&'static str]

Names the observable:Observable IRIs this commitment evaluates, in AndCommitment-derived left-associative order. Used by the CommitmentEvaluated trace event per ADR-008 + ADR-048.

impl<P> Copy for SingletonCommitment<P>

where P: Copy + ObservablePredicate,