translator_delta_range_constraint_short_relation.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/relation_types.hpp"
#include "barretenberg/relations/translator_vm/translator_short_monomial_relation_utils.hpp"
 
namespace bb {
 
template <typename FF_> class TranslatorDeltaRangeConstraintShortRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    // degree((1-lagrange_real_last-lagrange_ordered_masking) * D(D-1)(D-2)(D-3)) = 4+1 = 5, so length = 6
    static constexpr size_t RELATION_LENGTH = 6;
 
    static constexpr std::array<size_t, 10> SUBRELATION_PARTIAL_LENGTHS{
        6, // ordered_range_constraints_0 step in {0,1,2,3} subrelation
        6, // ordered_range_constraints_1 step in {0,1,2,3} subrelation
        6, // ordered_range_constraints_2 step in {0,1,2,3} subrelation
        6, // ordered_range_constraints_3 step in {0,1,2,3} subrelation
        6, // ordered_range_constraints_4 step in {0,1,2,3} subrelation
        3, // ordered_range_constraints_0 ends with defined maximum value subrelation
        3, // ordered_range_constraints_1 ends with defined maximum value subrelation
        3, // ordered_range_constraints_2 ends with defined maximum value subrelation
        3, // ordered_range_constraints_3 ends with defined maximum value subrelation
        3  // ordered_range_constraints_4 ends with defined maximum value subrelation
    };
 
    template <typename AllEntities> static bool skip(const AllEntities& in)
    {
        return (in.ordered_range_constraints_0_shift - in.ordered_range_constraints_0).is_zero() &&
               (in.ordered_range_constraints_1_shift - in.ordered_range_constraints_1).is_zero() &&
               (in.ordered_range_constraints_2_shift - in.ordered_range_constraints_2).is_zero() &&
               (in.ordered_range_constraints_3_shift - in.ordered_range_constraints_3).is_zero() &&
               (in.ordered_range_constraints_4_shift - in.ordered_range_constraints_4).is_zero() &&
               in.lagrange_real_last.is_zero();
    }
 
    template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
    static void accumulate(ContainerOverSubrelations& accumulators,
                           const AllEntities& in,
                           const Parameters&,
                           const FF& scaling_factor);
};
 
template <typename FF>
using TranslatorDeltaRangeConstraintShortRelation = Relation<TranslatorDeltaRangeConstraintShortRelationImpl<FF>>;
 
} // namespace bb