pub unsafe extern "C" fn Hacl_Ed25519_verify(
    public_key: *mut u8,
    msg_len: u32,
    msg: *mut u8,
    signature: *mut u8
) -> bool
Expand description

Verify an Ed25519 signature.

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

The argument public_key points to 32 bytes of valid memory, i.e., uint8_t[32]. The argument msg points to msg_len bytes of valid memory, i.e., uint8_t[msg_len]. The argument signature points to 64 bytes of valid memory, i.e., uint8_t[64].