diff --git a/common/nymcoconut/src/proofs/mod.rs b/common/nymcoconut/src/proofs/mod.rs index ae6d915c9e..79fb2059ec 100644 --- a/common/nymcoconut/src/proofs/mod.rs +++ b/common/nymcoconut/src/proofs/mod.rs @@ -446,7 +446,7 @@ impl ProofKappaNu { } } - pub(crate) fn private_attributes(&self) -> usize { + pub(crate) fn private_attributes_len(&self) -> usize { 2 } diff --git a/common/nymcoconut/src/scheme/verification.rs b/common/nymcoconut/src/scheme/verification.rs index 4300f87362..3557717039 100644 --- a/common/nymcoconut/src/scheme/verification.rs +++ b/common/nymcoconut/src/scheme/verification.rs @@ -215,7 +215,7 @@ pub fn verify_credential( theta: &Theta, public_attributes: &[Attribute], ) -> bool { - if public_attributes.len() + theta.pi_v.private_attributes() > verification_key.beta.len() { + if public_attributes.len() + theta.pi_v.private_attributes_len() > verification_key.beta.len() { return false; } @@ -232,7 +232,7 @@ pub fn verify_credential( verification_key .beta .iter() - .skip(theta.pi_v.private_attributes()), + .skip(theta.pi_v.private_attributes_len()), ) .map(|(pub_attr, beta_i)| beta_i * pub_attr) .sum::();