Struct FieldExpr 

pub struct FieldExpr {
    pub builder: ExprBuilder,
    pub check_carry_mod_to_zero: CheckCarryModToZeroSubAir,
    pub range_bus: VariableRangeCheckerBus,
    pub setup_values: Vec<BigUint>,
}

Fields

builder: ExprBuilder

check_carry_mod_to_zero: CheckCarryModToZeroSubAir

range_bus: VariableRangeCheckerBus

setup_values: Vec<BigUint>

Implementations

impl FieldExpr

pub fn new( builder: ExprBuilder, range_bus: VariableRangeCheckerBus, needs_setup: bool, ) -> Self

pub fn new_with_setup_values( builder: ExprBuilder, range_bus: VariableRangeCheckerBus, needs_setup: bool, setup_values: Vec<BigUint>, ) -> Self

pub fn num_inputs(&self) -> usize

pub fn num_vars(&self) -> usize

pub fn num_flags(&self) -> usize

pub fn output_indices(&self) -> &[usize]

impl FieldExpr

pub fn canonical_num_limbs(&self) -> usize

pub fn canonical_limb_bits(&self) -> usize

pub fn execute(&self, inputs: Vec<BigUint>, flags: Vec<bool>) -> Vec<BigUint>

pub fn execute_with_output( &self, inputs: Vec<BigUint>, flags: Vec<bool>, ) -> Vec<BigUint>

pub fn load_vars<T: Clone>(&self, arr: &[T]) -> FieldExprCols<T>

Methods from Deref<Target = ExprBuilder>

pub fn is_finalized(&self) -> bool

pub fn needs_setup(&self) -> bool

pub fn proper_max(&self) -> &BigUint

Returns proper_max = 2^{num_limbs * limb_bits} - 1 as a precomputed value. Any proper representation of a positive big integer using num_limbs limbs with limb_bits bits each will be <= proper_max.

Trait Implementations

impl<AB: InteractionBuilder> Air<AB> for FieldExpr

fn eval(&self, builder: &mut AB)

impl<F: Field> BaseAir<F> for FieldExpr

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>

impl<F: Field> BaseAirWithPublicValues<F> for FieldExpr

fn num_public_values(&self) -> usize

impl Clone for FieldExpr

fn clone(&self) -> FieldExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Deref for FieldExpr

type Target = ExprBuilder

The resulting type after dereferencing.

fn deref(&self) -> &ExprBuilder

Dereferences the value.

impl<F: Field> PartitionedBaseAir<F> for FieldExpr

fn cached_main_widths(&self) -> Vec<usize>

By default, an AIR has no cached main trace.

fn common_main_width(&self) -> usize

By default, an AIR has only one private main trace.

impl<AB: InteractionBuilder> SubAir<AB> for FieldExpr

type AirContext<'a> = &'a [<AB as AirBuilder>::Var] where AB: 'a, AB::Var: 'a, AB::Expr: 'a

The sub-row slice owned by the expression builder.

fn eval<'a>(&'a self, builder: &'a mut AB, local: &'a [AB::Var])

where AB::Var: 'a, AB::Expr: 'a,

impl<F: PrimeField64> TraceSubRowGenerator<F> for FieldExpr

type TraceContext<'a> = (&'a VariableRangeCheckerChip, Vec<BigUint>, Vec<bool>)

The minimal amount of information needed to generate the sub-row of the trace matrix. This type has a lifetime so other context, such as references to other chips, can be provided.

type ColsMut<'a> = &'a mut [F]

The type for the columns to mutate. Often this can be &'a mut Cols<F> if Cols is on the stack. For structs that use the heap, this should be a struct that contains mutable slices.

fn generate_subrow<'a>( &'a self, (range_checker, inputs, flags): (&'a VariableRangeCheckerChip, Vec<BigUint>, Vec<bool>), sub_row: &'a mut [F], )