Struct SymbolicRapBuilder

pub struct SymbolicRapBuilder<F> { /* private fields */ }

An AirBuilder for evaluating constraints symbolically, and recording them for later use.

Implementations

impl<F: Field> SymbolicRapBuilder<F>

pub fn constraints(self) -> SymbolicConstraints<F>

pub fn params(&self) -> StarkVerifyingParams

pub fn width(&self) -> TraceWidth

pub fn num_exposed_values_after_challenge(&self) -> Vec<usize>

pub fn num_challenges_to_sample(&self) -> Vec<usize>

Trait Implementations

impl<F: Field> AirBuilder for SymbolicRapBuilder<F>

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

It is difficult to horizontally concatenate matrices when the main trace is partitioned, so we disable this method in that case.

type F = F

type Expr = SymbolicExpression<<SymbolicRapBuilder<F> as AirBuilder>::F>

type Var = SymbolicVariable<<SymbolicRapBuilder<F> as AirBuilder>::F>

type M = DenseMatrix<<SymbolicRapBuilder<F> as AirBuilder>::Var>

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

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

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

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

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

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>

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

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

where I: Into<Self::Expr>,

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

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

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<F: Field> AirBuilderWithPublicValues for SymbolicRapBuilder<F>

type PublicVar = SymbolicVariable<F>

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

impl<F: Debug> Debug for SymbolicRapBuilder<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field> ExtensionBuilder for SymbolicRapBuilder<F>

type EF = F

type ExprEF = SymbolicExpression<F>

type VarEF = SymbolicVariable<F>

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

where I: Into<Self::ExprEF>,

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

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

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

where I: Into<Self::ExprEF>,

impl<F: Field> InteractionBuilder for SymbolicRapBuilder<F>

fn push_interaction<E: Into<Self::Expr>>( &mut self, bus_index: usize, fields: impl IntoIterator<Item = E>, count: impl Into<Self::Expr>, interaction_type: InteractionType, )

Stores a new interaction in the builder.

fn num_interactions(&self) -> usize

Returns the current number of interactions.

fn all_interactions(&self) -> &[Interaction<Self::Expr>]

Returns all interactions stored.

fn push_send<E: Into<Self::Expr>>( &mut self, bus_index: usize, fields: impl IntoIterator<Item = E>, count: impl Into<Self::Expr>, )

Stores a new send interaction in the builder.

fn push_receive<E: Into<Self::Expr>>( &mut self, bus_index: usize, fields: impl IntoIterator<Item = E>, count: impl Into<Self::Expr>, )

Stores a new receive interaction in the builder.

impl<F: Field> PairBuilder for SymbolicRapBuilder<F>

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

impl<F: Field> PartitionedAirBuilder for SymbolicRapBuilder<F>

fn cached_mains(&self) -> &[Self::M]

Cached main trace matrix.

fn common_main(&self) -> &Self::M

Common main trace matrix. Panic if there is no common main trace.

impl<F: Field> PermutationAirBuilder for SymbolicRapBuilder<F>

type MP = DenseMatrix<<SymbolicRapBuilder<F> as ExtensionBuilder>::VarEF>

type RandomVar = SymbolicVariable<F>

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

fn permutation_randomness(&self) -> &[Self::RandomVar]

impl<F: Field> PermutationAirBuilderWithExposedValues for SymbolicRapBuilder<F>

fn permutation_exposed_values(&self) -> &[Self::VarEF]