add initial doc #282
ci.yml
on: push
Bitrot check
1m 8s
Book tests
1m 58s
Intra-doc links
2m 2s
Rustfmt
18s
Matrix: build
Matrix: test-32-bit
Matrix: test
Annotations
41 errors and 251 warnings
Test on i686-unknown-linux-gnu
Process completed with exit code 100.
|
Test on i686-unknown-linux-gnu with beta features
The job was canceled because "stable" failed.
|
Test on i686-unknown-linux-gnu with beta features
The operation was canceled.
|
Test on i686-unknown-linux-gnu with nightly features
The job was canceled because "stable" failed.
|
Test on i686-unknown-linux-gnu with nightly features
The operation was canceled.
|
mismatched types:
halo2_gadgets/src/sinsemilla_opt/chip/hash_to_point.rs#L42
error[E0308]: mismatched types
--> halo2_gadgets/src/sinsemilla_opt/chip/hash_to_point.rs:42:10
|
33 | pub(crate) fn hash_message_with_private_init(
| ------------------------------ implicitly returns `()` as its body has no tail or `return` expression
...
42 | ) -> Result<
| __________^
43 | | (
44 | | NonIdentityEccPoint,
45 | | Vec<Vec<AssignedCell<pallas::Base, pallas::Base>>>,
46 | | ),
47 | | Error,
48 | | > {
| |_____^ expected `Result<(..., ...), ...>`, found `()`
|
= note: expected enum `Result<(NonIdentityEccPoint, Vec<Vec<AssignedCell<Fp, Fp>>>), Error>`
found unit type `()`
= note: the full type name has been written to '/home/runner/work/halo2/halo2/target/debug/deps/halo2_gadgets-00ea67e8e6a9e6dd.long-type-15523253599450432135.txt'
= note: consider using `--verbose` to print the full type name to the console
|
mismatched types:
halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs#L50
error[E0308]: mismatched types
--> halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs:50:10
|
40 | pub(super) fn hash_message(
| ------------ implicitly returns `()` as its body has no tail or `return` expression
...
50 | ) -> Result<
| __________^
51 | | (
52 | | NonIdentityEccPoint,
53 | | Vec<Vec<AssignedCell<pallas::Base, pallas::Base>>>,
54 | | ),
55 | | Error,
56 | | > {
| |_____^ expected `Result<(..., ...), ...>`, found `()`
|
= note: expected enum `Result<(NonIdentityEccPoint, Vec<Vec<AssignedCell<Fp, Fp>>>), Error>`
found unit type `()`
= note: the full type name has been written to '/home/runner/work/halo2/halo2/target/debug/deps/halo2_gadgets-00ea67e8e6a9e6dd.long-type-15523253599450432135.txt'
= note: consider using `--verbose` to print the full type name to the console
|
Bitrot check:
halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs#L50
mismatched types
|
|
Bitrot check
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Book tests:
halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs#L50
mismatched types
|
|
Book tests
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
|
|
Build target wasm32-wasi
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Build target wasm32-unknown-unknown
The job was canceled because "wasm32-wasi" failed.
|
Build target wasm32-unknown-unknown
The operation was canceled.
|
|
|
Test on ubuntu-latest
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Test on ubuntu-latest with nightly features
The job was canceled because "stable_ubuntu-latest" failed.
|
|
|
Test on ubuntu-latest with nightly features
The operation was canceled.
|
Test on windows-latest
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on windows-latest
The operation was canceled.
|
Test on macOS-latest with beta features
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on macOS-latest with beta features
The operation was canceled.
|
Test on macOS-latest with nightly features
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on macOS-latest with nightly features
The operation was canceled.
|
Test on windows-latest with nightly features
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on windows-latest with nightly features
The operation was canceled.
|
Test on windows-latest with beta features
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on ubuntu-latest with beta features
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on windows-latest with beta features
The operation was canceled.
|
|
|
Test on ubuntu-latest with beta features
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Test on macOS-latest
The job was canceled because "stable_ubuntu-latest" failed.
|
Test on macOS-latest
The operation was canceled.
|
Test on i686-unknown-linux-gnu
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 i686-unknown-linux-gnu
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 i686-unknown-linux-gnu
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 i686-unknown-linux-gnu
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 i686-unknown-linux-gnu
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Test on i686-unknown-linux-gnu
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/
|
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/
|
Rustfmt
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
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/
|
variable `is_Q_public` should have a snake case name:
halo2_gadgets/src/sinsemilla_opt.rs#L86
warning: variable `is_Q_public` should have a snake case name
--> halo2_gadgets/src/sinsemilla_opt.rs:86:9
|
86 | is_Q_public: bool,
| ^^^^^^^^^^^ help: convert the identifier to snake case: `is_q_public`
|
variable `is_Q_public` should have a snake case name:
halo2_gadgets/src/sinsemilla.rs#L456
warning: variable `is_Q_public` should have a snake case name
--> halo2_gadgets/src/sinsemilla.rs:456:9
|
456 | is_Q_public: bool,
| ^^^^^^^^^^^ help: convert the identifier to snake case: `is_q_public`
|
variable `is_Q_public` should have a snake case name:
halo2_gadgets/src/sinsemilla.rs#L425
warning: variable `is_Q_public` should have a snake case name
--> halo2_gadgets/src/sinsemilla.rs:425:9
|
425 | is_Q_public: bool,
| ^^^^^^^^^^^ help: convert the identifier to snake case: `is_q_public`
|
variable `is_Q_public` should have a snake case name:
halo2_gadgets/src/sinsemilla.rs#L341
warning: variable `is_Q_public` should have a snake case name
--> halo2_gadgets/src/sinsemilla.rs:341:9
|
341 | is_Q_public: bool,
| ^^^^^^^^^^^ help: convert the identifier to snake case: `is_q_public`
|
variable `is_Q_public` should have a snake case name:
halo2_gadgets/src/sinsemilla.rs#L325
warning: variable `is_Q_public` should have a snake case name
--> halo2_gadgets/src/sinsemilla.rs:325:9
|
325 | is_Q_public: bool,
| ^^^^^^^^^^^ help: convert the identifier to snake case: `is_q_public`
|
= note: `#[warn(non_snake_case)]` on by default
|
items after a test module:
halo2_gadgets/src/utilities_opt/lookup_range_check.rs#L260
warning: items after a test module
--> halo2_gadgets/src/utilities_opt/lookup_range_check.rs:260:1
|
260 | mod tests {
| ^^^^^^^^^
...
567 | pub(crate) type DefaultLookupRangeCheckConfigOptimized =
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
570 | impl DefaultLookupRangeCheck for DefaultLookupRangeCheckConfigOptimized {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#items_after_test_module
= note: `-W clippy::items-after-test-module` implied by `-W clippy::all`
= help: to override `-W clippy::all` add `#[allow(clippy::items_after_test_module)]`
= help: move the items to before the test module was defined
|
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]);
| ~~~~~~
|
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
|
explicit call to `.into_iter()` in function argument accepting `IntoIterator`:
halo2_gadgets/src/sinsemilla_opt.rs#L381
warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
--> halo2_gadgets/src/sinsemilla_opt.rs:381:48
|
381 | ... .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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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_opt.rs#L380
warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
--> halo2_gadgets/src/sinsemilla_opt.rs:380:48
|
380 | ... .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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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/sinsemilla_opt/primitives.rs#L57
warning: use of `default` to create a unit struct
--> halo2_gadgets/src/sinsemilla_opt/primitives.rs:57:31
|
57 | let mut os_rng = OsRng::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
|
explicit call to `.into_iter()` in function argument accepting `IntoIterator`:
halo2_gadgets/src/sinsemilla.rs#L700
warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
--> halo2_gadgets/src/sinsemilla.rs:700:48
|
700 | ... .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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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#L699
warning: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
--> halo2_gadgets/src/sinsemilla.rs:699:48
|
699 | ... .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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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)]`
|
this expression creates a reference which is immediately dereferenced by the compiler:
halo2_gadgets/src/sinsemilla/chip.rs#L219
warning: this expression creates a reference which is immediately dereferenced by the compiler
--> halo2_gadgets/src/sinsemilla/chip.rs:219:44
|
219 | Self::get_y_q_advice(meta, &config)
| ^^^^^^^ help: change this to: `config`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
|
this expression creates a reference which is immediately dereferenced by the compiler:
halo2_gadgets/src/sinsemilla/chip.rs#L217
warning: this expression creates a reference which is immediately dereferenced by the compiler
--> halo2_gadgets/src/sinsemilla/chip.rs:217:43
|
217 | Self::get_y_q_fixed(meta, &config)
| ^^^^^^^ help: change this to: `config`
|
= 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`
= help: to override `-W clippy::all` add `#[allow(clippy::needless_borrow)]`
|
very complex type used. Consider factoring parts into `type` definitions:
halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs#L84
warning: very complex type used. Consider factoring parts into `type` definitions
--> halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs:84:10
|
84 | ) -> Result<
| __________^
85 | | (
86 | | NonIdentityEccPoint,
87 | | Vec<Vec<AssignedCell<pallas::Base, pallas::Base>>>,
88 | | ),
89 | | Error,
90 | | > {
| |_____^
|
= 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)]`
|
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
warning: the borrowed expression implements the required traits
--> halo2_gadgets/src/poseidon/pow5.rs:451:62
|
451 | 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_borrows_for_generic_args
|
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)]`
|
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
|
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
|
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
|
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)]`
|
method `table_range_check_tag` is never used:
halo2_gadgets/src/utilities_opt/lookup_range_check.rs#L166
warning: method `table_range_check_tag` is never used
--> halo2_gadgets/src/utilities_opt/lookup_range_check.rs:166:19
|
39 | impl<F: PrimeFieldBits, const K: usize> LookupRangeCheckConfigOptimized<F, K> {
| ----------------------------------------------------------------------------- method in this implementation
...
166 | pub(crate) fn table_range_check_tag(&self) -> TableColumn {
| ^^^^^^^^^^^^^^^^^^^^^
|
type alias `DefaultGeneratorTableConfigOptimized` is never used:
halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs#L134
warning: type alias `DefaultGeneratorTableConfigOptimized` is never used
--> halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs:134:17
|
134 | pub(crate) type DefaultGeneratorTableConfigOptimized = GeneratorTableConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
struct `Variable` is never constructed:
halo2_gadgets/src/sha256/table16/spread_table.rs#L308
warning: struct `Variable` is never constructed
--> halo2_gadgets/src/sha256/table16/spread_table.rs:308:20
|
308 | 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
|
associated functions `from_pallas_generator` and `from_parts` are never used:
halo2_gadgets/src/ecc_opt.rs#L104
warning: associated functions `from_pallas_generator` and `from_parts` are never used
--> halo2_gadgets/src/ecc_opt.rs:104:23
|
103 | impl FullWidth {
| -------------- associated functions in this implementation
104 | pub(crate) fn from_pallas_generator() -> Self {
| ^^^^^^^^^^^^^^^^^^^^^
...
108 | pub(crate) fn from_parts(
| ^^^^^^^^^^
|
function `test_mul_fixed_short` is never used:
halo2_gadgets/src/ecc_opt/chip/mul_fixed/short.rs#L99
warning: function `test_mul_fixed_short` is never used
--> halo2_gadgets/src/ecc_opt/chip/mul_fixed/short.rs:99:19
|
99 | pub(crate) fn test_mul_fixed_short(
| ^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(dead_code)]` on by default
|
unused variable: `table_range_check_tag`:
halo2_gadgets/src/utilities_opt/cond_swap.rs#L295
warning: unused variable: `table_range_check_tag`
--> halo2_gadgets/src/utilities_opt/cond_swap.rs:295:21
|
295 | let table_range_check_tag = meta.lookup_table_column();
| ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_table_range_check_tag`
|
= note: `#[warn(unused_variables)]` on by default
|
unused import: `GeneratorTable`:
halo2_gadgets/src/sinsemilla/chip.rs#L28
warning: unused import: `GeneratorTable`
--> halo2_gadgets/src/sinsemilla/chip.rs:28:71
|
28 | use crate::sinsemilla::chip::generator_table::{DefaultGeneratorTable, GeneratorTable};
| ^^^^^^^^^^^^^^
|
unused import: `Chip`:
halo2_gadgets/src/ecc/chip/mul.rs#L464
warning: unused import: `Chip`
--> halo2_gadgets/src/ecc/chip/mul.rs:464:19
|
464 | circuit::{Chip, Layouter, Value},
| ^^^^
|
unused import: `LookupRangeCheck`:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
warning: unused import: `LookupRangeCheck`
--> halo2_gadgets/src/sinsemilla/chip/generator_table.rs:11:44
|
11 | use crate::utilities::lookup_range_check::{LookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^
|
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)]`
|
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
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602:12
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion
|
assigning the result of `Clone::clone()` may be inefficient:
halo2_proofs/src/poly/multiopen.rs#L208
warning: assigning the result of `Clone::clone()` may be inefficient
--> halo2_proofs/src/poly/multiopen.rs:208:17
|
208 | point_index_set = point_idx_set.clone();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `clone_from()`: `point_index_set.clone_from(point_idx_set)`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#assigning_clones
= note: `-W clippy::assigning-clones` implied by `-W clippy::all`
= help: to override `-W clippy::all` add `#[allow(clippy::assigning_clones)]`
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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#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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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)]`
|
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 import: `GeneratorTable`:
halo2_gadgets/src/sinsemilla/chip.rs#L28
warning: unused import: `GeneratorTable`
--> halo2_gadgets/src/sinsemilla/chip.rs:28:71
|
28 | use crate::sinsemilla::chip::generator_table::{DefaultGeneratorTable, GeneratorTable};
| ^^^^^^^^^^^^^^
|
unused import: `LookupRangeCheck`:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
warning: unused import: `LookupRangeCheck`
--> halo2_gadgets/src/sinsemilla/chip/generator_table.rs:11:44
|
11 | use crate::utilities::lookup_range_check::{LookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^
|
unused import: `utilities::lookup_range_check::LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla_opt.rs#L162
warning: unused import: `utilities::lookup_range_check::LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla_opt.rs:162:13
|
162 | utilities::lookup_range_check::LookupRangeCheckConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/merkle/chip.rs#L15
warning: unused import: `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/merkle/chip.rs:15:5
|
15 | utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs#L15
warning: unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs:15:5
|
15 | use crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused imports: `DefaultLookupRangeCheck`, `LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs#L14
warning: unused imports: `DefaultLookupRangeCheck`, `LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs:14:44
|
14 | use crate::utilities::lookup_range_check::{DefaultLookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `pasta_curves::pallas::Base`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L26
warning: unused import: `pasta_curves::pallas::Base`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:26:5
|
26 | use pasta_curves::pallas::Base;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused imports: `Advice`, `AssignedCell`, `Chip`, `Column`, `ConstraintSystem`, `Constraints`, `Fixed`, `TableColumn`, `Value`, `VirtualCells`, `poly::Rotation`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L19
warning: unused imports: `Advice`, `AssignedCell`, `Chip`, `Column`, `ConstraintSystem`, `Constraints`, `Fixed`, `TableColumn`, `Value`, `VirtualCells`, `poly::Rotation`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:19:15
|
19 | circuit::{AssignedCell, Chip, Layouter, Value},
| ^^^^^^^^^^^^ ^^^^ ^^^^^
20 | plonk::{
21 | Advice, Column, ConstraintSystem, Constraints, Error, Fixed, TableColumn, VirtualCells,
| ^^^^^^ ^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^
22 | },
23 | poly::Rotation,
| ^^^^^^^^^^^^^^
|
unused import: `halo2_proofs::plonk::Expression`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L17
warning: unused import: `halo2_proofs::plonk::Expression`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:17:5
|
17 | use halo2_proofs::plonk::Expression;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused imports: `MessagePiece`, `Message`, `SinsemillaConfig`, `SinsemillaInstructions`, `chip::NonIdentityEccPoint`, `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L9
warning: unused imports: `MessagePiece`, `Message`, `SinsemillaConfig`, `SinsemillaInstructions`, `chip::NonIdentityEccPoint`, `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:9:11
|
9 | ecc::{chip::NonIdentityEccPoint, FixedPoints},
| ^^^^^^^^^^^^^^^^^^^^^^^^^
10 | sinsemilla::{
11 | chip::{SinsemillaChip, SinsemillaConfig},
| ^^^^^^^^^^^^^^^^
12 | message::{Message, MessagePiece},
| ^^^^^^^ ^^^^^^^^^^^^
13 | primitives as sinsemilla, CommitDomains, HashDomains, SinsemillaInstructions,
| ^^^^^^^^^^^^^^^^^^^^^^
14 | },
15 | utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L7
warning: unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:7:5
|
7 | use crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
warning: unused import: `LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:6:69
|
6 | use crate::utilities::lookup_range_check::{DefaultLookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
warning: unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:5:5
|
5 | use crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `GeneratorTableConfig`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
warning: unused import: `GeneratorTableConfig`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:4:71
|
4 | use crate::sinsemilla::chip::generator_table::{DefaultGeneratorTable, GeneratorTableConfig};
| ^^^^^^^^^^^^^^^^^^^^
|
unused import: `GeneratorTableConfig`:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
warning: unused import: `GeneratorTableConfig`
--> halo2_gadgets/src/sinsemilla/merkle/chip.rs:12:71
|
12 | use crate::sinsemilla::chip::generator_table::{DefaultGeneratorTable, GeneratorTableConfig};
| ^^^^^^^^^^^^^^^^^^^^
|
unused import: `generator_table::GeneratorTableConfig`:
halo2_gadgets/src/sinsemilla/chip.rs#L31
warning: unused import: `generator_table::GeneratorTableConfig`
--> halo2_gadgets/src/sinsemilla/chip.rs:31:5
|
31 | use generator_table::GeneratorTableConfig;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla/chip.rs#L30
warning: unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla/chip.rs:30:5
|
30 | use crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`:
halo2_gadgets/src/sinsemilla/chip.rs#L29
warning: unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
--> halo2_gadgets/src/sinsemilla/chip.rs:29:5
|
29 | use crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
warning: unused import: `LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla/chip/generator_table.rs:11:62
|
11 | use crate::utilities::lookup_range_check::{LookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `ff::PrimeFieldBits`:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
warning: unused import: `ff::PrimeFieldBits`
--> halo2_gadgets/src/sinsemilla/chip/generator_table.rs:1:5
|
1 | use ff::PrimeFieldBits;
| ^^^^^^^^^^^^^^^^^^
|
unused import: `TableColumn`:
halo2_gadgets/src/sinsemilla/chip.rs#L20
warning: unused import: `TableColumn`
--> halo2_gadgets/src/sinsemilla/chip.rs:20:9
|
20 | TableColumn, VirtualCells,
| ^^^^^^^^^^^
|
unused import: `LookupRangeCheckConfig`:
halo2_gadgets/src/ecc_opt.rs#L83
warning: unused import: `LookupRangeCheckConfig`
--> halo2_gadgets/src/ecc_opt.rs:83:66
|
83 | use crate::utilities::lookup_range_check::{LookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `lookup_range_check::LookupRangeCheckConfig`:
halo2_gadgets/src/ecc_opt/chip/mul_fixed/short.rs#L95
warning: unused import: `lookup_range_check::LookupRangeCheckConfig`
--> halo2_gadgets/src/ecc_opt/chip/mul_fixed/short.rs:95:21
|
95 | utilities::{lookup_range_check::LookupRangeCheckConfig, UtilitiesInstructions},
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `std::marker::PhantomData`:
halo2_gadgets/src/ecc/chip/mul_fixed/short.rs#L255
warning: unused import: `std::marker::PhantomData`
--> halo2_gadgets/src/ecc/chip/mul_fixed/short.rs:255:9
|
255 | use std::marker::PhantomData;
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` 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
|
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
|
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`, `Scope`:
halo2_proofs/src/multicore.rs#L15
warning: unused imports: `ParallelIterator`, `Scope`
--> halo2_proofs/src/multicore.rs:15:34
|
15 | iter::{IntoParallelIterator, ParallelIterator},
| ^^^^^^^^^^^^^^^^
16 | join, scope, Scope,
| ^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
unused import: `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/merkle/chip.rs#L15
warning: unused import: `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/merkle/chip.rs:15:5
|
15 | utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::sinsemilla::chip::hash_to_point::EccPointQ`:
halo2_gadgets/src/sinsemilla_opt/chip/hash_to_point.rs#L9
warning: unused import: `crate::sinsemilla::chip::hash_to_point::EccPointQ`
--> halo2_gadgets/src/sinsemilla_opt/chip/hash_to_point.rs:9:5
|
9 | use crate::sinsemilla::chip::hash_to_point::EccPointQ;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs#L15
warning: unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs:15:5
|
15 | use crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused imports: `DefaultLookupRangeCheck`, `LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs#L14
warning: unused imports: `DefaultLookupRangeCheck`, `LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla_opt/chip/generator_table.rs:14:44
|
14 | use crate::utilities::lookup_range_check::{DefaultLookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `pasta_curves::pallas::Base`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L26
warning: unused import: `pasta_curves::pallas::Base`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:26:5
|
26 | use pasta_curves::pallas::Base;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused imports: `Advice`, `AssignedCell`, `Chip`, `Column`, `ConstraintSystem`, `Constraints`, `Fixed`, `TableColumn`, `Value`, `VirtualCells`, `poly::Rotation`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L19
warning: unused imports: `Advice`, `AssignedCell`, `Chip`, `Column`, `ConstraintSystem`, `Constraints`, `Fixed`, `TableColumn`, `Value`, `VirtualCells`, `poly::Rotation`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:19:15
|
19 | circuit::{AssignedCell, Chip, Layouter, Value},
| ^^^^^^^^^^^^ ^^^^ ^^^^^
20 | plonk::{
21 | Advice, Column, ConstraintSystem, Constraints, Error, Fixed, TableColumn, VirtualCells,
| ^^^^^^ ^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^
22 | },
23 | poly::Rotation,
| ^^^^^^^^^^^^^^
|
unused import: `halo2_proofs::plonk::Expression`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L17
warning: unused import: `halo2_proofs::plonk::Expression`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:17:5
|
17 | use halo2_proofs::plonk::Expression;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused imports: `MessagePiece`, `Message`, `SinsemillaConfig`, `SinsemillaInstructions`, `chip::NonIdentityEccPoint`, `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L9
warning: unused imports: `MessagePiece`, `Message`, `SinsemillaConfig`, `SinsemillaInstructions`, `chip::NonIdentityEccPoint`, `utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:9:11
|
9 | ecc::{chip::NonIdentityEccPoint, FixedPoints},
| ^^^^^^^^^^^^^^^^^^^^^^^^^
10 | sinsemilla::{
11 | chip::{SinsemillaChip, SinsemillaConfig},
| ^^^^^^^^^^^^^^^^
12 | message::{Message, MessagePiece},
| ^^^^^^^ ^^^^^^^^^^^^
13 | primitives as sinsemilla, CommitDomains, HashDomains, SinsemillaInstructions,
| ^^^^^^^^^^^^^^^^^^^^^^
14 | },
15 | utilities_opt::lookup_range_check::DefaultLookupRangeCheckConfigOptimized,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L7
warning: unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:7:5
|
7 | use crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
warning: unused import: `LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:6:69
|
6 | use crate::utilities::lookup_range_check::{DefaultLookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
warning: unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:5:5
|
5 | use crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `GeneratorTableConfig`:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
warning: unused import: `GeneratorTableConfig`
--> halo2_gadgets/src/sinsemilla_opt/chip.rs:4:71
|
4 | use crate::sinsemilla::chip::generator_table::{DefaultGeneratorTable, GeneratorTableConfig};
| ^^^^^^^^^^^^^^^^^^^^
|
unused import: `GeneratorTableConfig`:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
warning: unused import: `GeneratorTableConfig`
--> halo2_gadgets/src/sinsemilla/merkle/chip.rs:12:71
|
12 | use crate::sinsemilla::chip::generator_table::{DefaultGeneratorTable, GeneratorTableConfig};
| ^^^^^^^^^^^^^^^^^^^^
|
unused import: `generator_table::GeneratorTableConfig`:
halo2_gadgets/src/sinsemilla/chip.rs#L31
warning: unused import: `generator_table::GeneratorTableConfig`
--> halo2_gadgets/src/sinsemilla/chip.rs:31:5
|
31 | use generator_table::GeneratorTableConfig;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`:
halo2_gadgets/src/sinsemilla/chip.rs#L30
warning: unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
--> halo2_gadgets/src/sinsemilla/chip.rs:30:5
|
30 | use crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`:
halo2_gadgets/src/sinsemilla/chip.rs#L29
warning: unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
--> halo2_gadgets/src/sinsemilla/chip.rs:29:5
|
29 | use crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `LookupRangeCheckConfig`:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
warning: unused import: `LookupRangeCheckConfig`
--> halo2_gadgets/src/sinsemilla/chip/generator_table.rs:11:62
|
11 | use crate::utilities::lookup_range_check::{LookupRangeCheck, LookupRangeCheckConfig};
| ^^^^^^^^^^^^^^^^^^^^^^
|
unused import: `ff::PrimeFieldBits`:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
warning: unused import: `ff::PrimeFieldBits`
--> halo2_gadgets/src/sinsemilla/chip/generator_table.rs:1:5
|
1 | use ff::PrimeFieldBits;
| ^^^^^^^^^^^^^^^^^^
|
unused import: `TableColumn`:
halo2_gadgets/src/sinsemilla/chip.rs#L20
warning: unused import: `TableColumn`
--> halo2_gadgets/src/sinsemilla/chip.rs:20:9
|
20 | TableColumn, VirtualCells,
| ^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
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
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602:12
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion
|
assigning the result of `Clone::clone()` may be inefficient:
halo2_proofs/src/poly/multiopen.rs#L208
warning: assigning the result of `Clone::clone()` may be inefficient
--> halo2_proofs/src/poly/multiopen.rs:208:17
|
208 | point_index_set = point_idx_set.clone();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `clone_from()`: `point_index_set.clone_from(point_idx_set)`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#assigning_clones
= note: `-W clippy::assigning-clones` implied by `-W clippy::all`
= help: to override `-W clippy::all` add `#[allow(clippy::assigning_clones)]`
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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)]`
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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
|
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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
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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:483: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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#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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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/13ef05e2be9862ea7b94d0b42e0b2d044b3c7f6b/library/core/src/iter/traits/iterator.rs:602: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)]`
|
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
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`, `Scope`:
halo2_proofs/src/multicore.rs#L15
warning: unused imports: `ParallelIterator`, `Scope`
--> halo2_proofs/src/multicore.rs:15:34
|
15 | iter::{IntoParallelIterator, ParallelIterator},
| ^^^^^^^^^^^^^^^^
16 | join, scope, Scope,
| ^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
Bitrot check
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/
|
Bitrot check
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/
|
Bitrot check
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/
|
Bitrot check
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/
|
Bitrot check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Bitrot check
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/
|
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/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
field `0` is never read
|
Bitrot check
`halo2_proofs` (lib) generated 5 warnings (run `cargo fix --lib -p halo2_proofs` to apply 1 suggestion)
|
Bitrot check:
halo2_gadgets/src/sinsemilla/chip.rs#L20
unused import: `TableColumn`
|
Bitrot check:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
unused import: `ff::PrimeFieldBits`
|
Bitrot check:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
unused import: `LookupRangeCheckConfig`
|
Book tests
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/
|
Book tests
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/
|
Book tests
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/
|
Book tests
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/
|
Book tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Book tests
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/
|
Book tests:
halo2_gadgets/src/sinsemilla/chip.rs#L20
unused import: `TableColumn`
|
Book tests:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
unused import: `ff::PrimeFieldBits`
|
Book tests:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
unused import: `LookupRangeCheckConfig`
|
Book tests:
halo2_gadgets/src/sinsemilla/chip.rs#L29
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Book tests:
halo2_gadgets/src/sinsemilla/chip.rs#L30
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
|
Book tests:
halo2_gadgets/src/sinsemilla/chip.rs#L31
unused import: `generator_table::GeneratorTableConfig`
|
Book tests:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
unused import: `GeneratorTableConfig`
|
Book tests:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
unused import: `GeneratorTableConfig`
|
Book tests:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Book tests:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
unused import: `LookupRangeCheckConfig`
|
Intra-doc links
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/
|
Intra-doc links
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/
|
Intra-doc links
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/
|
Intra-doc links
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/
|
Intra-doc links
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Intra-doc links
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/
|
Build target wasm32-wasi
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/
|
Build target wasm32-wasi
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/
|
Build target wasm32-wasi
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/
|
Build target wasm32-wasi
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/
|
Build target wasm32-wasi
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build target wasm32-wasi
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/
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/chip.rs#L20
unused import: `TableColumn`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
unused import: `ff::PrimeFieldBits`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
unused import: `LookupRangeCheckConfig`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/chip.rs#L29
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/chip.rs#L30
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/chip.rs#L31
unused import: `generator_table::GeneratorTableConfig`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
unused import: `GeneratorTableConfig`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
unused import: `GeneratorTableConfig`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Build target wasm32-wasi:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
unused import: `LookupRangeCheckConfig`
|
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
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
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:
halo2_gadgets/src/sinsemilla/chip.rs#L20
unused import: `TableColumn`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
unused import: `ff::PrimeFieldBits`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
unused import: `LookupRangeCheckConfig`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla/chip.rs#L29
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla/chip.rs#L30
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla/chip.rs#L31
unused import: `generator_table::GeneratorTableConfig`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
unused import: `GeneratorTableConfig`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
unused import: `GeneratorTableConfig`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Test on ubuntu-latest:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
unused import: `LookupRangeCheckConfig`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/chip.rs#L20
unused import: `TableColumn`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
unused import: `ff::PrimeFieldBits`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
unused import: `LookupRangeCheckConfig`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/chip.rs#L29
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/chip.rs#L30
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/chip.rs#L31
unused import: `generator_table::GeneratorTableConfig`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
unused import: `GeneratorTableConfig`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
unused import: `GeneratorTableConfig`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Test on ubuntu-latest with nightly features:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
unused import: `LookupRangeCheckConfig`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/chip.rs#L20
unused import: `TableColumn`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L1
unused import: `ff::PrimeFieldBits`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/chip/generator_table.rs#L11
unused import: `LookupRangeCheckConfig`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/chip.rs#L29
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/chip.rs#L30
unused import: `crate::utilities_opt::lookup_range_check::LookupRangeCheckConfigOptimized`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/chip.rs#L31
unused import: `generator_table::GeneratorTableConfig`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla/merkle/chip.rs#L12
unused import: `GeneratorTableConfig`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L4
unused import: `GeneratorTableConfig`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L5
unused import: `crate::sinsemilla_opt::chip::generator_table::GeneratorTableConfigOptimized`
|
Test on ubuntu-latest with beta features:
halo2_gadgets/src/sinsemilla_opt/chip.rs#L6
unused import: `LookupRangeCheckConfig`
|