ecc_bools_relation_impl.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Raju], commit: 2a49eb6 }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include <array>
#include <tuple>
 
#include "./ecc_bools_relation.hpp"
 
namespace bb {
 
template <typename FF>
template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
void ECCVMBoolsRelationImpl<FF>::accumulate(ContainerOverSubrelations& accumulator,
                                            const AllEntities& in,
                                            const Parameters& /*unused*/,
                                            const FF& scaling_factor)
{
    using Accumulator = typename std::tuple_element_t<0, ContainerOverSubrelations>;
    using View = typename Accumulator::View;
 
    auto z1_zero = View(in.transcript_z1zero);
    auto z2_zero = View(in.transcript_z2zero);
    auto msm_count_zero_at_transition = View(in.transcript_msm_count_zero_at_transition);
    auto q_add = View(in.transcript_add);
    auto q_mul = View(in.transcript_mul);
    auto q_eq = View(in.transcript_eq);
    auto transcript_msm_transition = View(in.transcript_msm_transition);
    auto is_accumulator_not_empty = View(in.transcript_accumulator_not_empty);
    auto q_reset_accumulator = View(in.transcript_reset_accumulator);
    auto transcript_Pinfinity = View(in.transcript_base_infinity);
    auto transcript_msm_infinity = View(in.transcript_msm_infinity);
    auto transcript_add_x_equal = View(in.transcript_add_x_equal);
    auto transcript_add_y_equal = View(in.transcript_add_y_equal);
    auto precompute_point_transition = View(in.precompute_point_transition);
    auto msm_transition = View(in.msm_transition);
    auto msm_add = View(in.msm_add);
    auto msm_double = View(in.msm_double);
    auto msm_skew = View(in.msm_skew);
    auto precompute_select = View(in.precompute_select);
    auto msm_add1 = View(in.msm_add1);
    auto msm_add2 = View(in.msm_add2);
    auto msm_add3 = View(in.msm_add3);
    auto msm_add4 = View(in.msm_add4);
 
    std::get<BOOL_Q_EQ>(accumulator) += q_eq * (q_eq - 1) * scaling_factor;
    std::get<BOOL_Q_ADD>(accumulator) += q_add * (q_add - 1) * scaling_factor;
    std::get<BOOL_Q_MUL>(accumulator) += q_mul * (q_mul - 1) * scaling_factor;
    std::get<BOOL_Q_RESET_ACCUMULATOR>(accumulator) += q_reset_accumulator * (q_reset_accumulator - 1) * scaling_factor;
    std::get<BOOL_MSM_TRANSITION>(accumulator) +=
        transcript_msm_transition * (transcript_msm_transition - 1) * scaling_factor;
    std::get<BOOL_ACCUMULATOR_NOT_EMPTY>(accumulator) +=
        is_accumulator_not_empty * (is_accumulator_not_empty - 1) * scaling_factor;
    std::get<BOOL_Z1_ZERO>(accumulator) += z1_zero * (z1_zero - 1) * scaling_factor;
    std::get<BOOL_Z2_ZERO>(accumulator) += z2_zero * (z2_zero - 1) * scaling_factor;
    std::get<BOOL_ADD_X_EQUAL>(accumulator) += transcript_add_x_equal * (transcript_add_x_equal - 1) * scaling_factor;
    std::get<BOOL_ADD_Y_EQUAL>(accumulator) += transcript_add_y_equal * (transcript_add_y_equal - 1) * scaling_factor;
    std::get<BOOL_BASE_INFINITY>(accumulator) += transcript_Pinfinity * (transcript_Pinfinity - 1) * scaling_factor;
    std::get<BOOL_MSM_INFINITY>(accumulator) +=
        transcript_msm_infinity * (transcript_msm_infinity - 1) * scaling_factor;
    std::get<BOOL_MSM_COUNT_ZERO_AT_TRANSITION>(accumulator) +=
        msm_count_zero_at_transition * (msm_count_zero_at_transition - 1) * scaling_factor;
    std::get<BOOL_MSM_TRANSITION_MSM>(accumulator) += msm_transition * (msm_transition - 1) * scaling_factor;
    std::get<BOOL_PRECOMPUTE_POINT_TRANSITION>(accumulator) +=
        precompute_point_transition * (precompute_point_transition - 1) * scaling_factor;
    std::get<BOOL_MSM_ADD>(accumulator) += msm_add * (msm_add - 1) * scaling_factor;
    std::get<BOOL_MSM_DOUBLE>(accumulator) += msm_double * (msm_double - 1) * scaling_factor;
    std::get<BOOL_MSM_SKEW>(accumulator) += msm_skew * (msm_skew - 1) * scaling_factor;
    std::get<BOOL_PRECOMPUTE_SELECT>(accumulator) += precompute_select * (precompute_select - 1) * scaling_factor;
    std::get<BOOL_MSM_ADD1>(accumulator) += msm_add1 * (msm_add1 - 1) * scaling_factor;
    std::get<BOOL_MSM_ADD2>(accumulator) += msm_add2 * (msm_add2 - 1) * scaling_factor;
    std::get<BOOL_MSM_ADD3>(accumulator) += msm_add3 * (msm_add3 - 1) * scaling_factor;
    std::get<BOOL_MSM_ADD4>(accumulator) += msm_add4 * (msm_add4 - 1) * scaling_factor;
}
} // namespace bb