chore: update poseidon dependency #270
zhenfeizhangAnnotations
25 errors and 13 warnings
|
no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope:
halo2_proofs/src/dev.rs#L1143
error[E0599]: no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope
--> halo2_proofs/src/dev.rs:1143:28
|
1143 | prover.permutation.build_ordered_mapping();
| ^^^^^^^^^^^^^^^^^^^^^ method not found in `std::option::Option<plonk::permutation::keygen::Assembly>`
|
note: the method `build_ordered_mapping` exists on the type `plonk::permutation::keygen::Assembly`
--> halo2_proofs/src/plonk/permutation/keygen.rs:250:5
|
250 | 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`
|
1143 | prover.permutation.expect("REASON").build_ordered_mapping();
| +++++++++++++++++
|
|
the trait bound `F: group::Group` is not satisfied:
halo2_proofs/src/dev.rs#L1117
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:1117:17
|
1116 | batch_invert_cellvalues(
| ----------------------- required by a bound introduced by this call
1117 | 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:178:39
|
178 | fn batch_invert_cellvalues<F: Field + Group>(cell_values: &mut [Vec<CellValue<F>>]) {
| ^^^^^ required by this bound in `dev::batch_invert_cellvalues`
help: consider further restricting this bound
|
933 | 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#L1114
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:1114:17
|
1113 | batch_invert_cellvalues(
| ----------------------- required by a bound introduced by this call
1114 | 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:178:39
|
178 | fn batch_invert_cellvalues<F: Field + Group>(cell_values: &mut [Vec<CellValue<F>>]) {
| ^^^^^ required by this bound in `dev::batch_invert_cellvalues`
help: consider further restricting this bound
|
933 | 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#L849
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:849:42
|
849 | *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:149:24
|
149 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> {
| ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
help: consider further restricting this bound
|
485 | 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#L766
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:766:40
|
766 | 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:149:24
|
149 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> {
| ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
help: consider further restricting this bound
|
485 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> {
| ++++++++++++++
|
|
not all trait items implemented, missing: `assign_regions`:
halo2_proofs/src/dev/tfp.rs#L166
error[E0046]: not all trait items implemented, missing: `assign_regions`
--> halo2_proofs/src/dev/tfp.rs:166:1
|
166 | impl<F: Field, L: Layouter<F>> Layouter<F> for TracingLayouter<F, L> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `assign_regions` in implementation
|
::: halo2_proofs/src/circuit.rs:452:5
|
452 | / fn assign_regions<A, AR, N, NR>(
453 | | &mut self,
454 | | name: N,
455 | | assignments: Vec<A>,
... |
460 | | N: Fn() -> NR,
461 | | NR: Into<String>;
| |_________________________- `assign_regions` from trait
|
|
unused import: `Field`:
halo2_proofs/src/helpers.rs#L3
error: unused import: `Field`
--> halo2_proofs/src/helpers.rs:3:10
|
3 | use ff::{Field, FromUniformBytes, PrimeField};
| ^^^^^
|
|
unused import: `crate::circuit::Cell`:
halo2_proofs/src/dev.rs#L52
error: unused import: `crate::circuit::Cell`
--> halo2_proofs/src/dev.rs:52:5
|
52 | use crate::circuit::Cell;
| ^^^^^^^^^^^^^^^^^^^^
|
|
unused imports: `Duration`, `Instant`:
halo2_proofs/src/dev.rs#L8
error: unused imports: `Duration`, `Instant`
--> halo2_proofs/src/dev.rs:8:17
|
8 | use std::time::{Duration, Instant};
| ^^^^^^^^ ^^^^^^^
|
|
unused import: `num_bigint::BigUint`:
halo2_proofs/src/transcript/poseidon.rs#L5
error: 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
error: 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
error: 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
error: 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
error: unused import: `std::ops::Range`
--> halo2_proofs/src/circuit/floor_planner/single_pass.rs:5:5
|
5 | use std::ops::Range;
| ^^^^^^^^^^^^^^^
|
= note: `-D unused-imports` implied by `-D warnings`
|
|
failed to resolve: use of undeclared crate or module `rayon`:
halo2_proofs/src/dev.rs#L223
error[E0433]: failed to resolve: use of undeclared crate or module `rayon`
--> halo2_proofs/src/dev.rs:223:5
|
223 | 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#L208
error[E0433]: failed to resolve: use of undeclared crate or module `rayon`
--> halo2_proofs/src/dev.rs:208:23
|
208 | let num_threads = rayon::current_num_threads();
| ^^^^^ use of undeclared crate or module `rayon`
|
|
no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope:
halo2_proofs/src/dev.rs#L1143
error[E0599]: no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope
--> halo2_proofs/src/dev.rs:1143:28
|
1143 | prover.permutation.build_ordered_mapping();
| ^^^^^^^^^^^^^^^^^^^^^ method not found in `std::option::Option<plonk::permutation::keygen::Assembly>`
|
note: the method `build_ordered_mapping` exists on the type `plonk::permutation::keygen::Assembly`
--> halo2_proofs/src/plonk/permutation/keygen.rs:250:5
|
250 | 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`
|
1143 | prover.permutation.expect("REASON").build_ordered_mapping();
| +++++++++++++++++
|
|
the trait bound `F: group::Group` is not satisfied:
halo2_proofs/src/dev.rs#L1117
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:1117:17
|
1116 | batch_invert_cellvalues(
| ----------------------- required by a bound introduced by this call
1117 | 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:178:39
|
178 | fn batch_invert_cellvalues<F: Field + Group>(cell_values: &mut [Vec<CellValue<F>>]) {
| ^^^^^ required by this bound in `dev::batch_invert_cellvalues`
help: consider further restricting this bound
|
933 | 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#L1114
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:1114:17
|
1113 | batch_invert_cellvalues(
| ----------------------- required by a bound introduced by this call
1114 | 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:178:39
|
178 | fn batch_invert_cellvalues<F: Field + Group>(cell_values: &mut [Vec<CellValue<F>>]) {
| ^^^^^ required by this bound in `dev::batch_invert_cellvalues`
help: consider further restricting this bound
|
933 | 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#L849
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:849:42
|
849 | *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:149:24
|
149 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> {
| ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
help: consider further restricting this bound
|
485 | 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#L766
error[E0277]: the trait bound `F: group::Group` is not satisfied
--> halo2_proofs/src/dev.rs:766:40
|
766 | 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:149:24
|
149 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> {
| ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
help: consider further restricting this bound
|
485 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> {
| ++++++++++++++
|
|
not all trait items implemented, missing: `assign_regions`:
halo2_proofs/src/dev/tfp.rs#L166
error[E0046]: not all trait items implemented, missing: `assign_regions`
--> halo2_proofs/src/dev/tfp.rs:166:1
|
166 | impl<F: Field, L: Layouter<F>> Layouter<F> for TracingLayouter<F, L> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `assign_regions` in implementation
|
::: halo2_proofs/src/circuit.rs:452:5
|
452 | / fn assign_regions<A, AR, N, NR>(
453 | | &mut self,
454 | | name: N,
455 | | assignments: Vec<A>,
... |
460 | | N: Fn() -> NR,
461 | | NR: Into<String>;
| |_________________________- `assign_regions` from trait
|
|
failed to resolve: use of undeclared crate or module `rayon`:
halo2_proofs/src/dev.rs#L223
error[E0433]: failed to resolve: use of undeclared crate or module `rayon`
--> halo2_proofs/src/dev.rs:223:5
|
223 | 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#L208
error[E0433]: failed to resolve: use of undeclared crate or module `rayon`
--> halo2_proofs/src/dev.rs:208:23
|
208 | 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: `Field`:
halo2_proofs/src/helpers.rs#L3
warning: unused import: `Field`
--> halo2_proofs/src/helpers.rs:3:10
|
3 | use ff::{Field, FromUniformBytes, PrimeField};
| ^^^^^
|
|
unused import: `crate::circuit::Cell`:
halo2_proofs/src/dev.rs#L52
warning: unused import: `crate::circuit::Cell`
--> halo2_proofs/src/dev.rs:52:5
|
52 | use crate::circuit::Cell;
| ^^^^^^^^^^^^^^^^^^^^
|
|
unused imports: `Duration`, `Instant`:
halo2_proofs/src/dev.rs#L8
warning: unused imports: `Duration`, `Instant`
--> halo2_proofs/src/dev.rs:8:17
|
8 | use std::time::{Duration, 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
|
|
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/
|