range_check_impl.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include "barretenberg/vm2/generated/relations/range_check.hpp"
 
namespace bb::avm2 {
 
template <typename FF_>
template <typename ContainerOverSubrelations, typename AllEntities>
void range_checkImpl<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/range_check");
 
    const auto range_check_PX_0 = FF(0);
    const auto range_check_R7_0 = in.get(C::range_check_u16_r7);
    const auto range_check_PX_1 = in.get(C::range_check_u16_r0);
    const auto range_check_R7_1 = range_check_R7_0 * FF(65536);
    const auto range_check_PX_2 = range_check_PX_1 + in.get(C::range_check_u16_r1) * FF(65536);
    const auto range_check_R7_2 = range_check_R7_1 * FF(65536);
    const auto range_check_PX_3 = range_check_PX_2 + in.get(C::range_check_u16_r2) * FF(4294967296UL);
    const auto range_check_R7_3 = range_check_R7_2 * FF(65536);
    const auto range_check_PX_4 = range_check_PX_3 + in.get(C::range_check_u16_r3) * FF(281474976710656UL);
    const auto range_check_R7_4 = range_check_R7_3 * FF(65536);
    const auto range_check_PX_5 =
        range_check_PX_4 + in.get(C::range_check_u16_r4) * FF(uint256_t{ 0UL, 1UL, 0UL, 0UL });
    const auto range_check_R7_5 = range_check_R7_4 * FF(65536);
    const auto range_check_PX_6 =
        range_check_PX_5 + in.get(C::range_check_u16_r5) * FF(uint256_t{ 0UL, 65536UL, 0UL, 0UL });
    const auto range_check_R7_6 = range_check_R7_5 * FF(65536);
    const auto range_check_PX_7 =
        range_check_PX_6 + in.get(C::range_check_u16_r6) * FF(uint256_t{ 0UL, 4294967296UL, 0UL, 0UL });
    const auto range_check_R7_7 = range_check_R7_6 * FF(65536);
    const auto range_check_RESULT = in.get(C::range_check_is_lte_u16) * (range_check_PX_0 + range_check_R7_0) +
                                    in.get(C::range_check_is_lte_u32) * (range_check_PX_1 + range_check_R7_1) +
                                    in.get(C::range_check_is_lte_u48) * (range_check_PX_2 + range_check_R7_2) +
                                    in.get(C::range_check_is_lte_u64) * (range_check_PX_3 + range_check_R7_3) +
                                    in.get(C::range_check_is_lte_u80) * (range_check_PX_4 + range_check_R7_4) +
                                    in.get(C::range_check_is_lte_u96) * (range_check_PX_5 + range_check_R7_5) +
                                    in.get(C::range_check_is_lte_u112) * (range_check_PX_6 + range_check_R7_6) +
                                    in.get(C::range_check_is_lte_u128) * (range_check_PX_7 + range_check_R7_7);
    const auto range_check_CUM_LTE_128 = in.get(C::range_check_is_lte_u128);
    const auto range_check_CUM_LTE_112 = in.get(C::range_check_is_lte_u112) + range_check_CUM_LTE_128;
    const auto range_check_CUM_LTE_96 = in.get(C::range_check_is_lte_u96) + range_check_CUM_LTE_112;
    const auto range_check_CUM_LTE_80 = in.get(C::range_check_is_lte_u80) + range_check_CUM_LTE_96;
    const auto range_check_CUM_LTE_64 = in.get(C::range_check_is_lte_u64) + range_check_CUM_LTE_80;
    const auto range_check_CUM_LTE_48 = in.get(C::range_check_is_lte_u48) + range_check_CUM_LTE_64;
    const auto range_check_CUM_LTE_32 = in.get(C::range_check_is_lte_u32) + range_check_CUM_LTE_48;
 
