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 DummyProofGen C: GenericConfig, >::Hasher: AlgebraicHasher, { + /// Builds a dummy circuit from the provided common circuit data. + pub fn gen_dummy_common_data( + ) -> CommonCircuitData { + let config = CircuitConfig::standard_recursion_config(); + let mut builder = CircuitBuilder::::new(config); + // Add one virtual public input so that the circuit has minimal structure. + builder.add_virtual_public_input(); + let circuit = builder.build::(); + circuit.common.clone() + } + /// Builds a dummy circuit from the provided common circuit data. pub fn gen_dummy_circ_data( common_data: &CommonCircuitData,