From f4ac2d4f9cc1e6316444e37db699ca814ffd7471 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Tue, 3 Jan 2023 17:45:47 -0800
Subject: [PATCH] Fix vk

---
 evm/src/fixed_recursive_verifier.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/evm/src/fixed_recursive_verifier.rs b/evm/src/fixed_recursive_verifier.rs
index ac509f09..53a82bb6 100644
--- a/evm/src/fixed_recursive_verifier.rs
+++ b/evm/src/fixed_recursive_verifier.rs
@@ -327,8 +327,10 @@ where
             root_inputs.set_proof_with_pis_target(&self.root.proof_with_pis[table], &shrunk_proof);
         }
 
-        root_inputs
-            .set_verifier_data_target(&self.root.cyclic_vk, &self.root.circuit.verifier_only);
+        root_inputs.set_verifier_data_target(
+            &self.root.cyclic_vk,
+            &self.aggregation.circuit.verifier_only,
+        );
 
         self.root.circuit.prove(root_inputs)
     }