fn unpack_test_vector_hacl()

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)
    }