translator_extra_relations.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/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)
    {
        // All contributions are zero outside the minicircuit or at odd indices not masked
        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
        4, // accumulator limb 0 is zero at the start of accumulation subrelation
        4, // accumulator limb 1 is zero at the start of accumulation subrelation
        4, // accumulator limb 2 is zero at the start of accumulation subrelation
        4, // accumulator limb 3 is zero at the start of accumulation subrelation
        4, // accumulator limb 0 is equal to given result at the end of accumulation subrelation
        4, // accumulator limb 1 is equal to given result at the end of accumulation subrelation
        4, // accumulator limb 2 is equal to given result at the end of accumulation subrelation
        4  // 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 or at even indices within the minicircuite excluding
        // masked areas (except from the last and result row in minicircuit)
        return (in.lagrange_odd_in_minicircuit + in.lagrange_last_in_minicircuit + in.lagrange_result_row +
                in.lagrange_mini_masking)
            .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 = 4; // degree((some lagrange)(A)) = 2
 
    static constexpr std::array<size_t, 68> SUBRELATION_PARTIAL_LENGTHS{
        4, // p_x_low_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // p_x_low_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // p_x_low_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // p_x_low_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // p_x_low_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // p_x_high_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // p_x_high_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // p_x_high_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // p_x_high_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // p_x_high_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // p_y_low_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // p_y_low_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // p_y_low_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // p_y_low_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // p_y_low_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // p_y_high_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // p_y_high_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // p_y_high_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // p_y_high_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // p_y_high_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // z_low_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // z_low_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // z_low_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // z_low_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // z_low_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // z_high_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // z_high_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // z_high_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // z_high_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // z_high_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // accumulator_low_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // accumulator_low_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // accumulator_low_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // accumulator_low_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // accumulator_low_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // accumulator_high_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // accumulator_high_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // accumulator_high_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // accumulator_high_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // accumulator_high_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // quotient_low_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // quotient_low_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // quotient_low_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // quotient_low_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // quotient_low_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // quotient_high_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // quotient_high_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // quotient_high_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // quotient_high_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // quotient_high_limbs_range_constraint_4 is zero outside of the minicircuit
        4, // relation_wide_limbs_range_constraint_0 is zero outside of the minicircuit
        4, // relation_wide_limbs_range_constraint_1 is zero outside of the minicircuit
        4, // relation_wide_limbs_range_constraint_2 is zero outside of the minicircuit
        4, // relation_wide_limbs_range_constraint_3 is zero outside of the minicircuit
        4, // p_x_low_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // p_x_high_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // p_y_low_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // p_y_high_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // z_low_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // z_high_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // accumulator_low_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // accumulator_high_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // quotient_low_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // quotient_high_limbs_range_constraint_tail is zero outside of the minicircuit
        4, // op is zero outside of the minicircuit
        4, // x_lo_y_hi is zero outside of the minicircuit
        4, // x_hi_z_1 is zero outside of the minicircuit
        4, // y_lo_z_2 is zero outside of the minicircuit
 
    };
 
    template <typename AllEntities> static bool skip(const AllEntities& in)
    {
        // All contributions are identically zero if outside the minicircuit and masked area or when we have a
        // no-op (i.e. op is zero at an even index)
        static constexpr auto minus_one = -FF(1);
        return (in.lagrange_even_in_minicircuit + in.op + minus_one).is_zero() ||
               (in.lagrange_odd_in_minicircuit + 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& 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