change proof sizes to match master

AztecProtocol · Dec 18, 2024 · 0b21b52 · 0b21b52
1 parent 8d4df67
commit 0b21b52
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/bb/main.cpp b/barretenberg/cpp/src/barretenberg/bb/main.cpp
@@ -279,7 +279,7 @@ void prove_tube(const std::string& output_path)
 
     // Break up the tube proof into the honk portion and the ipa portion
     // TODO(https://github.com/AztecProtocol/barretenberg/issues/1168): Add formula to flavor
-    const size_t HONK_PROOF_LENGTH = 473;
+    const size_t HONK_PROOF_LENGTH = 469;
     // The extra calculation is for the IPA proof length.
     ASSERT(tube_proof.size() == HONK_PROOF_LENGTH + 1 + 4 * (CONST_ECCVM_LOG_N) + 2 + 2 + num_public_inputs);
     // split out the ipa proof
@@ -819,7 +819,7 @@ template <IsUltraFlavor Flavor> bool verify_honk(const std::string& proof_path,
     if constexpr (HasIPAAccumulator<Flavor>) {
         // Break up the tube proof into the honk portion and the ipa portion
         // TODO(https://github.com/AztecProtocol/barretenberg/issues/1168): Add formula to flavor
-        const size_t HONK_PROOF_LENGTH = 473;
+        const size_t HONK_PROOF_LENGTH = 469;
         const size_t num_public_inputs =
             static_cast<size_t>(proof[1]) - PAIRING_POINT_ACCUMULATOR_SIZE - IPA_CLAIM_SIZE;
         // The extra calculation is for the IPA proof length.

diff --git a/barretenberg/cpp/src/barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.cpp b/barretenberg/cpp/src/barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.cpp
@@ -50,7 +50,7 @@ UltraRecursiveVerifier_<Flavor>::Output UltraRecursiveVerifier_<Flavor>::verify_
     StdlibProof<Builder> honk_proof;
     if constexpr (HasIPAAccumulator<Flavor>) {
         // TODO(https://github.com/AztecProtocol/barretenberg/issues/1168): Add formula to flavor
-        const size_t HONK_PROOF_LENGTH = 473;
+        const size_t HONK_PROOF_LENGTH = 469;
         const size_t num_public_inputs = static_cast<uint32_t>(proof[1].get_value());
         // The extra calculation is for the IPA proof length.
         ASSERT(proof.size() == HONK_PROOF_LENGTH + (1 + 4 * (CONST_ECCVM_LOG_N) + 2 + 2) + num_public_inputs -

diff --git a/noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof/src/main.nr b/noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof/src/main.nr
@@ -1,5 +1,5 @@
 // This circuit aggregates a single Honk proof from `assert_statement`.
-global SIZE_OF_PROOF_IF_LOGN_IS_28: u32 = 473 + 65;
+global SIZE_OF_PROOF_IF_LOGN_IS_28: u32 = 469 + 65;
 global ROLLUP_HONK_IDENTIFIER: u32 = 5;
 fn main(
     verification_key: [Field; 139],