diff --git a/evm/Cargo.toml b/evm/Cargo.toml
index 9245138a..45849283 100644
--- a/evm/Cargo.toml
+++ b/evm/Cargo.toml
@@ -34,6 +34,7 @@ rlp = "0.5.1"
 rlp-derive = "0.1.0"
 serde = { version = "1.0.144", features = ["derive"] }
 static_assertions = "1.1.0"
+hashbrown = { version = "0.12.3" }
 tiny-keccak = "2.0.2"
 
 [target.'cfg(not(target_env = "msvc"))'.dependencies]
diff --git a/evm/src/fixed_recursive_verifier.rs b/evm/src/fixed_recursive_verifier.rs
index d6c22080..2dcd1824 100644
--- a/evm/src/fixed_recursive_verifier.rs
+++ b/evm/src/fixed_recursive_verifier.rs
@@ -1,6 +1,7 @@
 use std::collections::BTreeMap;
 use std::ops::Range;
 
+use hashbrown::HashMap;
 use itertools::Itertools;
 use plonky2::field::extension::Extendable;
 use plonky2::fri::FriParams;
@@ -17,6 +18,7 @@ use plonky2::plonk::circuit_data::{
 use plonky2::plonk::config::{AlgebraicHasher, GenericConfig, Hasher};
 use plonky2::plonk::proof::{ProofWithPublicInputs, ProofWithPublicInputsTarget};
 use plonky2::recursion::cyclic_recursion::check_cyclic_proof_verifier_data;
+use plonky2::recursion::dummy_circuit::cyclic_base_proof;
 use plonky2::util::timing::TimingTree;
 use plonky2_util::log2_ceil;
 
@@ -453,6 +455,15 @@ where
         if let Some(parent_block_proof) = opt_parent_block_proof {
             block_inputs
                 .set_proof_with_pis_target(&self.block.parent_block_proof, parent_block_proof);
+        } else {
+            block_inputs.set_proof_with_pis_target(
+                &self.block.parent_block_proof,
+                &cyclic_base_proof(
+                    &self.block.circuit.common,
+                    &self.block.circuit.verifier_only,
+                    HashMap::new(),
+                ),
+            );
         }
 
         block_inputs.set_proof_with_pis_target(&self.block.agg_root_proof, agg_root_proof);