2020-09-07 19:23:34 +01:00
|
|
|
#ifndef REED_MULLER_H
|
|
|
|
#define REED_MULLER_H
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @file reed_muller.h
|
|
|
|
* Header file of reed_muller.c
|
|
|
|
*/
|
|
|
|
#include "parameters.h"
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2020-09-13 19:13:48 +01:00
|
|
|
void PQCLEAN_HQCRMRS128_AVX2_reed_muller_encode(uint8_t *cdw, const uint8_t *msg);
|
2020-09-07 19:23:34 +01:00
|
|
|
|
2020-09-13 19:13:48 +01:00
|
|
|
void PQCLEAN_HQCRMRS128_AVX2_reed_muller_decode(uint8_t *msg, const uint8_t *cdw);
|
2020-09-07 19:23:34 +01:00
|
|
|
|
|
|
|
|
|
|
|
#endif
|