Re:How to safely generate a random number
by eliteraspberrie on Wednesday February 26, 2014 @03:26PM
(#7307438)
Don't take my word for it, check libsodium with Frama-C (as NaCl was) and file the bug report yourself.
I should also point out that randombytes is technically not part of NaCl. The authors maintain that random byte generation is out of scope for NaCl, and what actually happens is that randombytes.o is bundled separately from libnacl.a [1]. In TweetNacl the randombytes implementation is completely omitted.
[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=20;bug=694...