keccak-cryptol

★ 3 updated 11y ago

Cryptol specification of the Keccak (SHA-3) hash function

No plain-English explanation yet — one is being written right now. Check back in a minute.