package hacl-star-raw

  1. Overview
  2. Docs
package hacl-star-raw
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

val hacl_Bignum_Convert_bn_from_bytes_be_uint64 : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Convert_bn_to_bytes_be_uint64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val hacl_Bignum_Lib_bn_get_top_index_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 F.return) F.result
val hacl_Bignum_Lib_bn_get_top_index_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 F.return) F.result
val hacl_Bignum_Addition_bn_sub_eq_len_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 F.return) F.result
val hacl_Bignum_Addition_bn_sub_eq_len_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 F.return) F.result
val hacl_Bignum_Addition_bn_add_eq_len_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 F.return) F.result
val hacl_Bignum_Addition_bn_add_eq_len_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 F.return) F.result
val hacl_Bignum_Karatsuba_bn_karatsuba_mul_uint32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Karatsuba_bn_karatsuba_mul_uint64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Karatsuba_bn_karatsuba_sqr_uint32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Karatsuba_bn_karatsuba_sqr_uint64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_bn_add_mod_n_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_bn_add_mod_n_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_bn_sub_mod_n_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_bn_sub_mod_n_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_ModInvLimb_mod_inv_uint32 : (Unsigned.uint32 -> Unsigned.uint32 F.return) F.result
val hacl_Bignum_ModInvLimb_mod_inv_uint64 : (Unsigned.uint64 -> Unsigned.uint64 F.return) F.result
val hacl_Bignum_Montgomery_bn_check_modulus_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 F.return) F.result
val hacl_Bignum_Montgomery_bn_precomp_r2_mod_n_u32 : (Unsigned.uint32 -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_mont_reduction_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_to_mont_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_from_mont_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_mont_mul_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_mont_sqr_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_check_modulus_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 F.return) F.result
val hacl_Bignum_Montgomery_bn_precomp_r2_mod_n_u64 : (Unsigned.uint32 -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_mont_reduction_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_to_mont_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_from_mont_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_mont_mul_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Montgomery_bn_mont_sqr_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_check_mod_exp_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_vartime_precomp_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_consttime_precomp_u32 : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_vartime_u32 : (Unsigned.uint32 -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_consttime_u32 : (Unsigned.uint32 -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_check_mod_exp_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_vartime_precomp_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_consttime_precomp_u64 : (Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_vartime_u64 : (Unsigned.uint32 -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Bignum_Exponentiation_bn_mod_exp_consttime_u64 : (Unsigned.uint32 -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
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