Type Alias GroupAffine

pub type GroupAffine<F> = GroupAffine<<F as FieldWitness>::Parameters>;

Aliased Type

pub struct GroupAffine<F> {
    pub x: <<F as FieldWitness>::Parameters as ModelParameters>::BaseField,
    pub y: <<F as FieldWitness>::Parameters as ModelParameters>::BaseField,
    pub infinity: bool,
    /* private fields */
}

Fields

x: <<F as FieldWitness>::Parameters as ModelParameters>::BaseField

y: <<F as FieldWitness>::Parameters as ModelParameters>::BaseField

infinity: bool

Trait Implementations

impl<F: FieldWitness> Check<F> for GroupAffine<F>

fn check(&self, w: &mut Witness<F>)

impl<F: FieldWitness> ToFieldElements<F> for GroupAffine<F>

fn to_field_elements(&self, fields: &mut Vec<F>)

fn to_field_elements_owned(&self) -> Vec<F>