    {
        using Accumulator = typename std::tuple_element_t<0, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_sel) * (FF(1) - in.get(C::range_check_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::range_check_is_lte_u16) * (FF(1) - in.get(C::range_check_is_lte_u16));
        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::range_check_is_lte_u32) * (FF(1) - in.get(C::range_check_is_lte_u32));
        tmp *= scaling_factor;
        std::get<2>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<3, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_is_lte_u48) * (FF(1) - in.get(C::range_check_is_lte_u48));
        tmp *= scaling_factor;
        std::get<3>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<4, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_is_lte_u64) * (FF(1) - in.get(C::range_check_is_lte_u64));
        tmp *= scaling_factor;
        std::get<4>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<5, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_is_lte_u80) * (FF(1) - in.get(C::range_check_is_lte_u80));
        tmp *= scaling_factor;
        std::get<5>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<6, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_is_lte_u96) * (FF(1) - in.get(C::range_check_is_lte_u96));
        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::range_check_is_lte_u112) * (FF(1) - in.get(C::range_check_is_lte_u112));
        tmp *= scaling_factor;
        std::get<7>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<8, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_is_lte_u128) * (FF(1) - in.get(C::range_check_is_lte_u128));
        tmp *= scaling_factor;
        std::get<8>(evals) += typename Accumulator::View(tmp);
    }
    { // IS_LTE_MUTUALLY_EXCLUSIVE
        using Accumulator = typename std::tuple_element_t<9, ContainerOverSubrelations>;
        auto tmp = ((in.get(C::range_check_is_lte_u16) + in.get(C::range_check_is_lte_u32) +
                     in.get(C::range_check_is_lte_u48) + in.get(C::range_check_is_lte_u64) +
                     in.get(C::range_check_is_lte_u80) + in.get(C::range_check_is_lte_u96) +
                     in.get(C::range_check_is_lte_u112) + in.get(C::range_check_is_lte_u128)) -
                    in.get(C::range_check_sel));
        tmp *= scaling_factor;
        std::get<9>(evals) += typename Accumulator::View(tmp);
    }
    { // CHECK_RECOMPOSITION
        using Accumulator = typename std::tuple_element_t<10, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_sel) * (range_check_RESULT - in.get(C::range_check_value));
        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::range_check_dyn_rng_chk_bits) -
                    (((((((in.get(C::range_check_rng_chk_bits) - in.get(C::range_check_is_lte_u32) * FF(16)) -
                          in.get(C::range_check_is_lte_u48) * FF(32)) -
                         in.get(C::range_check_is_lte_u64) * FF(48)) -
                        in.get(C::range_check_is_lte_u80) * FF(64)) -
                       in.get(C::range_check_is_lte_u96) * FF(80)) -
                      in.get(C::range_check_is_lte_u112) * FF(96)) -
                     in.get(C::range_check_is_lte_u128) * FF(112)));
        tmp *= scaling_factor;
        std::get<11>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<12, ContainerOverSubrelations>;
        auto tmp = in.get(C::range_check_sel) *
                   (in.get(C::range_check_dyn_diff) -
                    ((in.get(C::range_check_dyn_rng_chk_pow_2) - in.get(C::range_check_u16_r7)) - FF(1)));
        tmp *= scaling_factor;
        std::get<12>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<13, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r0_16_bit_rng_lookup) - range_check_CUM_LTE_32);
        tmp *= scaling_factor;
        std::get<13>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<14, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r1_16_bit_rng_lookup) - range_check_CUM_LTE_48);
        tmp *= scaling_factor;
        std::get<14>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<15, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r2_16_bit_rng_lookup) - range_check_CUM_LTE_64);
        tmp *= scaling_factor;
        std::get<15>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<16, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r3_16_bit_rng_lookup) - range_check_CUM_LTE_80);
        tmp *= scaling_factor;
        std::get<16>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<17, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r4_16_bit_rng_lookup) - range_check_CUM_LTE_96);
        tmp *= scaling_factor;
        std::get<17>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<18, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r5_16_bit_rng_lookup) - range_check_CUM_LTE_112);
        tmp *= scaling_factor;
        std::get<18>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<19, ContainerOverSubrelations>;
        auto tmp = (in.get(C::range_check_sel_r6_16_bit_rng_lookup) - range_check_CUM_LTE_128);
        tmp *= scaling_factor;
        std::get<19>(evals) += typename Accumulator::View(tmp);
    }
}
 
} // namespace bb::avm2