288 void FSPRG_GenState0(void *state, const void *mpk, const void *seed, size_t seedlen) {  in FSPRG_GenState0()  argument
298         memcpy(state, mpk, 2 + secpar / 8);  in FSPRG_GenState0()
299         mpi_export(state + 2 + 1 * secpar / 8, secpar / 8, x);  in FSPRG_GenState0()
300         memzero(state + 2 + 2 * secpar / 8, 8);  in FSPRG_GenState0()
306 void FSPRG_Evolve(void *state) {  in FSPRG_Evolve()  argument
313         secpar = read_secpar(state + 0);  in FSPRG_Evolve()
314         n = mpi_import(state + 2 + 0 * secpar / 8, secpar / 8);  in FSPRG_Evolve()
315         x = mpi_import(state + 2 + 1 * secpar / 8, secpar / 8);  in FSPRG_Evolve()
316         epoch = uint64_import(state + 2 + 2 * secpar / 8, 8);  in FSPRG_Evolve()
321         mpi_export(state + 2 + 1 * secpar / 8, secpar / 8, x);  in FSPRG_Evolve()
322         uint64_export(state + 2 + 2 * secpar / 8, 8, epoch);  in FSPRG_Evolve()
328 uint64_t FSPRG_GetEpoch(const void *state) {  in FSPRG_GetEpoch()  argument
330         secpar = read_secpar(state + 0);  in FSPRG_GetEpoch()
331         return uint64_import(state + 2 + 2 * secpar / 8, 8);  in FSPRG_GetEpoch()
334 void FSPRG_Seek(void *state, uint64_t epoch, const void *msk, const void *seed, size_t seedlen) {  in FSPRG_Seek()  argument
358         store_secpar(state + 0, secpar);  in FSPRG_Seek()
359         mpi_export(state + 2 + 0 * secpar / 8, secpar / 8, n);  in FSPRG_Seek()
360         mpi_export(state + 2 + 1 * secpar / 8, secpar / 8, xm);  in FSPRG_Seek()
361         uint64_export(state + 2 + 2 * secpar / 8, 8, epoch);  in FSPRG_Seek()
374 void FSPRG_GetKey(const void *state, void *key, size_t keylen, uint32_t idx) {  in FSPRG_GetKey()  argument
379         secpar = read_secpar(state + 0);  in FSPRG_GetKey()
380         det_randomize(key, keylen, state + 2, 2 * secpar / 8 + 8, idx);  in FSPRG_GetKey()