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