Trait snarkvm_gadgets::traits::curves::group::CurveGadget

source · [−]

pub trait CurveGadget<G: ProjectiveCurve, F: Field>: GroupGadget<G, F, Value = G> + AllocGadget<G::Affine, F> { }

Implementors

impl<P, F, FG> CurveGadget<Projective<P>, F> for snarkvm_gadgets::curves::templates::bls12::affine::AffineGadget<P, F, FG> where
    P: ShortWeierstrassParameters,
    F: PrimeField,
    FG: FieldGadget<P::BaseField, F>,

impl<P: TwistedEdwardsParameters, F: Field, FG: FieldGadget<P::BaseField, F>> CurveGadget<Projective<P>, F> for snarkvm_gadgets::curves::templates::twisted_edwards::AffineGadget<P, F, FG>