diff --git a/plonky2x/core/src/frontend/recursion/mod.rs b/plonky2x/core/src/frontend/recursion/mod.rs
index 1f5811bf6..9dd1ed7ed 100644
--- a/plonky2x/core/src/frontend/recursion/mod.rs
+++ b/plonky2x/core/src/frontend/recursion/mod.rs
@@ -1,4 +1,5 @@
 pub mod extension;
 pub mod fri;
 pub mod hash;
+pub mod plonky2_proof;
 pub mod polynomial;
diff --git a/plonky2x/core/src/frontend/recursion/plonky2_proof.rs b/plonky2x/core/src/frontend/recursion/plonky2_proof.rs
new file mode 100644
index 000000000..bc0eced05
--- /dev/null
+++ b/plonky2x/core/src/frontend/recursion/plonky2_proof.rs
@@ -0,0 +1,26 @@
+use crate::frontend::recursion::extension::ExtensionVariable;
+use crate::frontend::recursion::fri::proof::FriProofVariable;
+use crate::frontend::recursion::hash::MerkleCapVariable;
+use crate::prelude::Variable;
+pub struct ProofWithPublicInputsVariable<const D: usize> {
+    proof: ProofVariable<D>, // Add missing generic argument
+    public_inputs: Vec<Variable>,
+}
+
+pub struct ProofVariable<const D: usize> {
+    wires_cap: MerkleCapVariable,
+    plonk_zs_partial_products_cap: MerkleCapVariable,
+    quotient_polys_cap: MerkleCapVariable,
+    openings: OpeningSetVariable<D>,
+    opening_proof: FriProofVariable<D>,
+}
+
+pub struct OpeningSetVariable<const D: usize> {
+    pub constants: Vec<ExtensionVariable<D>>,
+    pub plonk_sigmas: Vec<ExtensionVariable<D>>,
+    pub wires: Vec<ExtensionVariable<D>>,
+    pub plonk_zs: Vec<ExtensionVariable<D>>,
+    pub plonk_zs_next: Vec<ExtensionVariable<D>>,
+    pub partial_products: Vec<ExtensionVariable<D>>,
+    pub quotient_polys: Vec<ExtensionVariable<D>>,
+}