Speed up keccak-tiny: Use a real load64 function
The current load-le64 function shows up in keccak profiles. Of course, that's silly. We can do better -- and we do, in other crypto primitives.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information