Trait zero_crypto::behave::Projective

pub trait Projective: ParityCmp + Basic + Ring + Mul<Self::ScalarField, Output = Self> {
    type ScalarField: PrimeField;
    type RangeField: PrimeField;
    type Affine: Affine;

    const PARAM_A: Self::RangeField;
    const PARAM_B: Self::RangeField;

    fn to_affine(self) -> Self::Affine;
    fn is_identity(self) -> bool;
    fn double(self) -> Self;
    fn is_on_curve(self) -> bool;
    fn get_x(&self) -> Self::RangeField;
    fn get_y(&self) -> Self::RangeField;
    fn get_z(&self) -> Self::RangeField;
    fn set_x(&mut self, value: Self::RangeField);
    fn set_y(&mut self, value: Self::RangeField);
    fn set_z(&mut self, value: Self::RangeField);
}

Required Associated Types

type ScalarField: PrimeField

type RangeField: PrimeField

type Affine: Affine

Required Associated Constants

const PARAM_A: Self::RangeField

const PARAM_B: Self::RangeField

Required Methods

fn to_affine(self) -> Self::Affine

fn is_identity(self) -> bool

fn double(self) -> Self

fn is_on_curve(self) -> bool

fn get_x(&self) -> Self::RangeField

fn get_y(&self) -> Self::RangeField

fn get_z(&self) -> Self::RangeField

fn set_x(&mut self, value: Self::RangeField)

fn set_y(&mut self, value: Self::RangeField)

fn set_z(&mut self, value: Self::RangeField)

Implementors