diff --git a/provekit/prover/src/lib.rs b/provekit/prover/src/lib.rs
index 85586ac1f..ad582a4d1 100644
--- a/provekit/prover/src/lib.rs
+++ b/provekit/prover/src/lib.rs
@@ -1,10 +1,7 @@
 #[cfg(test)]
 use crate::r1cs::R1CSSolver;
 use {
-    crate::{
-        r1cs::{CompressedLayers, CompressedR1CS},
-        whir_r1cs::WhirR1CSProver,
-    },
+    crate::r1cs::{CompressedLayers, CompressedR1CS},
     acir::native_types::WitnessMap,
     anyhow::{Context, Result},
     bn254_blackbox_solver::Bn254BlackBoxSolver,
@@ -26,6 +23,8 @@ mod r1cs;
 mod whir_r1cs;
 mod witness;
 
+pub use whir_r1cs::{BlindingState, WhirR1CSCommitment, WhirR1CSProver};
+
 pub trait Prove {
     fn prove(self, prover_toml: impl AsRef<Path>) -> Result<NoirProof>;
 }
diff --git a/provekit/verifier/src/lib.rs b/provekit/verifier/src/lib.rs
index 328ef141d..d4523b311 100644
--- a/provekit/verifier/src/lib.rs
+++ b/provekit/verifier/src/lib.rs
@@ -1,7 +1,7 @@
 mod whir_r1cs;
 
+pub use whir_r1cs::WhirR1CSVerifier;
 use {
-    crate::whir_r1cs::WhirR1CSVerifier,
     anyhow::{Context, Result},
     provekit_common::{NoirProof, Verifier},
     tracing::instrument,