1 #ifndef PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_SHA256_H
2 #define PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_SHA256_H
3 
4 #define PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_SHA256_BLOCK_BYTES 64
5 #define PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_SHA256_OUTPUT_BYTES 32  /* This does not necessarily equal PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_N */
6 #define PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_SHA256_ADDR_BYTES 22
7 
8 #include <stddef.h>
9 #include <stdint.h>
10 
11 #include "sha2.h"
12 
13 void PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_compress_address(unsigned char *out, const uint32_t addr[8]);
14 
15 void PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_mgf1(
16     unsigned char *out, unsigned long outlen,
17     unsigned char *input_plus_four_bytes, unsigned long inlen);
18 
19 void PQCLEAN_SPHINCSSHA256192SROBUST_AVX2_seed_state(sha256ctx *hash_state_seeded, const unsigned char *pub_seed);
20 
21 #endif
22