package mec
Mec - Mini Elliptic Curve library
Install
dune-project
Dependency
Authors
Maintainers
Sources
ocaml-ec-0.1.0.tar.bz2
md5=7c68b531c8011b5d032f0a0d8523e8c5
sha512=f428751c5f2b7c7fc07548551bea0277c9c8c32c1052aecf22787188e7678939dbb091844e29178b2819d724cf843c65774d9211c0a0ede5bf71caff3f2dd1bc
doc/mec_curve_utils/Mec_curve_utils/Ec/index.html
Module Mec_curve_utils.EcSource
Source
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.tSource
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.tSource
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.tSource
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.tSource
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.tSource
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 = 'base
and type Scalar.t = 'scalar) ->
'affine ->
'jacobianSource
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 = 'base
and type Scalar.t = 'scalar) ->
'jacobian ->
'affineSource
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 = 'base
and type Scalar.t = 'scalar) ->
'affine ->
'projectiveSource
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 = 'base
and type Scalar.t = 'scalar) ->
'projective ->
'affineSource
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 = 'base
and type Scalar.t = 'scalar) ->
'affine_mt ->
'affine_wt optionSource
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 = 'base
and type Scalar.t = 'scalar) ->
'affine_mt ->
'affine_tw optionSource
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 = 'base
and type Scalar.t = 'scalar) ->
'affine_tw ->
'affine_mt optionSource
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