Trait snarkvm_wasm::prelude::CompressedGroupGadget[−][src]

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

Associated Types

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

[src]

Required methods

fn to_x_coordinate(&self) -> Self::BaseFieldGadget[src]

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>,

[src]

type BaseFieldGadget = FG

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

[src]