Trait snarkvm_wasm::traits::curves::CompressedGroupGadget

pub trait CompressedGroupGadget<G, F>: GroupGadget<G, F> where
    G: Group + ProjectiveCurve,
    F: Field, {
    type BaseFieldGadget: AllocGadget<<<G as ProjectiveCurve>::Affine as AffineCurve>::BaseField, F> + EqGadget<F> + CondSelectGadget<F> + ToBytesGadget<F> + Clone + Debug;
    pub fn to_x_coordinate(&self) -> Self::BaseFieldGadget;
}

Associated Types

type BaseFieldGadget: AllocGadget<<<G as ProjectiveCurve>::Affine as AffineCurve>::BaseField, F> + EqGadget<F> + CondSelectGadget<F> + ToBytesGadget<F> + Clone + Debug

Loading content...

Required methods

pub fn to_x_coordinate(&self) -> Self::BaseFieldGadget

Loading content...

Implementors

impl<P, F, FG> CompressedGroupGadget<GroupProjective<P>, F> for AffineGadget<P, F, FG> where
    P: TEModelParameters,
    F: Field,
    FG: FieldGadget<<P as ModelParameters>::BaseField, F>, 

type BaseFieldGadget = FG

pub fn to_x_coordinate(
    &self
) -> <AffineGadget<P, F, FG> as CompressedGroupGadget<GroupProjective<P>, F>>::BaseFieldGadget

Loading content...