Function hacl_sys::Hacl_P256_compressed_to_raw

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

Convert a public key from compressed 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 33 bytes of valid memory, i.e., uint8_t[33].

The function also checks whether (x, y) is a valid point.