diff --git a/spartan_parallel/src/dense_mlpoly.rs b/spartan_parallel/src/dense_mlpoly.rs
index bf2e977c..66a6c072 100644
--- a/spartan_parallel/src/dense_mlpoly.rs
+++ b/spartan_parallel/src/dense_mlpoly.rs
@@ -349,6 +349,10 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
     PolyEvalProof {
       _phantom: S::field_zero(),
     }
+    // TODO: Alternative evaluation proof scheme
+    PolyEvalProof {
+      _phantom: S::field_zero(),
+    }
   }
 
   pub fn verify(
@@ -356,6 +360,7 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
     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,6 +384,8 @@ 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(
@@ -386,6 +393,10 @@ impl<S: SpartanExtensionField> 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(())