#ifndef JADE_KEM_kyber_kyber512_amd64_ref_API_H
#define JADE_KEM_kyber_kyber512_amd64_ref_API_H
#include <stdint.h>
#define JADE_KEM_kyber_kyber512_amd64_ref_KEYPAIRCOINBYTES 64
#define JADE_KEM_kyber_kyber512_amd64_ref_ENCCOINBYTES 32
int jade_kem_kyber_kyber512_amd64_ref_keypair_derand(
uint8_t *public_key,
uint8_t *secret_key,
const uint8_t *coins
);
int libjade_kyber512_ref_keypair(
uint8_t *public_key,
uint8_t *secret_key
);
int jade_kem_kyber_kyber512_amd64_ref_enc_derand(
uint8_t *ciphertext,
uint8_t *shared_secret,
const uint8_t *public_key,
const uint8_t *coins
);
int libjade_kyber512_ref_enc(
uint8_t *ciphertext,
uint8_t *shared_secret,
const uint8_t *public_key
);
int jade_kem_kyber_kyber512_amd64_ref_dec(
uint8_t *shared_secret,
const uint8_t *ciphertext,
const uint8_t *secret_key
);
int libjade_kyber512_ref_dec(
uint8_t *shared_secret,
const uint8_t *ciphertext,
const uint8_t *secret_key
);
#endif