Function kimchi::circuits::witness::init_cell

source ·
pub fn init_cell<F: PrimeField, T, const W: usize>(
    witness: &mut [Vec<F>; W],
    offset: usize,
    row: usize,
    col: usize,
    cell: usize,
    index: usize,
    layout: &[Vec<Box<dyn WitnessCell<F, T, W>>>],
    variables: &Variables<'_, T>
)
Expand description

Initialize a witness cell based on layout and computed variables Inputs:

  • witness: the witness to initialize with values
  • offset: the row offset of the witness before initialization
  • row: the row index inside the partial layout
  • col: the column index inside the witness
  • cell: the cell index inside the partial layout (for any but IndexCell, it must be the same as col)
  • index: the index within the variable (for IndexCell, 0 otherwise)
  • layout: the partial layout to initialize from
  • variables: the hashmap of variables to get the values from