translator_decomposition_relation.hpp

#pragma once
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/relations/relation_types.hpp"
 
namespace proof_system {
 
template <typename FF_> class GoblinTranslatorDecompositionRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    static constexpr size_t RELATION_LENGTH =
        3; // degree(lagrange_odd_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 ContainerOverSubrelations, typename AllEntities, typename Parameters>
    static void accumulate(ContainerOverSubrelations& accumulators,
                           const AllEntities& in,
                           const Parameters&,
                           const FF& scaling_factor);
};
 
template <typename FF>
using GoblinTranslatorDecompositionRelation = Relation<GoblinTranslatorDecompositionRelationImpl<FF>>;
 
} // namespace proof_system