Skip to content

-Full decider checks #49

-Full decider checks

-Full decider checks #49

GitHub Actions / Clippy (beta) succeeded Sep 26, 2023 in 1s

Clippy (beta)

70 warnings

Details

Results

Message level Amount
Internal compiler error 0
Error 0
Warning 70
Note 0
Help 0

Versions

  • rustc 1.70.0 (90c541806 2023-05-31)
  • cargo 1.70.0 (ec8a8a0ca 2023-04-25)
  • clippy 0.1.70 (90c5418 2023-05-31)

Annotations

Check warning on line 168 in halo2_proofs/src/protostar/accumulator.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

this `.into_iter()` call is equivalent to `.iter()` and will not consume the `slice`

warning: this `.into_iter()` call is equivalent to `.iter()` and will not consume the `slice`
   --> halo2_proofs/src/protostar/accumulator.rs:168:15
    |
168 |         error.into_iter().sum()
    |               ^^^^^^^^^ help: call directly: `iter`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#into_iter_on_ref
    = note: `-W clippy::into-iter-on-ref` implied by `-W clippy::all`

Check warning on line 30 in halo2_proofs/benches/commit_zk.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

useless conversion to the same type: `std::ops::Range<usize>`

warning: useless conversion to the same type: `std::ops::Range<usize>`
  --> halo2_proofs/benches/commit_zk.rs:29:46
   |
29 |       let mut thread_seeds: Vec<ChaCha20Rng> = (0..n_chunks)
   |  ______________________________________________^
30 | |         .into_iter()
   | |____________________^ help: consider removing `.into_iter()`: `(0..n_chunks)`
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion
   = note: `-W clippy::useless-conversion` implied by `-W clippy::all`

Check warning on line 40 in halo2_proofs/src/protostar/keygen.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

field `permutation_pk` is never read

warning: field `permutation_pk` is never read
  --> halo2_proofs/src/protostar/keygen.rs:40:16
   |
27 | pub struct ProvingKey<C: CurveAffine> {
   |            ---------- field in this struct
...
40 |     pub(crate) permutation_pk: permutation::ProvingKey<C>,
   |                ^^^^^^^^^^^^^^
   |
   = note: `ProvingKey` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis

Check warning on line 40 in halo2_proofs/src/protostar/constraints/expression.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

method `traverse` is never used

warning: method `traverse` is never used
  --> halo2_proofs/src/protostar/constraints/expression.rs:40:12
   |
25 | impl<F, CV, FV, WV> Expression<F, CV, FV, WV> {
   | --------------------------------------------- method in this implementation
...
40 |     pub fn traverse(&self, f: &mut impl FnMut(&Self)) {
   |            ^^^^^^^^

Check warning on line 28 in halo2_proofs/src/protostar/constraints.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

field `num_rows` is never read

warning: field `num_rows` is never read
  --> halo2_proofs/src/protostar/constraints.rs:28:5
   |
19 | pub struct Data<T: QueryType> {
   |            ---- field in this struct
...
28 |     num_rows: usize,
   |     ^^^^^^^^

Check warning on line 111 in halo2_proofs/src/protostar/accumulator/committed.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

function `batch_commit_transparent` is never used

warning: function `batch_commit_transparent` is never used
   --> halo2_proofs/src/protostar/accumulator/committed.rs:111:8
    |
111 | pub fn batch_commit_transparent<
    |        ^^^^^^^^^^^^^^^^^^^^^^^^

Check warning on line 91 in halo2_proofs/src/poly.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

function `lagrange_from_vec` is never used

warning: function `lagrange_from_vec` is never used
  --> halo2_proofs/src/poly.rs:91:15
   |
91 | pub(crate) fn lagrange_from_vec<F: ff::Field>(values: Vec<F>) -> Polynomial<F, LagrangeCoeff> {
   |               ^^^^^^^^^^^^^^^^^
   |
   = note: `#[warn(dead_code)]` on by default

Check warning on line 255 in halo2_proofs/examples/folding.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `circuit3`

warning: unused variable: `circuit3`
   --> halo2_proofs/examples/folding.rs:255:9
    |
255 |     let circuit3 = MyCircuit::<pallas::Scalar, W, H>::rand(&mut rng);
    |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_circuit3`
    |
    = note: `#[warn(unused_variables)]` on by default

Check warning on line 6 in halo2_proofs/examples/folding.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused import: `VerificationStrategy`

warning: unused import: `VerificationStrategy`
 --> halo2_proofs/examples/folding.rs:6:44
  |
6 |     poly::{self, commitment::ParamsProver, VerificationStrategy},
  |                                            ^^^^^^^^^^^^^^^^^^^^

Check warning on line 12 in halo2_proofs/examples/folding.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused import: `TranscriptReadBuffer`

warning: unused import: `TranscriptReadBuffer`
  --> halo2_proofs/examples/folding.rs:12:46
   |
12 |     transcript::{Blake2bWrite, Challenge255, TranscriptReadBuffer, TranscriptWriterBuffer},
   |                                              ^^^^^^^^^^^^^^^^^^^^

Check warning on line 1 in halo2_proofs/examples/folding.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused import: `FromUniformBytes`

warning: unused import: `FromUniformBytes`
 --> halo2_proofs/examples/folding.rs:1:23
  |
1 | use ff::{BatchInvert, FromUniformBytes};
  |                       ^^^^^^^^^^^^^^^^
  |
  = note: `#[warn(unused_imports)]` on by default

Check warning on line 200 in halo2_gadgets/src/sinsemilla.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`usize` -> `usize`)

warning: casting to the same type is unnecessary (`usize` -> `usize`)
   --> halo2_gadgets/src/sinsemilla.rs:200:30
    |
200 |         assert!(num_words <= piece_max_num_words as usize);
    |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `piece_max_num_words`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 113 in halo2_gadgets/src/sha256/table16/util.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`u64` -> `u64`)

warning: casting to the same type is unnecessary (`u64` -> `u64`)
   --> halo2_gadgets/src/sha256/table16/util.rs:113:31
    |
113 |     let carry = sum.map(|sum| (sum >> 32) as u64);
    |                               ^^^^^^^^^^^^^^^^^^ help: try: `(sum >> 32)`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 180 in halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`u64` -> `u64`)

warning: casting to the same type is unnecessary (`u64` -> `u64`)
   --> halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs:180:57
    |
180 |                 || carry.map(|carry| pallas::Base::from(carry as u64)),
    |                                                         ^^^^^^^^^^^^ help: try: `carry`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 264 in halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`u64` -> `u64`)

warning: casting to the same type is unnecessary (`u64` -> `u64`)
   --> halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs:264:57
    |
264 |                 || carry.map(|carry| pallas::Base::from(carry as u64)),
    |                                                         ^^^^^^^^^^^^ help: try: `carry`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 56 in halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`usize` -> `usize`)

