Trait snarkvm_gadgets::traits::curves::group::CompressedGroupGadget

pub trait CompressedGroupGadget<G: Group + ProjectiveCurve, F: Field>: GroupGadget<G, F> {
    type BaseFieldGadget: ToBytesGadget<F> + EqGadget<F> + CondSelectGadget<F> + AllocGadget<<G::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::Affine as AffineCurve>::BaseField, F> + Clone + Debug

Required methods

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

Implementors

impl<P: TwistedEdwardsParameters, F: Field, FG: FieldGadget<P::BaseField, F>> CompressedGroupGadget<Projective<P>, F> for AffineGadget<P, F, FG>