error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1053:17 | 1052 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1053 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:1050:17 | 1049 | batch_invert_cellvalues( | ----------------------- required by a bound introduced by this call 1050 | 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:180:39 | 180 | 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 | 884 | impl<'a, F: FromUniformBytes<64> + Ord + group::Group> MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:808:26 | 808 | *assigned? = CellValue::from(to().into_field().assign()?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

error[E0277]: the trait bound `F: group::Group` is not satisfied --> halo2_proofs/src/dev.rs:729:24 | 729 | let assigned = CellValue::from(val_res?); | ^^^^^^^^^^^^^^^ the trait `group::Group` is not implemented for `F` | note: required because of the requirements on the impl of `std::convert::From<plonk::assigned::Assigned<F>>` for `dev::CellValue<F>` --> halo2_proofs/src/dev.rs:151:24 | 151 | impl<F: Group + Field> From<Assigned<F>> for CellValue<F> { | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ help: consider further restricting this bound | 464 | impl<'a, F: Field + group::Group> Assignment<F> for MockProver<'a, F> { | ++++++++++++++

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/

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/

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/

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/