chore: remove TODO

facebook · Aug 21, 2024 · f974dd1 · f974dd1
1 parent 7caf36f
commit f974dd1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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>,