Function hacl_sys::Hacl_P256_raw_to_compressed

pub unsafe extern "C" fn Hacl_P256_raw_to_compressed(
    pk_raw: *mut u8,
    pk: *mut u8
)

Convert a public key from raw to its compressed form.

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

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