pub fn words64_to_bytes_kernel(words: [b64; 8]) -> [b8; 64]
Little-endian bytes of eight 64-bit words.
Turns the Ed25519 core’s word-oriented envelope and signature into the 64 bytes that go into the frame. Combinational.