From 1cd4c9ee4ede4b0559324af47ad509eafec5b9c6 Mon Sep 17 00:00:00 2001
From: Philippe Laferriere <plafer@protonmail.com>
Date: Tue, 19 Mar 2024 04:53:39 -0400
Subject: [PATCH] document vector capacity

---
 prover/src/constraints/evaluator/lagrange.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prover/src/constraints/evaluator/lagrange.rs b/prover/src/constraints/evaluator/lagrange.rs
index d60891451..edd82facf 100644
--- a/prover/src/constraints/evaluator/lagrange.rs
+++ b/prover/src/constraints/evaluator/lagrange.rs
@@ -169,7 +169,9 @@ impl<E: FieldElement> LagrangeKernelTransitionConstraintsDivisor<E> {
         domain: &StarkDomain<E::BaseField>,
     ) -> Self {
         let divisor_evals_inv = {
-            // TODO: Explain why `* 2`
+            // The number of divisor evaluations is 
+            // `ce_domain_size + ce_domain_size/2 + ce_domain_size/4 + ... + ce_domain_size/(log(ce_domain_size)-1)`, 
+            // which is slightly smaller than `ce_domain_size * 2`
             let mut divisor_evals: Vec<E> = Vec::with_capacity(domain.ce_domain_size() * 2);
 
             for trans_constraint_idx in 0..lagrange_kernel_transition_constraints.len() {