pub struct WordShiftSecurityModel { /* private fields */ }Expand description
Checked dimensions of one word shift reduction.
Implementations§
Source§impl WordShiftSecurityModel
impl WordShiftSecurityModel
Sourcepub const fn new(
field_bits: usize,
batching_variables: usize,
sumcheck_rounds: usize,
) -> Option<Self>
pub const fn new( field_bits: usize, batching_variables: usize, sumcheck_rounds: usize, ) -> Option<Self>
Creates a model when the challenge field has a nonzero security width.
Sourcepub fn components(self) -> Vec<SecurityTerm>
pub fn components(self) -> Vec<SecurityTerm>
Returns each algebraic error source for diagnostic reporting.
Sourcepub fn combined_term(self) -> SecurityTerm
pub fn combined_term(self) -> SecurityTerm
Returns the union bound used by an enclosing proof system.
Trait Implementations§
Source§impl Clone for WordShiftSecurityModel
impl Clone for WordShiftSecurityModel
impl Copy for WordShiftSecurityModel
Source§impl Debug for WordShiftSecurityModel
impl Debug for WordShiftSecurityModel
impl Eq for WordShiftSecurityModel
Source§impl PartialEq for WordShiftSecurityModel
impl PartialEq for WordShiftSecurityModel
impl StructuralPartialEq for WordShiftSecurityModel
Auto Trait Implementations§
impl Freeze for WordShiftSecurityModel
impl RefUnwindSafe for WordShiftSecurityModel
impl Send for WordShiftSecurityModel
impl Sync for WordShiftSecurityModel
impl Unpin for WordShiftSecurityModel
impl UnsafeUnpin for WordShiftSecurityModel
impl UnwindSafe for WordShiftSecurityModel
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more