hardened_malloc/random.h

#ifndef RANDOM_H
#define RANDOM_H

#include <stdint.h>

#define RANDOM_CACHE_SIZE 4096

struct random_state {
    size_t index;
    uint8_t cache[RANDOM_CACHE_SIZE];
};

void get_random_seed(void *buf, size_t size);
void random_state_init(struct random_state *state);
void get_random_bytes(struct random_state *state, void *buf, size_t size);
size_t get_random_size(struct random_state *state);
size_t get_random_size_uniform(struct random_state *state, size_t bound);

#endif