Function hacl_sys::Hacl_Ed25519_secret_to_public

pub unsafe extern "C" fn Hacl_Ed25519_secret_to_public(
    public_key: *mut u8,
    private_key: *mut u8
)

Compute the public key from the private key.

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