Branch data     Line data    Source code

       1                 :             : #include "random.h"
       2                 :             : #include <string.h>
       3                 :             : 
       4                 :           1 : void generate_secret(uint8_t *out) {
       5                 :             :     // 20 bytes = 2.5 x uint64_t - fill in 64-bit chunks
       6                 :           1 :     uint64_t r0 = get_rand_64();
       7                 :           1 :     uint64_t r1 = get_rand_64();
       8                 :           1 :     uint64_t r2 = get_rand_64(); // only 4 bytes used from this one
       9                 :             : 
      10                 :           1 :     memcpy(out, &r0, 8);
      11                 :           1 :     memcpy(out + 8, &r1, 8);
      12                 :           1 :     memcpy(out + 16, &r2, 4);
      13                 :           1 : }