blob: df688b9a388142a364fe0af5c75bd4199920aee2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
// Requires:
// * gmp.h
#ifndef __PBC_RANDOM_H__
#define __PBC_RANDOM_H__
/*@manual pbcrandom
Sets 'filename' as a source of random bytes. For example,
on Linux one might use `/dev/random`.
*/
void pbc_random_set_file(char *filename);
/*@manual pbcrandom
Uses a determinstic random number generator, seeded with 'seed'.
*/
void pbc_random_set_deterministic(unsigned int seed);
/*@manual pbcrandom
Uses given function as a random number generator.
*/
void pbc_random_set_function(void (*fun)(mpz_t, mpz_t, void *), void *data);
/*@manual pbcrandom
Selects a random 'z' that is less than 'limit'.
*/
void pbc_mpz_random(mpz_t z, mpz_t limit);
/*@manual pbcrandom
Selects a random 'bits'-bit integer 'z'.
*/
void pbc_mpz_randomb(mpz_t z, unsigned int bits);
#endif //__PBC_RANDOM_H__
|
