#ifndef PQCLEAN_KYBER76890S_AVX2_VERIFY_H #define PQCLEAN_KYBER76890S_AVX2_VERIFY_H #include "params.h" #include #include int PQCLEAN_KYBER76890S_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t len); void PQCLEAN_KYBER76890S_AVX2_cmov(uint8_t *r, const uint8_t *x, size_t len, uint8_t b); #endif