keccakf1600.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include <string_view>
 
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/relation_types.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
 
namespace bb::avm2 {
 
template <typename FF_> class keccakf1600Impl {
  public:
    using FF = FF_;
 
    static constexpr std::array<size_t, 130> SUBRELATION_PARTIAL_LENGTHS = {
        3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 3, 3, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
        2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
        3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
        3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 3, 3, 3, 4, 3, 3
    };
 
    template <typename AllEntities> inline static bool skip(const AllEntities& in)
    {
        using C = ColumnAndShifts;
 
        return (in.get(C::keccakf1600_sel)).is_zero();
    }
 
    template <typename ContainerOverSubrelations, typename AllEntities>
    void static accumulate(ContainerOverSubrelations& evals,
                           const AllEntities& in,
                           [[maybe_unused]] const RelationParameters<FF>&,
                           [[maybe_unused]] const FF& scaling_factor);
};
 
template <typename FF> class keccakf1600 : public Relation<keccakf1600Impl<FF>> {
  public:
    static constexpr const std::string_view NAME = "keccakf1600";
 
    // Subrelation indices constants, to be used in tests.
    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 std::string get_subrelation_label(size_t index)
    {
        switch (index) {
        case SR_SEL_ON_START_OR_END:
            return "SEL_ON_START_OR_END";
        case SR_TRACE_CONTINUITY:
            return "TRACE_CONTINUITY";
        case SR_START_AFTER_LATCH:
            return "START_AFTER_LATCH";
        case SR_SEL_NO_ERROR:
            return "SEL_NO_ERROR";
        case SR_END_ON_ERROR:
            return "END_ON_ERROR";
        case SR_KECCAK_ROUND_INCREMENT:
            return "KECCAK_ROUND_INCREMENT";
        case SR_THETA_XOR_ROW_MSB_0_BOOLEAN:
            return "THETA_XOR_ROW_MSB_0_BOOLEAN";
        case SR_THETA_XOR_ROW_ROTL1_0:
            return "THETA_XOR_ROW_ROTL1_0";
        case SR_THETA_XOR_ROW_MSB_1_BOOLEAN:
            return "THETA_XOR_ROW_MSB_1_BOOLEAN";
        case SR_THETA_XOR_ROW_ROTL1_1:
            return "THETA_XOR_ROW_ROTL1_1";
        case SR_THETA_XOR_ROW_MSB_2_BOOLEAN:
            return "THETA_XOR_ROW_MSB_2_BOOLEAN";
        case SR_THETA_XOR_ROW_ROTL1_2:
            return "THETA_XOR_ROW_ROTL1_2";
        case SR_THETA_XOR_ROW_MSB_3_BOOLEAN:
            return "THETA_XOR_ROW_MSB_3_BOOLEAN";
        case SR_THETA_XOR_ROW_ROTL1_3:
            return "THETA_XOR_ROW_ROTL1_3";
        case SR_THETA_XOR_ROW_MSB_4_BOOLEAN:
            return "THETA_XOR_ROW_MSB_4_BOOLEAN";
        case SR_THETA_XOR_ROW_ROTL1_4:
            return "THETA_XOR_ROW_ROTL1_4";
        case SR_STATE_RHO_01:
            return "STATE_RHO_01";
        case SR_STATE_RHO_02:
            return "STATE_RHO_02";
        case SR_STATE_RHO_03:
            return "STATE_RHO_03";
        case SR_STATE_RHO_04:
            return "STATE_RHO_04";
        case SR_STATE_RHO_10:
            return "STATE_RHO_10";
        case SR_STATE_RHO_11:
            return "STATE_RHO_11";
        case SR_STATE_RHO_12:
            return "STATE_RHO_12";
        case SR_STATE_RHO_13:
            return "STATE_RHO_13";
        case SR_STATE_RHO_14:
            return "STATE_RHO_14";
        case SR_STATE_RHO_20:
            return "STATE_RHO_20";
        case SR_STATE_RHO_21:
            return "STATE_RHO_21";
        case SR_STATE_RHO_22:
            return "STATE_RHO_22";
        case SR_STATE_RHO_23:
            return "STATE_RHO_23";
        case SR_STATE_RHO_24:
            return "STATE_RHO_24";
        case SR_STATE_RHO_30:
            return "STATE_RHO_30";
        case SR_STATE_RHO_31:
            return "STATE_RHO_31";
        case SR_STATE_RHO_32:
            return "STATE_RHO_32";
        case SR_STATE_RHO_33:
            return "STATE_RHO_33";
        case SR_STATE_RHO_34:
            return "STATE_RHO_34";
        case SR_STATE_RHO_40:
            return "STATE_RHO_40";
        case SR_STATE_RHO_41:
            return "STATE_RHO_41";
        case SR_STATE_RHO_42:
            return "STATE_RHO_42";
        case SR_STATE_RHO_43:
            return "STATE_RHO_43";
        case SR_STATE_RHO_44:
            return "STATE_RHO_44";
        case SR_STATE_PI_NOT_00:
            return "STATE_PI_NOT_00";
        case SR_STATE_PI_NOT_01:
            return "STATE_PI_NOT_01";
        case SR_STATE_PI_NOT_02:
            return "STATE_PI_NOT_02";
        case SR_STATE_PI_NOT_03:
            return "STATE_PI_NOT_03";
        case SR_STATE_PI_NOT_04:
            return "STATE_PI_NOT_04";
        case SR_STATE_PI_NOT_10:
            return "STATE_PI_NOT_10";
        case SR_STATE_PI_NOT_11:
            return "STATE_PI_NOT_11";
        case SR_STATE_PI_NOT_12:
            return "STATE_PI_NOT_12";
        case SR_STATE_PI_NOT_13:
            return "STATE_PI_NOT_13";
        case SR_STATE_PI_NOT_14:
            return "STATE_PI_NOT_14";
        case SR_STATE_PI_NOT_20:
            return "STATE_PI_NOT_20";
        case SR_STATE_PI_NOT_21:
            return "STATE_PI_NOT_21";
        case SR_STATE_PI_NOT_22:
            return "STATE_PI_NOT_22";
        case SR_STATE_PI_NOT_23:
            return "STATE_PI_NOT_23";
        case SR_STATE_PI_NOT_24:
            return "STATE_PI_NOT_24";
        case SR_STATE_PI_NOT_30:
            return "STATE_PI_NOT_30";
        case SR_STATE_PI_NOT_31:
            return "STATE_PI_NOT_31";
        case SR_STATE_PI_NOT_32:
            return "STATE_PI_NOT_32";
        case SR_STATE_PI_NOT_33:
            return "STATE_PI_NOT_33";
        case SR_STATE_PI_NOT_34:
            return "STATE_PI_NOT_34";
        case SR_STATE_PI_NOT_40:
            return "STATE_PI_NOT_40";
        case SR_STATE_PI_NOT_41:
            return "STATE_PI_NOT_41";
        case SR_STATE_PI_NOT_42:
            return "STATE_PI_NOT_42";
        case SR_STATE_PI_NOT_43:
            return "STATE_PI_NOT_43";
        case SR_STATE_PI_NOT_44:
            return "STATE_PI_NOT_44";
        case SR_NEXT_STATE_IN_00:
            return "NEXT_STATE_IN_00";
        case SR_NEXT_STATE_IN_01:
            return "NEXT_STATE_IN_01";
        case SR_NEXT_STATE_IN_02:
            return "NEXT_STATE_IN_02";
        case SR_NEXT_STATE_IN_03:
            return "NEXT_STATE_IN_03";
        case SR_NEXT_STATE_IN_04:
            return "NEXT_STATE_IN_04";
        case SR_NEXT_STATE_IN_10:
            return "NEXT_STATE_IN_10";
        case SR_NEXT_STATE_IN_11:
            return "NEXT_STATE_IN_11";
        case SR_NEXT_STATE_IN_12:
            return "NEXT_STATE_IN_12";
        case SR_NEXT_STATE_IN_13:
            return "NEXT_STATE_IN_13";
        case SR_NEXT_STATE_IN_14:
            return "NEXT_STATE_IN_14";
        case SR_NEXT_STATE_IN_20:
            return "NEXT_STATE_IN_20";
        case SR_NEXT_STATE_IN_21:
            return "NEXT_STATE_IN_21";
        case SR_NEXT_STATE_IN_22:
            return "NEXT_STATE_IN_22";
        case SR_NEXT_STATE_IN_23:
            return "NEXT_STATE_IN_23";
        case SR_NEXT_STATE_IN_24:
            return "NEXT_STATE_IN_24";
        case SR_NEXT_STATE_IN_30:
            return "NEXT_STATE_IN_30";
        case SR_NEXT_STATE_IN_31:
            return "NEXT_STATE_IN_31";
        case SR_NEXT_STATE_IN_32:
            return "NEXT_STATE_IN_32";
        case SR_NEXT_STATE_IN_33:
            return "NEXT_STATE_IN_33";
        case SR_NEXT_STATE_IN_34:
            return "NEXT_STATE_IN_34";
        case SR_NEXT_STATE_IN_40:
            return "NEXT_STATE_IN_40";
        case SR_NEXT_STATE_IN_41:
            return "NEXT_STATE_IN_41";
        case SR_NEXT_STATE_IN_42:
            return "NEXT_STATE_IN_42";
        case SR_NEXT_STATE_IN_43:
            return "NEXT_STATE_IN_43";
        case SR_NEXT_STATE_IN_44:
            return "NEXT_STATE_IN_44";
        case SR_ERROR:
            return "ERROR";
        case SR_DST_ADDR_PROPAGATION:
            return "DST_ADDR_PROPAGATION";
        case SR_CLK_PROPAGATION:
            return "CLK_PROPAGATION";
        case SR_SPACE_ID_PROPAGATION:
            return "SPACE_ID_PROPAGATION";
        case SR_SEL_NO_ERROR_PROPAGATION:
            return "SEL_NO_ERROR_PROPAGATION";
        case SR_SEL_SLICE_READ:
            return "SEL_SLICE_READ";
        case SR_SEL_SLICE_WRITE:
            return "SEL_SLICE_WRITE";
        case SR_ROUND_COUNT_AT_WRITE:
            return "ROUND_COUNT_AT_WRITE";
        }
        return std::to_string(index);
    }
};
 
} // namespace bb::avm2