Remove binding from powerquery #351
Annotations
7 errors and 14 warnings
fields `instances` and `proof` are never read:
halo2_backend/src/plonk/verifier/batch.rs#L6
error: fields `instances` and `proof` are never read
--> halo2_backend/src/plonk/verifier/batch.rs:6:5
|
5 | struct BatchItem<C: CurveAffine> {
| --------- fields in this struct
6 | instances: Vec<Vec<Vec<C::ScalarExt>>>,
| ^^^^^^^^^
7 | proof: Vec<u8>,
| ^^^^^
|
= note: `BatchItem` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
|
field `h_blind` is never read:
halo2_backend/src/plonk/vanishing/prover.rs#L35
error: field `h_blind` is never read
--> halo2_backend/src/plonk/vanishing/prover.rs:35:5
|
33 | pub(in crate::plonk) struct Evaluated<C: CurveAffine> {
| --------- field in this struct
34 | h_poly: Polynomial<C::Scalar, Coeff>,
35 | h_blind: Blind<C::Scalar>,
| ^^^^^^^
|
field `random_blind` is never read:
halo2_backend/src/plonk/vanishing/prover.rs#L24
error: field `random_blind` is never read
--> halo2_backend/src/plonk/vanishing/prover.rs:24:5
|
22 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- field in this struct
23 | random_poly: Polynomial<C::Scalar, Coeff>,
24 | random_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^
|
field `product_blind` is never read:
halo2_backend/src/plonk/shuffle/prover.rs#L32
error: field `product_blind` is never read
--> halo2_backend/src/plonk/shuffle/prover.rs:32:5
|
30 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- field in this struct
31 | pub(in crate::plonk) product_poly: Polynomial<C::Scalar, Coeff>,
32 | product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^
|
= note: `Committed` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
|
field `permutation_product_blind` is never read:
halo2_backend/src/plonk/permutation/prover.rs#L32
error: field `permutation_product_blind` is never read
--> halo2_backend/src/plonk/permutation/prover.rs:32:5
|
30 | pub(crate) struct CommittedSet<C: CurveAffine> {
| ------------ field in this struct
31 | pub(crate) permutation_product_poly: Polynomial<C::Scalar, Coeff>,
32 | permutation_product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
fields `permuted_input_blind`, `permuted_table_blind`, and `product_blind` are never read:
halo2_backend/src/plonk/lookup/prover.rs#L43
error: fields `permuted_input_blind`, `permuted_table_blind`, and `product_blind` are never read
--> halo2_backend/src/plonk/lookup/prover.rs:43:5
|
41 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- fields in this struct
42 | pub(in crate::plonk) permuted_input_poly: Polynomial<C::Scalar, Coeff>,
43 | permuted_input_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^
44 | pub(in crate::plonk) permuted_table_poly: Polynomial<C::Scalar, Coeff>,
45 | permuted_table_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^
46 | pub(in crate::plonk) product_poly: Polynomial<C::Scalar, Coeff>,
47 | product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^
|
= note: `Committed` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
= note: `-D dead-code` implied by `-D warnings`
= help: to override `-D warnings` add `#[allow(dead_code)]`
|
coverage
Process completed with exit code 1.
|
fields `instances` and `proof` are never read:
halo2_backend/src/plonk/verifier/batch.rs#L6
warning: fields `instances` and `proof` are never read
--> halo2_backend/src/plonk/verifier/batch.rs:6:5
|
5 | struct BatchItem<C: CurveAffine> {
| --------- fields in this struct
6 | instances: Vec<Vec<Vec<C::ScalarExt>>>,
| ^^^^^^^^^
7 | proof: Vec<u8>,
| ^^^^^
|
= note: `BatchItem` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
|
field `h_blind` is never read:
halo2_backend/src/plonk/vanishing/prover.rs#L35
warning: field `h_blind` is never read
--> halo2_backend/src/plonk/vanishing/prover.rs:35:5
|
33 | pub(in crate::plonk) struct Evaluated<C: CurveAffine> {
| --------- field in this struct
34 | h_poly: Polynomial<C::Scalar, Coeff>,
35 | h_blind: Blind<C::Scalar>,
| ^^^^^^^
|
field `random_blind` is never read:
halo2_backend/src/plonk/vanishing/prover.rs#L24
warning: field `random_blind` is never read
--> halo2_backend/src/plonk/vanishing/prover.rs:24:5
|
22 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- field in this struct
23 | random_poly: Polynomial<C::Scalar, Coeff>,
24 | random_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^
|
field `product_blind` is never read:
halo2_backend/src/plonk/shuffle/prover.rs#L32
warning: field `product_blind` is never read
--> halo2_backend/src/plonk/shuffle/prover.rs:32:5
|
30 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- field in this struct
31 | pub(in crate::plonk) product_poly: Polynomial<C::Scalar, Coeff>,
32 | product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^
|
= note: `Committed` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
|
field `permutation_product_blind` is never read:
halo2_backend/src/plonk/permutation/prover.rs#L32
warning: field `permutation_product_blind` is never read
--> halo2_backend/src/plonk/permutation/prover.rs:32:5
|
30 | pub(crate) struct CommittedSet<C: CurveAffine> {
| ------------ field in this struct
31 | pub(crate) permutation_product_poly: Polynomial<C::Scalar, Coeff>,
32 | permutation_product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
fields `permuted_input_blind`, `permuted_table_blind`, and `product_blind` are never read:
halo2_backend/src/plonk/lookup/prover.rs#L43
warning: fields `permuted_input_blind`, `permuted_table_blind`, and `product_blind` are never read
--> halo2_backend/src/plonk/lookup/prover.rs:43:5
|
41 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- fields in this struct
42 | pub(in crate::plonk) permuted_input_poly: Polynomial<C::Scalar, Coeff>,
43 | permuted_input_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^
44 | pub(in crate::plonk) permuted_table_poly: Polynomial<C::Scalar, Coeff>,
45 | permuted_table_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^
46 | pub(in crate::plonk) product_poly: Polynomial<C::Scalar, Coeff>,
47 | product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^
|
= note: `Committed` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
= note: `#[warn(dead_code)]` on by default
|
this expression creates a reference which is immediately dereferenced by the compiler:
halo2_proofs/benches/plonk.rs#L313
warning: this expression creates a reference which is immediately dereferenced by the compiler
--> halo2_proofs/benches/plonk.rs:313:17
|
313 | &vk,
| ^^^ help: change this to: `vk`
|
= 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)]`
|
unused variable: `k`:
halo2_proofs/benches/plonk.rs#L340
warning: unused variable: `k`
--> halo2_proofs/benches/plonk.rs:340:19
|
340 | |b, &(k, params, pk)| {
| ^ help: if this is intentional, prefix it with an underscore: `_k`
|
= note: `#[warn(unused_variables)]` on by default
|
fields `instances` and `proof` are never read:
halo2_backend/src/plonk/verifier/batch.rs#L6
warning: fields `instances` and `proof` are never read
--> halo2_backend/src/plonk/verifier/batch.rs:6:5
|
5 | struct BatchItem<C: CurveAffine> {
| --------- fields in this struct
6 | instances: Vec<Vec<Vec<C::ScalarExt>>>,
| ^^^^^^^^^
7 | proof: Vec<u8>,
| ^^^^^
|
= note: `BatchItem` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
|
field `h_blind` is never read:
halo2_backend/src/plonk/vanishing/prover.rs#L35
warning: field `h_blind` is never read
--> halo2_backend/src/plonk/vanishing/prover.rs:35:5
|
33 | pub(in crate::plonk) struct Evaluated<C: CurveAffine> {
| --------- field in this struct
34 | h_poly: Polynomial<C::Scalar, Coeff>,
35 | h_blind: Blind<C::Scalar>,
| ^^^^^^^
|
field `random_blind` is never read:
halo2_backend/src/plonk/vanishing/prover.rs#L24
warning: field `random_blind` is never read
--> halo2_backend/src/plonk/vanishing/prover.rs:24:5
|
22 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- field in this struct
23 | random_poly: Polynomial<C::Scalar, Coeff>,
24 | random_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^
|
field `product_blind` is never read:
halo2_backend/src/plonk/shuffle/prover.rs#L32
warning: field `product_blind` is never read
--> halo2_backend/src/plonk/shuffle/prover.rs:32:5
|
30 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- field in this struct
31 | pub(in crate::plonk) product_poly: Polynomial<C::Scalar, Coeff>,
32 | product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^
|
= note: `Committed` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
|
field `permutation_product_blind` is never read:
halo2_backend/src/plonk/permutation/prover.rs#L32
warning: field `permutation_product_blind` is never read
--> halo2_backend/src/plonk/permutation/prover.rs:32:5
|
30 | pub(crate) struct CommittedSet<C: CurveAffine> {
| ------------ field in this struct
31 | pub(crate) permutation_product_poly: Polynomial<C::Scalar, Coeff>,
32 | permutation_product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
fields `permuted_input_blind`, `permuted_table_blind`, and `product_blind` are never read:
halo2_backend/src/plonk/lookup/prover.rs#L43
warning: fields `permuted_input_blind`, `permuted_table_blind`, and `product_blind` are never read
--> halo2_backend/src/plonk/lookup/prover.rs:43:5
|
41 | pub(in crate::plonk) struct Committed<C: CurveAffine> {
| --------- fields in this struct
42 | pub(in crate::plonk) permuted_input_poly: Polynomial<C::Scalar, Coeff>,
43 | permuted_input_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^
44 | pub(in crate::plonk) permuted_table_poly: Polynomial<C::Scalar, Coeff>,
45 | permuted_table_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^^^^^^^^
46 | pub(in crate::plonk) product_poly: Polynomial<C::Scalar, Coeff>,
47 | product_blind: Blind<C::Scalar>,
| ^^^^^^^^^^^^^
|
= note: `Committed` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
= note: `#[warn(dead_code)]` on by default
|