Hazmat#
Hazmat:
- Bignum
- Available Implementations
- API Reference
- Loads and stores
Hacl_Bignum32_new_bn_from_bytes_be()Hacl_Bignum32_new_bn_from_bytes_le()Hacl_Bignum32_bn_to_bytes_be()Hacl_Bignum32_bn_to_bytes_le()Hacl_Bignum256_32_new_bn_from_bytes_be()Hacl_Bignum256_32_new_bn_from_bytes_le()Hacl_Bignum256_32_bn_to_bytes_be()Hacl_Bignum256_32_bn_to_bytes_le()Hacl_Bignum4096_32_new_bn_from_bytes_be()Hacl_Bignum4096_32_new_bn_from_bytes_le()Hacl_Bignum4096_32_bn_to_bytes_be()Hacl_Bignum4096_32_bn_to_bytes_le()Hacl_Bignum64_new_bn_from_bytes_be()Hacl_Bignum64_new_bn_from_bytes_le()Hacl_Bignum64_bn_to_bytes_be()Hacl_Bignum64_bn_to_bytes_le()Hacl_Bignum256_new_bn_from_bytes_be()Hacl_Bignum256_new_bn_from_bytes_le()Hacl_Bignum256_bn_to_bytes_be()Hacl_Bignum256_bn_to_bytes_le()Hacl_Bignum4096_new_bn_from_bytes_be()Hacl_Bignum4096_new_bn_from_bytes_le()Hacl_Bignum4096_bn_to_bytes_be()Hacl_Bignum4096_bn_to_bytes_le()
- Arithmetic functions
Hacl_Bignum32_add()Hacl_Bignum32_add_mod()Hacl_Bignum32_sub()Hacl_Bignum32_sub_mod()Hacl_Bignum32_mul()Hacl_Bignum32_sqr()Hacl_Bignum32_mod()Hacl_Bignum32_mod_exp_consttime()Hacl_Bignum32_mod_exp_vartime()Hacl_Bignum32_mod_inv_prime_vartime()Hacl_Bignum256_32_add()Hacl_Bignum256_32_add_mod()Hacl_Bignum256_32_sub()Hacl_Bignum256_32_sub_mod()Hacl_Bignum256_32_mul()Hacl_Bignum256_32_sqr()Hacl_Bignum256_32_mod()Hacl_Bignum256_32_mod_exp_consttime()Hacl_Bignum256_32_mod_exp_vartime()Hacl_Bignum256_32_mod_inv_prime_vartime()Hacl_Bignum4096_32_add()Hacl_Bignum4096_32_add_mod()Hacl_Bignum4096_32_sub()Hacl_Bignum4096_32_sub_mod()Hacl_Bignum4096_32_mul()Hacl_Bignum4096_32_sqr()Hacl_Bignum4096_32_mod()Hacl_Bignum4096_32_mod_exp_consttime()Hacl_Bignum4096_32_mod_exp_vartime()Hacl_Bignum4096_32_mod_inv_prime_vartime()Hacl_Bignum64_add()Hacl_Bignum64_add_mod()Hacl_Bignum64_sub()Hacl_Bignum64_sub_mod()Hacl_Bignum64_mul()Hacl_Bignum64_sqr()Hacl_Bignum64_mod()Hacl_Bignum64_mod_exp_consttime()Hacl_Bignum64_mod_exp_vartime()Hacl_Bignum64_mod_inv_prime_vartime()Hacl_Bignum256_add()Hacl_Bignum256_add_mod()Hacl_Bignum256_sub()Hacl_Bignum256_sub_mod()Hacl_Bignum256_mul()Hacl_Bignum256_sqr()Hacl_Bignum256_mod()Hacl_Bignum256_mod_exp_consttime()Hacl_Bignum256_mod_exp_vartime()Hacl_Bignum256_mod_inv_prime_vartime()Hacl_Bignum4096_add()Hacl_Bignum4096_add_mod()Hacl_Bignum4096_sub()Hacl_Bignum4096_sub_mod()Hacl_Bignum4096_mul()Hacl_Bignum4096_sqr()Hacl_Bignum4096_mod()Hacl_Bignum4096_mod_exp_consttime()Hacl_Bignum4096_mod_exp_vartime()Hacl_Bignum4096_mod_inv_prime_vartime()
- Comparisons
Hacl_Bignum32_lt_mask()Hacl_Bignum32_eq_mask()Hacl_Bignum256_32_lt_mask()Hacl_Bignum256_32_eq_mask()Hacl_Bignum4096_32_lt_mask()Hacl_Bignum4096_32_eq_mask()Hacl_Bignum64_lt_mask()Hacl_Bignum64_eq_mask()Hacl_Bignum256_lt_mask()Hacl_Bignum256_eq_mask()Hacl_Bignum4096_lt_mask()Hacl_Bignum4096_eq_mask()
- Arithmetic functions with precomputations
Hacl_Bignum32_pbn_mont_ctx_u32Hacl_Bignum32_mont_ctx_init()Hacl_Bignum32_mont_ctx_free()Hacl_Bignum32_mod_precomp()Hacl_Bignum32_mod_exp_consttime_precomp()Hacl_Bignum32_mod_exp_vartime_precomp()Hacl_Bignum32_mod_inv_prime_vartime_precomp()Hacl_Bignum256_32_mont_ctx_init()Hacl_Bignum256_32_mont_ctx_free()Hacl_Bignum256_32_mod_precomp()Hacl_Bignum256_32_mod_exp_consttime_precomp()Hacl_Bignum256_32_mod_exp_vartime_precomp()Hacl_Bignum256_32_mod_inv_prime_vartime_precomp()Hacl_Bignum4096_32_mont_ctx_init()Hacl_Bignum4096_32_mont_ctx_free()Hacl_Bignum4096_32_mod_precomp()Hacl_Bignum4096_32_mod_exp_consttime_precomp()Hacl_Bignum4096_32_mod_exp_vartime_precomp()Hacl_Bignum4096_32_mod_inv_prime_vartime_precomp()Hacl_Bignum64_pbn_mont_ctx_u64Hacl_Bignum64_mont_ctx_init()Hacl_Bignum64_mont_ctx_free()Hacl_Bignum64_mod_precomp()Hacl_Bignum64_mod_exp_consttime_precomp()Hacl_Bignum64_mod_exp_vartime_precomp()Hacl_Bignum64_mod_inv_prime_vartime_precomp()Hacl_Bignum256_mont_ctx_init()Hacl_Bignum256_mont_ctx_free()Hacl_Bignum256_mod_precomp()Hacl_Bignum256_mod_exp_consttime_precomp()Hacl_Bignum256_mod_exp_vartime_precomp()Hacl_Bignum256_mod_inv_prime_vartime_precomp()Hacl_Bignum4096_mont_ctx_init()Hacl_Bignum4096_mont_ctx_free()Hacl_Bignum4096_mod_precomp()Hacl_Bignum4096_mod_exp_consttime_precomp()Hacl_Bignum4096_mod_exp_vartime_precomp()Hacl_Bignum4096_mod_inv_prime_vartime_precomp()
- Loads and stores
- Montgomery Field Arithmetic
- Available Implementations
- API Reference
- Typedefs
- Functions
Hacl_GenericField32_field_modulus_check()Hacl_GenericField32_field_init()Hacl_GenericField32_field_free()Hacl_GenericField32_field_get_len()Hacl_GenericField32_to_field()Hacl_GenericField32_from_field()Hacl_GenericField32_add()Hacl_GenericField32_sub()Hacl_GenericField32_mul()Hacl_GenericField32_sqr()Hacl_GenericField32_one()Hacl_GenericField32_exp_consttime()Hacl_GenericField32_exp_vartime()Hacl_GenericField32_inverse()Hacl_GenericField64_field_modulus_check()Hacl_GenericField64_field_init()Hacl_GenericField64_field_free()Hacl_GenericField64_field_get_len()Hacl_GenericField64_to_field()Hacl_GenericField64_from_field()Hacl_GenericField64_add()Hacl_GenericField64_sub()Hacl_GenericField64_mul()Hacl_GenericField64_sqr()Hacl_GenericField64_one()Hacl_GenericField64_exp_consttime()Hacl_GenericField64_exp_vartime()Hacl_GenericField64_inverse()