From 1491b17747dda19e5e2b80b03a043e925a896cb4 Mon Sep 17 00:00:00 2001
From: querolita <anais.querol@gmail.com>
Date: Mon, 23 Oct 2023 17:48:28 +0200
Subject: [PATCH] switch N to W for column width

---
 kimchi/src/circuits/witness/constant_cell.rs  |  4 ++--
 kimchi/src/circuits/witness/copy_bits_cell.rs |  4 ++--
 kimchi/src/circuits/witness/copy_cell.rs      |  4 ++--
 .../src/circuits/witness/copy_shift_cell.rs   |  4 ++--
 kimchi/src/circuits/witness/index_cell.rs     |  4 ++--
 kimchi/src/circuits/witness/mod.rs            | 22 +++++++++----------
 .../circuits/witness/variable_bits_cell.rs    |  4 ++--
 kimchi/src/circuits/witness/variable_cell.rs  |  4 ++--
 8 files changed, 25 insertions(+), 25 deletions(-)

diff --git a/kimchi/src/circuits/witness/constant_cell.rs b/kimchi/src/circuits/witness/constant_cell.rs
index f35d2179f4..ea14b5de8c 100644
--- a/kimchi/src/circuits/witness/constant_cell.rs
+++ b/kimchi/src/circuits/witness/constant_cell.rs
@@ -13,8 +13,8 @@ impl<F: Field> ConstantCell<F> {
     }
 }
 
