An implementation of Keccak