From bb2f44a914aa4b70bd4ddb92b61b3531d6420426 Mon Sep 17 00:00:00 2001
From: M Alghazwi <m.ghazwi@gmail.com>
Date: Thu, 3 Jul 2025 09:25:14 +0200
Subject: [PATCH] add gen_dummy_common_data

---
 codex-plonky2-circuits/src/recursion/dummy_gen.rs | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/codex-plonky2-circuits/src/recursion/dummy_gen.rs b/codex-plonky2-circuits/src/recursion/dummy_gen.rs
index 43b32ad..aacc94f 100755
--- a/codex-plonky2-circuits/src/recursion/dummy_gen.rs
+++ b/codex-plonky2-circuits/src/recursion/dummy_gen.rs
@@ -1,5 +1,5 @@
 use std::marker::PhantomData;
-use plonky2::plonk::circuit_data::{CircuitData, CommonCircuitData, VerifierCircuitData, VerifierOnlyCircuitData};
+use plonky2::plonk::circuit_data::{CircuitConfig, CircuitData, CommonCircuitData, VerifierCircuitData, VerifierOnlyCircuitData};
 use plonky2::plonk::proof::{ProofWithPublicInputs};
 use plonky2::recursion::dummy_circuit::{dummy_proof};
 use hashbrown::HashMap;
@@ -30,6 +30,17 @@ impl<F, const D: usize, C> DummyProofGen<F, D, C>
         C: GenericConfig<D, F = F>,
         <C as GenericConfig<D>>::Hasher: AlgebraicHasher<F>,
 {
+    /// Builds a dummy circuit from the provided common circuit data.
+    pub fn gen_dummy_common_data(
+    ) -> CommonCircuitData<F, D> {
+        let config = CircuitConfig::standard_recursion_config();
+        let mut builder = CircuitBuilder::<F, D>::new(config);
+        // Add one virtual public input so that the circuit has minimal structure.
+        builder.add_virtual_public_input();
+        let circuit = builder.build::<C>();
+        circuit.common.clone()
+    }
+
     /// Builds a dummy circuit from the provided common circuit data.
     pub fn gen_dummy_circ_data(
         common_data: &CommonCircuitData<F, D>,