From d0ea6ebbe8b4bb918acc2aa5a4c09863a93b7c08 Mon Sep 17 00:00:00 2001 From: Cody Gunton Date: Thu, 5 Sep 2024 10:23:07 -0400 Subject: [PATCH] fix: Broken build (#8395) Yep it's `verification_key->verification_key` until the refactoring is done --- .../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 652a7fc4740..c05e1499fc5 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 void OinkRecursiveVerifier_::verify() FF public_input_size = transcript->template receive_from_prover(domain_separator + "public_input_size"); FF pub_inputs_offset = transcript->template receive_from_prover(domain_separator + "pub_inputs_offset"); - if (static_cast(circuit_size.get_value()) != instance->verification_key->circuit_size) { + if (static_cast(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(public_input_size.get_value()) != instance->verification_key->num_public_inputs) { + if (static_cast(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(pub_inputs_offset.get_value()) != instance->verification_key->pub_inputs_offset) { + if (static_cast(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"); }