chore(avm): add names to lookup settings

AztecProtocol · Feb 5, 2025 · aee86b1 · aee86b1
1 parent ed9da41
commit aee86b1
Show file tree

Hide file tree

Showing 23 changed files with 224 additions and 77 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_alu.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_alu.hpp
@@ -14,6 +14,8 @@ namespace bb::avm {
 
 class lookup_pow_2_0_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_POW_2_0";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -72,14 +74,16 @@ class lookup_pow_2_0_lookup_settings {
 template <typename FF_>
 class lookup_pow_2_0_relation : public GenericLookupRelation<lookup_pow_2_0_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_POW_2_0";
+    static constexpr std::string_view NAME = lookup_pow_2_0_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_pow_2_0 = GenericLookup<lookup_pow_2_0_lookup_settings, FF_>;
 
 /////////////////// lookup_pow_2_1 ///////////////////
 
 class lookup_pow_2_1_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_POW_2_1";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -139,7 +143,7 @@ class lookup_pow_2_1_lookup_settings {
 template <typename FF_>
 class lookup_pow_2_1_relation : public GenericLookupRelation<lookup_pow_2_1_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_POW_2_1";
+    static constexpr std::string_view NAME = lookup_pow_2_1_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_pow_2_1 = GenericLookup<lookup_pow_2_1_lookup_settings, FF_>;
 

diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_binary.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_binary.hpp
@@ -14,6 +14,8 @@ namespace bb::avm {
 
 class lookup_byte_lengths_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_BYTE_LENGTHS";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -73,14 +75,16 @@ class lookup_byte_lengths_lookup_settings {
 template <typename FF_>
 class lookup_byte_lengths_relation : public GenericLookupRelation<lookup_byte_lengths_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_BYTE_LENGTHS";
+    static constexpr std::string_view NAME = lookup_byte_lengths_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_byte_lengths = GenericLookup<lookup_byte_lengths_lookup_settings, FF_>;
 
 /////////////////// lookup_byte_operations ///////////////////
 
 class lookup_byte_operations_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_BYTE_OPERATIONS";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -147,7 +151,7 @@ class lookup_byte_operations_lookup_settings {
 template <typename FF_>
 class lookup_byte_operations_relation : public GenericLookupRelation<lookup_byte_operations_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_BYTE_OPERATIONS";
+    static constexpr std::string_view NAME = lookup_byte_operations_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_byte_operations = GenericLookup<lookup_byte_operations_lookup_settings, FF_>;
 

diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_gas.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_gas.hpp
@@ -14,6 +14,8 @@ namespace bb::avm {
 
 class lookup_opcode_gas_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_OPCODE_GAS";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -85,14 +87,16 @@ class lookup_opcode_gas_lookup_settings {
 template <typename FF_>
 class lookup_opcode_gas_relation : public GenericLookupRelation<lookup_opcode_gas_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_OPCODE_GAS";
+    static constexpr std::string_view NAME = lookup_opcode_gas_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_opcode_gas = GenericLookup<lookup_opcode_gas_lookup_settings, FF_>;
 
 /////////////////// lookup_l2_gas_rng_chk_0 ///////////////////
 
 class lookup_l2_gas_rng_chk_0_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_0";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -148,14 +152,16 @@ class lookup_l2_gas_rng_chk_0_lookup_settings {
 template <typename FF_>
 class lookup_l2_gas_rng_chk_0_relation : public GenericLookupRelation<lookup_l2_gas_rng_chk_0_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_0";
+    static constexpr std::string_view NAME = lookup_l2_gas_rng_chk_0_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_l2_gas_rng_chk_0 = GenericLookup<lookup_l2_gas_rng_chk_0_lookup_settings, FF_>;
 
 /////////////////// lookup_l2_gas_rng_chk_1 ///////////////////
 
 class lookup_l2_gas_rng_chk_1_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_1";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -211,14 +217,16 @@ class lookup_l2_gas_rng_chk_1_lookup_settings {
 template <typename FF_>
 class lookup_l2_gas_rng_chk_1_relation : public GenericLookupRelation<lookup_l2_gas_rng_chk_1_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_1";
+    static constexpr std::string_view NAME = lookup_l2_gas_rng_chk_1_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_l2_gas_rng_chk_1 = GenericLookup<lookup_l2_gas_rng_chk_1_lookup_settings, FF_>;
 
 /////////////////// lookup_da_gas_rng_chk_0 ///////////////////
 
 class lookup_da_gas_rng_chk_0_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_0";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -274,14 +282,16 @@ class lookup_da_gas_rng_chk_0_lookup_settings {
 template <typename FF_>
 class lookup_da_gas_rng_chk_0_relation : public GenericLookupRelation<lookup_da_gas_rng_chk_0_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_0";
+    static constexpr std::string_view NAME = lookup_da_gas_rng_chk_0_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_da_gas_rng_chk_0 = GenericLookup<lookup_da_gas_rng_chk_0_lookup_settings, FF_>;
 
 /////////////////// lookup_da_gas_rng_chk_1 ///////////////////
 
 class lookup_da_gas_rng_chk_1_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_1";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -337,7 +347,7 @@ class lookup_da_gas_rng_chk_1_lookup_settings {
 template <typename FF_>
 class lookup_da_gas_rng_chk_1_relation : public GenericLookupRelation<lookup_da_gas_rng_chk_1_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_1";
+    static constexpr std::string_view NAME = lookup_da_gas_rng_chk_1_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_da_gas_rng_chk_1 = GenericLookup<lookup_da_gas_rng_chk_1_lookup_settings, FF_>;
 

diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_main.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_main.hpp
@@ -14,6 +14,8 @@ namespace bb::avm {
 
 class incl_main_tag_err_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "INCL_MAIN_TAG_ERR";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -69,14 +71,16 @@ class incl_main_tag_err_lookup_settings {
 template <typename FF_>
 class incl_main_tag_err_relation : public GenericLookupRelation<incl_main_tag_err_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "INCL_MAIN_TAG_ERR";
+    static constexpr std::string_view NAME = incl_main_tag_err_lookup_settings::NAME;
 };
 template <typename FF_> using incl_main_tag_err = GenericLookup<incl_main_tag_err_lookup_settings, FF_>;
 
 /////////////////// incl_mem_tag_err ///////////////////
 
 class incl_mem_tag_err_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "INCL_MEM_TAG_ERR";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -132,7 +136,7 @@ class incl_mem_tag_err_lookup_settings {
 template <typename FF_>
 class incl_mem_tag_err_relation : public GenericLookupRelation<incl_mem_tag_err_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "INCL_MEM_TAG_ERR";
+    static constexpr std::string_view NAME = incl_mem_tag_err_lookup_settings::NAME;
 };
 template <typename FF_> using incl_mem_tag_err = GenericLookup<incl_mem_tag_err_lookup_settings, FF_>;
 

diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_mem.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_mem.hpp
@@ -14,6 +14,8 @@ namespace bb::avm {
 
 class lookup_mem_rng_chk_0_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_0";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -69,14 +71,16 @@ class lookup_mem_rng_chk_0_lookup_settings {
 template <typename FF_>
 class lookup_mem_rng_chk_0_relation : public GenericLookupRelation<lookup_mem_rng_chk_0_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_0";
+    static constexpr std::string_view NAME = lookup_mem_rng_chk_0_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_mem_rng_chk_0 = GenericLookup<lookup_mem_rng_chk_0_lookup_settings, FF_>;
 
 /////////////////// lookup_mem_rng_chk_1 ///////////////////
 
 class lookup_mem_rng_chk_1_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_1";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -132,14 +136,16 @@ class lookup_mem_rng_chk_1_lookup_settings {
 template <typename FF_>
 class lookup_mem_rng_chk_1_relation : public GenericLookupRelation<lookup_mem_rng_chk_1_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_1";
+    static constexpr std::string_view NAME = lookup_mem_rng_chk_1_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_mem_rng_chk_1 = GenericLookup<lookup_mem_rng_chk_1_lookup_settings, FF_>;
 
 /////////////////// lookup_mem_rng_chk_2 ///////////////////
 
 class lookup_mem_rng_chk_2_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_2";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -195,7 +201,7 @@ class lookup_mem_rng_chk_2_lookup_settings {
 template <typename FF_>
 class lookup_mem_rng_chk_2_relation : public GenericLookupRelation<lookup_mem_rng_chk_2_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_2";
+    static constexpr std::string_view NAME = lookup_mem_rng_chk_2_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_mem_rng_chk_2 = GenericLookup<lookup_mem_rng_chk_2_lookup_settings, FF_>;
 

diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_mem_slice.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_mem_slice.hpp
@@ -14,6 +14,8 @@ namespace bb::avm {
 
 class lookup_cd_value_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_CD_VALUE";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -72,14 +74,16 @@ class lookup_cd_value_lookup_settings {
 template <typename FF_>
 class lookup_cd_value_relation : public GenericLookupRelation<lookup_cd_value_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_CD_VALUE";
+    static constexpr std::string_view NAME = lookup_cd_value_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_cd_value = GenericLookup<lookup_cd_value_lookup_settings, FF_>;
 
 /////////////////// lookup_ret_value ///////////////////
 
 class lookup_ret_value_lookup_settings {
   public:
+    static constexpr std::string_view NAME = "LOOKUP_RET_VALUE";
+
     static constexpr size_t READ_TERMS = 1;
     static constexpr size_t WRITE_TERMS = 1;
     static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
@@ -138,7 +142,7 @@ class lookup_ret_value_lookup_settings {
 template <typename FF_>
 class lookup_ret_value_relation : public GenericLookupRelation<lookup_ret_value_lookup_settings, FF_> {
   public:
-    static constexpr std::string_view NAME = "LOOKUP_RET_VALUE";
+    static constexpr std::string_view NAME = lookup_ret_value_lookup_settings::NAME;
 };
 template <typename FF_> using lookup_ret_value = GenericLookup<lookup_ret_value_lookup_settings, FF_>;