pub fn words_to_bytes_le(words: &[u32]) -> Vec<u8> {
    words.iter().flat_map(|word| word.to_le_bytes().to_vec()).collect::<Vec<_>>()
}
Converts a slice of words to a byte array in little endian.
crates/zkvm/lib/src/utils.rs