package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-libs.mec/Mec/Curve/Utils/Functor/index.html
Module Utils.FunctorSource
Source
module MakeJacobianWeierstrass
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endSource
module MakeAffineWeierstrass
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endSource
module MakeProjectiveWeierstrass
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endSource
module MakeAffineMontgomery
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endSource
module MakeAffineEdwards
(Base : Bls12_381.Ff_sig.PRIME)
(Scalar : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endSource
val from_affine_weierstrass_to_jacobian_weierstrass :
(module Mec__.Ec_sig.AffineWeierstrassT
with type t = 'affine
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.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__.Ec_sig.JacobianWeierstrassT
with type t = 'jacobian
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.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__.Ec_sig.AffineWeierstrassT
with type t = 'affine
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.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__.Ec_sig.ProjectiveWeierstrassT
with type t = 'projective
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.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__.Ec_sig.AffineMontgomeryT
with type t = 'affine_mt
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.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__.Ec_sig.AffineMontgomeryT
with type t = 'affine_mt
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.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__.Ec_sig.AffineEdwardsT
with type t = 'affine_tw
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
(module Mec__.Ec_sig.AffineMontgomeryT
with type t = 'affine_mt
and type Base.t = 'base
and type Scalar.t = 'scalar) ->
'affine_tw ->
'affine_mt option