add number of factors and number of variables to transcript

Author: jotabulacios

crates/provers/sumcheck/src/prover.rs

@@ -151,14 +151,16 @@ where
     FieldElement<F>: Clone + Mul<Output = FieldElement<F>> + ByteConversion,
 {
     // Initialize the prover
-    let mut prover = Prover::new(factors)?;
+    let mut prover = Prover::new(factors.clone())?;
     let num_vars = prover.num_vars();
     // Compute the claimed sum C
     let claimed_sum = prover.compute_initial_sum()?;
 
     // Initialize Fiat-Shamir transcript
     let mut transcript = DefaultTranscript::<F>::default();
     transcript.append_bytes(b"initial_sum");
+    transcript.append_felt(&FieldElement::from(num_vars as u64));
+    transcript.append_felt(&FieldElement::from(factors.len() as u64));
     transcript.append_felt(&claimed_sum);
 
     let mut proof_polys = Vec::with_capacity(num_vars);

crates/provers/sumcheck/src/verifier.rs

@@ -180,10 +180,12 @@ where
         });
     }
 
-    let mut verifier = Verifier::new(num_vars, oracle_factors, claimed_sum.clone())?;
+    let mut verifier = Verifier::new(num_vars, oracle_factors.clone(), claimed_sum.clone())?;
 
     let mut transcript = DefaultTranscript::<F>::default();
     transcript.append_bytes(b"initial_sum");
+    transcript.append_felt(&FieldElement::from(num_vars as u64));
+    transcript.append_felt(&FieldElement::from(oracle_factors.len() as u64));
     transcript.append_felt(&claimed_sum);
 
     // Process each round polynomial from the proof.