pub struct WhirSoundnessCalculator {
pub mu_batching_bits: f64,
pub fold_rbr_bits: f64,
pub proximity_gaps_bits: f64,
pub sumcheck_bits: f64,
pub ood_rbr_bits: f64,
pub shift_rbr_bits: f64,
pub query_bits: f64,
pub gamma_batching_bits: f64,
}Expand description
WHIR soundness breakdown by error source.
Fields§
§mu_batching_bits: f64Security bits from μ batching (initial polynomial batching).
fold_rbr_bits: f64Minimum round-by-round security bits across folding rounds, i.e. ε_fold.
proximity_gaps_bits: f64Security bits from proximity gaps (folding soundness).
sumcheck_bits: f64Security bits from sumcheck within WHIR rounds.
ood_rbr_bits: f64Security bits from out-of-domain sampling.
shift_rbr_bits: f64Minimum round-by-round security bits across shift/final rounds, i.e. ε_shift / ε_fin.
query_bits: f64Security bits from query sampling.
gamma_batching_bits: f64Security bits from γ batching (combining query and OOD claims).
Trait Implementations§
Source§impl Clone for WhirSoundnessCalculator
impl Clone for WhirSoundnessCalculator
Source§fn clone(&self) -> WhirSoundnessCalculator
fn clone(&self) -> WhirSoundnessCalculator
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for WhirSoundnessCalculator
impl RefUnwindSafe for WhirSoundnessCalculator
impl Send for WhirSoundnessCalculator
impl Sync for WhirSoundnessCalculator
impl Unpin for WhirSoundnessCalculator
impl UnsafeUnpin for WhirSoundnessCalculator
impl UnwindSafe for WhirSoundnessCalculator
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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