pub struct RangeConfig<F: ScalarField> {
    pub gate: FlexGateConfig<F>,
    pub lookup_advice: [Vec<Column<Advice>>; 3],
    pub q_lookup: Vec<Option<Selector>>,
    pub lookup: TableColumn,
    /* private fields */
}
Expand description

Configuration for Range Chip

Fields

gate: FlexGateConfig<F>

Underlying Gate Configuration

lookup_advice: [Vec<Column<Advice>>; 3]

Special advice (witness) Columns used only for lookup tables.

Each phase of a halo2 circuit has a distinct lookup_advice column.

  • If gate has only 1 advice column, lookups are enabled for that column, in which case lookup_advice is empty
  • If gate has more than 1 advice column some number of user-specified lookup_advice columns are added
    • In this case, we don’t need a selector so q_lookup is empty
q_lookup: Vec<Option<Selector>>

Selector values for the lookup table.

lookup: TableColumn

Column for lookup table values.

Implementations

Generates a new RangeConfig with the specified parameters.

If num_columns is 0, then we assume you do not want to perform any lookups in that phase.

Panics if lookup_bits > 28.

  • meta: [ConstraintSystem] of the circuit
  • range_strategy: GateStrategy of the range chip
  • num_advice: Number of [Advice] [Column]s without lookup enabled in each phase
  • num_lookup_advice: Number of lookup_advice [Column]s in each phase
  • num_fixed: Number of fixed [Column]s in each phase
  • lookup_bits: Number of bits represented in the LookUp table [0,2^lookup_bits)
  • circuit_degree: Degree that expresses the size of circuit (i.e., 2^circuit_degree is the number of rows in the circuit)

Returns the number of bits represented in the lookup table [0,2^lookup_bits).

Loads the lookup table into the circuit using the provided layouter.

  • layouter: layouter for the circuit

Trait Implementations

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
Converts self into T using Into<T>. Read more
Causes self to use its Binary implementation when Debug-formatted.
Causes self to use its Display implementation when Debug-formatted. Read more
Causes self to use its LowerExp implementation when Debug-formatted. Read more
Causes self to use its LowerHex implementation when Debug-formatted. Read more
Causes self to use its Octal implementation when Debug-formatted.
Causes self to use its Pointer implementation when Debug-formatted. Read more
Causes self to use its UpperExp implementation when Debug-formatted. Read more
Causes self to use its UpperHex implementation when Debug-formatted. Read more
Formats each item in a sequence. Read more

Returns the argument unchanged.

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Pipes by value. This is generally the method you want to use. Read more
Borrows self and passes that borrow into the pipe function. Read more
Mutably borrows self and passes that borrow into the pipe function. Read more
Borrows self, then passes self.borrow() into the pipe function. Read more
Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
Borrows self, then passes self.as_ref() into the pipe function.
Mutably borrows self, then passes self.as_mut() into the pipe function. Read more
Borrows self, then passes self.deref() into the pipe function.
Mutably borrows self, then passes self.deref_mut() into the pipe function. Read more
The alignment of pointer.
The type for initializers.
Initializes a with the given initializer. Read more
Dereferences the given pointer. Read more
Mutably dereferences the given pointer. Read more
Drops the object pointed to by the given pointer. Read more
Should always be Self
Immutable access to a value. Read more
Mutable access to a value. Read more
Immutable access to the Borrow<B> of a value. Read more
Mutable access to the BorrowMut<B> of a value. Read more
Immutable access to the AsRef<R> view of a value. Read more
Mutable access to the AsMut<R> view of a value. Read more
Immutable access to the Deref::Target of a value. Read more
Mutable access to the Deref::Target of a value. Read more
Calls .tap() only in debug builds, and is erased in release builds.
Calls .tap_mut() only in debug builds, and is erased in release builds. Read more
Calls .tap_borrow() only in debug builds, and is erased in release builds. Read more
Calls .tap_borrow_mut() only in debug builds, and is erased in release builds. Read more
Calls .tap_ref() only in debug builds, and is erased in release builds. Read more
Calls .tap_ref_mut() only in debug builds, and is erased in release builds. Read more
Calls .tap_deref() only in debug builds, and is erased in release builds. Read more
Calls .tap_deref_mut() only in debug builds, and is erased in release builds. Read more
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
Attempts to convert self into T using TryInto<T>. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.
Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more