warning: casting to the same type is unnecessary (`usize` -> `usize`)
  --> halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs:56:34
   |
56 |             + DECOMPOSE_0_ROWS * (word_idx - 62) as usize
   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `(word_idx - 62)`
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 50 in halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`usize` -> `usize`)

warning: casting to the same type is unnecessary (`usize` -> `usize`)
  --> halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs:50:34
   |
50 |             + SUBREGION_3_WORD * (word_idx - 49) as usize
   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `(word_idx - 49)`
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 43 in halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`usize` -> `usize`)

warning: casting to the same type is unnecessary (`usize` -> `usize`)
  --> halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs:43:47
   |
43 |         SUBREGION_0_ROWS + SUBREGION_1_WORD * (word_idx - 1) as usize
   |                                               ^^^^^^^^^^^^^^^^^^^^^^^ help: try: `(word_idx - 1)`
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 786 in halo2_gadgets/src/sha256/table16/compression/compression_util.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`u64` -> `u64`)

warning: casting to the same type is unnecessary (`u64` -> `u64`)
   --> halo2_gadgets/src/sha256/table16/compression/compression_util.rs:786:65
    |
786 |                 || h_prime_carry.map(|value| pallas::Base::from(value as u64)),
    |                                                                 ^^^^^^^^^^^^ help: try: `value`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

Check warning on line 114 in halo2_gadgets/src/sha256/table16/compression/compression_util.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

casting to the same type is unnecessary (`usize` -> `usize`)

warning: casting to the same type is unnecessary (`usize` -> `usize`)
   --> halo2_gadgets/src/sha256/table16/compression/compression_util.rs:114:13
    |
114 |             (idx as usize) * SUBREGION_MAIN_WORD
    |             ^^^^^^^^^^^^^^ help: try: `idx`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast
    = note: `-W clippy::unnecessary-cast` implied by `-W clippy::all`

Check warning on line 51 in halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the borrowed expression implements the required traits

warning: the borrowed expression implements the required traits
  --> halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs:51:25
   |
51 |         val.pow_vartime(&[5])
   |                         ^^^^ help: change this to: `[5]`
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

Check warning on line 25 in halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the borrowed expression implements the required traits

warning: the borrowed expression implements the required traits
  --> halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs:25:25
   |
25 |         val.pow_vartime(&[5])
   |                         ^^^^ help: change this to: `[5]`
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

Check warning on line 513 in halo2_gadgets/src/poseidon/pow5.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the borrowed expression implements the required traits

warning: the borrowed expression implements the required traits
   --> halo2_gadgets/src/poseidon/pow5.rs:513:77
    |
513 |                 let r_0 = (p[0] + config.round_constants[round + 1][0]).pow(&config.alpha);
    |                                                                             ^^^^^^^^^^^^^ help: change this to: `config.alpha`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

Check warning on line 473 in halo2_gadgets/src/poseidon/pow5.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the borrowed expression implements the required traits

warning: the borrowed expression implements the required traits
   --> halo2_gadgets/src/poseidon/pow5.rs:473:73
    |
473 |                 let r_0 = (p[0] + config.round_constants[round][0]).pow(&config.alpha);
    |                                                                         ^^^^^^^^^^^^^ help: change this to: `config.alpha`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

Check warning on line 447 in halo2_gadgets/src/poseidon/pow5.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the borrowed expression implements the required traits

warning: the borrowed expression implements the required traits
   --> halo2_gadgets/src/poseidon/pow5.rs:447:62
    |
447 |             let r: Value<Vec<F>> = q.map(|q| q.map(|q| q.pow(&config.alpha))).collect();
    |                                                              ^^^^^^^^^^^^^ help: change this to: `config.alpha`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow