disable multiphase prover #335
zhenfeizhangAnnotations
8 errors and 12 warnings
|
no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope:
halo2_proofs/src/dev.rs#L1251
error[E0599]: no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope
--> halo2_proofs/src/dev.rs:1251:28
|
1251 | prover.permutation.build_ordered_mapping();
| ^^^^^^^^^^^^^^^^^^^^^ method not found in `Option<Assembly>`
|
note: the method `build_ordered_mapping` exists on the type `plonk::permutation::keygen::Assembly`
--> halo2_proofs/src/plonk/permutation/keygen.rs:260:5
|
260 | pub fn build_ordered_mapping(&mut self) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: consider using `Option::expect` to unwrap the `plonk::permutation::keygen::Assembly` value, panicking if the value is an `Option::None`
|
1251 | prover.permutation.expect("REASON").build_ordered_mapping();
| +++++++++++++++++
|
|
the trait bound `F: group::Group` is not satisfied:
halo2_proofs/src/dev.rs#L1225
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:1225:17
|
1224 | batch_invert_cellvalues(
| ----------------------- required by a bound introduced by this call
1225 | Arc::get_mut(&mut prover.fixed_vec).expect("get_mut prover.fixed_vec"),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F`
|
note: required by a bound in `dev::batch_invert_cellvalues`
--> halo2_proofs/src/dev.rs:181:39
|
181 | fn batch_invert_cellvalues<F: Field + Group>(cell_values: &mut [Vec<CellValue<F>>]) {
| ^^^^^ required by this bound in `batch_invert_cellvalues`
help: consider further restricting this bound
|
1030 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> {
| ++++++++++++++
|
|
the trait bound `F: group::Group` is not satisfied:
halo2_proofs/src/dev.rs#L1222
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:1222:17
|
1221 | batch_invert_cellvalues(
| ----------------------- required by a bound introduced by this call
1222 | Arc::get_mut(&mut prover.advice_vec).expect("get_mut prover.advice_vec"),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F`
|
note: required by a bound in `dev::batch_invert_cellvalues`
--> halo2_proofs/src/dev.rs:181:39
|
181 | fn batch_invert_cellvalues<F: Field + Group>(cell_values: &mut [Vec<CellValue<F>>]) {
| ^^^^^ required by this bound in `batch_invert_cellvalues`
help: consider further restricting this bound
|
1030 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> {
| ++++++++++++++
|
|
the trait bound `F: group::Group` is not satisfied:
halo2_proofs/src/dev.rs#L922
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:922:42
|
922 | *assigned? = CellValue::from(to().into_field().assign()?);
| --------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F`
| |
| required by a bound introduced by this call
|
note: required for `dev::CellValue<F>` to implement `std::convert::From<plonk::assigned::Assigned<F>>`
--> halo2_proofs/src/dev.rs:152:24
|
152 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> {
| ----- ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
| |
| unsatisfied trait bound introduced here
help: consider further restricting this bound
|
491 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> {
| ++++++++++++++
|
|
the trait bound `F: group::Group` is not satisfied:
halo2_proofs/src/dev.rs#L818
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:818:40
|
818 | let assigned = CellValue::from(val_res?);
| --------------- ^^^^^^^^ the trait `group::Group` is not implemented for `F`
| |
| required by a bound introduced by this call
|
note: required for `dev::CellValue<F>` to implement `std::convert::From<plonk::assigned::Assigned<F>>`
--> halo2_proofs/src/dev.rs:152:24
|
152 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> {
| ----- ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
| |
| unsatisfied trait bound introduced here
help: consider further restricting this bound
|
491 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> {
| ++++++++++++++
|
|
failed to resolve: use of undeclared crate or module `rayon`:
halo2_proofs/src/dev.rs#L226
error[E0433]: failed to resolve: use of undeclared crate or module `rayon`
--> halo2_proofs/src/dev.rs:226:5
|
226 | rayon::scope(|scope| {
| ^^^^^ use of undeclared crate or module `rayon`
|
|
failed to resolve: use of undeclared crate or module `rayon`:
halo2_proofs/src/dev.rs#L211
error[E0433]: failed to resolve: use of undeclared crate or module `rayon`
--> halo2_proofs/src/dev.rs:211:23
|
211 | let num_threads = rayon::current_num_threads();
| ^^^^^ use of undeclared crate or module `rayon`
|
|
Clippy (beta)
Clippy had exited with the 101 exit code
|
|
unused import: `std::time::Instant`:
halo2_proofs/src/dev.rs#L8
warning: unused import: `std::time::Instant`
--> halo2_proofs/src/dev.rs:8:5
|
8 | use std::time::Instant;
| ^^^^^^^^^^^^^^^^^^
|
|
unused import: `num_bigint::BigUint`:
halo2_proofs/src/transcript/poseidon.rs#L5
warning: unused import: `num_bigint::BigUint`
--> halo2_proofs/src/transcript/poseidon.rs:5:5
|
5 | use num_bigint::BigUint;
| ^^^^^^^^^^^^^^^^^^^
|
|
unused import: `collections::HashMap`:
halo2_proofs/src/plonk/vanishing/prover.rs#L1
warning: unused import: `collections::HashMap`
--> halo2_proofs/src/plonk/vanishing/prover.rs:1:11
|
1 | use std::{collections::HashMap, iter};
| ^^^^^^^^^^^^^^^^^^^^
|
|
unused import: `multicore`:
halo2_proofs/src/circuit/floor_planner/single_pass.rs#L19
warning: unused import: `multicore`
--> halo2_proofs/src/circuit/floor_planner/single_pass.rs:19:5
|
19 | multicore,
| ^^^^^^^^^
|
|
unused imports: `Arc`, `Mutex`:
halo2_proofs/src/circuit/floor_planner/single_pass.rs#L6
warning: unused imports: `Arc`, `Mutex`
--> halo2_proofs/src/circuit/floor_planner/single_pass.rs:6:17
|
6 | use std::sync::{Arc, Mutex};
| ^^^ ^^^^^
|
|
unused import: `std::ops::Range`:
halo2_proofs/src/circuit/floor_planner/single_pass.rs#L5
warning: unused import: `std::ops::Range`
--> halo2_proofs/src/circuit/floor_planner/single_pass.rs:5:5
|
5 | use std::ops::Range;
| ^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
|
unnecessary parentheses around index expression:
halo2_proofs/src/arithmetic.rs#L306
warning: unnecessary parentheses around index expression
--> halo2_proofs/src/arithmetic.rs:306:42
|
306 | t1[bitreverse(i, log_split)] = a[(i * sub_n + sub_fft_offset)];
| ^ ^
|
= note: `#[warn(unused_parens)]` on by default
help: remove these parentheses
|
306 - t1[bitreverse(i, log_split)] = a[(i * sub_n + sub_fft_offset)];
306 + t1[bitreverse(i, log_split)] = a[i * sub_n + sub_fft_offset];
|
|
|
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/
|