pub struct InstanceShape {
pub log_trace_length: usize,
pub modulus_bits: usize,
pub collision_resistance: usize,
pub num_batched_functions: usize,
}Expand description
Per-instance shape data not in the protocol params.
Fields§
§log_trace_length: usize§modulus_bits: usizeBit-length of the field FRI/WHIR operates over (typically the extension field).
collision_resistance: usizeCollision resistance of the commitment hash, in bits.
num_batched_functions: usizeNumber of committed codewords random-linear-combined into a single
low-degree-test instance (trace segments, quotient chunks, …). 1
means no batching. Read by the batched-openings proximity term in
crate::stark::proven_security_report.
Trait Implementations§
Source§impl Clone for InstanceShape
impl Clone for InstanceShape
impl Copy for InstanceShape
Auto Trait Implementations§
impl Freeze for InstanceShape
impl RefUnwindSafe for InstanceShape
impl Send for InstanceShape
impl Sync for InstanceShape
impl Unpin for InstanceShape
impl UnsafeUnpin for InstanceShape
impl UnwindSafe for InstanceShape
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