#ifndef PQCLEAN_DILITHIUM4_AVX2_STREAM_H #define PQCLEAN_DILITHIUM4_AVX2_STREAM_H #include #include "fips202.h" #include "params.h" void PQCLEAN_DILITHIUM4_AVX2_shake128_stream_init( shake128ctx *state, const uint8_t seed[SEEDBYTES], uint16_t nonce); void PQCLEAN_DILITHIUM4_AVX2_shake256_stream_init( shake256ctx *state, const uint8_t seed[CRHBYTES], uint16_t nonce); #endif