hacl_sys

Function Hacl_RSAPSS_rsapss_sign

Source 
pub unsafe extern "C" fn Hacl_RSAPSS_rsapss_sign(
    a: Spec_Hash_Definitions_hash_alg,
    modBits: u32,
    eBits: u32,
    dBits: u32,
    skey: *mut u64,
    saltLen: u32,
    salt: *mut u8,
    msgLen: u32,
    msg: *mut u8,
    sgnt: *mut u8,
) -> bool
Expand description

Sign a message msg and write the signature to sgnt.

@param a Hash algorithm to use. Allowed values for a are … Spec_Hash_Definitions_SHA2_256, Spec_Hash_Definitions_SHA2_384, and Spec_Hash_Definitions_SHA2_512. @param modBits Count of bits in the modulus (n). @param eBits Count of bits in e value. @param dBits Count of bits in d value. @param skey Pointer to secret key created by Hacl_RSAPSS_new_rsapss_load_skey. @param saltLen Length of salt. @param salt Pointer to saltLen bytes where the salt is read from. @param msgLen Length of message. @param msg Pointer to msgLen bytes where the message is read from. @param sgnt Pointer to ceil(modBits / 8) bytes where the signature is written to.

@return Returns true if and only if signing was successful.