error[E0599]: no function or associated item named `one` found for associated type `<C as halo2curves::CurveAffine>::ScalarExt` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:332:47
    |
332 |                     let mut prod = C::Scalar::one();
    |                                               ^^^ function or associated item not found in `<C as halo2curves::CurveAffine>::ScalarExt`

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:170:42
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
170 |             let mut rhs_sum = C::Scalar::zero();
    |                                          ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following traits define an item `zero`, perhaps you need to restrict type parameter `F` with one of them:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + bit_vec::BitBlock> Argument<F> {
    |                                         +++++++++++++++++++
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
170 |             let mut rhs_sum = C::Scalar::is_zero();
    |                                          ~~~~~~~

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:164:42
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
164 |             let mut lhs_sum = C::Scalar::zero();
    |                                          ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following traits define an item `zero`, perhaps you need to restrict type parameter `F` with one of them:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + bit_vec::BitBlock> Argument<F> {
    |                                         +++++++++++++++++++
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
164 |             let mut lhs_sum = C::Scalar::is_zero();
    |                                          ~~~~~~~

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:153:50
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
153 |                     let mut lhs_sum = C::Scalar::zero();
    |                                                  ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following traits define an item `zero`, perhaps you need to restrict type parameter `F` with one of them:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + bit_vec::BitBlock> Argument<F> {
    |                                         +++++++++++++++++++
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
153 |                     let mut lhs_sum = C::Scalar::is_zero();
    |                                                  ~~~~~~~

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:146:44
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
146 |                 assert_eq!(*mi, C::Scalar::zero());
    |                                            ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following traits define an item `zero`, perhaps you need to restrict type parameter `F` with one of them:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + bit_vec::BitBlock> Argument<F> {
    |                                         +++++++++++++++++++
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
146 |                 assert_eq!(*mi, C::Scalar::is_zero());
    |                                            ~~~~~~~

error[E0599]: no function or associated item named `one` found for associated type `<C as halo2curves::CurveAffine>::ScalarExt` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:332:47
    |
332 |                     let mut prod = C::Scalar::one();
    |                                               ^^^ function or associated item not found in `<C as halo2curves::CurveAffine>::ScalarExt`

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:170:42
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
170 |             let mut rhs_sum = C::Scalar::zero();
    |                                          ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following trait defines an item `zero`, perhaps you need to restrict type parameter `F` with it:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
170 |             let mut rhs_sum = C::Scalar::is_zero();
    |                                          ~~~~~~~

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:164:42
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
164 |             let mut lhs_sum = C::Scalar::zero();
    |                                          ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following trait defines an item `zero`, perhaps you need to restrict type parameter `F` with it:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
164 |             let mut lhs_sum = C::Scalar::is_zero();
    |                                          ~~~~~~~

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:153:50
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
153 |                     let mut lhs_sum = C::Scalar::zero();
    |                                                  ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following trait defines an item `zero`, perhaps you need to restrict type parameter `F` with it:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
153 |                     let mut lhs_sum = C::Scalar::is_zero();
    |                                                  ~~~~~~~

error[E0599]: no function or associated item named `zero` found for type parameter `F` in the current scope
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:146:44
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord> Argument<F> {
    |      - function or associated item `zero` not found for this type parameter
...
146 |                 assert_eq!(*mi, C::Scalar::zero());
    |                                            ^^^^ function or associated item not found in `F`
    |
    = help: items from traits can only be used if the type parameter is bounded by the trait
help: the following trait defines an item `zero`, perhaps you need to restrict type parameter `F` with it:
    |
43  | impl<F: WithSmallOrderMulGroup<3> + Ord + num_traits::identities::Zero> Argument<F> {
    |                                         ++++++++++++++++++++++++++++++
help: there is a method with a similar name
    |
146 |                 assert_eq!(*mi, C::Scalar::is_zero());
    |                                            ~~~~~~~