translator_decomposition_relation.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/relations/relation_types.hpp"
 
namespace bb {
 
template <typename FF_> class TranslatorDecompositionRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    static constexpr size_t RELATION_LENGTH =
        3; // degree(lagrange_even_in_minicircuit_in_minicircuit(a - a_0 - a_1*2¹⁴ ... - a_l⋅2¹⁴ˡ )) = 2
    static constexpr std::array<size_t, 48> SUBRELATION_PARTIAL_LENGTHS{
        3, // decomposition of P.x limb 0 into microlimbs subrelation
        3, // decomposition of P.x limb 1 into microlimbs subrelation
        3, // decomposition of P.x limb 2 into microlimbs subrelation
        3, // decomposition of P.x limb 3 into microlimbs subrelation
        3, // decomposition of P.y limb 0 into microlimbs subrelation
        3, // decomposition of P.y limb 1 into microlimbs subrelation
        3, // decomposition of P.y limb 2 into microlimbs subrelation
        3, // decomposition of P.y limb 3 into microlimbs subrelation
        3, // decomposition of z1 limb 0 into microlimbs subrelation
        3, // decomposition of z2 limb 0 into microlimbs subrelation
        3, // decomposition of z1 limb 1 into microlimbs subrelation
        3, // decomposition of z2 limb 1 into microlimbs subrelation
        3, // decomposition of accumulator limb 0 into microlimbs subrelation
        3, // decomposition of accumulator limb 1 into microlimbs subrelation
        3, // decomposition of accumulator limb 2 into microlimbs subrelation
        3, // decomposition of accumulator limb 3 into microlimbs subrelation
        3, // decomposition of quotient limb 0 into microlimbs subrelation
        3, // decomposition of quotient limb 1 into microlimbs subrelation
        3, // decomposition of quotient limb 2 into microlimbs subrelation
        3, // decomposition of quotient limb 3 into microlimbs subrelation
        3, // decomposition of low relation wide limb into microlimbs subrelation
        3, // decomposition of high relation wide limb into microlimbs subrelation
        3, // stricter constraint on highest microlimb of P.x limb 0 subrelation
        3, // stricter constraint on highest microlimb of P.x limb 1 subrelation
        3, // stricter constraint on highest microlimb of P.x limb 2 subrelation
        3, // stricter constraint on highest microlimb of P.x limb 3 subrelation
        3, // stricter constraint on highest microlimb of P.y limb 0 subrelation
        3, // stricter constraint on highest microlimb of P.y limb 1 subrelation
        3, // stricter constraint on highest microlimb of P.y limb 2 subrelation
        3, // stricter constraint on highest microlimb of P.y limb 3 subrelation
        3, // stricter constraint on highest microlimb of z1 limb 0 subrelation
        3, // stricter constraint on highest microlimb of z2 limb 0 subrelation
        3, // stricter constraint on highest microlimb of z1 limb 1 subrelation
        3, // stricter constraint on highest microlimb of z2 limb 1 subrelation
        3, // stricter constraint on highest microlimb of accumulator limb 0 subrelation
        3, // stricter constraint on highest microlimb of accumulator limb 1 subrelation
        3, // stricter constraint on highest microlimb of accumulator limb 2 subrelation
        3, // stricter constraint on highest microlimb of accumulator limb 3 subrelation
        3, // stricter constraint on highest microlimb of quotient limb 0 subrelation
        3, // stricter constraint on highest microlimb of quotient limb 1 subrelation
        3, // stricter constraint on highest microlimb of quotient limb 2 subrelation
        3, // stricter constraint on highest microlimb of quotient limb 3 subrelation
        3, // decomposition of x_lo into 2 limbs subrelation
        3, // decomposition of x_hi into 2 limbs subrelation
        3, // decomposition of y_lo into 2 limbs subrelation
        3, // decomposition of y_hi into 2 limbs subrelation
        3, // decomposition of z1 into 2 limbs subrelation
        3  // decomposition of z2 into 2 limbs subrelation
    };
 
    template <typename AllEntities> inline static bool skip(const AllEntities& in)
    {
        return in.lagrange_even_in_minicircuit.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 TranslatorDecompositionRelation = Relation<TranslatorDecompositionRelationImpl<FF>>;
 
} // namespace bb