halo2_ecc::fields::fp

Type Alias FpConfig

Source 
pub type FpConfig<F> = RangeConfig<F>;

Aliased Type§

struct FpConfig<F> {
    pub gate: FlexGateConfig<F>,
    pub lookup_advice: Vec<Vec<Column<Advice>>>,
    pub q_lookup: Vec<Option<Selector>>,
    pub lookup: TableColumn,
    /* private fields */
}

Fields§

§gate: FlexGateConfig<F>

Underlying Gate Configuration

§lookup_advice: Vec<Vec<Column<Advice>>>

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.