Cryptol specification of the Keccak (SHA-3) hash function
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LICENSE
README.md
keccak.cry
tests.cry

README.md

This is a specification of the Keccak (SHA-3) hash function in Cryptol.