diff --git a/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/flavor_serialization.test.cpp b/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/flavor_serialization.test.cpp index 162385bdcba..9be4c730815 100644 --- a/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/flavor_serialization.test.cpp +++ b/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/flavor_serialization.test.cpp @@ -47,6 +47,12 @@ TYPED_TEST(FlavorSerializationTests, VerificationKeySerialization) // Set the pcs ptr to null since this will not be reconstructed correctly from buffer original_vkey.pcs_verification_key = nullptr; + // probably not needed + if constexpr (DoesRecursiveIPA) { + original_vkey.contains_ipa_claim = 0; + original_vkey.ipa_claim_public_input_indices = + std::array{ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }; + } // Populate some non-zero values in the databus_propagation_data to ensure its being handled if constexpr (IsMegaBuilder) { original_vkey.databus_propagation_data.app_return_data_public_input_idx = 2; diff --git a/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/ultra_flavor.hpp b/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/ultra_flavor.hpp index 4a39bdbfba7..1fc4281c793 100644 --- a/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/ultra_flavor.hpp +++ b/barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/ultra_flavor.hpp @@ -476,6 +476,8 @@ class UltraFlavor { const uint64_t pub_inputs_offset, const bool contains_pairing_point_accumulator, const PairingPointAccumulatorPubInputIndices& pairing_point_accumulator_public_input_indices, + const bool contains_ipa_claim, + const IPAClaimPubInputIndices& ipa_claim_public_input_indices, const Commitment& q_m, const Commitment& q_c, const Commitment& q_l, @@ -503,6 +505,8 @@ class UltraFlavor { const Commitment& table_4, const Commitment& lagrange_first, const Commitment& lagrange_last) + : contains_ipa_claim(contains_ipa_claim) + , ipa_claim_public_input_indices(ipa_claim_public_input_indices) { this->circuit_size = circuit_size; this->log_circuit_size = numeric::get_msb(this->circuit_size); @@ -546,6 +550,8 @@ class UltraFlavor { pub_inputs_offset, contains_pairing_point_accumulator, pairing_point_accumulator_public_input_indices, + contains_ipa_claim, + ipa_claim_public_input_indices, q_m, q_c, q_l,