in src/main.rs [1089:1098]
fn unpack_test_vector_hacl(
t: &TestVector,
) -> (hacl_star::ed25519::PublicKey, hacl_star::ed25519::Signature) {
let mut sig_bytes = [0u8; 64];
sig_bytes.copy_from_slice(&t.signature[..]);
let pk = hacl_star::ed25519::PublicKey(t.pub_key);
let sig = hacl_star::ed25519::Signature(sig_bytes);
(pk, sig)
}