From 4690db7c2d6d63d14faadafef570d1a99bbc29ff Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Fri, 7 Oct 2022 10:55:07 +0200
Subject: [PATCH] Add PI

---
 plonky2/src/plonk/conditional_recursive_verifier.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/plonky2/src/plonk/conditional_recursive_verifier.rs b/plonky2/src/plonk/conditional_recursive_verifier.rs
index e0a5116f..73c8553e 100644
--- a/plonky2/src/plonk/conditional_recursive_verifier.rs
+++ b/plonky2/src/plonk/conditional_recursive_verifier.rs
@@ -33,8 +33,9 @@ pub fn dummy_proof<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, con
     for gate in &common_data.gates {
         builder.add_gate_to_gate_set(gate.clone());
     }
-    // builder.add_virtual_pub
-    for i in 0..common_data.num_public_inputs {}
+    for _ in 0..common_data.num_public_inputs {
+        let t = builder.add_virtual_public_input();
+    }
     let data = builder.build::<C>();
     assert_eq!(&data.common, common_data);
     let proof = data.prove(PartialWitness::new());