context_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/context.hpp"
 
namespace bb::avm2 {
 
template <typename FF_>
template <typename ContainerOverSubrelations, typename AllEntities>
void contextImpl<FF_>::accumulate(ContainerOverSubrelations& evals,
                                  const AllEntities& in,
                                  [[maybe_unused]] const RelationParameters<FF_>&,
                                  [[maybe_unused]] const FF_& scaling_factor)
{
    using C = ColumnAndShifts;
 
    const auto execution_SEL_INTERNAL_OP =
        in.get(C::execution_sel_execute_internal_call) + in.get(C::execution_sel_read_unwind_call_stack);
    const auto execution_NOT_LAST_EXEC = in.get(C::execution_sel) * in.get(C::execution_sel_shift);
    const auto execution_DEFAULT_CTX_ROW =
        ((in.get(C::execution_sel) - in.get(C::execution_sel_enter_call)) - in.get(C::execution_sel_exit_call));
    const auto execution_PC_JUMP = in.get(C::execution_sel_execute_internal_call) +
                                   in.get(C::execution_sel_execute_internal_return) +
                                   in.get(C::execution_sel_execute_jump) + in.get(C::execution_sel_execute_jumpi);
    const auto execution_NESTED_EXIT_CALL = in.get(C::execution_nested_failure) + in.get(C::execution_nested_return);
    const auto execution_NESTED_RET_REV_ONLY = execution_NESTED_EXIT_CALL * (FF(1) - in.get(C::execution_sel_error));
    const auto execution_SEL_CONSUMED_ALL_GAS = in.get(C::execution_sel_error);
    const auto execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END =
        ((in.get(C::execution_sel) - in.get(C::execution_nested_failure)) - in.get(C::execution_enqueued_call_end));
 
    {
        using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_sel_enter_call)) -
                    (static_cast<View>(in.get(C::execution_sel_execute_call)) +
                     static_cast<View>(in.get(C::execution_sel_execute_static_call))));
        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::execution_sel_exit_call)) -
                    (static_cast<View>(in.get(C::execution_sel_failure)) +
                     static_cast<View>(in.get(C::execution_sel_execute_return))));
        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::execution_has_parent_ctx)) *
                   (FF(1) - static_cast<View>(in.get(C::execution_has_parent_ctx)));
        std::get<2>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_parent_id)) *
                        ((FF(1) - static_cast<View>(in.get(C::execution_has_parent_ctx))) *
                             (FF(1) - static_cast<View>(in.get(C::execution_is_parent_id_inv))) +
                         static_cast<View>(in.get(C::execution_is_parent_id_inv))) -
                    static_cast<View>(in.get(C::execution_has_parent_ctx)));
        std::get<3>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_nested_return)) -
                    static_cast<View>(in.get(C::execution_has_parent_ctx)) *
                        static_cast<View>(in.get(C::execution_sel_execute_return)));
        std::get<4>(evals) += (tmp * scaling_factor);
    }
    {
        using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_nested_failure)) -
                    static_cast<View>(in.get(C::execution_has_parent_ctx)) *
                        static_cast<View>(in.get(C::execution_sel_failure)));
        std::get<5>(evals) += (tmp * scaling_factor);
    }
    { // ENQUEUED_CALL_START_NEXT_CTX_ID
        using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_enqueued_call_start)) *
                   ((static_cast<View>(in.get(C::execution_context_id)) + FF(1)) -
                    static_cast<View>(in.get(C::execution_next_context_id)));
        std::get<6>(evals) += (tmp * scaling_factor);
    }
    { // INCR_NEXT_CONTEXT_ID
        using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_NOT_LAST_EXEC) * (static_cast<View>(in.get(C::execution_next_context_id_shift)) -
                                              (static_cast<View>(in.get(C::execution_next_context_id)) +
                                               static_cast<View>(in.get(C::execution_sel_first_row_in_context_shift))));
        std::get<7>(evals) += (tmp * scaling_factor);
    }
    { // CONTEXT_ID_EXT_CALL
        using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_context_id_shift)) -
                    static_cast<View>(in.get(C::execution_next_context_id)));
        std::get<8>(evals) += (tmp * scaling_factor);
    }
    { // CONTEXT_ID_NESTED_EXIT
        using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_EXIT_CALL) * (static_cast<View>(in.get(C::execution_context_id_shift)) -
                                                        static_cast<View>(in.get(C::execution_parent_id)));
        std::get<9>(evals) += (tmp * scaling_factor);
    }
    { // CONTEXT_ID_NEXT_DEFAULT_ROW
        using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_context_id_shift)) -
                                                       static_cast<View>(in.get(C::execution_context_id)));
        std::get<10>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_ID_INIT
        using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_enqueued_call_start)) *
                   static_cast<View>(in.get(C::execution_parent_id));
        std::get<11>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_ID_NEXT_EXT_CALL
        using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_id_shift)) -
                    static_cast<View>(in.get(C::execution_context_id)));
        std::get<12>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_ID_NEXT_DEFAULT_ROW
        using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_id_shift)) -
                                                       static_cast<View>(in.get(C::execution_parent_id)));
        std::get<13>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_PC
        using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_instruction_fetching_success)) *
                   ((static_cast<View>(in.get(C::execution_pc)) + static_cast<View>(in.get(C::execution_instr_size))) -
                    static_cast<View>(in.get(C::execution_next_pc)));
        std::get<14>(evals) += (tmp * scaling_factor);
    }
    { // PC_NEW_CONTEXT_INIT
        using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_first_row_in_context)) *
                   static_cast<View>(in.get(C::execution_pc));
        std::get<15>(evals) += (tmp * scaling_factor);
    }
    { // PC_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (FF(1) - CView(execution_PC_JUMP)) *
                   (static_cast<View>(in.get(C::execution_pc_shift)) - static_cast<View>(in.get(C::execution_next_pc)));
        std::get<16>(evals) += (tmp * scaling_factor);
    }
    { // MSG_SENDER_NEXT_ROW_EXT_CALL
        using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_msg_sender_shift)) -
                    static_cast<View>(in.get(C::execution_contract_address)));
        std::get<17>(evals) += (tmp * scaling_factor);
    }
    { // MSG_SENDER_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_msg_sender_shift)) -
                                                       static_cast<View>(in.get(C::execution_msg_sender)));
        std::get<18>(evals) += (tmp * scaling_factor);
    }
    { // CONTRACT_ADDR_NEXT_ROW_EXT_CALL
        using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_contract_address_shift)) -
                    static_cast<View>(in.get(C::execution_register_2_)));
        std::get<19>(evals) += (tmp * scaling_factor);
    }
    { // CONTRACT_ADDR_NEXT_ROW
        using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_contract_address_shift)) -
                                                       static_cast<View>(in.get(C::execution_contract_address)));
        std::get<20>(evals) += (tmp * scaling_factor);
    }
    { // BYTECODE_ID_NEXT_ROW
        using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_bytecode_id_shift)) -
                                                       static_cast<View>(in.get(C::execution_bytecode_id)));
        std::get<21>(evals) += (tmp * scaling_factor);
    }
    { // TRANSACTION_FEE_NEXT_ROW
        using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
        auto tmp = ((FF(1) - static_cast<View>(in.get(C::execution_enqueued_call_end))) -
                    static_cast<View>(in.get(C::precomputed_first_row))) *
                   (static_cast<View>(in.get(C::execution_transaction_fee_shift)) -
                    static_cast<View>(in.get(C::execution_transaction_fee)));
        std::get<22>(evals) += (tmp * scaling_factor);
    }
    { // IS_STATIC_IF_STATIC_CALL
        using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (FF(1) - static_cast<View>(in.get(C::execution_is_static))) *
                   (static_cast<View>(in.get(C::execution_is_static_shift)) -
                    static_cast<View>(in.get(C::execution_sel_execute_static_call)));
        std::get<23>(evals) += (tmp * scaling_factor);
    }
    { // IS_STATIC_IF_CALL_FROM_STATIC_CONTEXT
        using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   static_cast<View>(in.get(C::execution_is_static)) *
                   (static_cast<View>(in.get(C::execution_is_static_shift)) - FF(1));
        std::get<24>(evals) += (tmp * scaling_factor);
    }
    { // IS_STATIC_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<25, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_is_static_shift)) -
                                                       static_cast<View>(in.get(C::execution_is_static)));
        std::get<25>(evals) += (tmp * scaling_factor);
    }
    { // CD_ADDR_ENQUEUED_CALL_IS_ZERO
        using View = typename std::tuple_element_t<26, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_enqueued_call_start)) *
                   static_cast<View>(in.get(C::execution_parent_calldata_addr));
        std::get<26>(evals) += (tmp * scaling_factor);
    }
    { // CD_ADDR_NEXT_ROW_EXT_CALL
        using View = typename std::tuple_element_t<27, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_calldata_addr_shift)) -
                    static_cast<View>(in.get(C::execution_rop_4_)));
        std::get<27>(evals) += (tmp * scaling_factor);
    }
    { // CD_ADDR_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<28, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_calldata_addr_shift)) -
                                                static_cast<View>(in.get(C::execution_parent_calldata_addr)));
        std::get<28>(evals) += (tmp * scaling_factor);
    }
    { // CD_SIZE_NEXT_ROW_EXT_CALL
        using View = typename std::tuple_element_t<29, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_calldata_size_shift)) -
                    static_cast<View>(in.get(C::execution_register_3_)));
        std::get<29>(evals) += (tmp * scaling_factor);
    }
    { // CD_SIZE_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<30, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_calldata_size_shift)) -
                                                static_cast<View>(in.get(C::execution_parent_calldata_size)));
        std::get<30>(evals) += (tmp * scaling_factor);
    }
    { // RD_ADDR_INIT
        using View = typename std::tuple_element_t<31, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_enqueued_call_start)) *
                   static_cast<View>(in.get(C::execution_last_child_returndata_addr));
        std::get<31>(evals) += (tmp * scaling_factor);
    }
    { // RET_REV_RD_ADDR
        using View = typename std::tuple_element_t<32, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_RET_REV_ONLY) *
                   (static_cast<View>(in.get(C::execution_last_child_returndata_addr_shift)) -
                    static_cast<View>(in.get(C::execution_rop_1_)));
        std::get<32>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_RD_ADDR_IS_ZERO
        using View = typename std::tuple_element_t<33, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_sel_enter_call)) +
                    static_cast<View>(in.get(C::execution_sel_error))) *
                   static_cast<View>(in.get(C::execution_last_child_returndata_addr_shift));
        std::get<33>(evals) += (tmp * scaling_factor);
    }
    { // PROPAGATE_RD_ADDR_DEFAULT
        using View = typename std::tuple_element_t<34, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) *
                   (static_cast<View>(in.get(C::execution_last_child_returndata_addr_shift)) -
                    static_cast<View>(in.get(C::execution_last_child_returndata_addr)));
        std::get<34>(evals) += (tmp * scaling_factor);
    }
    { // RD_SIZE_INIT
        using View = typename std::tuple_element_t<35, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_enqueued_call_start)) *
                   static_cast<View>(in.get(C::execution_last_child_returndata_size));
        std::get<35>(evals) += (tmp * scaling_factor);
    }
    { // RET_REV_RD_SIZE
        using View = typename std::tuple_element_t<36, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_RET_REV_ONLY) *
                   (static_cast<View>(in.get(C::execution_last_child_returndata_size_shift)) -
                    static_cast<View>(in.get(C::execution_register_0_)));
        std::get<36>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_RD_SIZE_IS_ZERO
        using View = typename std::tuple_element_t<37, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_sel_enter_call)) +
                    static_cast<View>(in.get(C::execution_sel_error))) *
                   static_cast<View>(in.get(C::execution_last_child_returndata_size_shift));
        std::get<37>(evals) += (tmp * scaling_factor);
    }
    { // PROPAGATE_RD_SIZE_DEFAULT
        using View = typename std::tuple_element_t<38, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) *
                   (static_cast<View>(in.get(C::execution_last_child_returndata_size_shift)) -
                    static_cast<View>(in.get(C::execution_last_child_returndata_size)));
        std::get<38>(evals) += (tmp * scaling_factor);
    }
    { // LAST_CHILD_SUCCESS_INIT
        using View = typename std::tuple_element_t<39, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_enqueued_call_start)) *
                   static_cast<View>(in.get(C::execution_last_child_success));
        std::get<39>(evals) += (tmp * scaling_factor);
    }
    { // NESTED_RETURN_LAST_CHILD_SUCCESS
        using View = typename std::tuple_element_t<40, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_nested_return)) *
                   (static_cast<View>(in.get(C::execution_last_child_success_shift)) - FF(1));
        std::get<40>(evals) += (tmp * scaling_factor);
    }
    { // LAST_CHILD_SUCCESS_NEXT_ROW_ZERO
        using View = typename std::tuple_element_t<41, ContainerOverSubrelations>::View;
        auto tmp = (static_cast<View>(in.get(C::execution_nested_failure)) +
                    static_cast<View>(in.get(C::execution_sel_enter_call))) *
                   static_cast<View>(in.get(C::execution_last_child_success_shift));
        std::get<41>(evals) += (tmp * scaling_factor);
    }
    { // LAST_CHILD_SUCCESS_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<42, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_last_child_success_shift)) -
                                                static_cast<View>(in.get(C::execution_last_child_success)));
        std::get<42>(evals) += (tmp * scaling_factor);
    }
    { // LAST_CHILD_ID_INIT
        using View = typename std::tuple_element_t<43, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_first_row_in_context)) *
                   static_cast<View>(in.get(C::execution_last_child_id));
        std::get<43>(evals) += (tmp * scaling_factor);
    }
    { // EXIT_CALL_LAST_CHILD_ID
        using View = typename std::tuple_element_t<44, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_EXIT_CALL) * (static_cast<View>(in.get(C::execution_last_child_id_shift)) -
                                                        static_cast<View>(in.get(C::execution_context_id)));
        std::get<44>(evals) += (tmp * scaling_factor);
    }
    { // LAST_CHILD_ID_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<45, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_last_child_id_shift)) -
                                                       static_cast<View>(in.get(C::execution_last_child_id)));
        std::get<45>(evals) += (tmp * scaling_factor);
    }
    { // L2_GAS_LIMIT_RESTORE_ON_EXIT
        using View = typename std::tuple_element_t<46, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_EXIT_CALL) * (static_cast<View>(in.get(C::execution_l2_gas_limit_shift)) -
                                                        static_cast<View>(in.get(C::execution_parent_l2_gas_limit)));
        std::get<46>(evals) += (tmp * scaling_factor);
    }
    { // L2_GAS_LIMIT_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<47, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_l2_gas_limit_shift)) -
                                                       static_cast<View>(in.get(C::execution_l2_gas_limit)));
        std::get<47>(evals) += (tmp * scaling_factor);
    }
    { // DA_GAS_LIMIT_RESTORE_ON_EXIT
        using View = typename std::tuple_element_t<48, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_EXIT_CALL) * (static_cast<View>(in.get(C::execution_da_gas_limit_shift)) -
                                                        static_cast<View>(in.get(C::execution_parent_da_gas_limit)));
        std::get<48>(evals) += (tmp * scaling_factor);
    }
    { // DA_GAS_LIMIT_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<49, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_da_gas_limit_shift)) -
                                                       static_cast<View>(in.get(C::execution_da_gas_limit)));
        std::get<49>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_L2_GAS_LIMIT_STORE_ON_ENTER
        using View = typename std::tuple_element_t<50, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_l2_gas_limit_shift)) -
                    static_cast<View>(in.get(C::execution_l2_gas_limit)));
        std::get<50>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_L2_GAS_LIMIT_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<51, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_l2_gas_limit_shift)) -
                                                static_cast<View>(in.get(C::execution_parent_l2_gas_limit)));
        std::get<51>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_DA_GAS_LIMIT_STORE_ON_ENTER
        using View = typename std::tuple_element_t<52, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_da_gas_limit_shift)) -
                    static_cast<View>(in.get(C::execution_da_gas_limit)));
        std::get<52>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_DA_GAS_LIMIT_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<53, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_da_gas_limit_shift)) -
                                                static_cast<View>(in.get(C::execution_parent_da_gas_limit)));
        std::get<53>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_L2_GAS_USED_STORE_ON_ENTER
        using View = typename std::tuple_element_t<54, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_l2_gas_used_shift)) -
                    static_cast<View>(in.get(C::execution_l2_gas_used)));
        std::get<54>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_L2_GAS_USED_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<55, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_l2_gas_used_shift)) -
                                                static_cast<View>(in.get(C::execution_parent_l2_gas_used)));
        std::get<55>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_DA_GAS_USED_STORE_ON_ENTER
        using View = typename std::tuple_element_t<56, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   (static_cast<View>(in.get(C::execution_parent_da_gas_used_shift)) -
                    static_cast<View>(in.get(C::execution_da_gas_used)));
        std::get<56>(evals) += (tmp * scaling_factor);
    }
    { // PARENT_DA_GAS_USED_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<57, ContainerOverSubrelations>::View;
        auto tmp =
            CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_parent_da_gas_used_shift)) -
                                                static_cast<View>(in.get(C::execution_parent_da_gas_used)));
        std::get<57>(evals) += (tmp * scaling_factor);
    }
    { // INTERNAL_CALL_ID_INIT
        using View = typename std::tuple_element_t<58, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_first_row_in_context)) *
                   (static_cast<View>(in.get(C::execution_internal_call_id)) - FF(1));
        std::get<58>(evals) += (tmp * scaling_factor);
    }
    { // INTERNAL_CALL_ID_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<59, ContainerOverSubrelations>::View;
        auto tmp = (CView(execution_DEFAULT_CTX_ROW) - CView(execution_SEL_INTERNAL_OP)) *
                   (static_cast<View>(in.get(C::execution_internal_call_id_shift)) -
                    static_cast<View>(in.get(C::execution_internal_call_id)));
        std::get<59>(evals) += (tmp * scaling_factor);
    }
    { // INTERNAL_CALL_RETURN_ID_INIT
        using View = typename std::tuple_element_t<60, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_first_row_in_context)) *
                   static_cast<View>(in.get(C::execution_internal_call_return_id));
        std::get<60>(evals) += (tmp * scaling_factor);
    }
    { // INTERNAL_CALL_RETURN_ID_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<61, ContainerOverSubrelations>::View;
        auto tmp = (CView(execution_DEFAULT_CTX_ROW) - CView(execution_SEL_INTERNAL_OP)) *
                   (static_cast<View>(in.get(C::execution_internal_call_return_id_shift)) -
                    static_cast<View>(in.get(C::execution_internal_call_return_id)));
        std::get<61>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_INTERNAL_CALL_ID_INIT
        using View = typename std::tuple_element_t<62, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_first_row_in_context)) *
                   (static_cast<View>(in.get(C::execution_next_internal_call_id)) - FF(2));
        std::get<62>(evals) += (tmp * scaling_factor);
    }
    { // NEXT_INTERNAL_CALL_ID_NEXT_ROW_DEFAULT
        using View = typename std::tuple_element_t<63, ContainerOverSubrelations>::View;
        auto tmp = (CView(execution_DEFAULT_CTX_ROW) - CView(execution_SEL_INTERNAL_OP)) *
                   (static_cast<View>(in.get(C::execution_next_internal_call_id_shift)) -
                    static_cast<View>(in.get(C::execution_next_internal_call_id)));
        std::get<63>(evals) += (tmp * scaling_factor);
    }
    { // RETRIEVED_BYTECODES_TREE_ROOT_CONTINUITY
        using View = typename std::tuple_element_t<64, ContainerOverSubrelations>::View;
        auto tmp =
            (static_cast<View>(in.get(C::execution_sel)) - static_cast<View>(in.get(C::execution_enqueued_call_end))) *
            (static_cast<View>(in.get(C::execution_retrieved_bytecodes_tree_root)) -
             static_cast<View>(in.get(C::execution_prev_retrieved_bytecodes_tree_root_shift)));
        std::get<64>(evals) += (tmp * scaling_factor);
    }
    { // RETRIEVED_BYTECODES_TREE_SIZE_CONTINUITY
        using View = typename std::tuple_element_t<65, ContainerOverSubrelations>::View;
        auto tmp =
            (static_cast<View>(in.get(C::execution_sel)) - static_cast<View>(in.get(C::execution_enqueued_call_end))) *
            (static_cast<View>(in.get(C::execution_retrieved_bytecodes_tree_size)) -
             static_cast<View>(in.get(C::execution_prev_retrieved_bytecodes_tree_size_shift)));
        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::execution_l2_gas_limit)) -
                      static_cast<View>(in.get(C::execution_total_gas_l2))) *
                         CView(execution_SEL_CONSUMED_ALL_GAS) +
                     static_cast<View>(in.get(C::execution_total_gas_l2))) -
                    static_cast<View>(in.get(C::execution_l2_gas_used)));
        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::execution_da_gas_limit)) -
                      static_cast<View>(in.get(C::execution_total_gas_da))) *
                         CView(execution_SEL_CONSUMED_ALL_GAS) +
                     static_cast<View>(in.get(C::execution_total_gas_da))) -
                    static_cast<View>(in.get(C::execution_da_gas_used)));
        std::get<67>(evals) += (tmp * scaling_factor);
    }
    { // L2_GAS_USED_ZERO_AFTER_CALL
        using View = typename std::tuple_element_t<68, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   static_cast<View>(in.get(C::execution_prev_l2_gas_used_shift));
        std::get<68>(evals) += (tmp * scaling_factor);
    }
    { // L2_GAS_USED_INGEST_AFTER_EXIT
        using View = typename std::tuple_element_t<69, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_EXIT_CALL) * ((static_cast<View>(in.get(C::execution_parent_l2_gas_used)) +
                                                         static_cast<View>(in.get(C::execution_l2_gas_used))) -
                                                        static_cast<View>(in.get(C::execution_prev_l2_gas_used_shift)));
        std::get<69>(evals) += (tmp * scaling_factor);
    }
    { // L2_GAS_USED_DEFAULT_ROW
        using View = typename std::tuple_element_t<70, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_l2_gas_used)) -
                                                       static_cast<View>(in.get(C::execution_prev_l2_gas_used_shift)));
        std::get<70>(evals) += (tmp * scaling_factor);
    }
    { // DA_GAS_USED_ZERO_AFTER_CALL
        using View = typename std::tuple_element_t<71, ContainerOverSubrelations>::View;
        auto tmp = static_cast<View>(in.get(C::execution_sel_enter_call)) *
                   static_cast<View>(in.get(C::execution_prev_da_gas_used_shift));
        std::get<71>(evals) += (tmp * scaling_factor);
    }
    { // DA_GAS_USED_INGEST_AFTER_EXIT
        using View = typename std::tuple_element_t<72, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NESTED_EXIT_CALL) * ((static_cast<View>(in.get(C::execution_parent_da_gas_used)) +
                                                         static_cast<View>(in.get(C::execution_da_gas_used))) -
                                                        static_cast<View>(in.get(C::execution_prev_da_gas_used_shift)));
        std::get<72>(evals) += (tmp * scaling_factor);
    }
    { // DA_GAS_USED_DEFAULT_ROW
        using View = typename std::tuple_element_t<73, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_DEFAULT_CTX_ROW) * (static_cast<View>(in.get(C::execution_da_gas_used)) -
                                                       static_cast<View>(in.get(C::execution_prev_da_gas_used_shift)));
        std::get<73>(evals) += (tmp * scaling_factor);
    }
    { // NOTE_HASH_TREE_ROOT_CONTINUITY
        using View = typename std::tuple_element_t<74, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_note_hash_tree_root)) -
                    static_cast<View>(in.get(C::execution_prev_note_hash_tree_root_shift)));
        std::get<74>(evals) += (tmp * scaling_factor);
    }
    { // NOTE_HASH_TREE_SIZE_CONTINUITY
        using View = typename std::tuple_element_t<75, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_note_hash_tree_size)) -
                    static_cast<View>(in.get(C::execution_prev_note_hash_tree_size_shift)));
        std::get<75>(evals) += (tmp * scaling_factor);
    }
    { // NUM_NOTE_HASHES_EMITTED_CONTINUITY
        using View = typename std::tuple_element_t<76, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_num_note_hashes_emitted)) -
                    static_cast<View>(in.get(C::execution_prev_num_note_hashes_emitted_shift)));
        std::get<76>(evals) += (tmp * scaling_factor);
    }
    { // NULLIFIER_TREE_ROOT_CONTINUITY
        using View = typename std::tuple_element_t<77, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_nullifier_tree_root)) -
                    static_cast<View>(in.get(C::execution_prev_nullifier_tree_root_shift)));
        std::get<77>(evals) += (tmp * scaling_factor);
    }
    { // NULLIFIER_TREE_SIZE_CONTINUITY
        using View = typename std::tuple_element_t<78, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_nullifier_tree_size)) -
                    static_cast<View>(in.get(C::execution_prev_nullifier_tree_size_shift)));
        std::get<78>(evals) += (tmp * scaling_factor);
    }
    { // NUM_NULLIFIERS_EMITTED_CONTINUITY
        using View = typename std::tuple_element_t<79, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_num_nullifiers_emitted)) -
                    static_cast<View>(in.get(C::execution_prev_num_nullifiers_emitted_shift)));
        std::get<79>(evals) += (tmp * scaling_factor);
    }
    { // PUBLIC_DATA_TREE_ROOT_CONTINUITY
        using View = typename std::tuple_element_t<80, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_public_data_tree_root)) -
                    static_cast<View>(in.get(C::execution_prev_public_data_tree_root_shift)));
        std::get<80>(evals) += (tmp * scaling_factor);
    }
    { // PUBLIC_DATA_TREE_SIZE_CONTINUITY
        using View = typename std::tuple_element_t<81, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_public_data_tree_size)) -
                    static_cast<View>(in.get(C::execution_prev_public_data_tree_size_shift)));
        std::get<81>(evals) += (tmp * scaling_factor);
    }
    { // WRITTEN_PUBLIC_DATA_SLOTS_TREE_ROOT_CONTINUITY
        using View = typename std::tuple_element_t<82, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_written_public_data_slots_tree_root)) -
                    static_cast<View>(in.get(C::execution_prev_written_public_data_slots_tree_root_shift)));
        std::get<82>(evals) += (tmp * scaling_factor);
    }
    { // WRITTEN_PUBLIC_DATA_SLOTS_TREE_SIZE_CONTINUITY
        using View = typename std::tuple_element_t<83, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_written_public_data_slots_tree_size)) -
                    static_cast<View>(in.get(C::execution_prev_written_public_data_slots_tree_size_shift)));
        std::get<83>(evals) += (tmp * scaling_factor);
    }
    { // NUM_PUBLIC_LOGS_CONTINUITY
        using View = typename std::tuple_element_t<84, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_num_public_log_fields)) -
                    static_cast<View>(in.get(C::execution_prev_num_public_log_fields_shift)));
        std::get<84>(evals) += (tmp * scaling_factor);
    }
    { // NUM_L2_TO_L1_MESSAGES_CONTINUITY
        using View = typename std::tuple_element_t<85, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_NOT_FAILURE_NOT_ENQ_END) *
                   (static_cast<View>(in.get(C::execution_num_l2_to_l1_messages)) -
                    static_cast<View>(in.get(C::execution_prev_num_l2_to_l1_messages_shift)));
        std::get<85>(evals) += (tmp * scaling_factor);
    }
    { // L1_L2_TREE_ROOT_CONTINUITY
        using View = typename std::tuple_element_t<86, ContainerOverSubrelations>::View;
        auto tmp = CView(execution_NOT_LAST_EXEC) * (static_cast<View>(in.get(C::execution_l1_l2_tree_root)) -
                                                     static_cast<View>(in.get(C::execution_l1_l2_tree_root_shift)));
        std::get<86>(evals) += (tmp * scaling_factor);
    }
}
 
} // namespace bb::avm2