struct LookupContext<G, F>where
G: CommitmentCurve,
F: FftField,{Show 19 fields
joint_combiner: Option<F>,
table_id_combiner: Option<F>,
dummy_lookup_value: Option<F>,
joint_lookup_table: Option<DensePolynomial<F>>,
joint_lookup_table_d8: Option<Evaluations<F, Radix2EvaluationDomain<F>>>,
sorted: Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>,
sorted_coeffs: Option<Vec<DensePolynomial<F>>>,
sorted_comms: Option<Vec<BlindedCommitment<G>>>,
sorted8: Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>,
aggreg_coeffs: Option<DensePolynomial<F>>,
aggreg_comm: Option<BlindedCommitment<G>>,
aggreg8: Option<Evaluations<F, Radix2EvaluationDomain<F>>>,
pub lookup_aggregation_eval: Option<PointEvaluations<Vec<F>>>,
pub lookup_table_eval: Option<PointEvaluations<Vec<F>>>,
pub lookup_sorted_eval: [Option<PointEvaluations<Vec<F>>>; 5],
pub runtime_lookup_table_eval: Option<PointEvaluations<Vec<F>>>,
runtime_table: Option<DensePolynomial<F>>,
runtime_table_d8: Option<Evaluations<F, Radix2EvaluationDomain<F>>>,
runtime_table_comm: Option<BlindedCommitment<G>>,
}Expand description
Contains variables needed for lookup in the prover algorithm.
Fields§
§joint_combiner: Option<F>The joint combiner used to join the columns of lookup tables
table_id_combiner: Option<F>The power of the joint_combiner that can be used to add a table_id column to the concatenated lookup tables.
dummy_lookup_value: Option<F>The combined lookup entry that can be used as dummy value
joint_lookup_table: Option<DensePolynomial<F>>The combined lookup table
joint_lookup_table_d8: Option<Evaluations<F, Radix2EvaluationDomain<F>>>§sorted: Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>The sorted polynomials s in different forms
sorted_coeffs: Option<Vec<DensePolynomial<F>>>§sorted_comms: Option<Vec<BlindedCommitment<G>>>§sorted8: Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>§aggreg_coeffs: Option<DensePolynomial<F>>The aggregation polynomial in different forms
aggreg_comm: Option<BlindedCommitment<G>>§aggreg8: Option<Evaluations<F, Radix2EvaluationDomain<F>>>§lookup_aggregation_eval: Option<PointEvaluations<Vec<F>>>evaluation of lookup aggregation polynomial
lookup_table_eval: Option<PointEvaluations<Vec<F>>>evaluation of lookup table polynomial
lookup_sorted_eval: [Option<PointEvaluations<Vec<F>>>; 5]evaluation of lookup sorted polynomials
runtime_lookup_table_eval: Option<PointEvaluations<Vec<F>>>evaluation of runtime lookup table polynomial
runtime_table: Option<DensePolynomial<F>>Runtime table
runtime_table_d8: Option<Evaluations<F, Radix2EvaluationDomain<F>>>§runtime_table_comm: Option<BlindedCommitment<G>>Trait Implementations§
Source§impl<G, F> Default for LookupContext<G, F>
impl<G, F> Default for LookupContext<G, F>
Source§fn default() -> LookupContext<G, F>
fn default() -> LookupContext<G, F>
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl<G, F> Freeze for LookupContext<G, F>where
Option<F>: Freeze,
Option<DensePolynomial<F>>: Freeze,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: Freeze,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: Freeze,
Option<Vec<DensePolynomial<F>>>: Freeze,
Option<Vec<BlindedCommitment<G>>>: Freeze,
Option<BlindedCommitment<G>>: Freeze,
Option<PointEvaluations<Vec<F>>>: Freeze,
[Option<PointEvaluations<Vec<F>>>; 5]: Freeze,
impl<G, F> RefUnwindSafe for LookupContext<G, F>where
Option<F>: RefUnwindSafe,
Option<DensePolynomial<F>>: RefUnwindSafe,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: RefUnwindSafe,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: RefUnwindSafe,
Option<Vec<DensePolynomial<F>>>: RefUnwindSafe,
Option<Vec<BlindedCommitment<G>>>: RefUnwindSafe,
Option<BlindedCommitment<G>>: RefUnwindSafe,
Option<PointEvaluations<Vec<F>>>: RefUnwindSafe,
[Option<PointEvaluations<Vec<F>>>; 5]: RefUnwindSafe,
impl<G, F> Send for LookupContext<G, F>where
Option<F>: Send,
Option<DensePolynomial<F>>: Send,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: Send,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: Send,
Option<Vec<DensePolynomial<F>>>: Send,
Option<Vec<BlindedCommitment<G>>>: Send,
Option<BlindedCommitment<G>>: Send,
Option<PointEvaluations<Vec<F>>>: Send,
[Option<PointEvaluations<Vec<F>>>; 5]: Send,
impl<G, F> Sync for LookupContext<G, F>where
Option<F>: Sync,
Option<DensePolynomial<F>>: Sync,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: Sync,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: Sync,
Option<Vec<DensePolynomial<F>>>: Sync,
Option<Vec<BlindedCommitment<G>>>: Sync,
Option<BlindedCommitment<G>>: Sync,
Option<PointEvaluations<Vec<F>>>: Sync,
[Option<PointEvaluations<Vec<F>>>; 5]: Sync,
impl<G, F> Unpin for LookupContext<G, F>where
Option<F>: Unpin,
Option<DensePolynomial<F>>: Unpin,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: Unpin,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: Unpin,
Option<Vec<DensePolynomial<F>>>: Unpin,
Option<Vec<BlindedCommitment<G>>>: Unpin,
Option<BlindedCommitment<G>>: Unpin,
Option<PointEvaluations<Vec<F>>>: Unpin,
[Option<PointEvaluations<Vec<F>>>; 5]: Unpin,
impl<G, F> UnsafeUnpin for LookupContext<G, F>where
Option<F>: UnsafeUnpin,
Option<DensePolynomial<F>>: UnsafeUnpin,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: UnsafeUnpin,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: UnsafeUnpin,
Option<Vec<DensePolynomial<F>>>: UnsafeUnpin,
Option<Vec<BlindedCommitment<G>>>: UnsafeUnpin,
Option<BlindedCommitment<G>>: UnsafeUnpin,
Option<PointEvaluations<Vec<F>>>: UnsafeUnpin,
[Option<PointEvaluations<Vec<F>>>; 5]: UnsafeUnpin,
impl<G, F> UnwindSafe for LookupContext<G, F>where
Option<F>: UnwindSafe,
Option<DensePolynomial<F>>: UnwindSafe,
Option<Evaluations<F, Radix2EvaluationDomain<F>>>: UnwindSafe,
Option<Vec<Evaluations<F, Radix2EvaluationDomain<F>>>>: UnwindSafe,
Option<Vec<DensePolynomial<F>>>: UnwindSafe,
Option<Vec<BlindedCommitment<G>>>: UnwindSafe,
Option<BlindedCommitment<G>>: UnwindSafe,
Option<PointEvaluations<Vec<F>>>: UnwindSafe,
[Option<PointEvaluations<Vec<F>>>; 5]: UnwindSafe,
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