translator_permutation_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_permutation_relation.hpp"
 
namespace bb {
 
template <typename FF>
template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
void TranslatorPermutationRelationImpl<FF>::accumulate(ContainerOverSubrelations& accumulators,
                                                       const AllEntities& in,
                                                       const Parameters& params,
                                                       const FF& scaling_factor)
{
    [&]() {
        using Accumulator = std::tuple_element_t<0, ContainerOverSubrelations>;
        using View = typename Accumulator::View;
 
        const auto z_perm = View(in.z_perm);
        const auto z_perm_shift = View(in.z_perm_shift);
        const auto lagrange_first = View(in.lagrange_first);
        const auto lagrange_last = View(in.lagrange_last);
 
        // Contribution (1)
        std::get<0>(accumulators) +=
            (((z_perm + lagrange_first) * compute_grand_product_numerator<Accumulator>(in, params)) -
             ((z_perm_shift + lagrange_last) * compute_grand_product_denominator<Accumulator>(in, params))) *
            scaling_factor;
    }();
 
    [&]() {
        using Accumulator = std::tuple_element_t<1, ContainerOverSubrelations>;
        using View = typename Accumulator::View;
 
        const auto z_perm_shift = View(in.z_perm_shift);
        const auto lagrange_last = View(in.lagrange_last);
 
        // Contribution (2)
        std::get<1>(accumulators) += (lagrange_last * z_perm_shift) * scaling_factor;
    }();
 
    [&]() {
        using Accumulator = std::tuple_element_t<2, ContainerOverSubrelations>;
        using View = typename Accumulator::View;
 
        const auto z_perm = View(in.z_perm);
        const auto lagrange_first = View(in.lagrange_first);
 
        // Contribution (3): Enforce z_perm starts at 0. The grand product initialization relies on
        // z_perm[0] = 0 so that (z_perm + lagrange_first) evaluates to 1 at the first row.
        std::get<2>(accumulators) += (lagrange_first * z_perm) * scaling_factor;
    }();
};
} // namespace bb