Trait snarkvm_wasm::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