chore: use constant “lookup table height” more

TritonVM · Apr 16, 2024 · 22834b0 · 22834b0
1 parent 67fa295
commit 22834b0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/triton-vm/src/aet.rs b/triton-vm/src/aet.rs
@@ -74,7 +74,7 @@ pub struct AlgebraicExecutionTrace {
     pub cascade_table_lookup_multiplicities: HashMap<u16, u64>,
 
     /// Records how often each entry in the lookup table was looked up.
-    pub lookup_table_lookup_multiplicities: [u64; 1 << 8],
+    pub lookup_table_lookup_multiplicities: [u64; AlgebraicExecutionTrace::LOOKUP_TABLE_HEIGHT],
 }
 
 #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash, Arbitrary)]
@@ -84,7 +84,7 @@ pub struct TableHeight {
 }
 
 impl AlgebraicExecutionTrace {
-    const LOOKUP_TABLE_HEIGHT: usize = 1 << 8;
+    pub(crate) const LOOKUP_TABLE_HEIGHT: usize = 1 << 8;
 
     pub fn new(program: Program) -> Self {
         let program_len = program.len_bwords();

diff --git a/triton-vm/src/table/master_table.rs b/triton-vm/src/table/master_table.rs
@@ -734,7 +734,7 @@ impl MasterBaseTable {
             jump_stack_table_len,
             self.hash_coprocessor_execution_len,
             self.cascade_table_len,
-            1 << 8,
+            AlgebraicExecutionTrace::LOOKUP_TABLE_HEIGHT,
             self.u32_coprocesor_execution_len,
         ]
     }