From f1f726f7de80d0801f6e57b2c34222379fdeabb0 Mon Sep 17 00:00:00 2001 From: Philippe Laferriere Date: Tue, 19 Mar 2024 04:22:04 -0400 Subject: [PATCH] fix index precomputes --- prover/src/constraints/evaluator/lagrange.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/prover/src/constraints/evaluator/lagrange.rs b/prover/src/constraints/evaluator/lagrange.rs index fc99026b2..2c7ada50d 100644 --- a/prover/src/constraints/evaluator/lagrange.rs +++ b/prover/src/constraints/evaluator/lagrange.rs @@ -291,11 +291,12 @@ impl LagrangeKernelTransitionConstraintsDivisor { let num_indices = lagrange_kernel_transition_constraints.len() + 1; let mut slice_indices_precomputes = Vec::with_capacity(num_indices); - slice_indices_precomputes[0] = 0; + slice_indices_precomputes.push(0); let mut current_slice_len = domain.ce_domain_size(); for i in 1..num_indices { - slice_indices_precomputes[i] = slice_indices_precomputes[i - 1] + current_slice_len; + let next_precompute_index = slice_indices_precomputes[i - 1] + current_slice_len; + slice_indices_precomputes.push(next_precompute_index); current_slice_len /= 2; }