feat: Mega memory benchmarks

barretenberg/cpp/src/barretenberg/benchmark/CMakeLists.txt

@@ -17,3 +17,4 @@ add_subdirectory(append_only_tree_bench)
 add_subdirectory(ultra_bench)
 add_subdirectory(stdlib_hash)
 add_subdirectory(circuit_construction_bench)
+add_subdirectory(mega_memory_bench)

barretenberg/cpp/src/barretenberg/benchmark/mega_memory_bench/CMakeLists.txt

@@ -0,0 +1,5 @@
+barretenberg_module(
+    mega_memory_bench
+    ultra_honk
+    stdlib_primitives
+)

barretenberg/cpp/src/barretenberg/plonk_honk_shared/arithmetization/mega_arithmetization.hpp

@@ -38,6 +38,14 @@ template <typename FF_> class MegaArith {
         T lookup;
         T overflow; // block gates of arbitrary type that overflow their designated block
 
+        std::vector<std::string_view> get_labels() const
+        {
+            return { "ecc_op",     "pub_inputs",         "busread",
+                     "arithmetic", "delta_range",        "elliptic",
+                     "aux",        "poseidon2_external", "poseidon2_internal",
+                     "lookup" };
+        }
+
         auto get()
         {
             return RefArray{ ecc_op,
@@ -52,6 +60,7 @@ template <typename FF_> class MegaArith {
                              lookup,
                              overflow };
         }
+
         auto get() const
         {
             return RefArray{ ecc_op,
@@ -297,7 +306,11 @@ template <typename FF_> class MegaArith {
         {
             info("Gate blocks summary: (actual gates / fixed capacity)");
             info("goblin ecc op :\t", this->ecc_op.size(), "/", this->ecc_op.get_fixed_size());
-            info("pub inputs    :\t", this->pub_inputs.size(), "/", this->pub_inputs.get_fixed_size());
+            info("pub inputs    :\t",
+                 this->pub_inputs.size(),
+                 "/",
+                 this->pub_inputs.get_fixed_size(),
+                 " (populated in decider pk constructor)");
             info("busread       :\t", this->busread.size(), "/", this->busread.get_fixed_size());
             info("arithmetic    :\t", this->arithmetic.size(), "/", this->arithmetic.get_fixed_size());
             info("delta range   :\t", this->delta_range.size(), "/", this->delta_range.get_fixed_size());

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp

@@ -236,6 +236,44 @@ template <typename FF> class MegaCircuitBuilder_ : public UltraCircuitBuilder_<M
     const BusVector& get_calldata() const { return databus[static_cast<size_t>(BusId::CALLDATA)]; }
     const BusVector& get_secondary_calldata() const { return databus[static_cast<size_t>(BusId::SECONDARY_CALLDATA)]; }
     const BusVector& get_return_data() const { return databus[static_cast<size_t>(BusId::RETURNDATA)]; }
+    uint64_t estimate_memory() const
+    {
+        vinfo("++Estimating builder memory++");
+        uint64_t result{ 0 };
+
+        // gates:
+        for (auto [block, label] : zip_view(this->blocks.get(), this->blocks.get_labels())) {
+            uint64_t size{ 0 };
+            for (const auto& wire : block.wires) {
+                size += wire.capacity() * sizeof(uint32_t);
+            }
+            for (const auto& selector : block.selectors) {
+                size += selector.capacity() * sizeof(FF);
+            }
+            vinfo(label, " size ", size >> 10, " KiB");
+            result += size;
+        }
+
+        // variables
+        size_t to_add{ this->variables.capacity() * sizeof(FF) };
+        result += to_add;
+        vinfo("variables: ", to_add);
+
+        // public inputs
+        to_add = this->public_inputs.capacity() * sizeof(uint32_t);
+        result += to_add;
+        vinfo("public inputs: ", to_add);
+
+        // other variable indices
+        to_add = this->next_var_index.capacity() * sizeof(uint32_t);
+        to_add += this->prev_var_index.capacity() * sizeof(uint32_t);
+        to_add += this->real_variable_index.capacity() * sizeof(uint32_t);
+        to_add += this->real_variable_tags.capacity() * sizeof(uint32_t);
+        result += to_add;
+        vinfo("variable indices: ", to_add);
+
+        return result;
+    }
 };
 using MegaCircuitBuilder = MegaCircuitBuilder_<bb::fr>;
 } // namespace bb

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/mega_flavor.hpp

@@ -510,6 +510,24 @@ class MegaFlavor {
             // Compute permutation and lookup grand product polynomials
             compute_grand_products<MegaFlavor>(this->polynomials, relation_parameters);
         }
+
+        uint64_t estimate_memory()
+        {
+            vinfo("++Estimating proving key memory++");
+            for (auto [polynomial, label] : zip_view(polynomials.get_all(), polynomials.get_labels())) {
+                uint64_t size = polynomial.size();
+                vinfo(label, " num: ", size, " size: ", (size * sizeof(FF)) >> 10, " KiB");
+            }
+
+            uint64_t result(0);
+            for (auto& polynomial : polynomials.get_unshifted()) {
+                result += polynomial.size() * sizeof(FF);
+            }
+
+            result += public_inputs.capacity() * sizeof(FF);
+
+            return result;
+        }
     };
 
     /**

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/plookup_tables/types.hpp

@@ -111,7 +111,6 @@ enum MultiTableId {
     BLAKE_XOR_ROTATE_16,
     BLAKE_XOR_ROTATE_8,
     BLAKE_XOR_ROTATE_7,
-    PEDERSEN_IV,
     HONK_DUMMY_MULTI,
     KECCAK_THETA_OUTPUT,
     KECCAK_CHI_OUTPUT,

barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp

@@ -30,12 +30,12 @@ template <IsHonkFlavor Flavor> class DeciderProvingKey_ {
     using Polynomial = typename Flavor::Polynomial;
     using RelationSeparator = typename Flavor::RelationSeparator;
 
-    using Trace = ExecutionTrace_<Flavor>;
-
     // Flag indicating whether the polynomials will be constructed with fixed block sizes for each gate type
     bool is_structured;
 
   public:
+    using Trace = ExecutionTrace_<Flavor>;
+
     ProvingKey proving_key;
 
     bool is_accumulator = false;