lookups_keccakf1600.hpp File Reference

#include <cstddef>
#include <string_view>
#include <tuple>
#include "../columns.hpp"
#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"

Go to the source code of this file.

Classes
struct	bb::avm2::lookup_keccakf1600_theta_xor_simd_01_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_simd_21_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_41_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_simd_02_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_simd_22_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_42_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_simd_03_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_simd_23_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_43_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_simd_0_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_simd_2_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_4_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_simd_0_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_simd_2_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_4_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_00_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_02_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_04_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_11_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_13_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_20_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_22_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_24_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_31_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_33_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_40_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_simd_42_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_44_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_02_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_04_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_10_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_12_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_14_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_21_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_23_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_30_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_32_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_33_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_40_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_41_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_43_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_44_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_01_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_03_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_11_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_13_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_20_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_22_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_24_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_31_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_34_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_42_range_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_00_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_02_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_04_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_11_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_13_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_20_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_22_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_24_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_31_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_33_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_40_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_simd_42_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_44_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_00_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_02_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_04_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_11_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_13_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_20_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_22_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_24_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_31_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_33_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_40_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_simd_42_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_44_settings_
struct	bb::avm2::lookup_keccakf1600_round_cst_settings_
struct	bb::avm2::lookup_keccakf1600_state_iota_00_settings_
struct	bb::avm2::lookup_keccakf1600_src_out_of_range_toggle_settings_
struct	bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2

Typedefs
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_01_settings = lookup_settings< lookup_keccakf1600_theta_xor_simd_01_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_simd_01_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_21_settings = lookup_settings< lookup_keccakf1600_theta_xor_simd_21_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_simd_21_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_41_settings = lookup_settings< lookup_keccakf1600_theta_xor_41_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_41_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_02_settings = lookup_settings< lookup_keccakf1600_theta_xor_simd_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_simd_02_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_22_settings = lookup_settings< lookup_keccakf1600_theta_xor_simd_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_simd_22_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_42_settings = lookup_settings< lookup_keccakf1600_theta_xor_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_42_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_03_settings = lookup_settings< lookup_keccakf1600_theta_xor_simd_03_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_simd_03_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_23_settings = lookup_settings< lookup_keccakf1600_theta_xor_simd_23_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_simd_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_simd_23_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_43_settings = lookup_settings< lookup_keccakf1600_theta_xor_43_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_43_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_simd_0_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_simd_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_simd_0_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_simd_0_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_simd_2_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_simd_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_simd_2_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_simd_2_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_4_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_4_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_4_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_4_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_simd_0_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_simd_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_simd_0_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_simd_0_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_simd_2_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_simd_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_simd_2_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_simd_2_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_4_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_4_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_4_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_4_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_00_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_00_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_02_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_02_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_04_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_04_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_04_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_11_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_11_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_13_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_13_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_20_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_20_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_20_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_22_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_22_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_24_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_24_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_24_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_31_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_31_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_33_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_33_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_40_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_40_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_40_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_42_settings = lookup_settings< lookup_keccakf1600_state_theta_simd_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_simd_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_simd_42_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_44_settings = lookup_settings< lookup_keccakf1600_state_theta_44_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_44_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_02_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_02_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_02_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_02_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_04_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_04_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_04_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_04_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_10_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_10_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_10_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_10_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_12_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_12_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_12_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_12_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_14_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_14_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_14_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_14_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_21_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_21_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_21_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_21_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_23_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_23_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_23_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_23_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_30_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_30_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_30_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_30_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_32_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_32_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_32_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_32_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_33_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_33_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_33_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_33_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_40_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_40_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_40_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_40_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_41_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_41_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_41_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_41_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_43_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_43_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_43_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_43_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_44_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_44_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_44_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_44_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_01_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_01_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_01_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_01_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_03_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_03_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_03_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_03_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_11_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_11_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_11_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_11_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_13_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_13_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_13_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_13_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_20_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_20_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_20_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_20_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_22_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_22_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_22_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_22_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_24_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_24_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_24_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_24_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_31_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_31_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_31_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_31_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_34_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_34_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_34_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_34_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_42_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_42_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_42_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_42_range_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_00_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_00_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_02_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_02_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_04_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_04_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_04_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_11_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_11_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_13_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_13_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_20_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_20_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_20_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_22_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_22_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_24_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_24_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_24_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_31_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_31_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_33_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_33_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_40_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_40_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_40_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_42_settings = lookup_settings< lookup_keccakf1600_state_pi_and_simd_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_simd_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_simd_42_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_44_settings = lookup_settings< lookup_keccakf1600_state_pi_and_44_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_44_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_00_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_00_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_02_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_02_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_04_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_04_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_04_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_11_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_11_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_13_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_13_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_20_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_20_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_20_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_22_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_22_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_24_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_24_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_24_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_31_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_31_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_33_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_33_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_40_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_40_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_40_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_42_settings = lookup_settings< lookup_keccakf1600_state_chi_simd_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_simd_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_simd_42_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_44_settings = lookup_settings< lookup_keccakf1600_state_chi_44_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_44_settings >
using	bb::avm2::lookup_keccakf1600_round_cst_settings = lookup_settings< lookup_keccakf1600_round_cst_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_round_cst_relation = lookup_relation_base< FF_, lookup_keccakf1600_round_cst_settings >
using	bb::avm2::lookup_keccakf1600_state_iota_00_settings = lookup_settings< lookup_keccakf1600_state_iota_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_iota_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_iota_00_settings >
using	bb::avm2::lookup_keccakf1600_src_out_of_range_toggle_settings = lookup_settings< lookup_keccakf1600_src_out_of_range_toggle_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_src_out_of_range_toggle_relation = lookup_relation_base< FF_, lookup_keccakf1600_src_out_of_range_toggle_settings >
using	bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings = lookup_settings< lookup_keccakf1600_dst_out_of_range_toggle_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_relation = lookup_relation_base< FF_, lookup_keccakf1600_dst_out_of_range_toggle_settings >