Remove additional commitment proofs

Author: Jiangkm3

spartan_parallel/src/lib.rs

@@ -610,7 +610,7 @@ pub struct SNARK<S: SpartanExtensionField> {
   perm_poly_poly_list: Vec<S>,
   proof_eval_perm_poly_prod_list: Vec<PolyEvalProof<S>>,
 
-  shift_proof: ShiftProofs<S>,
+  // shift_proof: ShiftProofs<S>,
   io_proof: IOProofs<S>,
 }
 
@@ -2260,6 +2260,7 @@ impl<S: SpartanExtensionField> SNARK<S> {
         shifted_polys.push(&vir_mem_addr_w3_shifted_prover.poly_w[0]);
         header_len_list.push(6);
       }
+      /*
       let shift_proof = ShiftProofs::prove(
         orig_polys,
         shifted_polys,
@@ -2268,6 +2269,7 @@ impl<S: SpartanExtensionField> SNARK<S> {
         &mut random_tape,
       );
       shift_proof
+      */
     };
     timer_proof.stop();
 
@@ -2314,7 +2316,7 @@ impl<S: SpartanExtensionField> SNARK<S> {
       perm_poly_poly_list,
       proof_eval_perm_poly_prod_list,
 
-      shift_proof,
+      // shift_proof,
       io_proof,
     }
   }
@@ -3256,9 +3258,11 @@ impl<S: SpartanExtensionField> SNARK<S> {
         header_len_list.push(6);
       }
 
+      /*
       self
         .shift_proof
         .verify(poly_size_list, shift_size_list, header_len_list, transcript)?;
+      */
     }
     timer_proof.stop();
 

spartan_parallel/src/r1csproof.rs

@@ -23,7 +23,7 @@ pub struct R1CSProof<S: SpartanExtensionField> {
   // pok_claims_phase2: (KnowledgeProof<S>, ProductProof<S>),
   // proof_eq_sc_phase1: EqualityProof<S>,
   // proof_eq_sc_phase2: EqualityProof<S>,
-  proof_eval_vars_at_ry_list: Vec<PolyEvalProof<S>>,
+  // proof_eval_vars_at_ry_list: Vec<PolyEvalProof<S>>,
 }
 
 impl<S: SpartanExtensionField> R1CSProof<S> {
@@ -464,6 +464,7 @@ impl<S: SpartanExtensionField> R1CSProof<S> {
       }
     }
 
+    /*
     let proof_eval_vars_at_ry_list = PolyEvalProof::prove_batched_instances_disjoint_rounds(
       &poly_list,
       &num_proofs_list,
@@ -474,6 +475,7 @@ impl<S: SpartanExtensionField> R1CSProof<S> {
       transcript,
       random_tape,
     );
+    */
 
     // Bind the resulting witness list to rp
     // poly_vars stores the result of each witness matrix bounded to (rq_short ++ ry)
@@ -566,7 +568,7 @@ impl<S: SpartanExtensionField> R1CSProof<S> {
         // pok_claims_phase2,
         // proof_eq_sc_phase1,
         // proof_eq_sc_phase2,
-        proof_eval_vars_at_ry_list,
+        // proof_eval_vars_at_ry_list,
       },
       [rp, rq_rev, rx, [rw, ry].concat()],
     )
@@ -706,6 +708,7 @@ impl<S: SpartanExtensionField> R1CSProof<S> {
       }
     }
 
+    /*
     PolyEvalProof::verify_batched_instances_disjoint_rounds(
       &self.proof_eval_vars_at_ry_list,
       &num_proofs_list,
@@ -714,6 +717,7 @@ impl<S: SpartanExtensionField> R1CSProof<S> {
       &rq,
       &ry,
     )?;
+    */
 
     // Then on rp
     for p in 0..num_instances {