Struct WordProofSecurityModel 

pub struct WordProofSecurityModel { /* private fields */ }

Checked dimensions of one complete word-level relation proof.

Implementations

impl WordProofSecurityModel

pub fn new( field_bits: usize, relation_families: usize, zerocheck_variables: usize, zerocheck_degree: usize, integer_mul: Option<WordIntegerMulSecurityModel>, shift: WordShiftSecurityModel, commitment: Vec<SecurityTerm>, log2_candidates: f64, ) -> Option<Self>

Creates a model when every sampled experiment has a well-formed shape.

The width argument is a lower bound on the base-two logarithm of the challenge-field order.

Every batching, vanishing, and reduction challenge must be drawn from that same field.

The last two arguments both come from the commitment.

They are what it charges, and how many candidates it still leaves open.

A statement without multiplication relations passes no multiplication model.

pub fn components(&self) -> Vec<SecurityTerm>

Returns each algebraic error source for diagnostic reporting.

pub fn combined_term(&self) -> SecurityTerm

Returns the union bound over every experiment the proof runs.

Trait Implementations

impl Clone for WordProofSecurityModel

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 WordProofSecurityModel

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

Formats the value using the given formatter.

impl PartialEq for WordProofSecurityModel

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WordProofSecurityModel