fix typo, chng comment (#82)

Author: z-tech

src/multilinear/provers/time/core.rs

@@ -14,7 +14,7 @@ pub struct TimeProver<F: Field, S: Stream<F>> {
     pub claim: F,
     pub current_round: usize,
     pub evaluations: Option<Vec<F>>,
-    pub evaluation_stream: S, // Keep this for now, case we can do some small optimizations of first round etc
+    pub evaluation_stream: S, // TODO (z-tech): this can be released after the first call to vsbw_reduce_evaluations
     pub num_variables: usize,
 }
 

src/streams/stream.rs

@@ -7,7 +7,7 @@ pub fn multivariate_claim<F: Field, S: Stream<F>>(stream: S) -> F {
 
     for i in 0..num_evaluations {
         let eval = stream.evaluation(i);
-        claim += eval * eval;
+        claim += eval;
     }
 
     claim