translator_non_native_field_relation.hpp

#pragma once
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/relations/relation_types.hpp"
 
namespace proof_system {
 
template <typename FF_> class GoblinTranslatorNonNativeFieldRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    static constexpr std::array<size_t, 3> SUBRELATION_PARTIAL_LENGTHS{
        3, // Lower wide limb subrelation (checks result is 0 mod 2¹³⁶)
        3, // Higher wide limb subrelation (checks result is 0 in higher mod 2¹³⁶),
        3  // Prime subrelation (checks result in native field)
    };
 
    template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
    static void accumulate(ContainerOverSubrelations& accumulators,
                           const AllEntities& in,
                           const Parameters& params,
                           const FF& scaling_factor);
};
 
template <typename FF>
using GoblinTranslatorNonNativeFieldRelation = Relation<GoblinTranslatorNonNativeFieldRelationImpl<FF>>;
 
} // namespace proof_system