From ec2bf0beaf82cea8f645eb336cc76747325ca562 Mon Sep 17 00:00:00 2001
From: aniampio <anna.piotrowska.15@ucl.ac.uk>
Date: Wed, 3 Nov 2021 19:34:39 +0000
Subject: [PATCH] Fix incorrect error message

---
 common/nymcoconut/src/scheme/verification.rs | 26 ++++++++++----------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/common/nymcoconut/src/scheme/verification.rs b/common/nymcoconut/src/scheme/verification.rs
index 5ac78d0387..7485f44588 100644
--- a/common/nymcoconut/src/scheme/verification.rs
+++ b/common/nymcoconut/src/scheme/verification.rs
@@ -16,9 +16,10 @@ use core::ops::Neg;
 use std::convert::TryFrom;
 use std::convert::TryInto;
 
-use bls12_381::{multi_miller_loop, G1Affine, G2Prepared, G2Projective, Scalar};
+use bls12_381::{G1Affine, G2Prepared, G2Projective, multi_miller_loop, Scalar};
 use group::{Curve, Group};
 
+use crate::Attribute;
 use crate::error::{CoconutError, Result};
 use crate::proofs::ProofKappaNu;
 use crate::scheme::setup::Parameters;
@@ -26,7 +27,6 @@ use crate::scheme::Signature;
 use crate::scheme::VerificationKey;
 use crate::traits::{Base58, Bytable};
 use crate::utils::try_deserialize_g2_projective;
-use crate::Attribute;
 
 // TODO NAMING: this whole thing
 // Theta
@@ -50,7 +50,7 @@ impl TryFrom<&[u8]> for Theta {
         if bytes.len() < 288 {
             return Err(
                 CoconutError::Deserialization(
-                    format!("Tried to deserialize theta with insufficient number of bytes, expected >= 240, got {}", bytes.len()),
+                    format!("Tried to deserialize theta with insufficient number of bytes, expected >= 288, got {}", bytes.len()),
                 ));
         }
 
@@ -133,10 +133,10 @@ pub fn compute_kappa(
     params.gen2() * blinding_factor
         + verification_key.alpha
         + private_attributes
-            .iter()
-            .zip(verification_key.beta.iter())
-            .map(|(priv_attr, beta_i)| beta_i * priv_attr)
-            .sum::<G2Projective>()
+        .iter()
+        .zip(verification_key.beta.iter())
+        .map(|(priv_attr, beta_i)| beta_i * priv_attr)
+        .sum::<G2Projective>()
 }
 
 pub fn compute_zeta(params: &Parameters, serial_number: Attribute) -> G2Projective {
@@ -258,11 +258,11 @@ pub fn verify(
 ) -> bool {
     let kappa = (verification_key.alpha
         + public_attributes
-            .iter()
-            .zip(verification_key.beta.iter())
-            .map(|(m_i, b_i)| b_i * m_i)
-            .sum::<G2Projective>())
-    .to_affine();
+        .iter()
+        .zip(verification_key.beta.iter())
+        .map(|(m_i, b_i)| b_i * m_i)
+        .sum::<G2Projective>())
+        .to_affine();
 
     check_bilinear_pairing(
         &sig.0.to_affine(),
@@ -298,7 +298,7 @@ mod tests {
             serial_number,
             binding_number,
         )
-        .unwrap();
+            .unwrap();
 
         let bytes = theta.to_bytes();
         assert_eq!(Theta::try_from(bytes.as_slice()).unwrap(), theta);