chore(avm): migrate lookups and permutations

AztecProtocol · Jul 4, 2024 · 7dd6a30 · 7dd6a30
1 parent 694cebc
commit 7dd6a30
Show file tree

Hide file tree

Showing 59 changed files with 375 additions and 860 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_main_tag_err.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_main_tag_err.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class incl_main_tag_err_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.mem_tag_err == 1 || in.main_tag_err == 1);
@@ -99,7 +96,6 @@ class incl_main_tag_err_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class incl_main_tag_err_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(in.incl_main_tag_err,
                                      in.incl_main_tag_err_counts,
                                      in.mem_tag_err,
@@ -147,10 +141,8 @@ class incl_main_tag_err_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(in.incl_main_tag_err,
                                      in.incl_main_tag_err_counts,
                                      in.mem_tag_err,
@@ -164,4 +156,4 @@ template <typename FF_>
 using incl_main_tag_err_relation = GenericLookupRelation<incl_main_tag_err_lookup_settings, FF_>;
 template <typename FF_> using incl_main_tag_err = GenericLookup<incl_main_tag_err_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_mem_tag_err.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_mem_tag_err.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class incl_mem_tag_err_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.main_tag_err == 1 || in.mem_tag_err == 1);
@@ -99,7 +96,6 @@ class incl_mem_tag_err_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class incl_mem_tag_err_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(
             in.incl_mem_tag_err, in.incl_mem_tag_err_counts, in.main_tag_err, in.mem_tag_err, in.main_clk, in.mem_clk);
     }
@@ -143,10 +137,8 @@ class incl_mem_tag_err_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(
             in.incl_mem_tag_err, in.incl_mem_tag_err_counts, in.main_tag_err, in.mem_tag_err, in.main_clk, in.mem_clk);
     }
@@ -155,4 +147,4 @@ class incl_mem_tag_err_lookup_settings {
 template <typename FF_> using incl_mem_tag_err_relation = GenericLookupRelation<incl_mem_tag_err_lookup_settings, FF_>;
 template <typename FF_> using incl_mem_tag_err = GenericLookup<incl_mem_tag_err_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/kernel_output_lookup.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/kernel_output_lookup.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class kernel_output_lookup_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.main_sel_q_kernel_output_lookup == 1 || in.kernel_q_public_input_kernel_out_add_to_table == 1);
@@ -99,7 +96,6 @@ class kernel_output_lookup_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class kernel_output_lookup_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(in.kernel_output_lookup,
                                      in.kernel_output_lookup_counts,
                                      in.main_sel_q_kernel_output_lookup,
@@ -153,10 +147,8 @@ class kernel_output_lookup_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(in.kernel_output_lookup,
                                      in.kernel_output_lookup_counts,
                                      in.main_sel_q_kernel_output_lookup,
@@ -176,4 +168,4 @@ template <typename FF_>
 using kernel_output_lookup_relation = GenericLookupRelation<kernel_output_lookup_lookup_settings, FF_>;
 template <typename FF_> using kernel_output_lookup = GenericLookup<kernel_output_lookup_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_lengths.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_lengths.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class lookup_byte_lengths_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.binary_start == 1 || in.byte_lookup_sel_bin == 1);
@@ -99,7 +96,6 @@ class lookup_byte_lengths_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class lookup_byte_lengths_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_byte_lengths,
                                      in.lookup_byte_lengths_counts,
                                      in.binary_start,
@@ -149,10 +143,8 @@ class lookup_byte_lengths_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_byte_lengths,
                                      in.lookup_byte_lengths_counts,
                                      in.binary_start,
@@ -168,4 +160,4 @@ template <typename FF_>
 using lookup_byte_lengths_relation = GenericLookupRelation<lookup_byte_lengths_lookup_settings, FF_>;
 template <typename FF_> using lookup_byte_lengths = GenericLookup<lookup_byte_lengths_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_operations.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_operations.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class lookup_byte_operations_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.binary_sel_bin == 1 || in.byte_lookup_sel_bin == 1);
@@ -99,7 +96,6 @@ class lookup_byte_operations_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class lookup_byte_operations_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_byte_operations,
                                      in.lookup_byte_operations_counts,
                                      in.binary_sel_bin,
@@ -153,10 +147,8 @@ class lookup_byte_operations_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_byte_operations,
                                      in.lookup_byte_operations_counts,
                                      in.binary_sel_bin,
@@ -176,4 +168,4 @@ template <typename FF_>
 using lookup_byte_operations_relation = GenericLookupRelation<lookup_byte_operations_lookup_settings, FF_>;
 template <typename FF_> using lookup_byte_operations = GenericLookup<lookup_byte_operations_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_0.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_0.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class lookup_div_u16_0_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.alu_sel_div_rng_chk == 1 || in.main_sel_rng_16 == 1);
@@ -99,7 +96,6 @@ class lookup_div_u16_0_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class lookup_div_u16_0_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_div_u16_0,
                                      in.lookup_div_u16_0_counts,
                                      in.alu_sel_div_rng_chk,
@@ -147,10 +141,8 @@ class lookup_div_u16_0_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_div_u16_0,
                                      in.lookup_div_u16_0_counts,
                                      in.alu_sel_div_rng_chk,
@@ -163,4 +155,4 @@ class lookup_div_u16_0_lookup_settings {
 template <typename FF_> using lookup_div_u16_0_relation = GenericLookupRelation<lookup_div_u16_0_lookup_settings, FF_>;
 template <typename FF_> using lookup_div_u16_0 = GenericLookup<lookup_div_u16_0_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb
diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_1.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_1.hpp
@@ -1,5 +1,3 @@
-
-
 #pragma once
 
 #include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
@@ -84,7 +82,6 @@ class lookup_div_u16_1_lookup_settings {
      * @details If this is true then the lookup takes place in this row
      *
      */
-
     template <typename AllEntities> static inline auto inverse_polynomial_is_computed_at_row(const AllEntities& in)
     {
         return (in.alu_sel_div_rng_chk == 1 || in.main_sel_rng_16 == 1);
@@ -99,7 +96,6 @@ class lookup_div_u16_1_lookup_settings {
      * @param in Value/Univariate of all entities at row/edge
      * @return Accumulator
      */
-
     template <typename Accumulator, typename AllEntities>
     static inline auto compute_inverse_exists(const AllEntities& in)
     {
@@ -129,10 +125,8 @@ class lookup_div_u16_1_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_const_entities(const AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_div_u16_1,
                                      in.lookup_div_u16_1_counts,
                                      in.alu_sel_div_rng_chk,
@@ -147,10 +141,8 @@ class lookup_div_u16_1_lookup_settings {
      *
      * @return All the entities needed for the lookup
      */
-
     template <typename AllEntities> static inline auto get_nonconst_entities(AllEntities& in)
     {
-
         return std::forward_as_tuple(in.lookup_div_u16_1,
                                      in.lookup_div_u16_1_counts,
                                      in.alu_sel_div_rng_chk,
@@ -163,4 +155,4 @@ class lookup_div_u16_1_lookup_settings {
 template <typename FF_> using lookup_div_u16_1_relation = GenericLookupRelation<lookup_div_u16_1_lookup_settings, FF_>;
 template <typename FF_> using lookup_div_u16_1 = GenericLookup<lookup_div_u16_1_lookup_settings, FF_>;
 
-} // namespace bb
+} // namespace bb