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
fips202x4.h
#ifndef PQCLEAN_SPHINCSSHAKE256256SSIMPLE_AVX2_FIPS202X4_H
#define PQCLEAN_SPHINCSSHAKE256256SSIMPLE_AVX2_FIPS202X4_H
#include <immintrin.h>
void PQCLEAN_SPHINCSSHAKE256256SSIMPLE_AVX2_shake128x4(unsigned char *out0,
unsigned char *out1,
unsigned char *out2,
unsigned char *out3,
unsigned long long outlen,
unsigned char *in0,
unsigned char *in1,
unsigned char *in2,
unsigned char *in3, unsigned long long inlen);
void PQCLEAN_SPHINCSSHAKE256256SSIMPLE_AVX2_shake256x4(unsigned char *out0,
unsigned char *out1,
unsigned char *out2,
unsigned char *out3,
unsigned long long outlen,
unsigned char *in0,
unsigned char *in1,
unsigned char *in2,
unsigned char *in3,
unsigned long long inlen);
#endif

Computing file changes ...