pub struct LookupGroupMeta {
pub table_type: LookupTableType,
pub num_columns: usize,
pub witness_len: usize,
pub witness_sources: Vec<LookupWitnessSource>,
}Expand description
Per-group metadata stored in the proof so the verifier can reconstruct tables and column layout without being passed the original lookup specs.
Fields§
§table_type: LookupTableTypeTable type for this group (determines subtable generation).
num_columns: usizeNumber of witness columns batched into this group (L).
witness_len: usizeNumber of rows in each witness vector (trace length).
witness_sources: Vec<LookupWitnessSource>Per-witness source descriptors.
Trait Implementations§
Source§impl Clone for LookupGroupMeta
impl Clone for LookupGroupMeta
Source§fn clone(&self) -> LookupGroupMeta
fn clone(&self) -> LookupGroupMeta
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for LookupGroupMeta
impl Debug for LookupGroupMeta
Source§impl PartialEq for LookupGroupMeta
impl PartialEq for LookupGroupMeta
impl Eq for LookupGroupMeta
impl StructuralPartialEq for LookupGroupMeta
Auto Trait Implementations§
impl Freeze for LookupGroupMeta
impl RefUnwindSafe for LookupGroupMeta
impl Send for LookupGroupMeta
impl Sync for LookupGroupMeta
impl Unpin for LookupGroupMeta
impl UnsafeUnpin for LookupGroupMeta
impl UnwindSafe for LookupGroupMeta
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> 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