Struct SecurityTerm 

pub struct SecurityTerm {
    pub label: &'static str,
    pub component: Option<&'static str>,
    pub bits: ErrorBits,
}

A single named soundness contribution, in −log2(error) bits.

The label names the error source, and the crate charging it picks the name.

A protocol composing two instances of one scheme sees that label twice.

Naming the instance is what the component is for.

Fields

label: &'static str

Error source this term charges.

component: Option<&'static str>

Which of the composing protocol’s parts charged it, when there is a choice.

bits: ErrorBits

The bound itself, in −log2(error) bits.

Implementations

impl SecurityTerm

pub const fn new(label: &'static str, bits: ErrorBits) -> Self

A term charged by whatever crate owns the error source.

The composing protocol is the only side that can name a component, so this leaves none.

pub const fn in_component(self, component: &'static str) -> Self

The same term, attributed to one part of the composing protocol.

pub fn over_candidates(self, candidates: CandidateSet) -> Self

The same term, charged over every candidate a commitment still leaves open.

A draw made before one candidate is named gives a prover one try per candidate.

Subtracting the log of the set size is the union bound over those tries.

This is the workspace’s only implementation of that charge.

The set is passed by value and comes back unspent, so the layer above charges it too.

Trait Implementations

impl Clone for SecurityTerm

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SecurityTerm

impl Debug for SecurityTerm

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

Formats the value using the given formatter.

impl PartialEq for SecurityTerm

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SecurityTerm

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 SecurityTerm