G1PointImpl

Fully qualified path: garaga::ec::ec_ops::G1PointImpl

pub impl G1PointImpl of G1PointTrait;

Impl functions

assert_on_curve_excluding_infinity

Fully qualified path: garaga::ec::ec_ops::G1PointImpl::assert_on_curve_excluding_infinity

fn assert_on_curve_excluding_infinity(self: @G1Point, curve_index: u32)

is_on_curve_excluding_infinity

Fully qualified path: garaga::ec::ec_ops::G1PointImpl::is_on_curve_excluding_infinity

fn is_on_curve_excluding_infinity(self: @G1Point, curve_index: u32) -> bool

negate

Fully qualified path: garaga::ec::ec_ops::G1PointImpl::negate

fn negate(self: @G1Point, curve_index: u32) -> G1Point

assert_in_subgroup_excluding_infinity

Fully qualified path: garaga::ec::ec_ops::G1PointImpl::assert_in_subgroup_excluding_infinity

fn assert_in_subgroup_excluding_infinity(self: @G1Point, curve_index: u32)

is_infinity

Fully qualified path: garaga::ec::ec_ops::G1PointImpl::is_infinity

fn is_infinity(self: @G1Point) -> bool

update_hash_state

Fully qualified path: garaga::ec::ec_ops::G1PointImpl::update_hash_state

fn update_hash_state(
    self: @G1Point, s0: felt252, s1: felt252, s2: felt252,
) -> (felt252, felt252, felt252)