diff --git a/plonky2/src/lib.rs b/plonky2/src/lib.rs
index 64acfe12..8a517a11 100644
--- a/plonky2/src/lib.rs
+++ b/plonky2/src/lib.rs
@@ -18,4 +18,5 @@ pub mod gates;
 pub mod hash;
 pub mod iop;
 pub mod plonk;
+pub mod recursion;
 pub mod util;
diff --git a/plonky2/src/plonk/mod.rs b/plonky2/src/plonk/mod.rs
index 8cd7443f..604c1f79 100644
--- a/plonky2/src/plonk/mod.rs
+++ b/plonky2/src/plonk/mod.rs
@@ -1,6 +1,5 @@
 pub mod circuit_builder;
 pub mod circuit_data;
-pub mod conditional_recursive_verifier;
 pub mod config;
 pub(crate) mod copy_constraint;
 mod get_challenges;
@@ -8,7 +7,6 @@ pub(crate) mod permutation_argument;
 pub mod plonk_common;
 pub mod proof;
 pub mod prover;
-pub mod recursive_verifier;
 mod validate_shape;
 pub(crate) mod vanishing_poly;
 pub mod vars;
diff --git a/plonky2/src/plonk/conditional_recursive_verifier.rs b/plonky2/src/recursion/conditional_recursive_verifier.rs
similarity index 100%
rename from plonky2/src/plonk/conditional_recursive_verifier.rs
rename to plonky2/src/recursion/conditional_recursive_verifier.rs
diff --git a/plonky2/src/recursion/mod.rs b/plonky2/src/recursion/mod.rs
new file mode 100644
index 00000000..b83c4a85
--- /dev/null
+++ b/plonky2/src/recursion/mod.rs
@@ -0,0 +1,2 @@
+pub mod conditional_recursive_verifier;
+pub mod recursive_verifier;
diff --git a/plonky2/src/plonk/recursive_verifier.rs b/plonky2/src/recursion/recursive_verifier.rs
similarity index 99%
rename from plonky2/src/plonk/recursive_verifier.rs
rename to plonky2/src/recursion/recursive_verifier.rs
index 29d89c92..c35f21e2 100644
--- a/plonky2/src/plonk/recursive_verifier.rs
+++ b/plonky2/src/recursion/recursive_verifier.rs
@@ -494,7 +494,7 @@ mod tests {
         pw.set_bool_target(condition, false);
 
         let (dummy_proof, dummy_data) =
-            crate::plonk::conditional_recursive_verifier::dummy_proof(&cd)?;
+            crate::recursion::conditional_recursive_verifier::dummy_proof(&cd)?;
         let pt0 = builder.add_virtual_proof_with_pis(&cd);
         let pt1 = builder.add_virtual_proof_with_pis(&cd);