diff --git a/triton-vm/src/aet.rs b/triton-vm/src/aet.rs index 4d686fb70..72b4a17e5 100644 --- 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, /// 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 index b2050d5ee..5d7c2100c 100644 --- 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, ] }