Skip to content

fold challenges and commitments in Verifier #52

fold challenges and commitments in Verifier

fold challenges and commitments in Verifier #52

Triggered via push September 13, 2023 16:58
Status Failure
Total duration 19m 34s
Artifacts

ci.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 108 warnings
Rustfmt
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
Rustfmt
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Rustfmt
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Rustfmt
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Rustfmt
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Rustfmt
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
redundant clone: halo2_proofs/src/protostar/verifier.rs#L688
warning: redundant clone --> halo2_proofs/src/protostar/verifier.rs:688:28 | 688 | v_acc0.fold(&v_acc1.clone(), &pk, &mut v_transcript); | ^^^^^^^^ help: remove this | note: cloned value is neither consumed nor mutated --> halo2_proofs/src/protostar/verifier.rs:688:22 | 688 | v_acc0.fold(&v_acc1.clone(), &pk, &mut v_transcript); | ^^^^^^^^^^^^^^ = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_clone = note: `-W clippy::redundant-clone` implied by `-W clippy::all`
this `.into_iter()` call is equivalent to `.iter()` and will not consume the `Vec`: halo2_proofs/src/protostar/row_evaluator/interpolate.rs#L59
warning: this `.into_iter()` call is equivalent to `.iter()` and will not consume the `Vec` --> halo2_proofs/src/protostar/row_evaluator/interpolate.rs:59:29 | 59 | .zip(denoms.into_iter()) | ^^^^^^^^^ 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`
field `num_selector_rows` is never read: halo2_proofs/src/protostar/keygen.rs#L39
warning: field `num_selector_rows` is never read --> halo2_proofs/src/protostar/keygen.rs:39:5 | 25 | pub struct ProvingKey<C: CurveAffine> { | ---------- field in this struct ... 39 | num_selector_rows: Vec<usize>, | ^^^^^^^^^^^^^^^^^ | = note: `ProvingKey` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
function `lagrange_from_vec` is never used: halo2_proofs/src/poly.rs#L91
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sinsemilla.rs#L200
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
function `test_prover` is never used: halo2_proofs/examples/folding.rs#L281
warning: function `test_prover` is never used --> halo2_proofs/examples/folding.rs:281:4 | 281 | fn test_prover<C: CurveAffine, const W: usize, const H: usize>( | ^^^^^^^^^^^
function `test_mock_prover` is never used: halo2_proofs/examples/folding.rs#L254
warning: function `test_mock_prover` is never used --> halo2_proofs/examples/folding.rs:254:4 | 254 | fn test_mock_prover<F: Ord + FromUniformBytes<64>, const W: usize, const H: usize>( | ^^^^^^^^^^^^^^^^ | = note: `#[warn(dead_code)]` on by default
unused import: `protostar::verifier::VerifierAccumulator`: halo2_proofs/examples/folding.rs#L19
warning: unused import: `protostar::verifier::VerifierAccumulator` --> halo2_proofs/examples/folding.rs:19:5 | 19 | protostar::verifier::VerifierAccumulator, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` on by default
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/util.rs#L113
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
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs#L180
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
useless conversion to the same type: `std::ops::Range<usize>`: halo2_proofs/benches/commit_zk.rs#L29
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`
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs#L264
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs#L56
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs#L50
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs#L43
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
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/compression/compression_util.rs#L786
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/compression/compression_util.rs#L114
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`
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs#L51
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs#L25
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L513
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L473
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L447
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
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L397
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:397:42 | 397 | .map(|k| k * (*H_SCALAR).pow(&[(NUM_WINDOWS - 1) as u64, 0, 0, 0]) - offset_acc); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[(NUM_WINDOWS - 1) as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L392
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:392:37 | 392 | acc + (*TWO_SCALAR).pow(&[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L375
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:375:68 | 375 | let scalar = k.map(|k| (k + *TWO_SCALAR) * (*H_SCALAR).pow(&[w as u64, 0, 0, 0])); | ^^^^^^^^^^^^^^^^^^^^ help: change this to: `[w as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/benches/poseidon.rs#L138
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/poseidon.rs:138:25 | 138 | 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 = note: `-W clippy::needless-borrow` implied by `-W clippy::all`
the borrowed expression implements the required traits: halo2_gadgets/benches/sha256.rs#L147
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/sha256.rs:147:35 | 147 | let mut proof_fs = File::open(&proof_path).expect("couldn't load sha256_proof"); | ^^^^^^^^^^^ help: change this to: `proof_path` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/benches/sha256.rs#L143
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/sha256.rs:143:37 | 143 | let mut file = File::create(&proof_path).expect("Failed to create sha256_proof"); | ^^^^^^^^^^^ help: change this to: `proof_path` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/benches/sha256.rs#L131
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/sha256.rs:131:19 | 131 | if File::open(&proof_path).is_err() { | ^^^^^^^^^^^ help: change this to: `proof_path` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/benches/sha256.rs#L104
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/sha256.rs:104:32 | 104 | let params_fs = File::open(&params_path).expect("couldn't load sha256_params"); | ^^^^^^^^^^^^ help: change this to: `params_path` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/benches/sha256.rs#L98
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/sha256.rs:98:37 | 98 | let mut file = File::create(&params_path).expect("Failed to create sha256_params"); | ^^^^^^^^^^^^ help: change this to: `params_path` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/benches/sha256.rs#L93
warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/sha256.rs:93:19 | 93 | if File::open(&params_path).is_err() { | ^^^^^^^^^^^^ help: change this to: `params_path` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow = note: `-W clippy::needless-borrow` implied by `-W clippy::all`
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L220
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:220:45 | 220 | * C::Scalar::from(H as u64).pow(&[(num_windows - 1) as u64, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[(num_windows - 1) as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L217
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:217:42 | 217 | acc + C::Scalar::from(2).pow(&[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L200
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:200:53 | 200 | * C::Scalar::from(H as u64).pow(&[idx as u64, 0, 0, 0]); | ^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[idx as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L72
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:72:53 | 72 | * C::Scalar::from(H as u64).pow(&[(num_windows - 1) as u64, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[(num_windows - 1) as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L65
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:65:38 | 65 | acc + C::Scalar::from(2).pow(&[FIXED_BASE_WINDOW_SIZE as u64 * j as u64 + 1, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[FIXED_BASE_WINDOW_SIZE as u64 * j as u64 + 1, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L52
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:52:57 | 52 | * C::Scalar::from(H as u64).pow(&[w as u64, 0, 0, 0]); | ^^^^^^^^^^^^^^^^^^^^ help: change this to: `[w as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow = note: `-W clippy::needless-borrow` implied by `-W clippy::all`
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sinsemilla.rs#L200
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
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/util.rs#L113
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
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs#L180
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
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs#L264
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs#L56
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs#L50
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs#L43
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
casting to the same type is unnecessary (`u64` -> `u64`): halo2_gadgets/src/sha256/table16/compression/compression_util.rs#L786
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
casting to the same type is unnecessary (`usize` -> `usize`): halo2_gadgets/src/sha256/table16/compression/compression_util.rs#L114
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`
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs#L51
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs#L25
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L513
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L473
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
the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L447
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
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L397
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:397:42 | 397 | .map(|k| k * (*H_SCALAR).pow(&[(NUM_WINDOWS - 1) as u64, 0, 0, 0]) - offset_acc); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[(NUM_WINDOWS - 1) as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L392
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:392:37 | 392 | acc + (*TWO_SCALAR).pow(&[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L375
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:375:68 | 375 | let scalar = k.map(|k| (k + *TWO_SCALAR) * (*H_SCALAR).pow(&[w as u64, 0, 0, 0])); | ^^^^^^^^^^^^^^^^^^^^ help: change this to: `[w as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L220
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:220:45 | 220 | * C::Scalar::from(H as u64).pow(&[(num_windows - 1) as u64, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[(num_windows - 1) as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L217
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:217:42 | 217 | acc + C::Scalar::from(2).pow(&[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[FIXED_BASE_WINDOW_SIZE as u64 * w as u64 + 1, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L200
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:200:53 | 200 | * C::Scalar::from(H as u64).pow(&[idx as u64, 0, 0, 0]); | ^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[idx as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L72
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:72:53 | 72 | * C::Scalar::from(H as u64).pow(&[(num_windows - 1) as u64, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[(num_windows - 1) as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L65
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:65:38 | 65 | acc + C::Scalar::from(2).pow(&[FIXED_BASE_WINDOW_SIZE as u64 * j as u64 + 1, 0, 0, 0]) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `[FIXED_BASE_WINDOW_SIZE as u64 * j as u64 + 1, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L52
warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/constants.rs:52:57 | 52 | * C::Scalar::from(H as u64).pow(&[w as u64, 0, 0, 0]); | ^^^^^^^^^^^^^^^^^^^^ help: change this to: `[w as u64, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow = note: `-W clippy::needless-borrow` implied by `-W clippy::all`
this `.into_iter()` call is equivalent to `.iter()` and will not consume the `Vec`: halo2_proofs/src/protostar/row_evaluator/interpolate.rs#L59
warning: this `.into_iter()` call is equivalent to `.iter()` and will not consume the `Vec` --> halo2_proofs/src/protostar/row_evaluator/interpolate.rs:59:29 | 59 | .zip(denoms.into_iter()) | ^^^^^^^^^ 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`
field `num_selector_rows` is never read: halo2_proofs/src/protostar/keygen.rs#L39
warning: field `num_selector_rows` is never read --> halo2_proofs/src/protostar/keygen.rs:39:5 | 25 | pub struct ProvingKey<C: CurveAffine> { | ---------- field in this struct ... 39 | num_selector_rows: Vec<usize>, | ^^^^^^^^^^^^^^^^^ | = note: `ProvingKey` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
function `lagrange_from_vec` is never used: halo2_proofs/src/poly.rs#L91
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
Test on ubuntu-latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Test on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on ubuntu-latest: halo2_proofs/src/poly.rs#L91
function `lagrange_from_vec` is never used
Test on ubuntu-latest: halo2_proofs/src/protostar/keygen.rs#L39
field `num_selector_rows` is never read
Test on ubuntu-latest
`halo2_proofs` (lib) generated 2 warnings
Test on ubuntu-latest: halo2_proofs/examples/folding.rs#L19
unused import: `protostar::verifier::VerifierAccumulator`
Test on ubuntu-latest: halo2_proofs/examples/folding.rs#L254
function `test_mock_prover` is never used
Test on ubuntu-latest: halo2_proofs/examples/folding.rs#L281
function `test_prover` is never used
Test on ubuntu-latest
`halo2_proofs` (example "folding") generated 3 warnings (run `cargo fix --example "folding"` to apply 1 suggestion)
Test on ubuntu-latest
`halo2_proofs` (lib test) generated 2 warnings (2 duplicates)
Test on macOS-latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Test on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on macOS-latest: halo2_proofs/src/poly.rs#L91
function `lagrange_from_vec` is never used
Test on macOS-latest: halo2_proofs/src/protostar/keygen.rs#L39
field `num_selector_rows` is never read
Test on macOS-latest
`halo2_proofs` (lib) generated 2 warnings
Test on macOS-latest: halo2_proofs/examples/folding.rs#L19
unused import: `protostar::verifier::VerifierAccumulator`
Test on macOS-latest: halo2_proofs/examples/folding.rs#L254
function `test_mock_prover` is never used
Test on macOS-latest: halo2_proofs/examples/folding.rs#L281
function `test_prover` is never used
Test on macOS-latest
`halo2_proofs` (example "folding") generated 3 warnings (run `cargo fix --example "folding"` to apply 1 suggestion)
Test on macOS-latest
`halo2_proofs` (lib test) generated 2 warnings (2 duplicates)
Test on windows-latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Test on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test on windows-latest: halo2_proofs/src/poly.rs#L91
function `lagrange_from_vec` is never used
Test on windows-latest: halo2_proofs/src/protostar/keygen.rs#L39
field `num_selector_rows` is never read
Test on windows-latest
`halo2_proofs` (lib) generated 2 warnings
Test on windows-latest: halo2_proofs/examples/folding.rs#L19
unused import: `protostar::verifier::VerifierAccumulator`
Test on windows-latest: halo2_proofs/examples/folding.rs#L254
function `test_mock_prover` is never used
Test on windows-latest: halo2_proofs/examples/folding.rs#L281
function `test_prover` is never used
Test on windows-latest
`halo2_proofs` (example "folding") generated 3 warnings (run `cargo fix --example "folding"` to apply 1 suggestion)
Test on windows-latest
`halo2_proofs` (lib test) generated 2 warnings (2 duplicates)