Function hacl_sys::Hacl_RSAPSS_rsapss_verify

pub unsafe extern "C" fn Hacl_RSAPSS_rsapss_verify(
    a: Spec_Hash_Definitions_hash_alg,
    modBits: u32,
    eBits: u32,
    pkey: *mut u64,
    saltLen: u32,
    sgntLen: u32,
    sgnt: *mut u8,
    msgLen: u32,
    msg: *mut u8
) -> bool

Verify the signature sgnt of a message msg.

@param a Hash algorithm to use. @param modBits Count of bits in the modulus (n). @param eBits Count of bits in e value. @param pkey Pointer to public key created by Hacl_RSAPSS_new_rsapss_load_pkey. @param saltLen Length of salt. @param sgntLen Length of signature. @param sgnt Pointer to sgntLen bytes where the signature is read from. @param msgLen Length of message. @param msg Pointer to msgLen bytes where the message is read from.

@return Returns true if and only if the signature is valid.