16 lines
404 B
C
16 lines
404 B
C
#ifndef PQCLEAN_DILITHIUM4_CLEAN_STREAM_H
|
|
#define PQCLEAN_DILITHIUM4_CLEAN_STREAM_H
|
|
|
|
#include <stdint.h>
|
|
|
|
#include "fips202.h"
|
|
#include "params.h"
|
|
|
|
void PQCLEAN_DILITHIUM4_CLEAN_shake128_stream_init(
|
|
shake128ctx *state, const uint8_t seed[SEEDBYTES], uint16_t nonce);
|
|
|
|
void PQCLEAN_DILITHIUM4_CLEAN_shake256_stream_init(
|
|
shake256ctx *state, const uint8_t seed[CRHBYTES], uint16_t nonce);
|
|
|
|
#endif
|