mec 0.1.0 · OCaml Package

module MakeJacobianWeierstrass
  (Fq : Ff_sig.PRIME)
  (Fp : Ff_sig.PRIME)
  (Params : sig ... end) : 
  Mec_curve_sig.Ec_sig.JacobianWeierstrassT
    with type Scalar.t = Fp.t
     and type Base.t = Fq.t

module MakeAffineWeierstrass
  (Fq : Ff_sig.PRIME)
  (Fp : Ff_sig.PRIME)
  (Params : sig ... end) : 
  Mec_curve_sig.Ec_sig.AffineWeierstrassT
    with type Scalar.t = Fp.t
     and type Base.t = Fq.t

module MakeProjectiveWeierstrass
  (Fq : Ff_sig.PRIME)
  (Fp : Ff_sig.PRIME)
  (Params : sig ... end) : 
  Mec_curve_sig.Ec_sig.ProjectiveWeierstrassT
    with type Scalar.t = Fp.t
     and type Base.t = Fq.t

module MakeAffineMontgomery
  (Fq : Ff_sig.PRIME)
  (Fp : Ff_sig.PRIME)
  (Params : sig ... end) : 
  Mec_curve_sig.Ec_sig.AffineMontgomeryT
    with type Scalar.t = Fp.t
     and type Base.t = Fq.t

module MakeAffineEdwards
  (Base : Ff_sig.PRIME)
  (Scalar : Ff_sig.PRIME)
  (Params : sig ... end) : 
  Mec_curve_sig.Ec_sig.AffineEdwardsT
    with type Base.t = Base.t
     and type Scalar.t = Scalar.t

val from_affine_weierstrass_to_jacobian_weierstrass : 
  (module Mec_curve_sig.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.JacobianWeierstrassT
    with type t = 'jacobian
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine0 ->
  'jacobian0

val from_jacobian_weierstrass_to_affine_weierstrass : 
  (module Mec_curve_sig.Ec_sig.JacobianWeierstrassT
    with type t = 'jacobian
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'jacobian0 ->
  'affine0

val from_affine_weierstrass_to_projective_weierstrass : 
  (module Mec_curve_sig.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.ProjectiveWeierstrassT
    with type t = 'projective
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine0 ->
  'projective0

val from_projective_weierstrass_to_affine_weierstrass : 
  (module Mec_curve_sig.Ec_sig.ProjectiveWeierstrassT
    with type t = 'projective
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'projective0 ->
  'affine0

val from_affine_montgomery_to_affine_weierstrass : 
  (module Mec_curve_sig.Ec_sig.AffineMontgomeryT
    with type t = 'affine_mt
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.AffineWeierstrassT
    with type t = 'affine_wt
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine_mt0 ->
  'affine_wt0 option

val from_affine_montgomery_to_affine_edwards : 
  (module Mec_curve_sig.Ec_sig.AffineMontgomeryT
    with type t = 'affine_mt
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.AffineEdwardsT
    with type t = 'affine_tw
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine_mt0 ->
  'affine_tw0 option

val from_affine_edwards_to_affine_montgomery : 
  (module Mec_curve_sig.Ec_sig.AffineEdwardsT
    with type t = 'affine_tw
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec_curve_sig.Ec_sig.AffineMontgomeryT
    with type t = 'affine_mt
     and type Base.t = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine_tw0 ->
  'affine_mt0 option

module MakeAffineEdwardsToAffineMontgomery
  (E : Mec_curve_sig.Ec_sig.AffineEdwardsT) : 
  Mec_curve_sig.Ec_sig.AffineMontgomeryT
    with module Base = E.Base
     and module Scalar = E.Scalar

package mec