From 3d6dfdcff2bb43f0f74b1b3aff6210ed27f016e0 Mon Sep 17 00:00:00 2001
From: Jan Ferdinand Sauer <ferdinand@neptune.cash>
Date: Thu, 6 Jul 2023 16:42:50 +0200
Subject: [PATCH] =?UTF-8?q?consistently=20call=20instruction=20bits=20?=
 =?UTF-8?q?=E2=80=9Cinstruction=20bits=E2=80=9D?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 triton-vm/src/table/processor_table.rs | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/triton-vm/src/table/processor_table.rs b/triton-vm/src/table/processor_table.rs
index 7d730d21..bc5bf325 100644
--- a/triton-vm/src/table/processor_table.rs
+++ b/triton-vm/src/table/processor_table.rs
@@ -577,7 +577,7 @@ impl ExtProcessorTable {
             circuit_builder.input(BaseRow(col.master_base_table_index()))
         };
 
-        // The composition of instruction buckets ib0-ib7 corresponds the current instruction ci.
+        // The composition of instruction bits ib0-ib7 corresponds the current instruction ci.
         let ib_composition = base_row(IB0)
             + constant(1 << 1) * base_row(IB1)
             + constant(1 << 2) * base_row(IB2)
@@ -1106,7 +1106,7 @@ impl ExtProcessorTable {
     fn instruction_deselector_common_functionality<II: InputIndicator>(
         circuit_builder: &ConstraintCircuitBuilder<II>,
         instruction: Instruction,
-        instruction_bucket_polynomials: [ConstraintCircuitMonad<II>; InstructionBit::COUNT],
+        instruction_bit_polynomials: [ConstraintCircuitMonad<II>; InstructionBit::COUNT],
     ) -> ConstraintCircuitMonad<II> {
         let one = circuit_builder.b_constant(1_u32.into());
 
@@ -1123,10 +1123,10 @@ impl ExtProcessorTable {
         let deselector_polynomials =
             selector_bits.map(|b| one.clone() - circuit_builder.b_constant(b));
 
-        instruction_bucket_polynomials
+        instruction_bit_polynomials
             .into_iter()
             .zip_eq(deselector_polynomials.into_iter())
-            .map(|(bucket_poly, deselector_poly)| bucket_poly - deselector_poly)
+            .map(|(instruction_bit_poly, deselector_poly)| instruction_bit_poly - deselector_poly)
             .fold(one, ConstraintCircuitMonad::mul)
     }
 
@@ -1140,7 +1140,7 @@ impl ExtProcessorTable {
             circuit_builder.input(CurrentBaseRow(col.master_base_table_index()))
         };
 
-        let instruction_bucket_polynomials = [
+        let instruction_bit_polynomials = [
             curr_base_row(IB0),
             curr_base_row(IB1),
             curr_base_row(IB2),
@@ -1154,7 +1154,7 @@ impl ExtProcessorTable {
         Self::instruction_deselector_common_functionality(
             circuit_builder,
             instruction,
-            instruction_bucket_polynomials,
+            instruction_bit_polynomials,
         )
     }
 
@@ -1168,7 +1168,7 @@ impl ExtProcessorTable {
             circuit_builder.input(NextBaseRow(col.master_base_table_index()))
         };
 
-        let instruction_bucket_polynomials = [
+        let instruction_bit_polynomials = [
             next_base_row(IB0),
             next_base_row(IB1),
             next_base_row(IB2),
@@ -1182,7 +1182,7 @@ impl ExtProcessorTable {
         Self::instruction_deselector_common_functionality(
             circuit_builder,
             instruction,
-            instruction_bucket_polynomials,
+            instruction_bit_polynomials,
         )
     }
 
@@ -1196,7 +1196,7 @@ impl ExtProcessorTable {
             circuit_builder.input(BaseRow(col.master_base_table_index()))
         };
 
-        let instruction_bucket_polynomials = [
+        let instruction_bit_polynomials = [
             base_row(IB0),
             base_row(IB1),
             base_row(IB2),
@@ -1210,7 +1210,7 @@ impl ExtProcessorTable {
         Self::instruction_deselector_common_functionality(
             circuit_builder,
             instruction,
-            instruction_bucket_polynomials,
+            instruction_bit_polynomials,
         )
     }