diff --git a/halo2_proofs/src/plonk/vanishing/prover.rs b/halo2_proofs/src/plonk/vanishing/prover.rs
index e6bd0f59..46b41e84 100644
--- a/halo2_proofs/src/plonk/vanishing/prover.rs
+++ b/halo2_proofs/src/plonk/vanishing/prover.rs
@@ -52,7 +52,7 @@ impl<C: CurveAffine> Argument<C> {
         #[cfg(feature = "multicore")]
         let random_poly = {
             let n_threads = current_num_threads();
-            let n = 1usize << domain.k() as usize;
+            let n = 1usize << domain.k as usize;
             let n_chunks = n_threads + if n % n_threads != 0 { 1 } else { 0 };
             let mut rand_vec = vec![C::Scalar::ZERO; n];
 
diff --git a/halo2_proofs/src/poly.rs b/halo2_proofs/src/poly.rs
index 772fd3c1..f8f6784f 100644
--- a/halo2_proofs/src/poly.rs
+++ b/halo2_proofs/src/poly.rs
@@ -130,14 +130,6 @@ impl<F, B> Polynomial<F, B> {
     pub fn num_coeffs(&self) -> usize {
         self.values.len()
     }
-
-    /// Allows to create a Polynomial from a Vec.
-    pub fn from_evals(vector: Vec<F>) -> Self {
-        Polynomial {
-            values: vector,
-            _marker: PhantomData,
-        }
-    }
 }
 
 pub(crate) fn batch_invert_assigned<F: Field>(
diff --git a/halo2_proofs/src/poly/domain.rs b/halo2_proofs/src/poly/domain.rs
index ee7f302c..4c04efce 100644
--- a/halo2_proofs/src/poly/domain.rs
+++ b/halo2_proofs/src/poly/domain.rs
@@ -19,7 +19,7 @@ use std::marker::PhantomData;
 #[derive(Clone, Debug)]
 pub struct EvaluationDomain<F: Field> {
     n: u64,
-    k: u32,
+    pub(crate) k: u32,
     extended_k: u32,
     omega: F,
     omega_inv: F,
@@ -142,11 +142,6 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
         }
     }
 
-    /// Returns the `k` or Degree associated to the domain.
-    pub(crate) fn k(&self) -> usize {
-        self.k as usize
-    }
-
     /// Obtains a polynomial in Lagrange form when given a vector of Lagrange
     /// coefficients of size `n`; panics if the provided vector is the wrong
     /// length.