pub struct MultilinearLookupParams {
pub num_variables: usize,
pub num_fractions: usize,
pub max_message_width: usize,
}Expand description
Exact tuple count and padded GKR shape derived from the lookup plan.
Fields§
§num_variables: usizeArity of the padded fraction tables, hence number of GKR layers.
num_fractions: usizeSum of tuple counts times their respective trace heights, excluding padding.
max_message_width: usizeLargest payload width; the next power is reserved for the bus identifier.
Trait Implementations§
Source§impl Clone for MultilinearLookupParams
impl Clone for MultilinearLookupParams
impl Copy for MultilinearLookupParams
Auto Trait Implementations§
impl Freeze for MultilinearLookupParams
impl RefUnwindSafe for MultilinearLookupParams
impl Send for MultilinearLookupParams
impl Sync for MultilinearLookupParams
impl Unpin for MultilinearLookupParams
impl UnsafeUnpin for MultilinearLookupParams
impl UnwindSafe for MultilinearLookupParams
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