fux build error in mpcs

Cargo.toml

@@ -11,18 +11,6 @@ members = [
     "sumcheck",
     "transcript",
 ]
- # "singer-pro" not included by default due to pending for build failed fix
-default-members = [
-    "gkr",
-    "gkr-graph",
-    "mpcs",
-    "multilinear_extensions",
-    "simple-frontend",
-    "singer",
-    "singer-utils",
-    "sumcheck",
-    "transcript"
-]
 
 [workspace.package]
 version = "0.1.0"

Makefile.toml

@@ -5,7 +5,7 @@ RAYON_NUM_THREADS = "${CORE}"
 
 [tasks.tests]
 command = "cargo"
-args = ["test", "--lib", "--release", "--all"]
+args = ["test", "--lib", "--release", "--workspace", "--exclude", "singer-pro"]
 
 [tasks.fmt-check]
 command = "cargo"

mpcs/src/basefold.rs

@@ -24,6 +24,7 @@ use crate::{
 };
 use ark_std::{end_timer, start_timer};
 use ff_ext::ExtensionField;
+use multilinear_extensions::mle::MultilinearExtension;
 use query_phase::{
     batch_query_phase, batch_verifier_query_phase, query_phase, verifier_query_phase,
     BatchedQueriesResultWithMerklePath, QueriesResultWithMerklePath,

mpcs/src/lib.rs

@@ -357,7 +357,7 @@ pub mod test_util {
     };
     use ff_ext::ExtensionField;
     use itertools::{chain, Itertools};
-    use multilinear_extensions::mle::DenseMultilinearExtension;
+    use multilinear_extensions::mle::{DenseMultilinearExtension, MultilinearExtension};
     use rand::{prelude::*, rngs::OsRng};
     use rand_chacha::ChaCha8Rng;
 
@@ -521,7 +521,7 @@ mod test {
         PolynomialCommitmentScheme,
     };
     use goldilocks::GoldilocksExt2;
-    use multilinear_extensions::mle::DenseMultilinearExtension;
+    use multilinear_extensions::mle::{DenseMultilinearExtension, MultilinearExtension};
     use rand::{prelude::*, rngs::OsRng};
     use rand_chacha::ChaCha8Rng;
     #[test]

mpcs/src/sum_check/classic.rs

@@ -16,7 +16,10 @@ use itertools::Itertools;
 use num_integer::Integer;
 use std::{borrow::Cow, collections::HashMap, fmt::Debug, marker::PhantomData};
 mod coeff;
-use multilinear_extensions::{mle::DenseMultilinearExtension, virtual_poly::build_eq_x_r_vec};
+use multilinear_extensions::{
+    mle::{DenseMultilinearExtension, MultilinearExtension},
+    virtual_poly::build_eq_x_r_vec,
+};
 
 pub use coeff::CoefficientsProver;
 
@@ -182,7 +185,7 @@ pub trait ClassicSumCheckRoundMessage<E: ExtensionField>: Sized + Debug {
     ) -> Result<Self, Error>;
 
     fn read_ext(degree: usize, transcript: &mut impl FieldTranscriptRead<E>)
-        -> Result<Self, Error>;
+    -> Result<Self, Error>;
 
     fn sum(&self) -> E;