ecc_point_table_relation.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Raju], commit: 2a49eb6 }
// 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 ECCVMPointTableRelationImpl {
  public:
    using FF = FF_;
 
    // Named subrelation indices — matches SUBRELATION_PARTIAL_LENGTHS ordering.
    enum SubrelationIndex : size_t {
        // Point doubling: Dx = 2*Tx when point_transition = 1
        DOUBLE_X = 0,
        DOUBLE_Y = 1,
        // D propagation: Dx_shift = Dx when not at transition
        D_PROPAGATE_X = 2,
        D_PROPAGATE_Y = 3,
        // Point addition: T = T_shift + D when not at transition
        ADD_X = 4,
        ADD_Y = 5,
        NUM_SUBRELATIONS,
    };
 
    static constexpr std::array<size_t, 6> SUBRELATION_PARTIAL_LENGTHS{ 6, 6, 6, 6, 6, 6 };
    static_assert(NUM_SUBRELATIONS == SUBRELATION_PARTIAL_LENGTHS.size());
 
    template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
    static void accumulate(ContainerOverSubrelations& accumulator,
                           const AllEntities& in,
                           const Parameters& /* unused */,
                           const FF& scaling_factor);
};
 
template <typename FF> using ECCVMPointTableRelation = Relation<ECCVMPointTableRelationImpl<FF>>;
 
} // namespace bb