2020-08-29 01:18:54 +01:00
|
|
|
#include "crypto_encode_857x1723.h"
|
|
|
|
#include "crypto_encode_857x1723round.h"
|
|
|
|
|
|
|
|
#define int16 int16_t
|
|
|
|
|
|
|
|
#define p 857
|
|
|
|
|
|
|
|
void PQCLEAN_SNTRUP857_CLEAN_crypto_encode_857x1723round(unsigned char *out, const void *v) {
|
|
|
|
const int16 *a = v;
|
|
|
|
int16 x[p];
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < p; ++i) {
|
2020-09-01 12:55:46 +01:00
|
|
|
x[i] = (int16) (3 * ((10923 * a[i] + 16384) >> 15));
|
2020-08-29 01:18:54 +01:00
|
|
|
}
|
|
|
|
PQCLEAN_SNTRUP857_CLEAN_crypto_encode_857x1723(out, x);
|
|
|
|
}
|