Struct WordIntegerMulSecurityModel 

pub struct WordIntegerMulSecurityModel { /* private fields */ }

Checked dimensions of one full-width unsigned multiplication reduction.

Implementations

impl WordIntegerMulSecurityModel

pub const fn new( field_bits: usize, row_variables: usize, bit_variables: usize, ) -> Option<Self>

Creates a model when the challenge field has a nonzero security width.

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

Returns each algebraic error source for diagnostic reporting.

pub fn combined_term(self) -> SecurityTerm

Returns the union bound used by an enclosing proof system.

Trait Implementations

impl Clone for WordIntegerMulSecurityModel

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 WordIntegerMulSecurityModel

impl Debug for WordIntegerMulSecurityModel

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

Formats the value using the given formatter.

impl Eq for WordIntegerMulSecurityModel

impl PartialEq for WordIntegerMulSecurityModel

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WordIntegerMulSecurityModel