The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1, peaceiris/actions-mdbook@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Book tests: halo2_proofs/src/dump.rs#L11

unused import: `FloorPlanner`

Book tests

`halo2_proofs` (lib) generated 1 warning

Intra-doc links

Intra-doc links: halo2_proofs/src/dump.rs#L11

unused import: `FloorPlanner`

Intra-doc links

`halo2_proofs` (lib) generated 1 warning

Bitrot check

virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`

Bitrot check: halo2_proofs/src/dump.rs#L11

unused import: `FloorPlanner`

Bitrot check: halo2_proofs/src/multicore.rs#L16

unused import: `Scope`

Bitrot check: halo2_proofs/src/dev/cost.rs#L105

unused doc comment

Bitrot check: halo2_proofs/src/dev/cost.rs#L107

unused doc comment

Bitrot check: halo2_proofs/src/dev/cost.rs#L109

unused doc comment

Bitrot check: halo2_proofs/src/plonk/circuit.rs#L769

struct `PointIndex` is never constructed

Bitrot check

`halo2_proofs` (lib) generated 6 warnings (run `cargo fix --lib -p halo2_proofs` to apply 2 suggestions)

Bitrot check: halo2_proofs/examples/circuit-layout.rs#L13

fields `0` and `1` are never read

Bitrot check: halo2_proofs/benches/plonk.rs#L19

struct `Variable` is never constructed

Test on macOS-latest with beta features

build failed, waiting for other jobs to finish...

Test on macOS-latest with nightly features

build failed, waiting for other jobs to finish...

Build target wasm32-wasi

Build target wasm32-wasi: halo2_proofs/src/dump.rs#L11

unused import: `FloorPlanner`

Build target wasm32-wasi

`halo2_proofs` (lib) generated 1 warning

Build target wasm32-unknown-unknown

Build target wasm32-unknown-unknown: halo2_proofs/src/dump.rs#L11

unused import: `FloorPlanner`

Build target wasm32-unknown-unknown

`halo2_proofs` (lib) generated 1 warning

an array of `Range` that is only one element: halo2_gadgets/src/utilities.rs#L407

warning: an array of `Range` that is only one element --> halo2_gadgets/src/utilities.rs:407:47 | 407 | decompose(pallas::Base::random(rng), &[0..255]); | ^^^^^^^^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#single_range_in_vec_init = note: `-W clippy::single-range-in-vec-init` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::single_range_in_vec_init)]` help: if you wanted a `Vec` that contains the entire range, try | 407 | decompose(pallas::Base::random(rng), &(0..255).collect::<std::vec::Vec<usize>>()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ help: if you wanted an array of len 255, try | 407 | decompose(pallas::Base::random(rng), &[0; 255]); | ~~~~~~

first doc comment paragraph is too long: halo2_gadgets/src/utilities.rs#L176

warning: first doc comment paragraph is too long --> halo2_gadgets/src/utilities.rs:176:1 | 176 | / /// Decompose a word `alpha` into `window_num_bits` bits (little-endian) 177 | | /// For a window size of `w`, this returns [k_0, ..., k_n] where each `k_i` 178 | | /// is a `w`-bit value, and `scalar = k_0 + k_1 * w + k_n * w^n`. 179 | | /// 180 | | /// # Panics | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph

use of `default` to create a unit struct: halo2_gadgets/src/utilities.rs#L127

warning: use of `default` to create a unit struct --> halo2_gadgets/src/utilities.rs:127:34 | 127 | _phantom: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/utilities.rs#L118

warning: use of `default` to create a unit struct --> halo2_gadgets/src/utilities.rs:118:34 | 118 | _phantom: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/utilities.rs#L103

warning: use of `default` to create a unit struct --> halo2_gadgets/src/utilities.rs:103:34 | 103 | _phantom: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/utilities/lookup_range_check.rs#L52

warning: use of `default` to create a unit struct --> halo2_gadgets/src/utilities/lookup_range_check.rs:52:38 | 52 | _phantom: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

first doc comment paragraph is too long: halo2_gadgets/src/utilities/decompose_running_sum.rs#L1

warning: first doc comment paragraph is too long --> halo2_gadgets/src/utilities/decompose_running_sum.rs:1:1 | 1 | / //! Decomposes an $n$-bit field element $\alpha$ into $W$ windows, each window 2 | | //! being a $K$-bit word, using a running sum $z$. 3 | | //! We constrain $K \leq 3$ for this helper. 4 | | //! $$\alpha = k_0 + (2^K) k_1 + (2^{2K}) k_2 + ... + (2^{(W-1)K}) k_{W-1}$$ 5 | | //! 6 | | //! $z_0$ is initialized as $\alpha$. Each successive $z_{i+1}$ is computed as | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_gadgets/src/sinsemilla.rs#L659

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_gadgets/src/sinsemilla.rs:659:48 | 659 | ... .chain(right.into_iter()), | ^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `right` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:479:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_gadgets/src/sinsemilla.rs#L658

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_gadgets/src/sinsemilla.rs:658:48 | 658 | ... .chain(left.into_iter()) | ^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `left` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:479:12 = 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` = help: to override `-W clippy::all` add `#[allow(clippy::useless_conversion)]`

first doc comment paragraph is too long: halo2_gadgets/src/sinsemilla.rs#L21

warning: first doc comment paragraph is too long --> halo2_gadgets/src/sinsemilla.rs:21:1 | 21 | / /// The set of circuit instructions required to use the [`Sinsemilla`](https://zcash.github.io/halo2/design/gadgets/sinsemilla.html) gadget. 22 | | /// This trait is bounded on two constant parameters: `K`, the number of bits 23 | | /// in each word accepted by the Sinsemilla hash, and `MAX_WORDS`, the maximum 24 | | /// number of words that a single hash instance can process. | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph help: add an empty line | 21 ~ /// The set of circuit instructions required to use the [`Sinsemilla`](https://zcash.github.io/halo2/design/gadgets/sinsemilla.html) gadget. 22 + /// |

the borrowed expression implements the required traits: halo2_gadgets/benches/poseidon.rs#L127

warning: the borrowed expression implements the required traits --> halo2_gadgets/benches/poseidon.rs:127:25 | 127 | 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_borrows_for_generic_args = note: `-W clippy::needless-borrows-for-generic-args` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::needless_borrows_for_generic_args)]`

first doc comment paragraph is too long: halo2_gadgets/src/utilities.rs#L176

use of `default` to create a unit struct: halo2_gadgets/src/utilities.rs#L127

use of `default` to create a unit struct: halo2_gadgets/src/utilities.rs#L118

use of `default` to create a unit struct: halo2_gadgets/src/utilities.rs#L103

use of `default` to create a unit struct: halo2_gadgets/src/utilities/lookup_range_check.rs#L52

first doc comment paragraph is too long: halo2_gadgets/src/utilities/decompose_running_sum.rs#L1

first doc comment paragraph is too long: halo2_gadgets/src/sinsemilla.rs#L21

use of `default` to create a unit struct: halo2_gadgets/src/poseidon.rs#L206

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon.rs:206:33 | 206 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/poseidon.rs#L159

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon.rs:159:33 | 159 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives.rs#L363

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon/primitives.rs:363:33 | 363 | _domain: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives.rs#L257

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon/primitives.rs:257:33 | 257 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives.rs#L220

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon/primitives.rs:220:33 | 220 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs#L88

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs:88:38 | 88 | P128Pow5T3Gen(PhantomData::default()) | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives/grain.rs#L72

warning: use of `default` to create a unit struct --> halo2_gadgets/src/poseidon/primitives/grain.rs:72:32 | 72 | _field: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs = note: `-W clippy::default-constructed-unit-structs` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::default_constructed_unit_structs)]`

