Loading...
Searching...
No Matches
bb::avm2::keccakf1600< FF > Class Template Reference
#include <keccakf1600.hpp>
Inheritance diagram for bb::avm2::keccakf1600< FF >:
Static Public Member Functions | |
| static std::string | get_subrelation_label (size_t index) |
 Static Public Member Functions inherited from bb::avm2::keccakf1600Impl< FF > | |
| static bool | skip (const AllEntities &in) |
| static void | accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor) |
Static Public Attributes | |
| static constexpr const std::string_view | NAME = "keccakf1600" |
| static constexpr size_t | SR_SEL_ON_START_OR_END = 3 |
| static constexpr size_t | SR_TRACE_CONTINUITY = 4 |
| static constexpr size_t | SR_START_AFTER_LATCH = 5 |
| static constexpr size_t | SR_SEL_NO_ERROR = 6 |
| static constexpr size_t | SR_END_ON_ERROR = 8 |
| static constexpr size_t | SR_KECCAK_ROUND_INCREMENT = 9 |
| static constexpr size_t | SR_THETA_XOR_ROW_MSB_0_BOOLEAN = 13 |
| static constexpr size_t | SR_THETA_XOR_ROW_ROTL1_0 = 14 |
| static constexpr size_t | SR_THETA_XOR_ROW_MSB_1_BOOLEAN = 15 |
| static constexpr size_t | SR_THETA_XOR_ROW_ROTL1_1 = 16 |
| static constexpr size_t | SR_THETA_XOR_ROW_MSB_2_BOOLEAN = 17 |
| static constexpr size_t | SR_THETA_XOR_ROW_ROTL1_2 = 18 |
| static constexpr size_t | SR_THETA_XOR_ROW_MSB_3_BOOLEAN = 19 |
| static constexpr size_t | SR_THETA_XOR_ROW_ROTL1_3 = 20 |
| static constexpr size_t | SR_THETA_XOR_ROW_MSB_4_BOOLEAN = 21 |
| static constexpr size_t | SR_THETA_XOR_ROW_ROTL1_4 = 22 |
| static constexpr size_t | SR_STATE_RHO_01 = 23 |
| static constexpr size_t | SR_STATE_RHO_02 = 24 |
| static constexpr size_t | SR_STATE_RHO_03 = 25 |
| static constexpr size_t | SR_STATE_RHO_04 = 26 |
| static constexpr size_t | SR_STATE_RHO_10 = 27 |
| static constexpr size_t | SR_STATE_RHO_11 = 28 |
| static constexpr size_t | SR_STATE_RHO_12 = 29 |
| static constexpr size_t | SR_STATE_RHO_13 = 30 |
| static constexpr size_t | SR_STATE_RHO_14 = 31 |
| static constexpr size_t | SR_STATE_RHO_20 = 32 |
| static constexpr size_t | SR_STATE_RHO_21 = 33 |
| static constexpr size_t | SR_STATE_RHO_22 = 34 |
| static constexpr size_t | SR_STATE_RHO_23 = 35 |
| static constexpr size_t | SR_STATE_RHO_24 = 36 |
| static constexpr size_t | SR_STATE_RHO_30 = 37 |
| static constexpr size_t | SR_STATE_RHO_31 = 38 |
| static constexpr size_t | SR_STATE_RHO_32 = 39 |
| static constexpr size_t | SR_STATE_RHO_33 = 40 |
| static constexpr size_t | SR_STATE_RHO_34 = 41 |
| static constexpr size_t | SR_STATE_RHO_40 = 42 |
| static constexpr size_t | SR_STATE_RHO_41 = 43 |
| static constexpr size_t | SR_STATE_RHO_42 = 44 |
| static constexpr size_t | SR_STATE_RHO_43 = 45 |
| static constexpr size_t | SR_STATE_RHO_44 = 46 |
| static constexpr size_t | SR_STATE_PI_NOT_00 = 71 |
| static constexpr size_t | SR_STATE_PI_NOT_01 = 72 |
| static constexpr size_t | SR_STATE_PI_NOT_02 = 73 |
| static constexpr size_t | SR_STATE_PI_NOT_03 = 74 |
| static constexpr size_t | SR_STATE_PI_NOT_04 = 75 |
| static constexpr size_t | SR_STATE_PI_NOT_10 = 76 |
| static constexpr size_t | SR_STATE_PI_NOT_11 = 77 |
| static constexpr size_t | SR_STATE_PI_NOT_12 = 78 |
| static constexpr size_t | SR_STATE_PI_NOT_13 = 79 |
| static constexpr size_t | SR_STATE_PI_NOT_14 = 80 |
| static constexpr size_t | SR_STATE_PI_NOT_20 = 81 |
| static constexpr size_t | SR_STATE_PI_NOT_21 = 82 |
| static constexpr size_t | SR_STATE_PI_NOT_22 = 83 |
| static constexpr size_t | SR_STATE_PI_NOT_23 = 84 |
| static constexpr size_t | SR_STATE_PI_NOT_24 = 85 |
| static constexpr size_t | SR_STATE_PI_NOT_30 = 86 |
| static constexpr size_t | SR_STATE_PI_NOT_31 = 87 |
| static constexpr size_t | SR_STATE_PI_NOT_32 = 88 |
| static constexpr size_t | SR_STATE_PI_NOT_33 = 89 |
| static constexpr size_t | SR_STATE_PI_NOT_34 = 90 |
| static constexpr size_t | SR_STATE_PI_NOT_40 = 91 |
| static constexpr size_t | SR_STATE_PI_NOT_41 = 92 |
| static constexpr size_t | SR_STATE_PI_NOT_42 = 93 |
| static constexpr size_t | SR_STATE_PI_NOT_43 = 94 |
| static constexpr size_t | SR_STATE_PI_NOT_44 = 95 |
| static constexpr size_t | SR_NEXT_STATE_IN_00 = 96 |
| static constexpr size_t | SR_NEXT_STATE_IN_01 = 97 |
| static constexpr size_t | SR_NEXT_STATE_IN_02 = 98 |
| static constexpr size_t | SR_NEXT_STATE_IN_03 = 99 |
| static constexpr size_t | SR_NEXT_STATE_IN_04 = 100 |
| static constexpr size_t | SR_NEXT_STATE_IN_10 = 101 |
| static constexpr size_t | SR_NEXT_STATE_IN_11 = 102 |
| static constexpr size_t | SR_NEXT_STATE_IN_12 = 103 |
| static constexpr size_t | SR_NEXT_STATE_IN_13 = 104 |
| static constexpr size_t | SR_NEXT_STATE_IN_14 = 105 |
| static constexpr size_t | SR_NEXT_STATE_IN_20 = 106 |
| static constexpr size_t | SR_NEXT_STATE_IN_21 = 107 |
| static constexpr size_t | SR_NEXT_STATE_IN_22 = 108 |
| static constexpr size_t | SR_NEXT_STATE_IN_23 = 109 |
| static constexpr size_t | SR_NEXT_STATE_IN_24 = 110 |
| static constexpr size_t | SR_NEXT_STATE_IN_30 = 111 |
| static constexpr size_t | SR_NEXT_STATE_IN_31 = 112 |
| static constexpr size_t | SR_NEXT_STATE_IN_32 = 113 |
| static constexpr size_t | SR_NEXT_STATE_IN_33 = 114 |
| static constexpr size_t | SR_NEXT_STATE_IN_34 = 115 |
| static constexpr size_t | SR_NEXT_STATE_IN_40 = 116 |
| static constexpr size_t | SR_NEXT_STATE_IN_41 = 117 |
| static constexpr size_t | SR_NEXT_STATE_IN_42 = 118 |
| static constexpr size_t | SR_NEXT_STATE_IN_43 = 119 |
| static constexpr size_t | SR_NEXT_STATE_IN_44 = 120 |
| static constexpr size_t | SR_ERROR = 122 |
| static constexpr size_t | SR_DST_ADDR_PROPAGATION = 123 |
| static constexpr size_t | SR_CLK_PROPAGATION = 124 |
| static constexpr size_t | SR_SPACE_ID_PROPAGATION = 125 |
| static constexpr size_t | SR_SEL_NO_ERROR_PROPAGATION = 126 |
| static constexpr size_t | SR_SEL_SLICE_READ = 127 |
| static constexpr size_t | SR_SEL_SLICE_WRITE = 128 |
| static constexpr size_t | SR_ROUND_COUNT_AT_WRITE = 129 |
| Static Public Attributes inherited from bb::Relation< keccakf1600Impl< FF > > | |
| static constexpr size_t | RELATION_LENGTH |
| Static Public Attributes inherited from bb::avm2::keccakf1600Impl< FF > | |
| static constexpr std::array< size_t, 130 > | SUBRELATION_PARTIAL_LENGTHS |
Additional Inherited Members | |
| Public Types inherited from bb::Relation< keccakf1600Impl< FF > > | |
| using | FF = typename RelationImpl::FF |
| using | SumcheckTupleOfUnivariatesOverSubrelations = TupleOfUnivariates< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS > |
| using | SumcheckArrayOfValuesOverSubrelations = ArrayOfValues< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS > |
| using | UnivariateAccumulator0 = std::tuple_element_t< 0, SumcheckTupleOfUnivariatesOverSubrelations > |
| using | ValueAccumulator0 = std::tuple_element_t< 0, SumcheckArrayOfValuesOverSubrelations > |
| Public Types inherited from bb::avm2::keccakf1600Impl< FF > | |
| using | FF = FF |
Detailed Description
template<typename FF>
class bb::avm2::keccakf1600< FF >
class bb::avm2::keccakf1600< FF >
Definition at line 38 of file keccakf1600.hpp.
Member Function Documentation
◆ get_subrelation_label()
template<typename FF >
|
inlinestatic |
Definition at line 142 of file keccakf1600.hpp.
Member Data Documentation
◆ NAME
template<typename FF >
|
staticconstexpr |
Definition at line 40 of file keccakf1600.hpp.
◆ SR_CLK_PROPAGATION
template<typename FF >
|
staticconstexpr |
Definition at line 135 of file keccakf1600.hpp.
◆ SR_DST_ADDR_PROPAGATION
template<typename FF >
|
staticconstexpr |
Definition at line 134 of file keccakf1600.hpp.
◆ SR_END_ON_ERROR
template<typename FF >
|
staticconstexpr |
Definition at line 47 of file keccakf1600.hpp.
◆ SR_ERROR
template<typename FF >
|
staticconstexpr |
Definition at line 133 of file keccakf1600.hpp.
◆ SR_KECCAK_ROUND_INCREMENT
template<typename FF >
|
staticconstexpr |
Definition at line 48 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_00
template<typename FF >
|
staticconstexpr |
Definition at line 108 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_01
template<typename FF >
|
staticconstexpr |
Definition at line 109 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_02
template<typename FF >
|
staticconstexpr |
Definition at line 110 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_03
template<typename FF >
|
staticconstexpr |
Definition at line 111 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_04
template<typename FF >
|
staticconstexpr |
Definition at line 112 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_10
template<typename FF >
|
staticconstexpr |
Definition at line 113 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_11
template<typename FF >
|
staticconstexpr |
Definition at line 114 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_12
template<typename FF >
|
staticconstexpr |
Definition at line 115 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_13
template<typename FF >
|
staticconstexpr |
Definition at line 116 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_14
template<typename FF >
|
staticconstexpr |
Definition at line 117 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_20
template<typename FF >
|
staticconstexpr |
Definition at line 118 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_21
template<typename FF >
|
staticconstexpr |
Definition at line 119 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_22
template<typename FF >
|
staticconstexpr |
Definition at line 120 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_23
template<typename FF >
|
staticconstexpr |
Definition at line 121 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_24
template<typename FF >
|
staticconstexpr |
Definition at line 122 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_30
template<typename FF >
|
staticconstexpr |
Definition at line 123 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_31
template<typename FF >
|
staticconstexpr |
Definition at line 124 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_32
template<typename FF >
|
staticconstexpr |
Definition at line 125 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_33
template<typename FF >
|
staticconstexpr |
Definition at line 126 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_34
template<typename FF >
|
staticconstexpr |
Definition at line 127 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_40
template<typename FF >
|
staticconstexpr |
Definition at line 128 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_41
template<typename FF >
|
staticconstexpr |
Definition at line 129 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_42
template<typename FF >
|
staticconstexpr |
Definition at line 130 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_43
template<typename FF >
|
staticconstexpr |
Definition at line 131 of file keccakf1600.hpp.
◆ SR_NEXT_STATE_IN_44
template<typename FF >
|
staticconstexpr |
Definition at line 132 of file keccakf1600.hpp.
◆ SR_ROUND_COUNT_AT_WRITE
template<typename FF >
|
staticconstexpr |
Definition at line 140 of file keccakf1600.hpp.
◆ SR_SEL_NO_ERROR
template<typename FF >
|
staticconstexpr |
Definition at line 46 of file keccakf1600.hpp.
◆ SR_SEL_NO_ERROR_PROPAGATION
template<typename FF >
|
staticconstexpr |
Definition at line 137 of file keccakf1600.hpp.
◆ SR_SEL_ON_START_OR_END
template<typename FF >
|
staticconstexpr |
Definition at line 43 of file keccakf1600.hpp.
◆ SR_SEL_SLICE_READ
template<typename FF >
|
staticconstexpr |
Definition at line 138 of file keccakf1600.hpp.
◆ SR_SEL_SLICE_WRITE
template<typename FF >
|
staticconstexpr |
Definition at line 139 of file keccakf1600.hpp.
◆ SR_SPACE_ID_PROPAGATION
template<typename FF >
|
staticconstexpr |
Definition at line 136 of file keccakf1600.hpp.
◆ SR_START_AFTER_LATCH
template<typename FF >
|
staticconstexpr |
Definition at line 45 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_00
template<typename FF >
|
staticconstexpr |
Definition at line 83 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_01
template<typename FF >
|
staticconstexpr |
Definition at line 84 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_02
template<typename FF >
|
staticconstexpr |
Definition at line 85 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_03
template<typename FF >
|
staticconstexpr |
Definition at line 86 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_04
template<typename FF >
|
staticconstexpr |
Definition at line 87 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_10
template<typename FF >
|
staticconstexpr |
Definition at line 88 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_11
template<typename FF >
|
staticconstexpr |
Definition at line 89 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_12
template<typename FF >
|
staticconstexpr |
Definition at line 90 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_13
template<typename FF >
|
staticconstexpr |
Definition at line 91 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_14
template<typename FF >
|
staticconstexpr |
Definition at line 92 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_20
template<typename FF >
|
staticconstexpr |
Definition at line 93 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_21
template<typename FF >
|
staticconstexpr |
Definition at line 94 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_22
template<typename FF >
|
staticconstexpr |
Definition at line 95 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_23
template<typename FF >
|
staticconstexpr |
Definition at line 96 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_24
template<typename FF >
|
staticconstexpr |
Definition at line 97 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_30
template<typename FF >
|
staticconstexpr |
Definition at line 98 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_31
template<typename FF >
|
staticconstexpr |
Definition at line 99 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_32
template<typename FF >
|
staticconstexpr |
Definition at line 100 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_33
template<typename FF >
|
staticconstexpr |
Definition at line 101 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_34
template<typename FF >
|
staticconstexpr |
Definition at line 102 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_40
template<typename FF >
|
staticconstexpr |
Definition at line 103 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_41
template<typename FF >
|
staticconstexpr |
Definition at line 104 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_42
template<typename FF >
|
staticconstexpr |
Definition at line 105 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_43
template<typename FF >
|
staticconstexpr |
Definition at line 106 of file keccakf1600.hpp.
◆ SR_STATE_PI_NOT_44
template<typename FF >
|
staticconstexpr |
Definition at line 107 of file keccakf1600.hpp.
◆ SR_STATE_RHO_01
template<typename FF >
|
staticconstexpr |
Definition at line 59 of file keccakf1600.hpp.
◆ SR_STATE_RHO_02
template<typename FF >
|
staticconstexpr |
Definition at line 60 of file keccakf1600.hpp.
◆ SR_STATE_RHO_03
template<typename FF >
|
staticconstexpr |
Definition at line 61 of file keccakf1600.hpp.
◆ SR_STATE_RHO_04
template<typename FF >
|
staticconstexpr |
Definition at line 62 of file keccakf1600.hpp.
◆ SR_STATE_RHO_10
template<typename FF >
|
staticconstexpr |
Definition at line 63 of file keccakf1600.hpp.
◆ SR_STATE_RHO_11
template<typename FF >
|
staticconstexpr |
Definition at line 64 of file keccakf1600.hpp.
◆ SR_STATE_RHO_12
template<typename FF >
|
staticconstexpr |
Definition at line 65 of file keccakf1600.hpp.
◆ SR_STATE_RHO_13
template<typename FF >
|
staticconstexpr |
Definition at line 66 of file keccakf1600.hpp.
◆ SR_STATE_RHO_14
template<typename FF >
|
staticconstexpr |
Definition at line 67 of file keccakf1600.hpp.
◆ SR_STATE_RHO_20
template<typename FF >
|
staticconstexpr |
Definition at line 68 of file keccakf1600.hpp.
◆ SR_STATE_RHO_21
template<typename FF >
|
staticconstexpr |
Definition at line 69 of file keccakf1600.hpp.
◆ SR_STATE_RHO_22
template<typename FF >
|
staticconstexpr |
Definition at line 70 of file keccakf1600.hpp.
◆ SR_STATE_RHO_23
template<typename FF >
|
staticconstexpr |
Definition at line 71 of file keccakf1600.hpp.
◆ SR_STATE_RHO_24
template<typename FF >
|
staticconstexpr |
Definition at line 72 of file keccakf1600.hpp.
◆ SR_STATE_RHO_30
template<typename FF >
|
staticconstexpr |
Definition at line 73 of file keccakf1600.hpp.
◆ SR_STATE_RHO_31
template<typename FF >
|
staticconstexpr |
Definition at line 74 of file keccakf1600.hpp.
◆ SR_STATE_RHO_32
template<typename FF >
|
staticconstexpr |
Definition at line 75 of file keccakf1600.hpp.
◆ SR_STATE_RHO_33
template<typename FF >
|
staticconstexpr |
Definition at line 76 of file keccakf1600.hpp.
◆ SR_STATE_RHO_34
template<typename FF >
|
staticconstexpr |
Definition at line 77 of file keccakf1600.hpp.
◆ SR_STATE_RHO_40
template<typename FF >
|
staticconstexpr |
Definition at line 78 of file keccakf1600.hpp.
◆ SR_STATE_RHO_41
template<typename FF >
|
staticconstexpr |
Definition at line 79 of file keccakf1600.hpp.
◆ SR_STATE_RHO_42
template<typename FF >
|
staticconstexpr |
Definition at line 80 of file keccakf1600.hpp.
◆ SR_STATE_RHO_43
template<typename FF >
|
staticconstexpr |
Definition at line 81 of file keccakf1600.hpp.
◆ SR_STATE_RHO_44
template<typename FF >
|
staticconstexpr |
Definition at line 82 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_MSB_0_BOOLEAN
template<typename FF >
|
staticconstexpr |
Definition at line 49 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_MSB_1_BOOLEAN
template<typename FF >
|
staticconstexpr |
Definition at line 51 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_MSB_2_BOOLEAN
template<typename FF >
|
staticconstexpr |
Definition at line 53 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_MSB_3_BOOLEAN
template<typename FF >
|
staticconstexpr |
Definition at line 55 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_MSB_4_BOOLEAN
template<typename FF >
|
staticconstexpr |
Definition at line 57 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_ROTL1_0
template<typename FF >
|
staticconstexpr |
Definition at line 50 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_ROTL1_1
template<typename FF >
|
staticconstexpr |
Definition at line 52 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_ROTL1_2
template<typename FF >
|
staticconstexpr |
Definition at line 54 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_ROTL1_3
template<typename FF >
|
staticconstexpr |
Definition at line 56 of file keccakf1600.hpp.
◆ SR_THETA_XOR_ROW_ROTL1_4
template<typename FF >
|
staticconstexpr |
Definition at line 58 of file keccakf1600.hpp.
◆ SR_TRACE_CONTINUITY
template<typename FF >
|
staticconstexpr |
Definition at line 44 of file keccakf1600.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/vm2/generated/relations/keccakf1600.hpp