-impl<const N: usize, F: Field> WitnessCell<N, F, F> for ConstantCell<F> {
-    fn value(&self, _witness: &mut [Vec<F>; N], _variables: &Variables<F>, _index: usize) -> F {
+impl<const W: usize, F: Field> WitnessCell<W, F, F> for ConstantCell<F> {
+    fn value(&self, _witness: &mut [Vec<F>; W], _variables: &Variables<F>, _index: usize) -> F {
         self.value
     }
 }
diff --git a/kimchi/src/circuits/witness/copy_bits_cell.rs b/kimchi/src/circuits/witness/copy_bits_cell.rs
index 69aae2a975..964e2f26bf 100644
--- a/kimchi/src/circuits/witness/copy_bits_cell.rs
+++ b/kimchi/src/circuits/witness/copy_bits_cell.rs
@@ -23,8 +23,8 @@ impl CopyBitsCell {
     }
 }
 
-impl<const N: usize, F: Field> WitnessCell<N, F, F> for CopyBitsCell {
-    fn value(&self, witness: &mut [Vec<F>; N], _variables: &Variables<F>, _index: usize) -> F {
+impl<const W: usize, F: Field> WitnessCell<W, F, F> for CopyBitsCell {
+    fn value(&self, witness: &mut [Vec<F>; W], _variables: &Variables<F>, _index: usize) -> F {
         F::from_bits(&witness[self.col][self.row].to_bits()[self.start..self.end])
             .expect("failed to deserialize field bits for copy bits cell")
     }
diff --git a/kimchi/src/circuits/witness/copy_cell.rs b/kimchi/src/circuits/witness/copy_cell.rs
index fd594a3844..ffa8339094 100644
--- a/kimchi/src/circuits/witness/copy_cell.rs
+++ b/kimchi/src/circuits/witness/copy_cell.rs
@@ -15,8 +15,8 @@ impl CopyCell {
     }
 }
 
-impl<const N: usize, F: Field> WitnessCell<N, F, F> for CopyCell {
-    fn value(&self, witness: &mut [Vec<F>; N], _variables: &Variables<F>, _index: usize) -> F {
+impl<const W: usize, F: Field> WitnessCell<W, F, F> for CopyCell {
+    fn value(&self, witness: &mut [Vec<F>; W], _variables: &Variables<F>, _index: usize) -> F {
         witness[self.col][self.row]
     }
 }
diff --git a/kimchi/src/circuits/witness/copy_shift_cell.rs b/kimchi/src/circuits/witness/copy_shift_cell.rs
index b285092d2f..b0ed5d055a 100644
--- a/kimchi/src/circuits/witness/copy_shift_cell.rs
+++ b/kimchi/src/circuits/witness/copy_shift_cell.rs
@@ -15,8 +15,8 @@ impl CopyShiftCell {
     }
 }
 
-impl<const N: usize, F: Field> WitnessCell<N, F, F> for CopyShiftCell {
-    fn value(&self, witness: &mut [Vec<F>; N], _variables: &Variables<F>, _index: usize) -> F {
+impl<const W: usize, F: Field> WitnessCell<W, F, F> for CopyShiftCell {
+    fn value(&self, witness: &mut [Vec<F>; W], _variables: &Variables<F>, _index: usize) -> F {
         F::from(2u32).pow([self.shift]) * witness[self.col][self.row]
     }
 }
diff --git a/kimchi/src/circuits/witness/index_cell.rs b/kimchi/src/circuits/witness/index_cell.rs
index a039354c8f..9d6ebefea5 100644
--- a/kimchi/src/circuits/witness/index_cell.rs
+++ b/kimchi/src/circuits/witness/index_cell.rs
@@ -18,8 +18,8 @@ impl<'a> IndexCell<'a> {
     }
 }
 
-impl<'a, const N: usize, F: Field> WitnessCell<N, F, Vec<F>> for IndexCell<'a> {
-    fn value(&self, _witness: &mut [Vec<F>; N], variables: &Variables<Vec<F>>, index: usize) -> F {
+impl<'a, const W: usize, F: Field> WitnessCell<W, F, Vec<F>> for IndexCell<'a> {
+    fn value(&self, _witness: &mut [Vec<F>; W], variables: &Variables<Vec<F>>, index: usize) -> F {
         assert!(index < self.length, "index out of bounds of `IndexCell`");
         variables[self.name][index]
     }
diff --git a/kimchi/src/circuits/witness/mod.rs b/kimchi/src/circuits/witness/mod.rs
index ec470330d9..8dad3a2a40 100644
--- a/kimchi/src/circuits/witness/mod.rs
+++ b/kimchi/src/circuits/witness/mod.rs
@@ -21,8 +21,8 @@ pub use self::{
 };
 
 /// Witness cell interface
-pub trait WitnessCell<const N: usize, F: Field, T> {
-    fn value(&self, witness: &mut [Vec<F>; N], variables: &Variables<T>, index: usize) -> F;
+pub trait WitnessCell<const W: usize, F: Field, T> {
+    fn value(&self, witness: &mut [Vec<F>; W], variables: &Variables<T>, index: usize) -> F;
 
     fn length(&self) -> usize {
         1
@@ -40,25 +40,25 @@ pub trait WitnessCell<const N: usize, F: Field, T> {
 /// - layout: the partial layout to initialize from
 /// - variables: the hashmap of variables to get the values from
 #[allow(clippy::too_many_arguments)]
-pub fn init_cell<const N: usize, F: PrimeField, T>(
-    witness: &mut [Vec<F>; N],
+pub fn init_cell<const W: usize, F: PrimeField, T>(
+    witness: &mut [Vec<F>; W],
     offset: usize,
     row: usize,
     col: usize,
     cell: usize,
     index: usize,
-    layout: &[Vec<Box<dyn WitnessCell<N, F, T>>>],
+    layout: &[Vec<Box<dyn WitnessCell<W, F, T>>>],
     variables: &Variables<T>,
 ) {
     witness[col][row + offset] = layout[row][cell].value(witness, variables, index);
 }
 
 /// Initialize a witness row based on layout and computed variables
-pub fn init_row<const N: usize, F: PrimeField, T>(
-    witness: &mut [Vec<F>; N],
+pub fn init_row<const W: usize, F: PrimeField, T>(
+    witness: &mut [Vec<F>; W],
     offset: usize,
     row: usize,
-    layout: &[Vec<Box<dyn WitnessCell<N, F, T>>>],
+    layout: &[Vec<Box<dyn WitnessCell<W, F, T>>>],
     variables: &Variables<T>,
 ) {
     let mut col = 0;
@@ -72,10 +72,10 @@ pub fn init_row<const N: usize, F: PrimeField, T>(
 }
 
 /// Initialize a witness based on layout and computed variables
-pub fn init<const N: usize, F: PrimeField, T>(
-    witness: &mut [Vec<F>; N],
+pub fn init<const W: usize, F: PrimeField, T>(
+    witness: &mut [Vec<F>; W],
     offset: usize,
-    layout: &[Vec<Box<dyn WitnessCell<N, F, T>>>],
+    layout: &[Vec<Box<dyn WitnessCell<W, F, T>>>],
     variables: &Variables<T>,
 ) {
     for row in 0..layout.len() {
diff --git a/kimchi/src/circuits/witness/variable_bits_cell.rs b/kimchi/src/circuits/witness/variable_bits_cell.rs
index bd414a7281..1fef513607 100644
--- a/kimchi/src/circuits/witness/variable_bits_cell.rs
+++ b/kimchi/src/circuits/witness/variable_bits_cell.rs
@@ -18,8 +18,8 @@ impl<'a> VariableBitsCell<'a> {
     }
 }
 
-impl<'a, const N: usize, F: Field> WitnessCell<N, F, F> for VariableBitsCell<'a> {
-    fn value(&self, _witness: &mut [Vec<F>; N], variables: &Variables<F>, _index: usize) -> F {
+impl<'a, const W: usize, F: Field> WitnessCell<W, F, F> for VariableBitsCell<'a> {
+    fn value(&self, _witness: &mut [Vec<F>; W], variables: &Variables<F>, _index: usize) -> F {
         let bits = if let Some(end) = self.end {
             F::from_bits(&variables[self.name].to_bits()[self.start..end])
         } else {
diff --git a/kimchi/src/circuits/witness/variable_cell.rs b/kimchi/src/circuits/witness/variable_cell.rs
index c875326583..c24ce57d42 100644
--- a/kimchi/src/circuits/witness/variable_cell.rs
+++ b/kimchi/src/circuits/witness/variable_cell.rs
@@ -14,8 +14,8 @@ impl<'a> VariableCell<'a> {
     }
 }
 
-impl<'a, const N: usize, F: Field> WitnessCell<N, F, F> for VariableCell<'a> {
-    fn value(&self, _witness: &mut [Vec<F>; N], variables: &Variables<F>, _index: usize) -> F {
+impl<'a, const W: usize, F: Field> WitnessCell<W, F, F> for VariableCell<'a> {
+    fn value(&self, _witness: &mut [Vec<F>; W], variables: &Variables<F>, _index: usize) -> F {
         variables[self.name]
     }
 }