translator_extra_relations.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"
 
namespace bb {
 
template <typename FF_> class TranslatorOpcodeConstraintRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    static constexpr size_t RELATION_LENGTH = 6;
    static constexpr std::array<size_t, 5> SUBRELATION_PARTIAL_LENGTHS{
        6, // opcode constraint relation
        6, // opcode constraint relation
        6, // opcode constraint relation
        6, // opcode constraint relation
        6  // opcode constraint relation
    };
 
    template <typename AllEntities> static bool skip(const AllEntities& in)
    {
        // Skip evaluation when not at even indices in the minicircuit and not in the masking area
        // as the contribution is zero in these regions.
        return (in.lagrange_even_in_minicircuit + in.lagrange_mini_masking).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_> class TranslatorAccumulatorTransferRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    static constexpr size_t RELATION_LENGTH = 4; // degree((SOME_LAGRANGE)(A-B)) = 2
    static constexpr std::array<size_t, 12> SUBRELATION_PARTIAL_LENGTHS{
        4, // transfer accumulator limb 0 at odd index subrelation
        4, // transfer accumulator limb 1 at odd index subrelation
        4, // transfer accumulator limb 2 at odd index subrelation
        4, // transfer accumulator limb 3 at odd index subrelation
        3, // accumulator limb 0 is zero at the start of accumulation subrelation
        3, // accumulator limb 1 is zero at the start of accumulation subrelation
        3, // accumulator limb 2 is zero at the start of accumulation subrelation
        3, // accumulator limb 3 is zero at the start of accumulation subrelation
        3, // accumulator limb 0 is equal to given result at the end of accumulation subrelation
        3, // accumulator limb 1 is equal to given result at the end of accumulation subrelation
        3, // accumulator limb 2 is equal to given result at the end of accumulation subrelation
        3  // accumulator limb 3 is equal to given result at the end of accumulation subrelation
 
    };
 
    template <typename AllEntities> static bool skip(const AllEntities& in)
    {
        // All contributions are zero outside the minicircuit and at even indices within the minicircuit
        // (except the last and result row in minicircuit)
        return (in.lagrange_odd_in_minicircuit + in.lagrange_last_in_minicircuit + in.lagrange_result_row).is_zero();
    }
    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_> class TranslatorZeroConstraintsRelationImpl {
  public:
    using FF = FF_;
 
    // 1 + polynomial degree of this relation
    static constexpr size_t RELATION_LENGTH = 3; // degree((some lagrange)(A)) = 2
 
    static constexpr std::array<size_t, 68> SUBRELATION_PARTIAL_LENGTHS{
        3, // p_x_low_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // p_x_low_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // p_x_low_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // p_x_low_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // p_x_low_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // p_x_high_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // p_x_high_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // p_x_high_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // p_x_high_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // p_x_high_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // p_y_low_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // p_y_low_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // p_y_low_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // p_y_low_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // p_y_low_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // p_y_high_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // p_y_high_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // p_y_high_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // p_y_high_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // p_y_high_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // z_low_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // z_low_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // z_low_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // z_low_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // z_low_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // z_high_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // z_high_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // z_high_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // z_high_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // z_high_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // accumulator_low_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // accumulator_low_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // accumulator_low_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // accumulator_low_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // accumulator_low_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // accumulator_high_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // accumulator_high_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // accumulator_high_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // accumulator_high_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // accumulator_high_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // quotient_low_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // quotient_low_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // quotient_low_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // quotient_low_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // quotient_low_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // quotient_high_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // quotient_high_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // quotient_high_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // quotient_high_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // quotient_high_limbs_range_constraint_4 is zero outside of the minicircuit
        3, // relation_wide_limbs_range_constraint_0 is zero outside of the minicircuit
        3, // relation_wide_limbs_range_constraint_1 is zero outside of the minicircuit
        3, // relation_wide_limbs_range_constraint_2 is zero outside of the minicircuit
        3, // relation_wide_limbs_range_constraint_3 is zero outside of the minicircuit
        3, // p_x_low_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // p_x_high_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // p_y_low_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // p_y_high_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // z_low_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // z_high_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // accumulator_low_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // accumulator_high_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // quotient_low_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // quotient_high_limbs_range_constraint_tail is zero outside of the minicircuit
        3, // op is zero outside of the minicircuit
        3, // x_lo_y_hi is zero outside of the minicircuit
        3, // x_hi_z_1 is zero outside of the minicircuit
        3, // y_lo_z_2 is zero outside of the minicircuit
    };
 
    template <typename AllEntities> static bool skip(const AllEntities& in)
    {
        // Skip evaluation when inside the minicircuit or in the masking area. The relation constrains
        // polynomials to be zero outside these regions.
        static constexpr auto minus_one = -FF(1);
        return (in.lagrange_odd_in_minicircuit + in.lagrange_even_in_minicircuit + in.lagrange_mini_masking + minus_one)
            .is_zero();
    }
    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 TranslatorOpcodeConstraintRelation = Relation<TranslatorOpcodeConstraintRelationImpl<FF>>;
 
template <typename FF>
using TranslatorAccumulatorTransferRelation = Relation<TranslatorAccumulatorTransferRelationImpl<FF>>;
 
template <typename FF> using TranslatorZeroConstraintsRelation = Relation<TranslatorZeroConstraintsRelationImpl<FF>>;
 
} // namespace bb