standard_affine_point.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <ostream>
 
namespace bb::avm2 {
 
template <typename AffinePoint> class StandardAffinePoint {
  public:
    using BaseField = AffinePoint::Fq;
    using ScalarField = AffinePoint::Fr;
 
    constexpr StandardAffinePoint() noexcept = default;
 
    constexpr StandardAffinePoint(AffinePoint val) noexcept
        : point(val)
        , x_coord(val.x)
        , y_coord(val.y)
    {}
 
    constexpr StandardAffinePoint(BaseField x, BaseField y, bool is_infinity) noexcept
        : point(is_infinity ? AffinePoint::infinity() : AffinePoint(x, y))
        , x_coord(x)
        , y_coord(y)
    {}
 
    constexpr StandardAffinePoint operator+(const StandardAffinePoint& other) const noexcept
    {
        AffinePoint result = point + other.point;
        if (result.is_point_at_infinity()) {
            // If the result is infinity, we need to normalise it to (0,0) to match noir outputs.
            return StandardAffinePoint::infinity();
        }
        return StandardAffinePoint(result);
    }
 
    constexpr StandardAffinePoint operator*(const ScalarField& exponent) const noexcept
    {
        AffinePoint result = point * exponent;
        if (result.is_point_at_infinity()) {
            // If the result is infinity, we need to normalise it to (0,0) to match noir outputs.
            return StandardAffinePoint::infinity();
        }
        return StandardAffinePoint(result);
    }
 
    constexpr bool operator==(const StandardAffinePoint& other) const noexcept
    {
        return (this == &other || point == other.point);
    }
 
    constexpr StandardAffinePoint operator-() const noexcept
    {
        // Negating infinity returns itself, preserving raw coordinates.
        if (point.is_point_at_infinity()) {
            return *this;
        }
        return StandardAffinePoint(-point);
    }
 
    [[nodiscard]] constexpr bool is_infinity() const noexcept { return point.is_point_at_infinity(); }
 
    [[nodiscard]] constexpr bool on_curve() const noexcept { return point.on_curve(); }
 
    // Always returns the raw coordinates, when an operation results in infinity these will be (0,0).
    // If a point at infinity is constructed with non-zero coordinates, we likely want to preserve those.
    constexpr const BaseField& x() const noexcept { return x_coord; }
 
    constexpr const BaseField& y() const noexcept { return y_coord; }
 
    static const StandardAffinePoint& infinity()
    {
        static auto infinity = StandardAffinePoint(zero, zero, true);
        return infinity;
    }
 
    static const StandardAffinePoint& one()
    {
        static auto one = StandardAffinePoint(AffinePoint::one());
        return one;
    }
 
  private:
    // The affine point for operations, this will always match the raw coordinates unless the point is infinity.
    // In that case, the point will be set to barretenberg's infinity representation - which is not (0,0).
    AffinePoint point;
    // These are the raw x and y coordinates, that are set when constructing the point. When an operation results
    // in infinity, these will be set to (0,0) to match noir's expected representation.
    BaseField x_coord = zero;
    BaseField y_coord = zero;
    static constexpr const auto zero = BaseField::zero();
};
 
template <typename T> std::ostream& operator<<(std::ostream& os, const StandardAffinePoint<T>& point)
{
    os << "StandardAffinePoint(" << point.x() << ", " << point.y() << ", " << point.is_infinity() << ")";
    return os;
}
 
} // namespace bb::avm2