mina_tree::proofs::field

Type Alias GroupAffine

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

Aliased Type§

pub struct GroupAffine<F> {}

Trait Implementations§

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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