Merge pull request #271 from ucb-bar/sha3

Bump sha3 for RTL fixes/optimizations
This commit is contained in:
Albert Ou
2019-10-06 14:05:27 -07:00
committed by GitHub