package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct