From 0fc7284c1bb4566b7557ffc2f88a329662bb3e6f Mon Sep 17 00:00:00 2001 From: jotabulacios Date: Thu, 21 Nov 2024 11:09:39 -0300 Subject: [PATCH] rename variables --- provers/stark/src/examples/read_only_memory.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/provers/stark/src/examples/read_only_memory.rs b/provers/stark/src/examples/read_only_memory.rs index 1c93802b0..95526c9c3 100644 --- a/provers/stark/src/examples/read_only_memory.rs +++ b/provers/stark/src/examples/read_only_memory.rs @@ -60,10 +60,10 @@ where let first_step = frame.get_evaluation_step(0); let second_step = frame.get_evaluation_step(1); - let a_sorted0 = first_step.get_main_evaluation_element(0, 2); - let a_sorted1 = second_step.get_main_evaluation_element(0, 2); + let a_sorted_0 = first_step.get_main_evaluation_element(0, 2); + let a_sorted_1 = second_step.get_main_evaluation_element(0, 2); // (a'_{i+1} - a'_i)(a'_{i+1} - a'_i - 1) = 0 where a' is the sorted address - let res = (a_sorted1 - a_sorted0) * (a_sorted1 - a_sorted0 - FieldElement::::one()); + let res = (a_sorted_1 - a_sorted_0) * (a_sorted_1 - a_sorted_0 - FieldElement::::one()); // The eval always exists, except if the constraint idx were incorrectly defined. if let Some(eval) = transition_evaluations.get_mut(self.constraint_idx()) {