Function p256_cortex_m4_sys::P256_check_range_n[][src]

pub unsafe extern "C" fn P256_check_range_n(a: *const u32) -> bool

Checks that the argument, as little-endian integer, is a reduced non-zero element of the scalar field.

In other words, that it is in the range 1..=n-1, where n = 2^256 - 2^224 + 2^192 - 0x4319055258e8617b0c46353d039cdaaf.