hacl_star::curve25519
pub fn scalarmult( mypublic: &mut [u8; 32], secret: &[u8; 32], basepoint: &[u8; 32])