#include <lookups_keccakf1600.hpp>
Definition at line 3533 of file lookups_keccakf1600.hpp.
◆ COUNTS
| constexpr Column bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::COUNTS = Column::lookup_keccakf1600_dst_out_of_range_toggle_counts |
|
staticconstexpr |
◆ DST_COLUMNS
Initial value:= { ColumnAndShifts::gt_input_a,
ColumnAndShifts::gt_input_b,
ColumnAndShifts::gt_res }
Definition at line 3546 of file lookups_keccakf1600.hpp.
◆ DST_SELECTOR
| constexpr Column bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::DST_SELECTOR = Column::gt_sel_others |
|
staticconstexpr |
◆ INVERSES
| constexpr Column bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::INVERSES = Column::lookup_keccakf1600_dst_out_of_range_toggle_inv |
|
staticconstexpr |
◆ LOOKUP_TUPLE_SIZE
| constexpr size_t bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::LOOKUP_TUPLE_SIZE = 3 |
|
staticconstexpr |
◆ NAME
| constexpr std::string_view bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::NAME = "LOOKUP_KECCAKF1600_DST_OUT_OF_RANGE_TOGGLE" |
|
staticconstexpr |
◆ RELATION_NAME
| constexpr std::string_view bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::RELATION_NAME = "keccakf1600" |
|
staticconstexpr |
◆ SRC_COLUMNS
Initial value:= {
ColumnAndShifts::keccakf1600_dst_addr,
ColumnAndShifts::keccakf1600_highest_slice_address,
ColumnAndShifts::keccakf1600_dst_out_of_range_error
}
Definition at line 3541 of file lookups_keccakf1600.hpp.
◆ SRC_SELECTOR
| constexpr Column bb::avm2::lookup_keccakf1600_dst_out_of_range_toggle_settings_::SRC_SELECTOR = Column::keccakf1600_start |
|
staticconstexpr |
The documentation for this struct was generated from the following file: