Function hacl_sys::Hacl_P256_ecdsa_verif_p256_sha384

pub unsafe extern "C" fn Hacl_P256_ecdsa_verif_p256_sha384(
    msg_len: u32,
    msg: *mut u8,
    public_key: *mut u8,
    signature_r: *mut u8,
    signature_s: *mut u8
) -> bool

Verify an ECDSA signature using SHA2-384.

The function returns true if the signature is valid and false otherwise.

The argument msg points to msg_len bytes of valid memory, i.e., uint8_t[msg_len]. The argument public_key (x || y) points to 64 bytes of valid memory, i.e., uint8_t[64]. The arguments signature_r and signature_s point to 32 bytes of valid memory, i.e., uint8_t[32].

The function also checks whether public_key is valid