21 lines
379 B
C
21 lines
379 B
C
#ifndef REED_MULLER_H
|
|
#define REED_MULLER_H
|
|
|
|
|
|
/**
|
|
* @file reed_muller.h
|
|
* Header file of reed_muller.c
|
|
*/
|
|
|
|
#include "parameters.h"
|
|
#include "parameters.h"
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
|
|
void PQCLEAN_HQCRMRS128_AVX2_reed_muller_encode(uint64_t *cdw, const uint64_t *msg);
|
|
|
|
void PQCLEAN_HQCRMRS128_AVX2_reed_muller_decode(uint64_t *msg, const uint64_t *cdw);
|
|
|
|
|
|
#endif
|