Function hacl_sys::Hacl_Bignum64_mod_inv_prime_vartime

source · 
pub unsafe extern "C" fn Hacl_Bignum64_mod_inv_prime_vartime(
    len: u32,
    n: *mut u64,
    a: *mut u64,
    res: *mut u64
) -> bool
Expand description

Write a ^ (-1) mod n in res.

The arguments a, n and the outparam res are meant to be len limbs in size, i.e. uint64_t[len].

Before calling this function, the caller will need to ensure that the following preconditions are observed. • n is a prime

The function returns false if any of the following preconditions are violated, true otherwise. • n % 2 = 1 • 1 < n • 0 < a • a < n