Imported sources from http://tweetnacl.cr.yp.to/ - View it on GitHub