From c15ed8b43a91d4b71e64f04f8d347b676487efa2 Mon Sep 17 00:00:00 2001
From: codygunton <codygunton@gmail.com>
Date: Thu, 5 Sep 2024 14:21:29 +0000
Subject: [PATCH] Fix

---
 .../stdlib/honk_verifier/oink_recursive_verifier.cpp        | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/barretenberg/cpp/src/barretenberg/stdlib/honk_verifier/oink_recursive_verifier.cpp b/barretenberg/cpp/src/barretenberg/stdlib/honk_verifier/oink_recursive_verifier.cpp
index 652a7fc47406..c05e1499fc5e 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/honk_verifier/oink_recursive_verifier.cpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/honk_verifier/oink_recursive_verifier.cpp
@@ -44,13 +44,13 @@ template <typename Flavor> void OinkRecursiveVerifier_<Flavor>::verify()
     FF public_input_size = transcript->template receive_from_prover<FF>(domain_separator + "public_input_size");
     FF pub_inputs_offset = transcript->template receive_from_prover<FF>(domain_separator + "pub_inputs_offset");
 
-    if (static_cast<uint32_t>(circuit_size.get_value()) != instance->verification_key->circuit_size) {
+    if (static_cast<uint32_t>(circuit_size.get_value()) != verification_key->verification_key->circuit_size) {
         throw_or_abort("OinkRecursiveVerifier::verify: proof circuit size does not match verification key");
     }
-    if (static_cast<uint32_t>(public_input_size.get_value()) != instance->verification_key->num_public_inputs) {
+    if (static_cast<uint32_t>(public_input_size.get_value()) != verification_key->verification_key->num_public_inputs) {
         throw_or_abort("OinkRecursiveVerifier::verify: proof public input size does not match verification key");
     }
-    if (static_cast<uint32_t>(pub_inputs_offset.get_value()) != instance->verification_key->pub_inputs_offset) {
+    if (static_cast<uint32_t>(pub_inputs_offset.get_value()) != verification_key->verification_key->pub_inputs_offset) {
         throw_or_abort("OinkRecursiveVerifier::verify: proof public input offset does not match verification key");
     }