Skip to content

Commit

Permalink
chore: fix clippy lints after toolchain update
Browse files Browse the repository at this point in the history
  • Loading branch information
mayeul-zama committed Dec 13, 2024
1 parent b1ce34f commit 219374b
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 5 deletions.
3 changes: 1 addition & 2 deletions tfhe-zk-pok/src/proofs/pke.rs
Original file line number Diff line number Diff line change
Expand Up @@ -223,8 +223,7 @@ impl<G: Curve> Proof<G> {
c_hat.validate_projective()
&& c_y.validate_projective()
&& pi.validate_projective()
&& compute_load_proof_fields.as_ref().map_or(
true,
&& compute_load_proof_fields.as_ref().is_none_or(
|&ComputeLoadProofFields {
c_hat_t,
c_h,
Expand Down
3 changes: 1 addition & 2 deletions tfhe-zk-pok/src/proofs/pke_v2.rs
Original file line number Diff line number Diff line change
Expand Up @@ -289,8 +289,7 @@ impl<G: Curve> Proof<G> {
&& C_hat_t.validate_projective()
&& pi.validate_projective()
&& pi_kzg.validate_projective()
&& compute_load_proof_fields.as_ref().map_or(
true,
&& compute_load_proof_fields.as_ref().is_none_or(
|&ComputeLoadProofFields { C_hat_h3, C_hat_w }| {
C_hat_h3.validate_projective() && C_hat_w.validate_projective()
},
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -421,7 +421,7 @@ impl<Scalar: UnsignedInteger + CastInto<usize> + CastFrom<usize>> ParameterSetCo
&& packed_mask.is_conformant(&lwe_dim)
&& packed_diffs
.as_ref()
.map_or(true, |packed_diffs| packed_diffs.is_conformant(&lwe_dim))
.is_none_or(|packed_diffs| packed_diffs.is_conformant(&lwe_dim))
&& *lwe_dimension == lwe_ct_parameters.lwe_dim
&& lwe_ct_parameters.ct_modulus.is_power_of_two()
&& match lwe_ct_parameters.ms_decompression_method {
Expand Down

0 comments on commit 219374b

Please sign in to comment.