pub unsafe extern "C" fn Hacl_P256_dh_initiator(
    public_key: *mut u8,
    private_key: *mut u8
) -> bool
Expand description

Compute the public key from the private key.

The function returns true if a private key is valid and false otherwise.

The outparam public_key points to 64 bytes of valid memory, i.e., uint8_t[64]. The argument private_key points to 32 bytes of valid memory, i.e., uint8_t[32].

The private key is valid: • 0 < private_key < the order of the curve.