Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore(avm): better log_derivative_inverse_round #7360

Merged
merged 3 commits into from
Jul 8, 2024
Merged

chore(avm): better log_derivative_inverse_round #7360

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
47d9268
chore(avm): smaller transcript
fcarreiro Jul 5, 2024
455e4ad
chore(avm): smaller prover
fcarreiro Jul 5, 2024
e37b8ed
chore(avm): better log_derivative_inverse_round
fcarreiro Jul 5, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 4 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_main_tag_err.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class incl_main_tag_err_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -68,7 +54,10 @@ class incl_main_tag_err_lookup_settings {
};

template <typename FF_>
using incl_main_tag_err_relation = GenericLookupRelation<incl_main_tag_err_lookup_settings, FF_>;
class incl_main_tag_err_relation : public GenericLookupRelation<incl_main_tag_err_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "incl_main_tag_err";
};
template <typename FF_> using incl_main_tag_err = GenericLookup<incl_main_tag_err_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_mem_tag_err.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class incl_mem_tag_err_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -59,7 +45,11 @@ 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_>
class incl_mem_tag_err_relation : public GenericLookupRelation<incl_mem_tag_err_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "incl_mem_tag_err";
};
template <typename FF_> using incl_mem_tag_err = GenericLookup<incl_mem_tag_err_lookup_settings, FF_>;

} // namespace bb
19 changes: 4 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/kernel_output_lookup.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class kernel_output_lookup_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -80,7 +66,10 @@ class kernel_output_lookup_lookup_settings {
};

template <typename FF_>
using kernel_output_lookup_relation = GenericLookupRelation<kernel_output_lookup_lookup_settings, FF_>;
class kernel_output_lookup_relation : public GenericLookupRelation<kernel_output_lookup_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "kernel_output_lookup";
};
template <typename FF_> using kernel_output_lookup = GenericLookup<kernel_output_lookup_lookup_settings, FF_>;

} // namespace bb
19 changes: 4 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_lengths.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_byte_lengths_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -72,7 +58,10 @@ class lookup_byte_lengths_lookup_settings {
};

template <typename FF_>
using lookup_byte_lengths_relation = GenericLookupRelation<lookup_byte_lengths_lookup_settings, FF_>;
class lookup_byte_lengths_relation : public GenericLookupRelation<lookup_byte_lengths_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_byte_lengths";
};
template <typename FF_> using lookup_byte_lengths = GenericLookup<lookup_byte_lengths_lookup_settings, FF_>;

} // namespace bb
19 changes: 4 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_operations.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_byte_operations_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -80,7 +66,10 @@ class lookup_byte_operations_lookup_settings {
};

template <typename FF_>
using lookup_byte_operations_relation = GenericLookupRelation<lookup_byte_operations_lookup_settings, FF_>;
class lookup_byte_operations_relation : public GenericLookupRelation<lookup_byte_operations_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_byte_operations";
};
template <typename FF_> using lookup_byte_operations = GenericLookup<lookup_byte_operations_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_0.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_div_u16_0_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -67,7 +53,11 @@ 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_>
class lookup_div_u16_0_relation : public GenericLookupRelation<lookup_div_u16_0_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_div_u16_0";
};
template <typename FF_> using lookup_div_u16_0 = GenericLookup<lookup_div_u16_0_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_1.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_div_u16_1_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -67,7 +53,11 @@ 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_>
class lookup_div_u16_1_relation : public GenericLookupRelation<lookup_div_u16_1_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_div_u16_1";
};
template <typename FF_> using lookup_div_u16_1 = GenericLookup<lookup_div_u16_1_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_2.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_div_u16_2_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -67,7 +53,11 @@ class lookup_div_u16_2_lookup_settings {
}
};

template <typename FF_> using lookup_div_u16_2_relation = GenericLookupRelation<lookup_div_u16_2_lookup_settings, FF_>;
template <typename FF_>
class lookup_div_u16_2_relation : public GenericLookupRelation<lookup_div_u16_2_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_div_u16_2";
};
template <typename FF_> using lookup_div_u16_2 = GenericLookup<lookup_div_u16_2_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_3.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_div_u16_3_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -67,7 +53,11 @@ class lookup_div_u16_3_lookup_settings {
}
};

template <typename FF_> using lookup_div_u16_3_relation = GenericLookupRelation<lookup_div_u16_3_lookup_settings, FF_>;
template <typename FF_>
class lookup_div_u16_3_relation : public GenericLookupRelation<lookup_div_u16_3_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_div_u16_3";
};
template <typename FF_> using lookup_div_u16_3 = GenericLookup<lookup_div_u16_3_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_4.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_div_u16_4_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -67,7 +53,11 @@ class lookup_div_u16_4_lookup_settings {
}
};

template <typename FF_> using lookup_div_u16_4_relation = GenericLookupRelation<lookup_div_u16_4_lookup_settings, FF_>;
template <typename FF_>
class lookup_div_u16_4_relation : public GenericLookupRelation<lookup_div_u16_4_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_div_u16_4";
};
template <typename FF_> using lookup_div_u16_4 = GenericLookup<lookup_div_u16_4_lookup_settings, FF_>;

} // namespace bb
20 changes: 5 additions & 15 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_5.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@

namespace bb {

/**
* @brief This class contains an example of how to set LookupSettings classes used by the
* GenericLookupRelationImpl class to specify a scaled lookup
*
* @details To create your own lookup:
* 1) Create a copy of this class and rename it
* 2) Update all the values with the ones needed for your lookup
* 3) Update "DECLARE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" and "DEFINE_LOOKUP_IMPLEMENTATIONS_FOR_ALL_SETTINGS" to
* include the new settings
* 4) Add the relation with the chosen settings to Relations in the flavor (for example,"`
* using Relations = std::tuple<GenericLookupRelation<ExampleXorLookupSettings,
* FF>>;)`
*
*/
class lookup_div_u16_5_lookup_settings {
public:
static constexpr size_t READ_TERMS = 1;
Expand Down Expand Up @@ -67,7 +53,11 @@ class lookup_div_u16_5_lookup_settings {
}
};

template <typename FF_> using lookup_div_u16_5_relation = GenericLookupRelation<lookup_div_u16_5_lookup_settings, FF_>;
template <typename FF_>
class lookup_div_u16_5_relation : public GenericLookupRelation<lookup_div_u16_5_lookup_settings, FF_> {
public:
static constexpr const char* NAME = "lookup_div_u16_5";
};
template <typename FF_> using lookup_div_u16_5 = GenericLookup<lookup_div_u16_5_lookup_settings, FF_>;

} // namespace bb
Loading
Loading