Merge branch 'feat/goldilocks-spartan' into feat/basefield_backing_ob…

…jects

spartan_parallel/src/dense_mlpoly.rs

@@ -349,13 +349,18 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
     PolyEvalProof {
       _phantom: S::field_zero(),
     }
+    // TODO: Alternative evaluation proof scheme
+    PolyEvalProof {
+      _phantom: S::field_zero(),
+    }
   }
 
   pub fn verify(
     &self,
     transcript: &mut Transcript,
     r: &[S], // point at which the polynomial is evaluated
   ) -> Result<(), ProofVerifyError> {
+    // TODO: Alternative evaluation proof scheme
     // TODO: Alternative evaluation proof scheme
     Ok(())
   }
@@ -379,13 +384,19 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
   ) -> Vec<PolyEvalProof<S>> {
     // TODO: Alternative evaluation proof scheme
     vec![]
+    // TODO: Alternative evaluation proof scheme
+    vec![]
   }
 
   pub fn verify_plain_batched_points(
     _proof_list: &Vec<PolyEvalProof<S>>,
     _transcript: &mut Transcript,
     _r_list: Vec<Vec<S>>, // point at which the polynomial is evaluated
     _Zr_list: Vec<S>,     // commitment to \widetilde{Z}(r) on each point
+    _proof_list: &Vec<PolyEvalProof<S>>,
+    _transcript: &mut Transcript,
+    _r_list: Vec<Vec<S>>, // point at which the polynomial is evaluated
+    _Zr_list: Vec<S>,     // commitment to \widetilde{Z}(r) on each point
   ) -> Result<(), ProofVerifyError> {
     // TODO: Alternative evaluation proof scheme
     Ok(())