Revision 81a0bf97e2012c369f800f26e2e3d3651cde7a35 authored by Matthias J. Kannwischer on 29 July 2021, 07:22:18 UTC, committed by Matthias J. Kannwischer on 02 August 2021, 03:06:46 UTC
1 parent 819f906
hashx4.h
#ifndef PQCLEAN_SPHINCSSHAKE256192SSIMPLE_AVX2_HASHX4_H
#define PQCLEAN_SPHINCSSHAKE256192SSIMPLE_AVX2_HASHX4_H
#include <stdint.h>
#include "hash_state.h"
void PQCLEAN_SPHINCSSHAKE256192SSIMPLE_AVX2_prf_addrx4(unsigned char *out0,
unsigned char *out1,
unsigned char *out2,
unsigned char *out3,
const unsigned char *key,
const uint32_t addrx4[4 * 8],
const hash_state *state_seeded);
#endif

Computing file changes ...