1Public Domain (https://creativecommons.org/share-your-work/public-domain/cc0/)
2
3For Keccak and the random number generator
4we are using public-domain code from sources
5and by authors listed in comments on top of
6the respective files.
7