pub fn keccakf1600( state: [u64; 25], ) -> Result<[u64; 25], BlackBoxResolutionError>
Keccak permutation for a state of size 1600 bits, represented by 25 lanes of 64 bits (25*64 = 1600)