Struct ProverConstraintFolderWithLookups 

pub struct ProverConstraintFolderWithLookups<'a, SC: StarkGenericConfig> {
    pub inner: ProverConstraintFolder<'a, SC>,
    pub permutation: RowMajorMatrixView<'a, PackedChallenge<SC>>,
    pub permutation_challenges: &'a [PackedChallenge<SC>],
    pub permutation_values: &'a [PackedChallenge<SC>],
}

Fields

inner: ProverConstraintFolder<'a, SC>

permutation: RowMajorMatrixView<'a, PackedChallenge<SC>>

permutation_challenges: &'a [PackedChallenge<SC>]

permutation_values: &'a [PackedChallenge<SC>]

Trait Implementations

impl<'a, SC: StarkGenericConfig> AirBuilder for ProverConstraintFolderWithLookups<'a, SC>

type F = <<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val

Underlying field type.

type Expr = <<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val as Field>::Packing

Serves as the output type for an AIR constraint evaluation.

type Var = <<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val as Field>::Packing

The type of the variable appearing in the trace matrix.

type PreprocessedWindow = RowWindow<'a, <<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val as Field>::Packing>

Two-row window over the preprocessed trace columns.

type MainWindow = RowWindow<'a, <<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val as Field>::Packing>

Two-row window over the main trace columns.

type PublicVar = <<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val

Variable type for public values.

fn main(&self) -> Self::MainWindow

Return the current and next row slices of the main (primary) trace.

fn preprocessed(&self) -> &Self::PreprocessedWindow

Return the preprocessed registers as a two-row window.

fn is_first_row(&self) -> Self::Expr

Expression evaluating to a non-zero value only on the first row.

fn is_last_row(&self) -> Self::Expr

Expression evaluating to a non-zero value only on the last row.

fn is_transition_window(&self, size: usize) -> Self::Expr

Expression evaluating to zero only on the last size - 1 rows.

fn assert_zero<I: Into<Self::Expr>>(&mut self, x: I)

Assert that the given element is zero.

fn assert_zeros<const N: usize, I: Into<Self::Expr>>(&mut self, array: [I; N])

Assert that every element of a given array is 0.

fn public_values(&self) -> &[Self::PublicVar]

Public input values available during constraint evaluation.

fn is_transition(&self) -> Self::Expr

Expression evaluating to zero only on the last row.

fn when<I>(&mut self, condition: I) -> FilteredAirBuilder<'_, Self>

where I: Into<Self::Expr>,

Returns a sub-builder whose constraints are enforced only when condition is nonzero.

fn when_ne<I1, I2>(&mut self, x: I1, y: I2) -> FilteredAirBuilder<'_, Self>

where I1: Into<Self::Expr>, I2: Into<Self::Expr>,

Returns a sub-builder whose constraints are enforced only when x != y.

fn when_first_row(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only on the first row.

fn when_last_row(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only on the last row.

fn when_transition(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced on all rows except the last.

fn when_transition_window( &mut self, size: usize, ) -> FilteredAirBuilder<'_, Self>

Like when_transition, but requires a window of size rows.

fn assert_bools<const N: usize, I>(&mut self, array: [I; N])

where I: Into<Self::Expr>,

Assert that a given array consists of only boolean values.

fn assert_one<I>(&mut self, x: I)

where I: Into<Self::Expr>,

Assert that x element is equal to 1.

fn assert_eq<I1, I2>(&mut self, x: I1, y: I2)

where I1: Into<Self::Expr>, I2: Into<Self::Expr>,

Assert that the given elements are equal.

fn assert_bool<I>(&mut self, x: I)

where I: Into<Self::Expr>,

Assert that x is a boolean, i.e. either 0 or 1.

impl<SC: StarkGenericConfig> ExtensionBuilder for ProverConstraintFolderWithLookups<'_, SC>

type EF = <SC as StarkGenericConfig>::Challenge

Extension field type.

type ExprEF = <<SC as StarkGenericConfig>::Challenge as ExtensionField<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>::ExtensionPacking

Expression type over extension field elements.

type VarEF = <<SC as StarkGenericConfig>::Challenge as ExtensionField<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>::ExtensionPacking

Variable type over extension field elements.

fn assert_zero_ext<I>(&mut self, x: I)

where I: Into<Self::ExprEF>,

Assert that an extension field expression is zero.

fn assert_eq_ext<I1, I2>(&mut self, x: I1, y: I2)

where I1: Into<Self::ExprEF>, I2: Into<Self::ExprEF>,

Assert that two extension field expressions are equal.

fn assert_one_ext<I>(&mut self, x: I)

where I: Into<Self::ExprEF>,

Assert that an extension field expression is equal to one.

impl<'a, SC: StarkGenericConfig> PermutationAirBuilder for ProverConstraintFolderWithLookups<'a, SC>

type RandomVar = <<SC as StarkGenericConfig>::Challenge as ExtensionField<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>::ExtensionPacking

Randomness variable type used in permutation commitments.

type MP = RowWindow<'a, <<SC as StarkGenericConfig>::Challenge as ExtensionField<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>::ExtensionPacking>

Two-row window over the permutation trace columns.

type PermutationVar = <<SC as StarkGenericConfig>::Challenge as ExtensionField<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>::ExtensionPacking

Value type for expected cumulated values used in global lookup arguments.

fn permutation(&self) -> Self::MP

Return the current and next row slices of the permutation trace.

fn permutation_randomness(&self) -> &[PackedChallenge<SC>]

Return the list of randomness values for permutation argument.

fn permutation_values(&self) -> &[PackedChallenge<SC>]

Return the expected cumulated values for global lookup arguments.