Port verify_proof to fe-be split #253
Annotations
21 warnings
this expression creates a reference which is immediately dereferenced by the compiler:
halo2_proofs/src/plonk/prover.rs#L371
warning: this expression creates a reference which is immediately dereferenced by the compiler
--> halo2_proofs/src/plonk/prover.rs:371:29
|
371 | ... &domain,
| ^^^^^^^ help: change this to: `domain`
|
= 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`
|
replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`:
halo2_proofs/src/plonk/prover.rs#L350
warning: replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`
--> halo2_proofs/src/plonk/prover.rs:350:22
|
350 | let advice = std::mem::replace(&mut self.advice, Vec::new());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using: `std::mem::take(&mut self.advice)`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#mem_replace_with_default
|
replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`:
halo2_proofs/src/plonk/prover.rs#L349
warning: replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`
--> halo2_proofs/src/plonk/prover.rs:349:24
|
349 | let instance = std::mem::replace(&mut self.instance, Vec::new());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using: `std::mem::take(&mut self.instance)`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#mem_replace_with_default
= note: `-W clippy::mem-replace-with-default` implied by `-W clippy::all`
|
this `if` has identical blocks:
halo2_proofs/src/plonk/prover.rs#L249
warning: this `if` has identical blocks
--> halo2_proofs/src/plonk/prover.rs:249:55
|
249 | if column_indices.contains(&column_index) {
| _______________________________________________________^
250 | | // TODO: Check that column_index in witness is Some
251 | | // TODO: Check that the column length is `params.n()`
252 | | } else {
| |_____________^
|
note: same as this
--> halo2_proofs/src/plonk/prover.rs:252:20
|
252 | } else {
| ____________________^
253 | | // TODO: Check that column_index in witness is None
254 | | };
| |_____________^
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#if_same_then_else
= note: `-W clippy::if-same-then-else` implied by `-W clippy::all`
|
useless use of `format!`:
halo2_proofs/src/plonk/prover.rs#L239
warning: useless use of `format!`
--> halo2_proofs/src/plonk/prover.rs:239:37
|
239 | return Err(Error::Other(format!("witness.len() != instance.len()")));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using `.to_string()`: `"witness.len() != instance.len()".to_string()`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_format
= note: `-W clippy::useless-format` implied by `-W clippy::all`
|
very complex type used. Consider factoring parts into `type` definitions:
halo2_proofs/src/plonk/prover.rs#L199
warning: very complex type used. Consider factoring parts into `type` definitions
--> halo2_proofs/src/plonk/prover.rs:199:18
|
199 | witness: Vec<Vec<Option<Polynomial<Assigned<Scheme::Scalar>, LagrangeCoeff>>>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= 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`
|
fields `num_fixed_columns` and `general_column_annotations` are never read:
halo2_proofs/src/plonk/circuit.rs#L1637
warning: fields `num_fixed_columns` and `general_column_annotations` are never read
--> halo2_proofs/src/plonk/circuit.rs:1637:16
|
1636 | pub struct ConstraintSystemV2Backend<F: Field> {
| ------------------------- fields in this struct
1637 | pub(crate) num_fixed_columns: usize,
| ^^^^^^^^^^^^^^^^^
...
1672 | pub(crate) general_column_annotations: HashMap<metadata::Column, String>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `ConstraintSystemV2Backend` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
= note: `#[warn(dead_code)]` on by default
|
unused variable: `advice_column`:
halo2_proofs/src/plonk/prover.rs#L248
warning: unused variable: `advice_column`
--> halo2_proofs/src/plonk/prover.rs:248:28
|
248 | for (column_index, advice_column) in witness.iter().enumerate() {
| ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_advice_column`
|
= note: `#[warn(unused_variables)]` on by default
|
this expression creates a reference which is immediately dereferenced by the compiler:
halo2_proofs/src/plonk/prover.rs#L371
warning: this expression creates a reference which is immediately dereferenced by the compiler
--> halo2_proofs/src/plonk/prover.rs:371:29
|
371 | ... &domain,
| ^^^^^^^ help: change this to: `domain`
|
= 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`
|
replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`:
halo2_proofs/src/plonk/prover.rs#L350
warning: replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`
--> halo2_proofs/src/plonk/prover.rs:350:22
|
350 | let advice = std::mem::replace(&mut self.advice, Vec::new());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using: `std::mem::take(&mut self.advice)`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#mem_replace_with_default
|
replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`:
halo2_proofs/src/plonk/prover.rs#L349
warning: replacing a value of type `T` with `T::default()` is better expressed using `std::mem::take`
--> halo2_proofs/src/plonk/prover.rs:349:24
|
349 | let instance = std::mem::replace(&mut self.instance, Vec::new());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using: `std::mem::take(&mut self.instance)`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#mem_replace_with_default
= note: `-W clippy::mem-replace-with-default` implied by `-W clippy::all`
|
this `if` has identical blocks:
halo2_proofs/src/plonk/prover.rs#L249
warning: this `if` has identical blocks
--> halo2_proofs/src/plonk/prover.rs:249:55
|
249 | if column_indices.contains(&column_index) {
| _______________________________________________________^
250 | | // TODO: Check that column_index in witness is Some
251 | | // TODO: Check that the column length is `params.n()`
252 | | } else {
| |_____________^
|
note: same as this
--> halo2_proofs/src/plonk/prover.rs:252:20
|
252 | } else {
| ____________________^
253 | | // TODO: Check that column_index in witness is None
254 | | };
| |_____________^
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#if_same_then_else
= note: `-W clippy::if-same-then-else` implied by `-W clippy::all`
|
useless use of `format!`:
halo2_proofs/src/plonk/prover.rs#L239
warning: useless use of `format!`
--> halo2_proofs/src/plonk/prover.rs:239:37
|
239 | return Err(Error::Other(format!("witness.len() != instance.len()")));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using `.to_string()`: `"witness.len() != instance.len()".to_string()`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_format
= note: `-W clippy::useless-format` implied by `-W clippy::all`
|
very complex type used. Consider factoring parts into `type` definitions:
halo2_proofs/src/plonk/prover.rs#L199
warning: very complex type used. Consider factoring parts into `type` definitions
--> halo2_proofs/src/plonk/prover.rs:199:18
|
199 | witness: Vec<Vec<Option<Polynomial<Assigned<Scheme::Scalar>, LagrangeCoeff>>>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= 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`
|
fields `num_fixed_columns` and `general_column_annotations` are never read:
halo2_proofs/src/plonk/circuit.rs#L1637
warning: fields `num_fixed_columns` and `general_column_annotations` are never read
--> halo2_proofs/src/plonk/circuit.rs:1637:16
|
1636 | pub struct ConstraintSystemV2Backend<F: Field> {
| ------------------------- fields in this struct
1637 | pub(crate) num_fixed_columns: usize,
| ^^^^^^^^^^^^^^^^^
...
1672 | pub(crate) general_column_annotations: HashMap<metadata::Column, String>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `ConstraintSystemV2Backend` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
= note: `#[warn(dead_code)]` on by default
|
unused variable: `advice_column`:
halo2_proofs/src/plonk/prover.rs#L248
warning: unused variable: `advice_column`
--> halo2_proofs/src/plonk/prover.rs:248:28
|
248 | for (column_index, advice_column) in witness.iter().enumerate() {
| ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_advice_column`
|
= note: `#[warn(unused_variables)]` on by default
|
Clippy (beta)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Clippy (beta)
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/
|
Clippy (beta)
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/
|
Clippy (beta)
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/
|
Clippy (beta)
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/
|