Jubjub (mavkit-libs.Mec.Curve.Jubjub)

module AffineEdwards : sig ... end

module AffineWeierstrass : sig ... end

module AffineMontgomery : sig ... end

val from_affine_edwards_to_affine_montgomery : 
  AffineEdwards.t ->
  AffineMontgomery.t option

val from_affine_montgomery_to_affine_edwards : 
  AffineMontgomery.t ->
  AffineEdwards.t option

val from_affine_montgomery_to_affine_weierstrass : 
  AffineMontgomery.t ->
  AffineWeierstrass.t option

val from_affine_edwards_to_affine_weierstrass : 
  AffineEdwards.t ->
  AffineWeierstrass.t option