doc: improve

air/src/air/logup_gkr.rs

@@ -10,11 +10,11 @@ use math::{ExtensionOf, FieldElement, StarkField, ToElements};
 use super::EvaluationFrame;
 
 /// A trait containing the necessary information in order to run the LogUp-GKR protocol of [1].
-/// 
+///
 /// The trait contains useful information for running the GKR protocol as well as for implementing
 /// the univariate IOP for multi-linear evaluation of Section 5 in [1] for the final evaluation
 /// check resulting from GKR.
-/// 
+///
 /// [1]: https://eprint.iacr.org/2023/1284
 pub trait LogUpGkrEvaluator: Clone + Sync {
     /// Defines the base field of the evaluator.

sumcheck/src/prover/plain.rs

@@ -44,6 +44,8 @@ use crate::{
 /// Instead of executing two runs of the sum-check protocol, a batching randomness `r_batch` is
 /// sent by the verifier at the outset in order to batch the two statments.
 ///
+/// Note that the degree of the non-linear composition polynomial is 3.
+///
 /// [1]: https://eprint.iacr.org/2023/1284
 #[allow(clippy::too_many_arguments)]
 pub fn sumcheck_prove_plain<E: FieldElement, H: ElementHasher<BaseField = E::BaseField>>(