ecc_bools_short_relation.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/ecc_vm/ecc_bools_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_short_monomial_relation_utils.hpp"
#include "barretenberg/relations/relation_types.hpp"
 
namespace bb {
 
template <typename FF_> class ECCVMBoolsTranscriptShortRelationImpl {
  public:
    using FF = FF_;
 
    static constexpr std::array<size_t, 13> SUBRELATION_PARTIAL_LENGTHS{ 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3 };
 
    template <typename AllEntities> inline static bool skip(const AllEntities& in)
    {
        return (in.transcript_eq + in.transcript_add + in.transcript_mul + in.transcript_reset_accumulator +
                in.transcript_msm_transition + in.transcript_accumulator_not_empty + in.transcript_z1zero +
                in.transcript_z2zero + in.transcript_add_x_equal + in.transcript_add_y_equal +
                in.transcript_base_infinity + in.transcript_msm_infinity + in.transcript_msm_count_zero_at_transition)
            .is_zero();
    }
 
    template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
    static void accumulate(ContainerOverSubrelations& accumulator,
                           const AllEntities& in,
                           const Parameters& params,
                           const FF& scaling_factor);
};
 
template <typename FF_> class ECCVMBoolsMsmShortRelationImpl {
  public:
    using FF = FF_;
 
    static constexpr std::array<size_t, 10> SUBRELATION_PARTIAL_LENGTHS{ 3, 3, 3, 3, 3, 3, 3, 3, 3, 3 };
 
    template <typename AllEntities> inline static bool skip(const AllEntities& in)
    {
        return (in.msm_transition + in.precompute_point_transition + in.msm_add + in.msm_double + in.msm_skew +
                in.precompute_select + in.msm_add1 + in.msm_add2 + in.msm_add3 + in.msm_add4)
            .is_zero();
    }
 
    template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
    static void accumulate(ContainerOverSubrelations& accumulator,
                           const AllEntities& in,
                           const Parameters& params,
                           const FF& scaling_factor);
};
 
template <typename FF> using ECCVMBoolsTranscriptShortRelation = Relation<ECCVMBoolsTranscriptShortRelationImpl<FF>>;
 
template <typename FF> using ECCVMBoolsMsmShortRelation = Relation<ECCVMBoolsMsmShortRelationImpl<FF>>;
 
} // namespace bb