Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
benjaminsavage committed Mar 17, 2024
1 parent 7bc8641 commit 1ba4fda
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions ipa-core/src/protocol/ipa_prf/malicious_security/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -41,10 +41,7 @@ where
pub fn compute_proof<λ: ArrayLength>(
&self,
r: F,
) -> (
ZeroKnowledgeProof<F, TwoNMinusOne<λ>>,
ProofGenerator<F>,
)
) -> (ZeroKnowledgeProof<F, TwoNMinusOne<λ>>, ProofGenerator<F>)
where
λ: ArrayLength + Add + Sub<U1>,
<λ as Add>::Output: Sub<U1>,
Expand Down

0 comments on commit 1ba4fda

Please sign in to comment.