fmt

Author: darth-cy

spartan_parallel/src/dense_mlpoly.rs

@@ -382,9 +382,7 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
     let eq = EqPolynomial::new(r.to_vec());
     let (L, R) = eq.compute_factored_evals();
 
-    let _ = self
-      .proof
-      .verify(R.len(), transcript, &R);
+    let _ = self.proof.verify(R.len(), transcript, &R);
 
     // TODO: Alternative PCS Verification
     Ok(())
@@ -394,7 +392,7 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
     &self,
     transcript: &mut Transcript,
     r: &[S], // point at which the polynomial is evaluated
-    _Zr: &S,  // evaluation \widetilde{Z}(r)
+    _Zr: &S, // evaluation \widetilde{Z}(r)
   ) -> Result<(), ProofVerifyError> {
     self.verify(transcript, r);
 
@@ -862,7 +860,7 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
         // compute a weighted sum of commitments and L
         let LZ = S::field_zero();
         L_list.push(L);
-        R_list.push(R);        
+        R_list.push(R);
         LZ_list.push(LZ);
       }
     }
@@ -873,9 +871,7 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
     for i in 0..LZ_list.len() {
       let R = &R_list[i];
 
-      proof_list[i]
-        .proof
-        .verify(R.len(), transcript, R)?;
+      proof_list[i].proof.verify(R.len(), transcript, R)?;
     }
 
     Ok(())

spartan_parallel/src/lib.rs

@@ -1868,7 +1868,6 @@ impl<S: SpartanExtensionField> SNARK<S> {
       (proof, block_challenges)
     };
 
-    
     // Final evaluation on BLOCK
     let (block_inst_evals_bound_rp, block_inst_evals_list, block_r1cs_eval_proof_list) = {
       let [rp, _, rx, ry] = block_challenges;

spartan_parallel/src/r1csproof.rs

@@ -755,9 +755,7 @@ impl<S: SpartanExtensionField> R1CSProof<S> {
     timer_commit_opening.stop();
 
     // verify proof that expected_claim_post_phase2 == claim_post_phase2
-    self.proof_eq_sc_phase2.verify(
-      transcript,
-    )?;
+    self.proof_eq_sc_phase2.verify(transcript)?;
 
     Ok([rp, rq_rev, rx, [rw, ry].concat()])
   }

spartan_parallel/src/sparse_mlpoly.rs

@@ -831,8 +831,8 @@ impl<S: SpartanExtensionField> HashLayerProof<S> {
     let eval_init_addr = IdentityPolynomial::new(rand_mem.len()).evaluate(rand_mem);
     let eval_init_val = EqPolynomial::new(r.to_vec()).evaluate(rand_mem);
     let hash_init_at_rand_mem =
-      hash_func(&eval_init_addr, &eval_init_val, &S::field_zero()) - *r_multiset_check; 
-      
+      hash_func(&eval_init_addr, &eval_init_val, &S::field_zero()) - *r_multiset_check;
+
     // verify the claim_last of init chunk
     assert_eq!(&hash_init_at_rand_mem, claim_init);
 

spartan_parallel/src/sumcheck.rs

@@ -91,7 +91,7 @@ impl<S: SpartanExtensionField> ZKSumcheckInstanceProof<S> {
     for i in 0..num_rounds {
       // derive the verifier's challenge for the next round
       let r_i = transcript.challenge_scalar(b"challenge_nextround");
-      
+
       // verify the proof of sum-check and evals
       let res = {
         // produce two weights
@@ -121,12 +121,7 @@ impl<S: SpartanExtensionField> ZKSumcheckInstanceProof<S> {
             .collect::<Vec<S>>()
         };
 
-        self.proofs[i]
-          .verify(
-            transcript,
-            &a,
-          )
-          .is_ok()
+        self.proofs[i].verify(transcript, &a).is_ok()
       };
 
       r.push(r_i);