add L to pex, and L=0 to constants to make it compile without using y…

…et the POD1-Introducer recursive verifier

constants/src/constants.rs

@@ -1,4 +1,5 @@
 pub const NS: usize = 10; // Max number of statements in a POD
 pub const VL: usize = 10; // Max length of vectors
+pub const L: usize = 0; // Max number of POD1-Introducer (1 level recursion) verifications
 pub const M: usize = 2; // Max number of Schnorr POD
 pub const N: usize = 2; // Max number of recursive proof verification in the creation of a POD

pex/src/lib.rs

@@ -1,6 +1,6 @@
 mod macros;
 mod pex_constants;
-use constants::{M, N, NS, VL};
+use constants::{L, M, N, NS, VL};
 pub mod repl;
 pub mod store;
 
@@ -26,7 +26,7 @@ use plonky2::{
 use pod2::{
     pod::{
         entry::Entry,
-        gadget::{plonky_pod::ProverParams, GadgetID, PlonkyButNotPlonkyGadget},
+        gadget::{plonky_pod::ProverParams, GadgetID},
         origin::Origin,
         payload::HashablePayload,
         statement::{AnchoredKey, StatementRef},
@@ -214,7 +214,7 @@ pub struct Env {
     bindings: Arc<Mutex<HashMap<String, Value>>>,
     sk: Option<SchnorrSecretKey>,
     script_id: Option<ScriptId>,
-    prover_params: Option<Arc<Mutex<ProverParams<M, N, NS, VL>>>>,
+    prover_params: Option<Arc<Mutex<ProverParams<L, M, N, NS, VL>>>>,
 }
 
 #[derive(Clone, Debug)]
@@ -744,7 +744,7 @@ impl PodBuilder {
                 .collect::<Vec<OpCmd>>()[..];
             if let Some(prover_params) = &env.prover_params {
                 let mut params = prover_params.lock().unwrap();
-                POD::execute_plonky_gadget::<M, N, NS, VL>(&mut params, &gpg_input, pending_ops)
+                POD::execute_plonky_gadget::<L, M, N, NS, VL>(&mut params, &gpg_input, pending_ops)
             } else {
                 POD::execute_oracle_gadget(&gpg_input, pending_ops)
             }
@@ -759,7 +759,7 @@ impl Env {
         pod_store: Arc<Mutex<MyPods>>,
         sk: Option<SchnorrSecretKey>,
         script_id: Option<ScriptId>,
-        prover_params: Option<Arc<Mutex<ProverParams<M, N, NS, VL>>>>,
+        prover_params: Option<Arc<Mutex<ProverParams<L, M, N, NS, VL>>>>,
     ) -> Self {
         Self {
             user,

pex/src/main.rs

@@ -14,6 +14,7 @@ use pex::{
 use pex::{Env, MyPods, Value};
 use pod2::{
     pod::gadget::PlonkyButNotPlonkyGadget,
+    recursion::traits::IntroducerCircuitTrait,
     signature::schnorr::{SchnorrSecretKey, SchnorrSigner},
 };
 use reedline::{
@@ -130,9 +131,16 @@ async fn main() -> Result<()> {
 
     let pod_store = Arc::new(Mutex::new(MyPods::default()));
     let spinner = create_spinner("Generating prover parameters...");
-    let circuit_data = PlonkyButNotPlonkyGadget::<M, N, NS, VL>::circuit_data().unwrap();
-    let prover_params =
-        PlonkyButNotPlonkyGadget::<M, N, NS, VL>::build_prover_params(circuit_data).unwrap();
+
+    let pod1_circuit_data = pod2::recursion::traits_examples::ExampleIntroducer::circuit_data()?;
+    let pod1_verifier_data = pod1_circuit_data.verifier_data();
+    let circuit_data =
+        PlonkyButNotPlonkyGadget::<L, M, N, NS, VL>::circuit_data(pod1_verifier_data).unwrap();
+    let prover_params = PlonkyButNotPlonkyGadget::<L, M, N, NS, VL>::build_prover_params(
+        pod1_verifier_data,
+        circuit_data,
+    )
+    .unwrap();
     spinner.finish_and_clear();
     println!("⚙️ Prover parameters generated");
     let env = Env::new(