Struct BaseCircuitParams

pub struct BaseCircuitParams {
    pub k: usize,
    pub num_advice_per_phase: Vec<usize>,
    pub num_fixed: usize,
    pub num_lookup_advice_per_phase: Vec<usize>,
    pub lookup_bits: Option<usize>,
    pub num_instance_columns: usize,
}

A struct defining the configuration parameters for a halo2-base circuit

• this is used to configure BaseConfig.

Fields

k: usize

Specifies the number of rows in the circuit to be 2^k

num_advice_per_phase: Vec<usize>

The number of advice columns per phase

num_fixed: usize

The number of fixed columns

num_lookup_advice_per_phase: Vec<usize>

The number of bits that can be ranged checked using a special lookup table with values [0, 2^lookup_bits), if using. The number of special advice columns that have range lookup enabled per phase

lookup_bits: Option<usize>

This is None if no lookup table is used.

num_instance_columns: usize

Number of public instance columns

Trait Implementations

impl Clone for BaseCircuitParams

fn clone(&self) -> BaseCircuitParams

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BaseCircuitParams

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

Formats the value using the given formatter.

impl Default for BaseCircuitParams

fn default() -> BaseCircuitParams

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for BaseCircuitParams

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for BaseCircuitParams

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Serialize for BaseCircuitParams

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.