Method construct

src/commitments/packer.rs:45–75

(num_bits_per_elem: usize, gadget_config: &GadgetConfig)

  }

  pub fn construct(num_bits_per_elem: usize, gadget_config: &GadgetConfig) -> PackerConfig<F> {
    let columns = &gadget_config.columns;

    let num_elem_per_packed = if NUM_BITS_PER_FIELD_ELEM / num_bits_per_elem > columns.len() - 1 {
      columns.len() - 1
    } else {
      // TODO: for many columns, pack many in a single row
      NUM_BITS_PER_FIELD_ELEM / num_bits_per_elem
    };
    println!("column len: {}", columns.len());
    println!("num_bits_per_elem: {}", num_bits_per_elem);
    println!("NUM_BITS_PER_FIELD_ELEM: {}", NUM_BITS_PER_FIELD_ELEM);
    println!("num_elem_per_packed: {}", num_elem_per_packed);

    let num_packed_per_row = max(
      1,
      columns.len() / (num_elem_per_packed * (num_bits_per_elem + 1)),
    );
    println!("num_packed_per_row: {}", num_packed_per_row);

    let exponents = Self::get_exponents(num_bits_per_elem, num_elem_per_packed);

    let config = PackerConfig {
      num_bits_per_elem,
      num_elem_per_packed,
      num_packed_per_row,
      exponents,
      _marker: PhantomData,
    };
    config
  }

  pub fn configure(
    meta: &mut ConstraintSystem<F>,