pub unsafe extern "C" fn Hacl_P256_uncompressed_to_raw(
    pk: *mut u8,
    pk_raw: *mut u8
) -> bool
Expand description

Convert a public key from uncompressed to its raw form.

The function returns true for successful conversion of a public key and false otherwise.

The outparam pk_raw points to 64 bytes of valid memory, i.e., uint8_t[64]. The argument pk points to 65 bytes of valid memory, i.e., uint8_t[65].

The function DOESN’T check whether (x, y) is a valid point.