translator_shiftable_first_coeff_zero_relation_impl.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "barretenberg/relations/translator_vm/translator_shiftable_first_coeff_zero_relation.hpp"
 
namespace bb {
 
template <typename FF>
template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
void TranslatorShiftableFirstCoeffZeroRelationImpl<FF>::accumulate(ContainerOverSubrelations& accumulators,
                                                                   const AllEntities& in,
                                                                   const Parameters& /*unused*/,
                                                                   const FF& scaling_factor)
{
    using Accumulator = std::tuple_element_t<0, ContainerOverSubrelations>;
    using View = typename Accumulator::View;
    const auto lagrange_first = View(in.lagrange_first);
 
    // Contributions 0-4 pin the first value of each sorted ordered_range_constraints wire to 0.
    std::get<0>(accumulators) += lagrange_first * View(in.ordered_range_constraints_0) * scaling_factor;
    std::get<1>(accumulators) += lagrange_first * View(in.ordered_range_constraints_1) * scaling_factor;
    std::get<2>(accumulators) += lagrange_first * View(in.ordered_range_constraints_2) * scaling_factor;
    std::get<3>(accumulators) += lagrange_first * View(in.ordered_range_constraints_3) * scaling_factor;
    std::get<4>(accumulators) += lagrange_first * View(in.ordered_range_constraints_4) * scaling_factor;
}
} // namespace bb