package octez-libs

  1. Overview
  2. Docs
module MakeAffineWeierstrass (Fq : Bls12_381.Ff_sig.PRIME) (Fp : Bls12_381.Ff_sig.PRIME) (Params : sig ... end) : sig ... end
module MakeAffineMontgomery (Fq : Bls12_381.Ff_sig.PRIME) (Fp : Bls12_381.Ff_sig.PRIME) (Params : sig ... end) : sig ... end
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 = 'base0 and type Scalar.t = 'scalar0) -> 'affine0 -> 'jacobian0
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 = 'base0 and type Scalar.t = 'scalar0) -> 'jacobian0 -> 'affine0
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 = 'base0 and type Scalar.t = 'scalar0) -> 'affine0 -> 'projective0
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 = 'base0 and type Scalar.t = 'scalar0) -> 'projective0 -> 'affine0
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 = 'base0 and type Scalar.t = 'scalar0) -> 'affine_mt0 -> 'affine_wt0 option
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 = 'base0 and type Scalar.t = 'scalar0) -> 'affine_mt0 -> 'affine_tw0 option
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 = 'base0 and type Scalar.t = 'scalar0) -> 'affine_tw0 -> 'affine_mt0 option
module MakeAffineEdwardsToAffineMontgomery (E : sig ... end) : sig ... end
OCaml

Innovation. Community. Security.