G1PointTrait

Fully qualified path: garaga::ec::ec_ops::G1PointTrait

pub trait G1PointTrait

Trait functions

assert_on_curve_excluding_infinity

Fully qualified path: garaga::ec::ec_ops::G1PointTrait::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::G1PointTrait::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::G1PointTrait::negate

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

assert_in_subgroup_excluding_infinity

Fully qualified path: garaga::ec::ec_ops::G1PointTrait::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::G1PointTrait::is_infinity

fn is_infinity(self: @G1Point) -> bool

update_hash_state

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

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