From bc0cd0581a12da19e1d68bfa079ff95df1b911a9 Mon Sep 17 00:00:00 2001 From: Philippe Laferriere Date: Sat, 5 Oct 2024 16:50:55 -0400 Subject: [PATCH] fix: simplify hperm in chiplets bus --- processor/src/chiplets/aux_trace/mod.rs | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/processor/src/chiplets/aux_trace/mod.rs b/processor/src/chiplets/aux_trace/mod.rs index dbdb8d29b..8d9b5a1b1 100644 --- a/processor/src/chiplets/aux_trace/mod.rs +++ b/processor/src/chiplets/aux_trace/mod.rs @@ -554,12 +554,7 @@ fn build_hperm_request>( main_trace.stack_element(11, row + 1), ]; - let op_label = LINEAR_HASH_LABEL; - let op_label = if addr_to_hash_cycle(helper_0) == 0 { - op_label + 16 - } else { - op_label + 32 - }; + let op_label = LINEAR_HASH_LABEL + 16; let sum_input = alphas[4..16] .iter() @@ -571,12 +566,7 @@ fn build_hperm_request>( + alphas[2].mul_base(helper_0) + sum_input; - let op_label = RETURN_STATE_LABEL; - let op_label = if addr_to_hash_cycle(helper_0 + Felt::new(7)) == 0 { - op_label + 16 - } else { - op_label + 32 - }; + let op_label = RETURN_STATE_LABEL + 32; let sum_output = alphas[4..16] .iter()