cargo fmt

Author: mmaker

src/fiat_shamir.rs

@@ -112,10 +112,15 @@ where
         hash_state.prover_message(&serialized_commitment);
         let challenge = hash_state.verifier_challenge();
         // Prover's response
-        let response = self.interactive_proof.prover_response(prover_state, &challenge)?;
+        let response = self
+            .interactive_proof
+            .prover_response(prover_state, &challenge)?;
 
         // Local verification of the proof
-        debug_assert!(self.interactive_proof.verifier(&commitment, &challenge, &response).is_ok());
+        debug_assert!(self
+            .interactive_proof
+            .verifier(&commitment, &challenge, &response)
+            .is_ok());
         Ok((commitment, challenge, response))
     }
 
@@ -148,7 +153,9 @@ where
         let expected_challenge = hash_state.verifier_challenge();
         // Verification of the proof
         match *challenge == expected_challenge {
-            true => self.interactive_proof.verifier(commitment, challenge, response),
+            true => self
+                .interactive_proof
+                .verifier(commitment, challenge, response),
             false => Err(Error::VerificationFailure),
         }
     }
@@ -190,8 +197,13 @@ where
     ///   - The response fails verification under the Sigma protocol.
     pub fn verify_batchable(&self, proof: &[u8]) -> Result<(), Error> {
         let commitment = self.interactive_proof.deserialize_commitment(proof)?;
-        let commitment_size = self.interactive_proof.serialize_commitment(&commitment).len();
-        let response = self.interactive_proof.deserialize_response(&proof[commitment_size..])?;
+        let commitment_size = self
+            .interactive_proof
+            .serialize_commitment(&commitment)
+            .len();
+        let response = self
+            .interactive_proof
+            .deserialize_response(&proof[commitment_size..])?;
 
         let mut hash_state = self.hash_state.clone();
 
@@ -200,7 +212,8 @@ where
         hash_state.prover_message(&serialized_commitment);
         let challenge = hash_state.verifier_challenge();
         // Verification of the proof
-        self.interactive_proof.verifier(&commitment, &challenge, &response)
+        self.interactive_proof
+            .verifier(&commitment, &challenge, &response)
     }
 }
 
@@ -254,10 +267,14 @@ where
         // Deserialize challenge and response from compact proof
         let challenge = self.interactive_proof.deserialize_challenge(proof)?;
         let challenge_size = self.interactive_proof.serialize_challenge(&challenge).len();
-        let response = self.interactive_proof.deserialize_response(&proof[challenge_size..])?;
+        let response = self
+            .interactive_proof
+            .deserialize_response(&proof[challenge_size..])?;
 
         // Compute the commitments
-        let commitment = self.interactive_proof.simulate_commitment(&challenge, &response)?;
+        let commitment = self
+            .interactive_proof
+            .simulate_commitment(&challenge, &response)?;
         // Verify the proof
         self.verify(&commitment, &challenge, &response)
     }

src/schnorr_protocol.rs

@@ -80,7 +80,7 @@ where
 
         // If the relation being proven is trivial, refuse to prove the statement.
         if self.0.image()?.iter().all(|&x| x == G::identity()) {
-            return Err(Error::InvalidInstanceWitnessPair)
+            return Err(Error::InvalidInstanceWitnessPair);
         }
 
         let nonces: Vec<G::Scalar> = (0..self.witness_length())