Aes prog 372 hash state