Trait snarkvm_wasm::traits::CompressedGroupGadget

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

Required methods

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

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