keccak_memory_impl.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include "barretenberg/vm2/generated/relations/keccak_memory.hpp"
 
namespace bb::avm2 {
 
template <typename FF_>
template <typename ContainerOverSubrelations, typename AllEntities>
void keccak_memoryImpl<FF_>::accumulate(ContainerOverSubrelations& evals,
                                        const AllEntities& in,
                                        [[maybe_unused]] const RelationParameters<FF_>&,
                                        [[maybe_unused]] const FF_& scaling_factor)
{
    using C = ColumnAndShifts;
 
    PROFILE_THIS_NAME("accumulate/keccak_memory");
 
    const auto constants_MEM_TAG_U64 = FF(5);
    const auto constants_AVM_KECCAKF1600_NUM_ROUNDS = FF(24);
    const auto constants_AVM_KECCAKF1600_STATE_SIZE = FF(25);
    const auto keccak_memory_TAG_MIN_U64 = (in.get(C::keccak_memory_tag) - constants_MEM_TAG_U64);
 
    {
        using Accumulator = typename std::tuple_element_t<0, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_sel) * (FF(1) - in.get(C::keccak_memory_sel));
        tmp *= scaling_factor;
        std::get<0>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<1, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_start_read) * (FF(1) - in.get(C::keccak_memory_start_read));
        tmp *= scaling_factor;
        std::get<1>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<2, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_start_write) * (FF(1) - in.get(C::keccak_memory_start_write));
        tmp *= scaling_factor;
        std::get<2>(evals) += typename Accumulator::View(tmp);
    }
    { // CTR_INIT
        using Accumulator = typename std::tuple_element_t<3, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_start_read) + in.get(C::keccak_memory_start_write)) *
                   (in.get(C::keccak_memory_ctr) - FF(1));
        tmp *= scaling_factor;
        std::get<3>(evals) += typename Accumulator::View(tmp);
    }
    { // RW_READ_INIT
        using Accumulator = typename std::tuple_element_t<4, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_start_read) * in.get(C::keccak_memory_rw);
        tmp *= scaling_factor;
        std::get<4>(evals) += typename Accumulator::View(tmp);
    }
    { // RW_WRITE_INIT
        using Accumulator = typename std::tuple_element_t<5, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_start_write) * (FF(1) - in.get(C::keccak_memory_rw));
        tmp *= scaling_factor;
        std::get<5>(evals) += typename Accumulator::View(tmp);
    }
    { // SEL_CTR_NON_ZERO
        using Accumulator = typename std::tuple_element_t<6, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_ctr) *
                        ((FF(1) - in.get(C::keccak_memory_sel)) * (FF(1) - in.get(C::keccak_memory_ctr_inv)) +
                         in.get(C::keccak_memory_ctr_inv)) -
                    in.get(C::keccak_memory_sel));
        tmp *= scaling_factor;
        std::get<6>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<7, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_ctr_end) * (FF(1) - in.get(C::keccak_memory_ctr_end));
        tmp *= scaling_factor;
        std::get<7>(evals) += typename Accumulator::View(tmp);
    }
    { // CTR_END
        using Accumulator = typename std::tuple_element_t<8, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_sel) *
                   (((in.get(C::keccak_memory_ctr) - constants_AVM_KECCAKF1600_STATE_SIZE) *
                         (in.get(C::keccak_memory_ctr_end) * (FF(1) - in.get(C::keccak_memory_ctr_min_state_size_inv)) +
                          in.get(C::keccak_memory_ctr_min_state_size_inv)) +
                     in.get(C::keccak_memory_ctr_end)) -
                    FF(1));
        tmp *= scaling_factor;
        std::get<8>(evals) += typename Accumulator::View(tmp);
    }
    { // LAST
        using Accumulator = typename std::tuple_element_t<9, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_last) - (FF(1) - (FF(1) - in.get(C::keccak_memory_ctr_end)) *
                                                                 (FF(1) - in.get(C::keccak_memory_single_tag_error))));
        tmp *= scaling_factor;
        std::get<9>(evals) += typename Accumulator::View(tmp);
    }
    { // CTR_INCREMENT
        using Accumulator = typename std::tuple_element_t<10, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_sel) * (FF(1) - in.get(C::keccak_memory_last)) *
                   ((in.get(C::keccak_memory_ctr_shift) - in.get(C::keccak_memory_ctr)) - FF(1));
        tmp *= scaling_factor;
        std::get<10>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<11, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_single_tag_error) * (FF(1) - in.get(C::keccak_memory_single_tag_error));
        tmp *= scaling_factor;
        std::get<11>(evals) += typename Accumulator::View(tmp);
    }
    { // NO_TAG_ERROR_ON_WRITE
        using Accumulator = typename std::tuple_element_t<12, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_rw) * in.get(C::keccak_memory_single_tag_error);
        tmp *= scaling_factor;
        std::get<12>(evals) += typename Accumulator::View(tmp);
    }
    { // TAG_ERROR_INIT
        using Accumulator = typename std::tuple_element_t<13, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_last) *
                   (in.get(C::keccak_memory_tag_error) - in.get(C::keccak_memory_single_tag_error));
        tmp *= scaling_factor;
        std::get<13>(evals) += typename Accumulator::View(tmp);
    }
    { // TAG_ERROR_PROPAGATION
        using Accumulator = typename std::tuple_element_t<14, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccak_memory_last)) *
                   (in.get(C::keccak_memory_tag_error) - in.get(C::keccak_memory_tag_error_shift));
        tmp *= scaling_factor;
        std::get<14>(evals) += typename Accumulator::View(tmp);
    }
    { // MEM_ADDR_INCREMENT
        using Accumulator = typename std::tuple_element_t<15, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_sel) * (FF(1) - in.get(C::keccak_memory_last)) *
                   ((in.get(C::keccak_memory_addr) + FF(1)) - in.get(C::keccak_memory_addr_shift));
        tmp *= scaling_factor;
        std::get<15>(evals) += typename Accumulator::View(tmp);
    }
    { // SPACEID_PROPAGATION
        using Accumulator = typename std::tuple_element_t<16, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccak_memory_last)) *
                   (in.get(C::keccak_memory_space_id) - in.get(C::keccak_memory_space_id_shift));
        tmp *= scaling_factor;
        std::get<16>(evals) += typename Accumulator::View(tmp);
    }
    { // CLK_PROPAGATION
        using Accumulator = typename std::tuple_element_t<17, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccak_memory_last)) *
                   (in.get(C::keccak_memory_clk_shift) - in.get(C::keccak_memory_clk));
        tmp *= scaling_factor;
        std::get<17>(evals) += typename Accumulator::View(tmp);
    }
    { // RW_PROPAGATION
        using Accumulator = typename std::tuple_element_t<18, ContainerOverSubrelations>;
        auto tmp =
            (FF(1) - in.get(C::keccak_memory_last)) * (in.get(C::keccak_memory_rw_shift) - in.get(C::keccak_memory_rw));
        tmp *= scaling_factor;
        std::get<18>(evals) += typename Accumulator::View(tmp);
    }
    { // SINGLE_TAG_ERROR
        using Accumulator = typename std::tuple_element_t<19, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_sel) *
                   (keccak_memory_TAG_MIN_U64 * ((FF(1) - in.get(C::keccak_memory_single_tag_error)) *
                                                     (FF(1) - in.get(C::keccak_memory_tag_min_u64_inv)) +
                                                 in.get(C::keccak_memory_tag_min_u64_inv)) -
                    in.get(C::keccak_memory_single_tag_error));
        tmp *= scaling_factor;
        std::get<19>(evals) += typename Accumulator::View(tmp);
    }
    { // SINGLE_TAG_ERROR_BOOLEAN
        using Accumulator = typename std::tuple_element_t<20, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccak_memory_single_tag_error) * (FF(1) - in.get(C::keccak_memory_single_tag_error));
        tmp *= scaling_factor;
        std::get<20>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL01
        using Accumulator = typename std::tuple_element_t<21, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val01) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val00_shift));
        tmp *= scaling_factor;
        std::get<21>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL02
        using Accumulator = typename std::tuple_element_t<22, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val02) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val01_shift));
        tmp *= scaling_factor;
        std::get<22>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL03
        using Accumulator = typename std::tuple_element_t<23, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val03) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val02_shift));
        tmp *= scaling_factor;
        std::get<23>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL04
        using Accumulator = typename std::tuple_element_t<24, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val04) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val03_shift));
        tmp *= scaling_factor;
        std::get<24>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL10
        using Accumulator = typename std::tuple_element_t<25, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val10) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val04_shift));
        tmp *= scaling_factor;
        std::get<25>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL11
        using Accumulator = typename std::tuple_element_t<26, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val11) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val10_shift));
        tmp *= scaling_factor;
        std::get<26>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL12
        using Accumulator = typename std::tuple_element_t<27, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val12) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val11_shift));
        tmp *= scaling_factor;
        std::get<27>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL13
        using Accumulator = typename std::tuple_element_t<28, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val13) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val12_shift));
        tmp *= scaling_factor;
        std::get<28>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL14
        using Accumulator = typename std::tuple_element_t<29, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val14) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val13_shift));
        tmp *= scaling_factor;
        std::get<29>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL20
        using Accumulator = typename std::tuple_element_t<30, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val20) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val14_shift));
        tmp *= scaling_factor;
        std::get<30>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL21
        using Accumulator = typename std::tuple_element_t<31, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val21) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val20_shift));
        tmp *= scaling_factor;
        std::get<31>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL22
        using Accumulator = typename std::tuple_element_t<32, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val22) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val21_shift));
        tmp *= scaling_factor;
        std::get<32>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL23
        using Accumulator = typename std::tuple_element_t<33, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val23) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val22_shift));
        tmp *= scaling_factor;
        std::get<33>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL24
        using Accumulator = typename std::tuple_element_t<34, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val24) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val23_shift));
        tmp *= scaling_factor;
        std::get<34>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL30
        using Accumulator = typename std::tuple_element_t<35, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val30) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val24_shift));
        tmp *= scaling_factor;
        std::get<35>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL31
        using Accumulator = typename std::tuple_element_t<36, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val31) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val30_shift));
        tmp *= scaling_factor;
        std::get<36>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL32
        using Accumulator = typename std::tuple_element_t<37, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val32) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val31_shift));
        tmp *= scaling_factor;
        std::get<37>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL33
        using Accumulator = typename std::tuple_element_t<38, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val33) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val32_shift));
        tmp *= scaling_factor;
        std::get<38>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL34
        using Accumulator = typename std::tuple_element_t<39, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val34) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val33_shift));
        tmp *= scaling_factor;
        std::get<39>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL40
        using Accumulator = typename std::tuple_element_t<40, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val40) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val34_shift));
        tmp *= scaling_factor;
        std::get<40>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL41
        using Accumulator = typename std::tuple_element_t<41, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val41) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val40_shift));
        tmp *= scaling_factor;
        std::get<41>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL42
        using Accumulator = typename std::tuple_element_t<42, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val42) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val41_shift));
        tmp *= scaling_factor;
        std::get<42>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL43
        using Accumulator = typename std::tuple_element_t<43, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val43) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val42_shift));
        tmp *= scaling_factor;
        std::get<43>(evals) += typename Accumulator::View(tmp);
    }
    { // VAL44
        using Accumulator = typename std::tuple_element_t<44, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccak_memory_val44) -
                    (FF(1) - in.get(C::keccak_memory_last)) * in.get(C::keccak_memory_val43_shift));
        tmp *= scaling_factor;
        std::get<44>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<45, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccak_memory_sel) * (in.get(C::keccak_memory_num_rounds) - constants_AVM_KECCAKF1600_NUM_ROUNDS);
        tmp *= scaling_factor;
        std::get<45>(evals) += typename Accumulator::View(tmp);
    }
}
 
} // namespace bb::avm2