From f974dd14a07b38e44b49eaaaf8f53fc98bb6a819 Mon Sep 17 00:00:00 2001
From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com>
Date: Wed, 21 Aug 2024 13:28:05 +0200
Subject: [PATCH] chore: remove TODO

---
 prover/src/logup_gkr/prover.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prover/src/logup_gkr/prover.rs b/prover/src/logup_gkr/prover.rs
index ea4d449bd..9fc8fe175 100644
--- a/prover/src/logup_gkr/prover.rs
+++ b/prover/src/logup_gkr/prover.rs
@@ -120,8 +120,8 @@ fn prove_input_layer<
     Ok(FinalLayerProof::new(proof))
 }
 
-// TODO: Make the multi-linears over the base field and define an operation of folding with a challenge
-// in an extension field.
+/// Builds the multi-linear extension polynomials needed to run the final sum-check of GKR for
+/// LogUp-GKR.
 fn build_mls_from_main_trace_segment<E: FieldElement>(
     oracles: &[LogUpGkrOracle<E::BaseField>],
     main_trace: &ColMatrix<<E as FieldElement>::BaseField>,