#ifndef JADE_KEM_kyber_kyber512_amd64_avx2_API_H
#define JADE_KEM_kyber_kyber512_amd64_avx2_API_H
#include <stdint.h>
#define JADE_KEM_kyber_kyber512_amd64_avx2_KEYPAIRCOINBYTES 64
#define JADE_KEM_kyber_kyber512_amd64_avx2_ENCCOINBYTES 32
int jade_kem_kyber_kyber512_amd64_avx2_keypair_derand(
uint8_t *public_key,
uint8_t *secret_key,
const uint8_t *coins
);
int libjade_kyber512_avx2_keypair(
uint8_t *public_key,
uint8_t *secret_key
);
int jade_kem_kyber_kyber512_amd64_avx2_enc_derand(
uint8_t *ciphertext,
uint8_t *shared_secret,
const uint8_t *public_key,
const uint8_t *coins
);
int libjade_kyber512_avx2_enc(
uint8_t *ciphertext,
uint8_t *shared_secret,
const uint8_t *public_key
);
int jade_kem_kyber_kyber512_amd64_avx2_dec(
uint8_t *shared_secret,
const uint8_t *ciphertext,
const uint8_t *secret_key
);
int libjade_kyber512_avx2_dec(
uint8_t *shared_secret,
const uint8_t *ciphertext,
const uint8_t *secret_key
);
#endif