diff --git a/src/fri/prover.rs b/src/fri/prover.rs
index b6d9dd85..c4445b31 100644
--- a/src/fri/prover.rs
+++ b/src/fri/prover.rs
@@ -77,7 +77,7 @@ fn fri_committed_trees<F: Field + Extendable<D>, const D: usize>(
         let tree = MerkleTree::new(
             values
                 .values
-                .chunks(arity)
+                .par_chunks(arity)
                 .map(|chunk: &[F::Extension]| flatten(chunk))
                 .collect(),
             false,
@@ -91,7 +91,7 @@ fn fri_committed_trees<F: Field + Extendable<D>, const D: usize>(
         coeffs = PolynomialCoeffs::new(
             coeffs
                 .coeffs
-                .chunks_exact(arity)
+                .par_chunks_exact(arity)
                 .map(|chunk| reduce_with_powers(chunk, beta))
                 .collect::<Vec<_>>(),
         );
diff --git a/src/plonk/proof.rs b/src/plonk/proof.rs
index faa5be89..5999e882 100644
--- a/src/plonk/proof.rs
+++ b/src/plonk/proof.rs
@@ -1,3 +1,4 @@
+use rayon::prelude::*;
 use serde::{Deserialize, Serialize};
 
 use crate::field::extension_field::target::ExtensionTarget;
@@ -66,7 +67,7 @@ impl<F: Extendable<D>, const D: usize> OpeningSet<F, D> {
     ) -> Self {
         let eval_commitment = |z: F::Extension, c: &PolynomialBatchCommitment<F>| {
             c.polynomials
-                .iter()
+                .par_iter()
                 .map(|p| p.to_extension().eval(z))
                 .collect::<Vec<_>>()
         };