keccakf1600_impl.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include "barretenberg/vm2/constraining/relations/relation_macros.hpp"
#include "barretenberg/vm2/generated/relations/keccakf1600.hpp"
 
namespace bb::avm2 {
 
template <typename FF_>
template <typename ContainerOverSubrelations, typename AllEntities>
void keccakf1600Impl<FF_>::accumulate(ContainerOverSubrelations& evals,
                                      const AllEntities& in,
                                      [[maybe_unused]] const RelationParameters<FF_>&,
                                      [[maybe_unused]] const FF_& scaling_factor)
{
    using C = ColumnAndShifts;
 
    const auto constants_MEM_TAG_U64 = FF(5);
    const auto constants_AVM_HIGHEST_MEM_ADDRESS = FF(4294967295UL);
    const auto constants_AVM_BITWISE_AND_OP_ID = FF(1);
    const auto constants_AVM_BITWISE_XOR_OP_ID = FF(4);
    const auto constants_AVM_KECCAKF1600_NUM_ROUNDS = FF(24);
    const auto constants_AVM_KECCAKF1600_STATE_SIZE = FF(25);
    const auto keccakf1600_LATCH_CONDITION = in.get(C::keccakf1600_end) + in.get(C::precomputed_first_row);
    const auto keccakf1600_ROT_LEN_01 = FF(36);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_01 = FF(268435456);
    const auto keccakf1600_ROT_LEN_02 = FF(3);
    const auto keccakf1600_POW_ROT_LEN_02 = FF(8);
    const auto keccakf1600_ROT_LEN_03 = FF(41);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_03 = FF(8388608);
    const auto keccakf1600_ROT_LEN_04 = FF(18);
    const auto keccakf1600_POW_ROT_LEN_04 = FF(262144);
    const auto keccakf1600_ROT_LEN_10 = FF(1);
    const auto keccakf1600_POW_ROT_LEN_10 = FF(2);
    const auto keccakf1600_ROT_LEN_11 = FF(44);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_11 = FF(1048576);
    const auto keccakf1600_ROT_LEN_12 = FF(10);
    const auto keccakf1600_POW_ROT_LEN_12 = FF(1024);
    const auto keccakf1600_ROT_LEN_13 = FF(45);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_13 = FF(524288);
    const auto keccakf1600_ROT_LEN_14 = FF(2);
    const auto keccakf1600_POW_ROT_LEN_14 = FF(4);
    const auto keccakf1600_ROT_LEN_20 = FF(62);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_20 = FF(4);
    const auto keccakf1600_ROT_LEN_21 = FF(6);
    const auto keccakf1600_POW_ROT_LEN_21 = FF(64);
    const auto keccakf1600_ROT_LEN_22 = FF(43);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_22 = FF(2097152);
    const auto keccakf1600_ROT_LEN_23 = FF(15);
    const auto keccakf1600_POW_ROT_LEN_23 = FF(32768);
    const auto keccakf1600_ROT_LEN_24 = FF(61);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_24 = FF(8);
    const auto keccakf1600_ROT_LEN_30 = FF(28);
    const auto keccakf1600_POW_ROT_LEN_30 = FF(268435456);
    const auto keccakf1600_ROT_LEN_31 = FF(55);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_31 = FF(512);
    const auto keccakf1600_ROT_LEN_32 = FF(25);
    const auto keccakf1600_POW_ROT_LEN_32 = FF(33554432);
    const auto keccakf1600_ROT_LEN_33 = FF(21);
    const auto keccakf1600_POW_ROT_LEN_33 = FF(2097152);
    const auto keccakf1600_ROT_LEN_34 = FF(56);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_34 = FF(256);
    const auto keccakf1600_ROT_LEN_40 = FF(27);
    const auto keccakf1600_POW_ROT_LEN_40 = FF(134217728);
    const auto keccakf1600_ROT_LEN_41 = FF(20);
    const auto keccakf1600_POW_ROT_LEN_41 = FF(1048576);
    const auto keccakf1600_ROT_LEN_42 = FF(39);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_42 = FF(33554432);
    const auto keccakf1600_ROT_LEN_43 = FF(8);
    const auto keccakf1600_POW_ROT_LEN_43 = FF(256);
    const auto keccakf1600_ROT_LEN_44 = FF(14);
    const auto keccakf1600_POW_ROT_LEN_44 = FF(16384);
    const auto keccakf1600_STATE_RHO_00 = in.get(C::keccakf1600_state_theta_00);
    const auto keccakf1600_STATE_PI_00 = keccakf1600_STATE_RHO_00;
    const auto keccakf1600_STATE_PI_01 = in.get(C::keccakf1600_state_rho_30);
    const auto keccakf1600_STATE_PI_02 = in.get(C::keccakf1600_state_rho_10);
    const auto keccakf1600_STATE_PI_03 = in.get(C::keccakf1600_state_rho_40);
    const auto keccakf1600_STATE_PI_04 = in.get(C::keccakf1600_state_rho_20);
    const auto keccakf1600_STATE_PI_10 = in.get(C::keccakf1600_state_rho_11);
    const auto keccakf1600_STATE_PI_11 = in.get(C::keccakf1600_state_rho_41);
    const auto keccakf1600_STATE_PI_12 = in.get(C::keccakf1600_state_rho_21);
    const auto keccakf1600_STATE_PI_13 = in.get(C::keccakf1600_state_rho_01);
    const auto keccakf1600_STATE_PI_14 = in.get(C::keccakf1600_state_rho_31);
    const auto keccakf1600_STATE_PI_20 = in.get(C::keccakf1600_state_rho_22);
    const auto keccakf1600_STATE_PI_21 = in.get(C::keccakf1600_state_rho_02);
    const auto keccakf1600_STATE_PI_22 = in.get(C::keccakf1600_state_rho_32);
    const auto keccakf1600_STATE_PI_23 = in.get(C::keccakf1600_state_rho_12);
    const auto keccakf1600_STATE_PI_24 = in.get(C::keccakf1600_state_rho_42);
    const auto keccakf1600_STATE_PI_30 = in.get(C::keccakf1600_state_rho_33);
    const auto keccakf1600_STATE_PI_31 = in.get(C::keccakf1600_state_rho_13);
    const auto keccakf1600_STATE_PI_32 = in.get(C::keccakf1600_state_rho_43);
    const auto keccakf1600_STATE_PI_33 = in.get(C::keccakf1600_state_rho_23);
    const auto keccakf1600_STATE_PI_34 = in.get(C::keccakf1600_state_rho_03);
    const auto keccakf1600_STATE_PI_40 = in.get(C::keccakf1600_state_rho_44);
    const auto keccakf1600_STATE_PI_41 = in.get(C::keccakf1600_state_rho_24);
    const auto keccakf1600_STATE_PI_42 = in.get(C::keccakf1600_state_rho_04);
    const auto keccakf1600_STATE_PI_43 = in.get(C::keccakf1600_state_rho_34);
    const auto keccakf1600_STATE_PI_44 = in.get(C::keccakf1600_state_rho_14);
    const auto keccakf1600_POW_64_MIN_1 = FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL });
    const auto keccakf1600_HIGHEST_SLICE_ADDRESS =
        (constants_AVM_HIGHEST_MEM_ADDRESS - constants_AVM_KECCAKF1600_STATE_SIZE) + FF(1);
 
    {
        using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) * (FF(1) - static_cast<View>(in.get(C::keccakf1600_sel)));
        std::get<0>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_start)) * (FF(1) - static_cast<View>(in.get(C::keccakf1600_start)));
        std::get<1>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_end)) * (FF(1) - static_cast<View>(in.get(C::keccakf1600_end)));
        std::get<2>(evals) += (tmp * scaling_factor);
    }
    { // SEL_ON_START_OR_END
        using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_start)) + static_cast<View>(in.get(C::keccakf1600_end))) *
                   (FF(1) - static_cast<View>(in.get(C::keccakf1600_sel)));
        std::get<3>(evals) += (tmp * scaling_factor);
    }
    { // TRACE_CONTINUITY
        using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) * (static_cast<View>(in.get(C::keccakf1600_sel)) -
                                                                   static_cast<View>(in.get(C::keccakf1600_sel_shift)));
        std::get<4>(evals) += (tmp * scaling_factor);
    }
    { // START_AFTER_LATCH
        using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel_shift)) *
                   (static_cast<View>(in.get(C::keccakf1600_start_shift)) - CView(keccakf1600_LATCH_CONDITION));
        std::get<5>(evals) += (tmp * scaling_factor);
    }
    { // SEL_NO_ERROR
        using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   ((static_cast<View>(in.get(C::keccakf1600_sel_no_error)) - FF(1)) +
                    static_cast<View>(in.get(C::keccakf1600_error)));
        std::get<6>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_start)) * (static_cast<View>(in.get(C::keccakf1600_round)) - FF(1));
        std::get<7>(evals) += (tmp * scaling_factor);
    }
    { // END_ON_ERROR
        using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_error)) * (static_cast<View>(in.get(C::keccakf1600_end)) - FF(1));
        std::get<8>(evals) += (tmp * scaling_factor);
    }
    { // KECCAK_ROUND_INCREMENT
        using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) * (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
            ((static_cast<View>(in.get(C::keccakf1600_round_shift)) - static_cast<View>(in.get(C::keccakf1600_round))) -
             FF(1));
        std::get<9>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_bitwise_xor_op_id)) - CView(constants_AVM_BITWISE_XOR_OP_ID));
        std::get<10>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_bitwise_and_op_id)) - CView(constants_AVM_BITWISE_AND_OP_ID));
        std::get<11>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_tag_u64)) - CView(constants_MEM_TAG_U64));
        std::get<12>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_MSB_0_BOOLEAN
        using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_0)) *
                   (FF(1) - static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_0)));
        std::get<13>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_ROTL1_0
        using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_theta_xor_row_rotl1_0)) -
                    (FF(2) * static_cast<View>(in.get(C::keccakf1600_theta_xor_row_0)) -
                     static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_0)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<14>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_MSB_1_BOOLEAN
        using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_1)) *
                   (FF(1) - static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_1)));
        std::get<15>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_ROTL1_1
        using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_theta_xor_row_rotl1_1)) -
                    (FF(2) * static_cast<View>(in.get(C::keccakf1600_theta_xor_row_1)) -
                     static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_1)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<16>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_MSB_2_BOOLEAN
        using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_2)) *
                   (FF(1) - static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_2)));
        std::get<17>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_ROTL1_2
        using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_theta_xor_row_rotl1_2)) -
                    (FF(2) * static_cast<View>(in.get(C::keccakf1600_theta_xor_row_2)) -
                     static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_2)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<18>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_MSB_3_BOOLEAN
        using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_3)) *
                   (FF(1) - static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_3)));
        std::get<19>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_ROTL1_3
        using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_theta_xor_row_rotl1_3)) -
                    (FF(2) * static_cast<View>(in.get(C::keccakf1600_theta_xor_row_3)) -
                     static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_3)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<20>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_MSB_4_BOOLEAN
        using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_4)) *
                   (FF(1) - static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_4)));
        std::get<21>(evals) += (tmp * scaling_factor);
    }
    { // THETA_XOR_ROW_ROTL1_4
        using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_theta_xor_row_rotl1_4)) -
                    (FF(2) * static_cast<View>(in.get(C::keccakf1600_theta_xor_row_4)) -
                     static_cast<View>(in.get(C::keccakf1600_theta_xor_row_msb_4)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<22>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_01
        using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_01)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_01) * static_cast<View>(in.get(C::keccakf1600_state_rho_01)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_01)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<23>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_02
        using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_02)) -
                    (CView(keccakf1600_POW_ROT_LEN_02) * static_cast<View>(in.get(C::keccakf1600_state_theta_02)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_02)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<24>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_03
        using View = typename std::tuple_element_t<25, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_03)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_03) * static_cast<View>(in.get(C::keccakf1600_state_rho_03)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_03)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<25>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_04
        using View = typename std::tuple_element_t<26, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_04)) -
                    (CView(keccakf1600_POW_ROT_LEN_04) * static_cast<View>(in.get(C::keccakf1600_state_theta_04)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_04)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<26>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_10
        using View = typename std::tuple_element_t<27, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_10)) -
                    (CView(keccakf1600_POW_ROT_LEN_10) * static_cast<View>(in.get(C::keccakf1600_state_theta_10)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_10)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<27>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_11
        using View = typename std::tuple_element_t<28, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_11)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_11) * static_cast<View>(in.get(C::keccakf1600_state_rho_11)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_11)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<28>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_12
        using View = typename std::tuple_element_t<29, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_12)) -
                    (CView(keccakf1600_POW_ROT_LEN_12) * static_cast<View>(in.get(C::keccakf1600_state_theta_12)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_12)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<29>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_13
        using View = typename std::tuple_element_t<30, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_13)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_13) * static_cast<View>(in.get(C::keccakf1600_state_rho_13)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_13)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<30>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_14
        using View = typename std::tuple_element_t<31, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_14)) -
                    (CView(keccakf1600_POW_ROT_LEN_14) * static_cast<View>(in.get(C::keccakf1600_state_theta_14)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_14)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<31>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_20
        using View = typename std::tuple_element_t<32, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_20)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_20) * static_cast<View>(in.get(C::keccakf1600_state_rho_20)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_20)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<32>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_21
        using View = typename std::tuple_element_t<33, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_21)) -
                    (CView(keccakf1600_POW_ROT_LEN_21) * static_cast<View>(in.get(C::keccakf1600_state_theta_21)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_21)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<33>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_22
        using View = typename std::tuple_element_t<34, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_22)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_22) * static_cast<View>(in.get(C::keccakf1600_state_rho_22)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_22)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<34>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_23
        using View = typename std::tuple_element_t<35, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_23)) -
                    (CView(keccakf1600_POW_ROT_LEN_23) * static_cast<View>(in.get(C::keccakf1600_state_theta_23)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_23)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<35>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_24
        using View = typename std::tuple_element_t<36, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_24)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_24) * static_cast<View>(in.get(C::keccakf1600_state_rho_24)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_24)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<36>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_30
        using View = typename std::tuple_element_t<37, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_30)) -
                    (CView(keccakf1600_POW_ROT_LEN_30) * static_cast<View>(in.get(C::keccakf1600_state_theta_30)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_30)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<37>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_31
        using View = typename std::tuple_element_t<38, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_31)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_31) * static_cast<View>(in.get(C::keccakf1600_state_rho_31)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_31)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<38>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_32
        using View = typename std::tuple_element_t<39, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_32)) -
                    (CView(keccakf1600_POW_ROT_LEN_32) * static_cast<View>(in.get(C::keccakf1600_state_theta_32)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_32)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<39>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_33
        using View = typename std::tuple_element_t<40, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_33)) -
                    (CView(keccakf1600_POW_ROT_LEN_33) * static_cast<View>(in.get(C::keccakf1600_state_theta_33)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_33)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<40>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_34
        using View = typename std::tuple_element_t<41, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_34)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_34) * static_cast<View>(in.get(C::keccakf1600_state_rho_34)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_34)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<41>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_40
        using View = typename std::tuple_element_t<42, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_40)) -
                    (CView(keccakf1600_POW_ROT_LEN_40) * static_cast<View>(in.get(C::keccakf1600_state_theta_40)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_40)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<42>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_41
        using View = typename std::tuple_element_t<43, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_41)) -
                    (CView(keccakf1600_POW_ROT_LEN_41) * static_cast<View>(in.get(C::keccakf1600_state_theta_41)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_41)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<43>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_42
        using View = typename std::tuple_element_t<44, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_theta_42)) -
                    (CView(keccakf1600_POW_ROT_64_MIN_LEN_42) * static_cast<View>(in.get(C::keccakf1600_state_rho_42)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_low_42)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<44>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_43
        using View = typename std::tuple_element_t<45, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_43)) -
                    (CView(keccakf1600_POW_ROT_LEN_43) * static_cast<View>(in.get(C::keccakf1600_state_theta_43)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_43)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<45>(evals) += (tmp * scaling_factor);
    }
    { // STATE_RHO_44
        using View = typename std::tuple_element_t<46, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_rho_44)) -
                    (CView(keccakf1600_POW_ROT_LEN_44) * static_cast<View>(in.get(C::keccakf1600_state_theta_44)) -
                     static_cast<View>(in.get(C::keccakf1600_state_theta_hi_44)) *
                         FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL })));
        std::get<46>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<47, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_02)) - CView(keccakf1600_ROT_LEN_02));
        std::get<47>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<48, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_04)) - CView(keccakf1600_ROT_LEN_04));
        std::get<48>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<49, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_10)) - CView(keccakf1600_ROT_LEN_10));
        std::get<49>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<50, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_12)) - CView(keccakf1600_ROT_LEN_12));
        std::get<50>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<51, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_14)) - CView(keccakf1600_ROT_LEN_14));
        std::get<51>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<52, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_21)) - CView(keccakf1600_ROT_LEN_21));
        std::get<52>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<53, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_23)) - CView(keccakf1600_ROT_LEN_23));
        std::get<53>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<54, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_30)) - CView(keccakf1600_ROT_LEN_30));
        std::get<54>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<55, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_32)) - CView(keccakf1600_ROT_LEN_32));
        std::get<55>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<56, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_33)) - CView(keccakf1600_ROT_LEN_33));
        std::get<56>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<57, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_40)) - CView(keccakf1600_ROT_LEN_40));
        std::get<57>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<58, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_41)) - CView(keccakf1600_ROT_LEN_41));
        std::get<58>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<59, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_43)) - CView(keccakf1600_ROT_LEN_43));
        std::get<59>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<60, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel)) *
                   (static_cast<View>(in.get(C::keccakf1600_rot_len_44)) - CView(keccakf1600_ROT_LEN_44));
        std::get<60>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<61, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_01)) - (FF(64) - CView(keccakf1600_ROT_LEN_01)));
        std::get<61>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<62, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_03)) - (FF(64) - CView(keccakf1600_ROT_LEN_03)));
        std::get<62>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<63, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_11)) - (FF(64) - CView(keccakf1600_ROT_LEN_11)));
        std::get<63>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<64, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_13)) - (FF(64) - CView(keccakf1600_ROT_LEN_13)));
        std::get<64>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<65, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_20)) - (FF(64) - CView(keccakf1600_ROT_LEN_20)));
        std::get<65>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<66, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_22)) - (FF(64) - CView(keccakf1600_ROT_LEN_22)));
        std::get<66>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<67, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_24)) - (FF(64) - CView(keccakf1600_ROT_LEN_24)));
        std::get<67>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<68, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_31)) - (FF(64) - CView(keccakf1600_ROT_LEN_31)));
        std::get<68>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<69, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_34)) - (FF(64) - CView(keccakf1600_ROT_LEN_34)));
        std::get<69>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<70, ContainerOverSubrelations>::View;
        auto tmp =
            static_cast<View>(in.get(C::keccakf1600_sel)) *
            (static_cast<View>(in.get(C::keccakf1600_rot_64_min_len_42)) - (FF(64) - CView(keccakf1600_ROT_LEN_42)));
        std::get<70>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_00
        using View = typename std::tuple_element_t<71, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_00)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_00)));
        std::get<71>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_01
        using View = typename std::tuple_element_t<72, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_01)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_01)));
        std::get<72>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_02
        using View = typename std::tuple_element_t<73, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_02)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_02)));
        std::get<73>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_03
        using View = typename std::tuple_element_t<74, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_03)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_03)));
        std::get<74>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_04
        using View = typename std::tuple_element_t<75, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_04)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_04)));
        std::get<75>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_10
        using View = typename std::tuple_element_t<76, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_10)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_10)));
        std::get<76>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_11
        using View = typename std::tuple_element_t<77, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_11)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_11)));
        std::get<77>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_12
        using View = typename std::tuple_element_t<78, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_12)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_12)));
        std::get<78>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_13
        using View = typename std::tuple_element_t<79, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_13)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_13)));
        std::get<79>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_14
        using View = typename std::tuple_element_t<80, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_14)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_14)));
        std::get<80>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_20
        using View = typename std::tuple_element_t<81, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_20)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_20)));
        std::get<81>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_21
        using View = typename std::tuple_element_t<82, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_21)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_21)));
        std::get<82>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_22
        using View = typename std::tuple_element_t<83, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_22)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_22)));
        std::get<83>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_23
        using View = typename std::tuple_element_t<84, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_23)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_23)));
        std::get<84>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_24
        using View = typename std::tuple_element_t<85, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_24)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_24)));
        std::get<85>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_30
        using View = typename std::tuple_element_t<86, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_30)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_30)));
        std::get<86>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_31
        using View = typename std::tuple_element_t<87, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_31)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_31)));
        std::get<87>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_32
        using View = typename std::tuple_element_t<88, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_32)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_32)));
        std::get<88>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_33
        using View = typename std::tuple_element_t<89, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_33)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_33)));
        std::get<89>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_34
        using View = typename std::tuple_element_t<90, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_34)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_34)));
        std::get<90>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_40
        using View = typename std::tuple_element_t<91, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_40)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_40)));
        std::get<91>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_41
        using View = typename std::tuple_element_t<92, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_41)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_41)));
        std::get<92>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_42
        using View = typename std::tuple_element_t<93, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_42)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_42)));
        std::get<93>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_43
        using View = typename std::tuple_element_t<94, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_43)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_43)));
        std::get<94>(evals) += (tmp * scaling_factor);
    }
    { // STATE_PI_NOT_44
        using View = typename std::tuple_element_t<95, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_state_pi_not_44)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)) *
                        (CView(keccakf1600_POW_64_MIN_1) - CView(keccakf1600_STATE_PI_44)));
        std::get<95>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_00
        using View = typename std::tuple_element_t<96, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_00_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_iota_00)));
        std::get<96>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_01
        using View = typename std::tuple_element_t<97, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_01_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_01)));
        std::get<97>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_02
        using View = typename std::tuple_element_t<98, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_02_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_02)));
        std::get<98>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_03
        using View = typename std::tuple_element_t<99, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_03_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_03)));
        std::get<99>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_04
        using View = typename std::tuple_element_t<100, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_04_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_04)));
        std::get<100>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_10
        using View = typename std::tuple_element_t<101, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_10_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_10)));
        std::get<101>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_11
        using View = typename std::tuple_element_t<102, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_11_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_11)));
        std::get<102>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_12
        using View = typename std::tuple_element_t<103, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_12_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_12)));
        std::get<103>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_13
        using View = typename std::tuple_element_t<104, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_13_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_13)));
        std::get<104>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_14
        using View = typename std::tuple_element_t<105, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_14_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_14)));
        std::get<105>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_20
        using View = typename std::tuple_element_t<106, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_20_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_20)));
        std::get<106>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_21
        using View = typename std::tuple_element_t<107, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_21_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_21)));
        std::get<107>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_22
        using View = typename std::tuple_element_t<108, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_22_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_22)));
        std::get<108>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_23
        using View = typename std::tuple_element_t<109, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_23_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_23)));
        std::get<109>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_24
        using View = typename std::tuple_element_t<110, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_24_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_24)));
        std::get<110>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_30
        using View = typename std::tuple_element_t<111, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_30_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_30)));
        std::get<111>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_31
        using View = typename std::tuple_element_t<112, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_31_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_31)));
        std::get<112>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_32
        using View = typename std::tuple_element_t<113, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_32_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_32)));
        std::get<113>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_33
        using View = typename std::tuple_element_t<114, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_33_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_33)));
        std::get<114>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_34
        using View = typename std::tuple_element_t<115, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_34_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_34)));
        std::get<115>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_40
        using View = typename std::tuple_element_t<116, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_40_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_40)));
        std::get<116>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_41
        using View = typename std::tuple_element_t<117, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_41_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_41)));
        std::get<117>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_42
        using View = typename std::tuple_element_t<118, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_42_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_42)));
        std::get<118>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_43
        using View = typename std::tuple_element_t<119, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_43_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_43)));
        std::get<119>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_STATE_IN_44
        using View = typename std::tuple_element_t<120, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_state_in_44_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_state_chi_44)));
        std::get<120>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<121, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_start)) *
                   (static_cast<View>(in.get(C::keccakf1600_highest_slice_address)) -
                    CView(keccakf1600_HIGHEST_SLICE_ADDRESS));
        std::get<121>(evals) += (tmp * scaling_factor);
    }
    { // ERROR
        using View = typename std::tuple_element_t<122, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_error)) -
                    (FF(1) - (FF(1) - static_cast<View>(in.get(C::keccakf1600_src_out_of_range_error))) *
                                 (FF(1) - static_cast<View>(in.get(C::keccakf1600_dst_out_of_range_error))) *
                                 (FF(1) - static_cast<View>(in.get(C::keccakf1600_tag_error)))));
        std::get<122>(evals) += (tmp * scaling_factor);
    }
    { // DST_ADDR_PROPAGATION
        using View = typename std::tuple_element_t<123, ContainerOverSubrelations>::View;
        auto tmp =
            (FF(1) - CView(keccakf1600_LATCH_CONDITION)) * (static_cast<View>(in.get(C::keccakf1600_dst_addr_shift)) -
                                                            static_cast<View>(in.get(C::keccakf1600_dst_addr)));
        std::get<123>(evals) += (tmp * scaling_factor);
    }
    { // CLK_PROPAGATION
        using View = typename std::tuple_element_t<124, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) * (static_cast<View>(in.get(C::keccakf1600_clk_shift)) -
                                                                   static_cast<View>(in.get(C::keccakf1600_clk)));
        std::get<124>(evals) += (tmp * scaling_factor);
    }
    { // SPACE_ID_PROPAGATION
        using View = typename std::tuple_element_t<125, ContainerOverSubrelations>::View;
        auto tmp =
            (FF(1) - CView(keccakf1600_LATCH_CONDITION)) * (static_cast<View>(in.get(C::keccakf1600_space_id_shift)) -
                                                            static_cast<View>(in.get(C::keccakf1600_space_id)));
        std::get<125>(evals) += (tmp * scaling_factor);
    }
    { // SEL_NO_ERROR_PROPAGATION
        using View = typename std::tuple_element_t<126, ContainerOverSubrelations>::View;
        auto tmp = (FF(1) - CView(keccakf1600_LATCH_CONDITION)) *
                   (static_cast<View>(in.get(C::keccakf1600_sel_no_error_shift)) -
                    static_cast<View>(in.get(C::keccakf1600_sel_no_error)));
        std::get<126>(evals) += (tmp * scaling_factor);
    }
    { // SEL_SLICE_READ
        using View = typename std::tuple_element_t<127, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::keccakf1600_sel_slice_read)) -
                    static_cast<View>(in.get(C::keccakf1600_start)) *
                        (FF(1) - static_cast<View>(in.get(C::keccakf1600_src_out_of_range_error))) *
                        (FF(1) - static_cast<View>(in.get(C::keccakf1600_dst_out_of_range_error))));
        std::get<127>(evals) += (tmp * scaling_factor);
    }
    { // SEL_SLICE_WRITE
        using View = typename std::tuple_element_t<128, ContainerOverSubrelations>::View;
        auto tmp =
            (static_cast<View>(in.get(C::keccakf1600_sel_slice_write)) -
             static_cast<View>(in.get(C::keccakf1600_sel_no_error)) * static_cast<View>(in.get(C::keccakf1600_end)));
        std::get<128>(evals) += (tmp * scaling_factor);
    }
    { // ROUND_COUNT_AT_WRITE
        using View = typename std::tuple_element_t<129, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::keccakf1600_sel_slice_write)) *
                   (static_cast<View>(in.get(C::keccakf1600_round)) - CView(constants_AVM_KECCAKF1600_NUM_ROUNDS));
        std::get<129>(evals) += (tmp * scaling_factor);
    }
}
 
} // namespace bb::avm2