bb::avm2::StandardAffinePoint< AffinePoint > Class Template Reference

#include <standard_affine_point.hpp>

Public Types
using	BaseField = AffinePoint::Fq
using	ScalarField = AffinePoint::Fr

Public Member Functions
constexpr	StandardAffinePoint () noexcept=default
constexpr	StandardAffinePoint (AffinePoint val) noexcept
constexpr	StandardAffinePoint (BaseField x, BaseField y, bool is_infinity) noexcept
constexpr StandardAffinePoint	operator+ (const StandardAffinePoint &other) const noexcept
constexpr StandardAffinePoint	operator* (const ScalarField &exponent) const noexcept
constexpr bool	operator== (const StandardAffinePoint &other) const noexcept
constexpr StandardAffinePoint	operator- () const noexcept
constexpr bool	is_infinity () const noexcept
constexpr bool	on_curve () const noexcept
constexpr const BaseField &	x () const noexcept
constexpr const BaseField &	y () const noexcept

Static Public Member Functions
static const StandardAffinePoint &	infinity ()
static const StandardAffinePoint &	one ()

Private Attributes
AffinePoint	point

Static Private Attributes
static constexpr const auto	zero = BaseField::zero()

Detailed Description

template<typename AffinePoint>
class bb::avm2::StandardAffinePoint< AffinePoint >

AVM bytecode expects the representation of points to be triplets, the two coordinates and an is_infinity boolean. Furthermore, its representation of infinity is inherited from noir's and is expected to be 0,0,true. BB, however, uses only the two coordinates to represent points. Infinity in barretenberg is represented as (P+1)/2,0. This class is a wrapper of the BB representation, needed to operate with points, that allows to extract the standard representation that AVM bytecode expects.

Definition at line 15 of file standard_affine_point.hpp.

Member Typedef Documentation

BaseField

template<typename AffinePoint >

using bb::avm2::StandardAffinePoint< AffinePoint >::BaseField = AffinePoint::Fq

Definition at line 17 of file standard_affine_point.hpp.

ScalarField

template<typename AffinePoint >

using bb::avm2::StandardAffinePoint< AffinePoint >::ScalarField = AffinePoint::Fr

Definition at line 18 of file standard_affine_point.hpp.

Constructor & Destructor Documentation

StandardAffinePoint() [1/3]

template<typename AffinePoint >

constexpr bb::avm2::StandardAffinePoint< AffinePoint >::StandardAffinePoint ( )

constexprdefaultnoexcept

StandardAffinePoint() [2/3]

template<typename AffinePoint >

constexpr bb::avm2::StandardAffinePoint< AffinePoint >::StandardAffinePoint ( AffinePoint  val )

inlineconstexprnoexcept

Definition at line 22 of file standard_affine_point.hpp.

StandardAffinePoint() [3/3]

template<typename AffinePoint >

constexpr bb::avm2::StandardAffinePoint< AffinePoint >::StandardAffinePoint ( BaseField  x, BaseField  y, bool  is_infinity  )

inlineconstexprnoexcept

Definition at line 26 of file standard_affine_point.hpp.

Member Function Documentation

infinity()

template<typename AffinePoint >

static const StandardAffinePoint & bb::avm2::StandardAffinePoint< AffinePoint >::infinity ( )

inlinestatic

Definition at line 55 of file standard_affine_point.hpp.

is_infinity()

template<typename AffinePoint >

constexpr bool bb::avm2::StandardAffinePoint< AffinePoint >::is_infinity ( ) const

inlineconstexprnoexcept

Definition at line 47 of file standard_affine_point.hpp.

on_curve()

template<typename AffinePoint >

constexpr bool bb::avm2::StandardAffinePoint< AffinePoint >::on_curve ( ) const

inlineconstexprnoexcept

Definition at line 49 of file standard_affine_point.hpp.

one()

template<typename AffinePoint >

static const StandardAffinePoint & bb::avm2::StandardAffinePoint< AffinePoint >::one ( )

inlinestatic

Definition at line 61 of file standard_affine_point.hpp.

operator*()

template<typename AffinePoint >

constexpr StandardAffinePoint bb::avm2::StandardAffinePoint< AffinePoint >::operator* ( const ScalarField &  exponent ) const

inlineconstexprnoexcept

Definition at line 35 of file standard_affine_point.hpp.

operator+()

template<typename AffinePoint >

constexpr StandardAffinePoint bb::avm2::StandardAffinePoint< AffinePoint >::operator+ ( const StandardAffinePoint< AffinePoint > &  other ) const

inlineconstexprnoexcept

Definition at line 30 of file standard_affine_point.hpp.

operator-()

template<typename AffinePoint >

constexpr StandardAffinePoint bb::avm2::StandardAffinePoint< AffinePoint >::operator- ( ) const

inlineconstexprnoexcept

Definition at line 45 of file standard_affine_point.hpp.

operator==()

template<typename AffinePoint >

constexpr bool bb::avm2::StandardAffinePoint< AffinePoint >::operator== ( const StandardAffinePoint< AffinePoint > &  other ) const

inlineconstexprnoexcept

Definition at line 40 of file standard_affine_point.hpp.

x()

template<typename AffinePoint >

constexpr const BaseField & bb::avm2::StandardAffinePoint< AffinePoint >::x ( ) const

inlineconstexprnoexcept

Definition at line 51 of file standard_affine_point.hpp.

y()

template<typename AffinePoint >

constexpr const BaseField & bb::avm2::StandardAffinePoint< AffinePoint >::y ( ) const

inlineconstexprnoexcept

Definition at line 53 of file standard_affine_point.hpp.

Member Data Documentation

point

template<typename AffinePoint >

AffinePoint bb::avm2::StandardAffinePoint< AffinePoint >::point

private

Definition at line 68 of file standard_affine_point.hpp.

zero

template<typename AffinePoint >

constexpr const auto bb::avm2::StandardAffinePoint< AffinePoint >::zero = BaseField::zero()

staticconstexprprivate

Definition at line 69 of file standard_affine_point.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/vm2/common/standard_affine_point.hpp