chore(proving): post honk branch fixes (#7435)

The original PR AztecProtocol/aztec-packages#6971 was too much to delay, these are the straggler fixups post merge
AztecProtocol · Jul 12, 2024 · cec6de6 · cec6de6
1 parent 948cb87
commit cec6de6
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 26 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
diff --git a/cpp/src/barretenberg/bb/main.cpp b/cpp/src/barretenberg/bb/main.cpp
@@ -245,11 +245,6 @@ bool proveAndVerifyHonkProgram(const std::string& bytecodePath, const std::strin
     return true;
 }
 
-struct VectorOfAcirAndWitnesses {
-    std::vector<std::vector<uint8_t>> acirGzippedBincoes;
-    std::vector<std::map<uint8_t, std::string>> witnessMaps;
-};
-
 // TODO(#7371): this could probably be more idiomatic
 template <typename T> T unpack_from_file(const std::string& filename)
 {

diff --git a/cpp/src/barretenberg/plonk_honk_shared/arithmetization/arithmetization.hpp b/cpp/src/barretenberg/plonk_honk_shared/arithmetization/arithmetization.hpp
@@ -354,7 +354,7 @@ template <typename FF_> class UltraHonkArith {
         std::array<uint32_t, 10> fixed_block_sizes{
             1 << 10, // ecc_op;
             30000,   // pub_inputs;
-            755000,  // arithmetic;
+            600000,  // arithmetic;
             140000,  // delta_range;
             600000,  // elliptic;
             1400000, // aux;