the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L517

warning: the borrowed expression implements the required traits --> halo2_gadgets/src/poseidon/pow5.rs:517:77 | 517 | 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_borrows_for_generic_args

the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L477

warning: the borrowed expression implements the required traits --> halo2_gadgets/src/poseidon/pow5.rs:477:73 | 477 | 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_borrows_for_generic_args

the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L451

usage of `Iterator::fold` on a type that implements `Try`: halo2_gadgets/src/poseidon/pow5.rs#L256

warning: usage of `Iterator::fold` on a type that implements `Try` --> halo2_gadgets/src/poseidon/pow5.rs:256:58 | 256 | let state = (0..config.half_full_rounds).fold(Ok(state), |res, r| { | __________________________________________________________^ 257 | | res.and_then(|state| { 258 | | state.full_round( 259 | | &mut region, ... | 264 | | }) 265 | | })?; | |__________________^ help: use `try_fold` instead: `try_fold(state, |res, r| ...)` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#manual_try_fold

usage of `Iterator::fold` on a type that implements `Try`: halo2_gadgets/src/poseidon/pow5.rs#L245

warning: usage of `Iterator::fold` on a type that implements `Try` --> halo2_gadgets/src/poseidon/pow5.rs:245:61 | 245 | let state = (0..config.half_partial_rounds).fold(Ok(state), |res, r| { | _____________________________________________________________^ 246 | | res.and_then(|state| { 247 | | state.partial_round( 248 | | &mut region, ... | 253 | | }) 254 | | })?; | |__________________^ help: use `try_fold` instead: `try_fold(state, |res, r| ...)` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#manual_try_fold

usage of `Iterator::fold` on a type that implements `Try`: halo2_gadgets/src/poseidon/pow5.rs#L241

warning: usage of `Iterator::fold` on a type that implements `Try` --> halo2_gadgets/src/poseidon/pow5.rs:241:58 | 241 | let state = (0..config.half_full_rounds).fold(Ok(state), |res, r| { | __________________________________________________________^ 242 | | res.and_then(|state| state.full_round(&mut region, config, r, r)) 243 | | })?; | |__________________^ help: use `try_fold` instead: `try_fold(state, |res, r| ...)` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#manual_try_fold = note: `-W clippy::manual-try-fold` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::manual_try_fold)]`

first doc comment paragraph is too long: halo2_gadgets/src/ecc/chip.rs#L344

warning: first doc comment paragraph is too long --> halo2_gadgets/src/ecc/chip.rs:344:1 | 344 | / /// A signed short scalar used for fixed-base scalar multiplication. 345 | | /// A short scalar must have magnitude in the range [0..2^64), with 346 | | /// a sign of either 1 or -1. 347 | | /// This is decomposed into 3-bit windows in little-endian order ... | 351 | | /// 352 | | /// `windows` = [k_0, k_1, ..., k_21] (for a 64-bit magnitude) | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph help: add an empty line | 344 ~ /// A signed short scalar used for fixed-base scalar multiplication. 345 + /// |

first doc comment paragraph is too long: halo2_gadgets/src/ecc/chip.rs#L325

warning: first doc comment paragraph is too long --> halo2_gadgets/src/ecc/chip.rs:325:1 | 325 | / /// A full-width scalar used for fixed-base scalar multiplication. 326 | | /// This is decomposed into 85 3-bit windows in little-endian order, 327 | | /// i.e. `windows` = [k_0, k_1, ..., k_84] (for a 255-bit scalar) 328 | | /// where `scalar = k_0 + k_1 * (2^3) + ... + k_84 * (2^3)^84` and 329 | | /// each `k_i` is in the range [0..2^3). | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph = note: `-W clippy::too-long-first-doc-paragraph` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::too_long_first_doc_paragraph)]` help: add an empty line | 325 ~ /// A full-width scalar used for fixed-base scalar multiplication. 326 + /// |

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L395

warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:395:42 | 395 | .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_borrows_for_generic_args

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L390

warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:390:37 | 390 | 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_borrows_for_generic_args

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L373

warning: the borrowed expression implements the required traits --> halo2_gadgets/src/ecc/chip/mul_fixed.rs:373:68 | 373 | 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_borrows_for_generic_args

usage of `Iterator::fold` on a type that implements `Try`: halo2_proofs/src/dev.rs#L1066

warning: usage of `Iterator::fold` on a type that implements `Try` --> halo2_proofs/src/dev.rs:1066:30 | 1066 | ... .fold(Ok(()), |acc, res| acc.and(res)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `try_fold` instead: `try_fold((), |acc, res| ...)` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#manual_try_fold = note: `-W clippy::manual-try-fold` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::manual_try_fold)]`

the borrowed expression implements the required traits: halo2_proofs/src/dev.rs#L683

warning: the borrowed expression implements the required traits --> halo2_proofs/src/dev.rs:683:41 | 683 | / ... &util::load_instance( 684 | | ... n, 685 | | ... row, 686 | | ... &self.cs.instance_queries, 687 | | ... &self.instance, 688 | | ... ), | |_______________________^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args help: change this to | 683 ~ util::load_instance( 684 + n, 685 + row, 686 + &self.cs.instance_queries, 687 + &self.instance, 688 ~ ), |

the borrowed expression implements the required traits: halo2_proofs/src/dev.rs#L682

warning: the borrowed expression implements the required traits --> halo2_proofs/src/dev.rs:682:41 | 682 | ... &util::load(n, row, &self.cs.advice_queries, &self.advice), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `util::load(n, row, &self.cs.advice_queries, &self.advice)` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args

the borrowed expression implements the required traits: halo2_proofs/src/dev.rs#L681

warning: the borrowed expression implements the required traits --> halo2_proofs/src/dev.rs:681:41 | 681 | ... &util::load(n, row, &self.cs.fixed_queries, &self.fixed), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: change this to: `util::load(n, row, &self.cs.fixed_queries, &self.fixed)` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args

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_borrows_for_generic_args

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_borrows_for_generic_args

doc list item without indentation: halo2_gadgets/src/ecc/chip/constants.rs#L111

warning: doc list item without indentation --> halo2_gadgets/src/ecc/chip/constants.rs:111:5 | 111 | /// If successful, return a vector of `(z: u64, us: [C::Base; H])` for each window. | ^ | = help: if this is supposed to be its own paragraph, add a blank line = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation = note: `-W clippy::doc-lazy-continuation` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::doc_lazy_continuation)]` help: indent this line | 111 | /// If successful, return a vector of `(z: u64, us: [C::Base; H])` for each window. | ++

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_borrows_for_generic_args

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_borrows_for_generic_args

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_borrows_for_generic_args = note: `-W clippy::needless-borrows-for-generic-args` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::needless_borrows_for_generic_args)]`

use of `default` to create a unit struct: halo2_proofs/src/dev/cost.rs#L414

warning: use of `default` to create a unit struct --> halo2_proofs/src/dev/cost.rs:414:33 | 414 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_proofs/src/dev/cost.rs#L371

warning: use of `default` to create a unit struct --> halo2_proofs/src/dev/cost.rs:371:33 | 371 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_proofs/src/dev/cost.rs#L328

warning: use of `default` to create a unit struct --> halo2_proofs/src/dev/cost.rs:328:33 | 328 | _marker: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

first doc comment paragraph is too long: halo2_proofs/src/transcript.rs#L247

warning: first doc comment paragraph is too long --> halo2_proofs/src/transcript.rs:247:1 | 247 | / /// `EncodedChallenge<C>` defines a challenge encoding with a [`Self::Input`] 248 | | /// that is used to derive the challenge encoding and `get_challenge` obtains 249 | | /// the _real_ `C::Scalar` that the challenge encoding represents. | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/poly.rs#L174

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/poly.rs:174:22 | 174 | .zip(inv_denoms.into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `inv_denoms` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

this bound is already specified as the supertrait of `ExactSizeIterator`: halo2_proofs/src/poly.rs#L167

warning: this bound is already specified as the supertrait of `ExactSizeIterator` --> halo2_proofs/src/poly.rs:167:26 | 167 | inv_denoms: impl Iterator<Item = F> + ExactSizeIterator, | ^^^^^^^^^^^^^^^^^^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#implied_bounds_in_impls = note: `-W clippy::implied-bounds-in-impls` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::implied_bounds_in_impls)]` help: try removing this bound | 167 - inv_denoms: impl Iterator<Item = F> + ExactSizeIterator, 167 + inv_denoms: impl ExactSizeIterator<Item = F>, |

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/poly.rs#L159

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/poly.rs:159:14 | 159 | .zip(assigned_denominators.into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `assigned_denominators` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/poly/multiopen/prover.rs#L105

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/poly/multiopen/prover.rs:105:58 | 105 | let (p_poly, p_poly_blind) = q_polys.into_iter().zip(q_blinds.into_iter()).fold( | ^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `q_blinds` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

use of `default` to create a unit struct: halo2_proofs/src/poly/evaluator.rs#L124

warning: use of `default` to create a unit struct --> halo2_proofs/src/poly/evaluator.rs:124:36 | 124 | _evaluator: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs

use of `default` to create a unit struct: halo2_proofs/src/poly/evaluator.rs#L78

warning: use of `default` to create a unit struct --> halo2_proofs/src/poly/evaluator.rs:78:36 | 78 | _evaluator: PhantomData::default(), | ^^^^^^^^^^^ help: remove this call to `default` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#default_constructed_unit_structs = note: `-W clippy::default-constructed-unit-structs` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::default_constructed_unit_structs)]`

the borrowed expression implements the required traits: halo2_proofs/src/poly/domain.rs#L559

warning: the borrowed expression implements the required traits --> halo2_proofs/src/poly/domain.rs:559:20 | 559 | let xn = x.pow(&[8, 0, 0, 0]); | ^^^^^^^^^^^^^ help: change this to: `[8, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args

the borrowed expression implements the required traits: halo2_proofs/src/poly/domain.rs#L549

warning: the borrowed expression implements the required traits --> halo2_proofs/src/poly/domain.rs:549:38 | 549 | points.push(domain.omega.pow(&[i, 0, 0, 0])); | ^^^^^^^^^^^^^ help: change this to: `[i, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args

first doc comment paragraph is too long: halo2_proofs/src/poly/commitment/verifier.rs#L63

warning: first doc comment paragraph is too long --> halo2_proofs/src/poly/commitment/verifier.rs:63:1 | 63 | / /// Checks to see if the proof represented within `transcript` is valid, and a 64 | | /// point `x` that the polynomial commitment `P` opens purportedly to the value 65 | | /// `v`. The provided `msm` should evaluate to the commitment `P` being opened. | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph

first doc comment paragraph is too long: halo2_proofs/src/poly/commitment/prover.rs#L14

warning: first doc comment paragraph is too long --> halo2_proofs/src/poly/commitment/prover.rs:14:1 | 14 | / /// Create a polynomial commitment opening proof for the polynomial defined 15 | | /// by the coefficients `px`, the blinding factor `blind` used for the 16 | | /// polynomial commitment, and the point `x` that the polynomial is 17 | | /// evaluated at. 18 | | /// 19 | | /// This function will panic if the provided polynomial is too large with | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/verifier.rs#L259

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/verifier.rs:259:25 | 259 | / lookups 260 | | .iter() 261 | | .zip(vk.cs.lookups.iter()) 262 | | .flat_map(move |(p, argument)| { ... | 275 | | }) 276 | | .into_iter(), | |________________________________________^ | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:479:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion help: consider removing the `.into_iter()` | 259 ~ lookups 260 + .iter() 261 + .zip(vk.cs.lookups.iter()) 262 + .flat_map(move |(p, argument)| { 263 + p.expressions( 264 + l_0, 265 + l_last, 266 + l_blind, 267 + argument, 268 + theta, 269 + beta, 270 + gamma, 271 + advice_evals, 272 + fixed_evals, 273 + instance_evals, 274 + ) 275 ~ }), |

the borrowed expression implements the required traits: halo2_proofs/src/plonk/verifier.rs#L206

warning: the borrowed expression implements the required traits --> halo2_proofs/src/plonk/verifier.rs:206:24 | 206 | let xn = x.pow(&[params.n, 0, 0, 0]); | ^^^^^^^^^^^^^^^^^^^^ help: change this to: `[params.n, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args

use of `default` to create a unit struct: halo2_gadgets/src/poseidon.rs#L206

use of `default` to create a unit struct: halo2_gadgets/src/poseidon.rs#L159

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives.rs#L363

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives.rs#L220

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L581

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/prover.rs:581:28 | 581 | .chain(permutation_expressions.into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `permutation_expressions` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:479:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L547

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/prover.rs:547:14 | 547 | .zip(lookup_expressions.into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `lookup_expressions` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L546

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/prover.rs:546:14 | 546 | .zip(permutation_expressions.into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `permutation_expressions` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

use of `default` to create a unit struct: halo2_gadgets/src/poseidon/primitives/grain.rs#L72

first doc comment paragraph is too long: halo2_proofs/src/plonk/prover.rs#L31

warning: first doc comment paragraph is too long --> halo2_proofs/src/plonk/prover.rs:31:1 | 31 | / /// This creates a proof for the provided `circuit` when given the public 32 | | /// parameters `params` and the proving key [`ProvingKey`] that was 33 | | /// generated previously for the same circuit. The provided `instances` 34 | | /// are zero-padded internally. | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph

the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L517

the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L477

the borrowed expression implements the required traits: halo2_gadgets/src/poseidon/pow5.rs#L451

usage of `Iterator::fold` on a type that implements `Try`: halo2_gadgets/src/poseidon/pow5.rs#L256

usage of `Iterator::fold` on a type that implements `Try`: halo2_gadgets/src/poseidon/pow5.rs#L245

usage of `Iterator::fold` on a type that implements `Try`: halo2_gadgets/src/poseidon/pow5.rs#L241

doc list item without indentation: halo2_proofs/src/plonk/lookup/prover.rs#L562

warning: doc list item without indentation --> halo2_proofs/src/plonk/lookup/prover.rs:562:5 | 562 | /// This method returns (A', S') if no errors are encountered. | ^ | = help: if this is supposed to be its own paragraph, add a blank line = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation help: indent this line | 562 | /// This method returns (A', S') if no errors are encountered. | ++

doc list item without indentation: halo2_proofs/src/plonk/lookup/prover.rs#L74

warning: doc list item without indentation --> halo2_proofs/src/plonk/lookup/prover.rs:74:9 | 74 | /// The Permuted<C> struct is used to update the Lookup, and is then returned. | ^ | = help: if this is supposed to be its own paragraph, add a blank line = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation = note: `-W clippy::doc-lazy-continuation` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::doc_lazy_continuation)]` help: indent this line | 74 | /// The Permuted<C> struct is used to update the Lookup, and is then returned. | ++

first doc comment paragraph is too long: halo2_gadgets/src/ecc/chip.rs#L344

first doc comment paragraph is too long: halo2_gadgets/src/ecc/chip.rs#L325

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L395

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L390

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/mul_fixed.rs#L373

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/circuit.rs#L1261

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/circuit.rs:1261:22 | 1261 | .zip(degrees.into_iter()) | ^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `degrees` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/circuit.rs#L893

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/circuit.rs:893:18 | 893 | .zip(self.constraints.into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `self.constraints` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:598:12 = 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` = help: to override `-W clippy::all` add `#[allow(clippy::useless_conversion)]`

very complex type used. Consider factoring parts into `type` definitions: halo2_proofs/src/dump.rs#L208

warning: very complex type used. Consider factoring parts into `type` definitions --> halo2_proofs/src/dump.rs:208:51 | 208 | pub fn dump_lookups<F: Field, C: Circuit<F>>() -> Result<Vec<(Expression<F>, Expression<F>)>, Error> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity = note: `-W clippy::type-complexity` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::type_complexity)]`

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L220

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L217

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_borrows_for_generic_args

doc list item without indentation: halo2_gadgets/src/ecc/chip/constants.rs#L111

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L72

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L65

the borrowed expression implements the required traits: halo2_gadgets/src/ecc/chip/constants.rs#L52

struct `PointIndex` is never constructed: halo2_proofs/src/plonk/circuit.rs#L769

warning: struct `PointIndex` is never constructed --> halo2_proofs/src/plonk/circuit.rs:769:19 | 769 | pub(crate) struct PointIndex(pub usize); | ^^^^^^^^^^

trait `IndexedParallelIterator` is never used: halo2_proofs/src/multicore.rs#L28

warning: trait `IndexedParallelIterator` is never used --> halo2_proofs/src/multicore.rs:28:11 | 28 | pub trait IndexedParallelIterator: std::iter::Iterator {} | ^^^^^^^^^^^^^^^^^^^^^^^

fields `a` and `b` are never read: halo2_proofs/src/dump.rs#L446

warning: fields `a` and `b` are never read --> halo2_proofs/src/dump.rs:446:9 | 445 | struct GateTestConfig { | -------------- fields in this struct 446 | a: Column<Advice>, | ^ 447 | b: Column<Advice>, | ^ | = note: `GateTestConfig` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis

field `instance` is never read: halo2_proofs/src/dump.rs#L373

warning: field `instance` is never read --> halo2_proofs/src/dump.rs:373:9 | 371 | struct LookupTestConfig { | ---------------- field in this struct 372 | lookup_table: TableColumn, 373 | instance: Column<Instance>, | ^^^^^^^^ | = note: `LookupTestConfig` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis = note: `#[warn(dead_code)]` on by default

struct `Variable` is never constructed: halo2_proofs/benches/plonk.rs#L19

warning: struct `Variable` is never constructed --> halo2_proofs/benches/plonk.rs:19:16 | 19 | pub struct Variable(Column<Advice>, usize); | ^^^^^^^^ | = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis = note: `#[warn(dead_code)]` on by default

struct `Variable` is never constructed: halo2_proofs/tests/plonk_api.rs#L26

warning: struct `Variable` is never constructed --> halo2_proofs/tests/plonk_api.rs:26:16 | 26 | pub struct Variable(Column<Advice>, usize); | ^^^^^^^^ | = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis = note: `#[warn(dead_code)]` on by default

unused doc comment: halo2_proofs/src/dev/cost.rs#L109

warning: unused doc comment --> halo2_proofs/src/dev/cost.rs:109:13 | 109 | /// Selector assignments used for optimization pass | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 110 | selectors: vec![vec![false; n]; num_selectors], | ---------------------------------------------- rustdoc does not generate documentation for expression fields | = help: use `//` for a plain comment

unused doc comment: halo2_proofs/src/dev/cost.rs#L107

warning: unused doc comment --> halo2_proofs/src/dev/cost.rs:107:13 | 107 | /// Pairs of cells between which we have equality constraints. | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 108 | equality: vec![], | ---------------- rustdoc does not generate documentation for expression fields | = help: use `//` for a plain comment

unused doc comment: halo2_proofs/src/dev/cost.rs#L105

warning: unused doc comment --> halo2_proofs/src/dev/cost.rs:105:13 | 105 | /// Any cells assigned outside of a region. | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 106 | loose_cells: vec![], | ------------------- rustdoc does not generate documentation for expression fields | = help: use `//` for a plain comment = note: `#[warn(unused_doc_comments)]` on by default

unused imports: `ParallelIterator` and `Scope`: halo2_proofs/src/multicore.rs#L15

warning: unused imports: `ParallelIterator` and `Scope` --> halo2_proofs/src/multicore.rs:15:34 | 15 | iter::{IntoParallelIterator, ParallelIterator}, | ^^^^^^^^^^^^^^^^ 16 | join, scope, Scope, | ^^^^^

unused import: `FloorPlanner`: halo2_proofs/src/dump.rs#L11

warning: unused import: `FloorPlanner` --> halo2_proofs/src/dump.rs:11:5 | 11 | FloorPlanner, Instance, Selector, | ^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` on by default

the borrowed expression implements the required traits: halo2_proofs/src/dev.rs#L683

the borrowed expression implements the required traits: halo2_proofs/src/dev.rs#L682

the borrowed expression implements the required traits: halo2_proofs/src/dev.rs#L681

use of `default` to create a unit struct: halo2_proofs/src/dev/cost.rs#L414

use of `default` to create a unit struct: halo2_proofs/src/dev/cost.rs#L371

use of `default` to create a unit struct: halo2_proofs/src/dev/cost.rs#L328

first doc comment paragraph is too long: halo2_proofs/src/transcript.rs#L247

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/poly.rs#L174

this bound is already specified as the supertrait of `ExactSizeIterator`: halo2_proofs/src/poly.rs#L167

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/poly.rs#L159

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/poly/multiopen/prover.rs#L105

use of `default` to create a unit struct: halo2_proofs/src/poly/evaluator.rs#L124

use of `default` to create a unit struct: halo2_proofs/src/poly/evaluator.rs#L78

first doc comment paragraph is too long: halo2_proofs/src/poly/commitment/verifier.rs#L63

first doc comment paragraph is too long: halo2_proofs/src/poly/commitment/prover.rs#L14

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/verifier.rs#L319

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/verifier.rs:319:25 | 319 | / lookups 320 | | .iter() 321 | | .flat_map(move |p| p.queries(vk, x)) 322 | | .into_iter(), | |________________________________________^ | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:479:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion help: consider removing the `.into_iter()` | 319 ~ lookups 320 + .iter() 321 ~ .flat_map(move |p| p.queries(vk, x)), |

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/verifier.rs#L259

the borrowed expression implements the required traits: halo2_proofs/src/plonk/verifier.rs#L206

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L707

warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator` --> halo2_proofs/src/plonk/prover.rs:707:24 | 707 | .chain(lookups.iter().flat_map(move |p| p.open(pk, x)).into_iter()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `lookups.iter().flat_map(move |p| p.open(pk, x))` | note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()` --> /rustc/6a3b69c6b0529151da5fb4568961519a80adccf9/library/core/src/iter/traits/iterator.rs:479:12 = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion

the borrowed expression implements the required traits: halo2_proofs/src/plonk/prover.rs#L599

warning: the borrowed expression implements the required traits --> halo2_proofs/src/plonk/prover.rs:599:20 | 599 | let xn = x.pow(&[params.n, 0, 0, 0]); | ^^^^^^^^^^^^^^^^^^^^ help: change this to: `[params.n, 0, 0, 0]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrows_for_generic_args = note: `-W clippy::needless-borrows-for-generic-args` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::needless_borrows_for_generic_args)]`

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L581

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L547

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/prover.rs#L546

first doc comment paragraph is too long: halo2_proofs/src/plonk/prover.rs#L31

doc list item without indentation: halo2_proofs/src/plonk/lookup/prover.rs#L562

doc list item without indentation: halo2_proofs/src/plonk/lookup/prover.rs#L74

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/circuit.rs#L1261

explicit call to `.into_iter()` in function argument accepting `IntoIterator`: halo2_proofs/src/plonk/circuit.rs#L893

very complex type used. Consider factoring parts into `type` definitions: halo2_proofs/src/dump.rs#L208

first doc comment paragraph is too long: halo2_proofs/src/arithmetic.rs#L176

warning: first doc comment paragraph is too long --> halo2_proofs/src/arithmetic.rs:176:1 | 176 | / /// Performs a radix-$2$ Fast-Fourier Transformation (FFT) on a vector of size 177 | | /// $n = 2^k$, when provided `log_n` = $k$ and an element of multiplicative 178 | | /// order $n$ called `omega` ($\omega$). The result is that the vector `a`, when 179 | | /// interpreted as the coefficients of a polynomial of degree $n - 1$, is ... | 184 | | /// 185 | | /// This will use multithreading if beneficial. | |_ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#too_long_first_doc_paragraph = note: `-W clippy::too-long-first-doc-paragraph` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::too_long_first_doc_paragraph)]`

struct `PointIndex` is never constructed: halo2_proofs/src/plonk/circuit.rs#L769

warning: struct `PointIndex` is never constructed --> halo2_proofs/src/plonk/circuit.rs:769:19 | 769 | pub(crate) struct PointIndex(pub usize); | ^^^^^^^^^^

trait `IndexedParallelIterator` is never used: halo2_proofs/src/multicore.rs#L28

warning: trait `IndexedParallelIterator` is never used --> halo2_proofs/src/multicore.rs:28:11 | 28 | pub trait IndexedParallelIterator: std::iter::Iterator {} | ^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(dead_code)]` on by default

unused doc comment: halo2_proofs/src/dev/cost.rs#L109

unused doc comment: halo2_proofs/src/dev/cost.rs#L107

unused doc comment: halo2_proofs/src/dev/cost.rs#L105

unused imports: `ParallelIterator` and `Scope`: halo2_proofs/src/multicore.rs#L15

unused import: `FloorPlanner`: halo2_proofs/src/dump.rs#L11

warning: unused import: `FloorPlanner` --> halo2_proofs/src/dump.rs:11:5 | 11 | FloorPlanner, Instance, Selector, | ^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` on by default

Test on i686-unknown-linux-gnu with beta features

The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@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 i686-unknown-linux-gnu with beta features

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions-rs/toolchain@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Test on i686-unknown-linux-gnu

Test on i686-unknown-linux-gnu with nightly features

Code coverage

virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add tests for dump_gates #6

Summary

Add tests for dump_gates #6

Jobs

Run details

ci.yml

Annotations