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

module AffineEdwards : 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