Clippy

private-attribution · Mar 17, 2024 · 7bc8641 · 7bc8641
1 parent 4fe3d21
commit 7bc8641
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ipa-core/src/protocol/ipa_prf/malicious_security/prover.rs b/ipa-core/src/protocol/ipa_prf/malicious_security/prover.rs
@@ -22,6 +22,8 @@ pub struct ProofGenerator<F: PrimeField> {
     v: Vec<F>,
 }
 
+type TwoNMinusOne<N> = Diff<Sum<N, N>, U1>;
+
 ///
 /// Distributed Zero Knowledge Proofs algorithm drawn from
 /// `https://eprint.iacr.org/2023/909.pdf`
@@ -40,7 +42,7 @@ where
         &self,
         r: F,
     ) -> (
-        ZeroKnowledgeProof<F, Diff<Sum<λ, λ>, U1>>,
+        ZeroKnowledgeProof<F, TwoNMinusOne<λ>>,
         ProofGenerator<F>,
     )
     where