From 7bc86411572edca36d8b98f908f21096f3e42534 Mon Sep 17 00:00:00 2001
From: Ben Savage <btsavage@fb.com>
Date: Sun, 17 Mar 2024 16:36:24 +1000
Subject: [PATCH] Clippy

---
 ipa-core/src/protocol/ipa_prf/malicious_security/prover.rs | 4 +++-
 1 file changed, 3 insertions(+), 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
index 19e3edc66..bae3a826f 100644
--- 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