141 lines
4.5 KiB
C
141 lines
4.5 KiB
C
#include "api.h"
|
|
#include "fips202.h"
|
|
#include "hqc.h"
|
|
#include "nistseedexpander.h"
|
|
#include "parameters.h"
|
|
#include "parsing.h"
|
|
#include "randombytes.h"
|
|
#include "sha2.h"
|
|
#include "vector.h"
|
|
#include <stdint.h>
|
|
#include <string.h>
|
|
/**
|
|
* @file kem.c
|
|
* @brief Implementation of api.h
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
* @brief Keygen of the HQC_KEM IND_CAA2 scheme
|
|
*
|
|
* The public key is composed of the syndrome <b>s</b> as well as the seed used to generate the vector <b>h</b>.
|
|
*
|
|
* The secret key is composed of the seed used to generate vectors <b>x</b> and <b>y</b>.
|
|
* As a technicality, the public key is appended to the secret key in order to respect NIST API.
|
|
*
|
|
* @param[out] pk String containing the public key
|
|
* @param[out] sk String containing the secret key
|
|
* @returns 0 if keygen is successful
|
|
*/
|
|
int PQCLEAN_HQCRMRS192_CLEAN_crypto_kem_keypair(unsigned char *pk, unsigned char *sk) {
|
|
|
|
PQCLEAN_HQCRMRS192_CLEAN_hqc_pke_keygen(pk, sk);
|
|
return 0;
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
* @brief Encapsulation of the HQC_KEM IND_CAA2 scheme
|
|
*
|
|
* @param[out] ct String containing the ciphertext
|
|
* @param[out] ss String containing the shared secret
|
|
* @param[in] pk String containing the public key
|
|
* @returns 0 if encapsulation is successful
|
|
*/
|
|
int PQCLEAN_HQCRMRS192_CLEAN_crypto_kem_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk) {
|
|
|
|
uint8_t theta[SHA512_BYTES] = {0};
|
|
uint8_t m[VEC_K_SIZE_BYTES] = {0};
|
|
uint64_t u[VEC_N_SIZE_64] = {0};
|
|
uint64_t v[VEC_N1N2_SIZE_64] = {0};
|
|
unsigned char d[SHA512_BYTES] = {0};
|
|
unsigned char mc[VEC_K_SIZE_BYTES + VEC_N_SIZE_BYTES + VEC_N1N2_SIZE_BYTES] = {0};
|
|
|
|
// Computing m
|
|
randombytes(m, VEC_K_SIZE_BYTES);
|
|
|
|
// Computing theta
|
|
sha3_512(theta, m, VEC_K_SIZE_BYTES);
|
|
|
|
// Encrypting m
|
|
PQCLEAN_HQCRMRS192_CLEAN_hqc_pke_encrypt(u, v, m, theta, pk);
|
|
|
|
// Computing d
|
|
sha512(d, m, VEC_K_SIZE_BYTES);
|
|
|
|
// Computing shared secret
|
|
memcpy(mc, m, VEC_K_SIZE_BYTES);
|
|
PQCLEAN_HQCRMRS192_CLEAN_store8_arr(mc + VEC_K_SIZE_BYTES, VEC_N_SIZE_BYTES, u, VEC_N_SIZE_64);
|
|
PQCLEAN_HQCRMRS192_CLEAN_store8_arr(mc + VEC_K_SIZE_BYTES + VEC_N_SIZE_BYTES, VEC_N1N2_SIZE_BYTES, v, VEC_N1N2_SIZE_64);
|
|
sha512(ss, mc, VEC_K_SIZE_BYTES + VEC_N_SIZE_BYTES + VEC_N1N2_SIZE_BYTES);
|
|
|
|
// Computing ciphertext
|
|
PQCLEAN_HQCRMRS192_CLEAN_hqc_ciphertext_to_string(ct, u, v, d);
|
|
|
|
|
|
return 0;
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
* @brief Decapsulation of the HQC_KEM IND_CAA2 scheme
|
|
*
|
|
* @param[out] ss String containing the shared secret
|
|
* @param[in] ct String containing the cipĥertext
|
|
* @param[in] sk String containing the secret key
|
|
* @returns 0 if decapsulation is successful, -1 otherwise
|
|
*/
|
|
int PQCLEAN_HQCRMRS192_CLEAN_crypto_kem_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk) {
|
|
|
|
uint8_t result;
|
|
uint64_t u[VEC_N_SIZE_64] = {0};
|
|
uint64_t v[VEC_N1N2_SIZE_64] = {0};
|
|
unsigned char d[SHA512_BYTES] = {0};
|
|
unsigned char pk[PUBLIC_KEY_BYTES] = {0};
|
|
uint8_t m[VEC_K_SIZE_BYTES] = {0};
|
|
uint8_t theta[SHA512_BYTES] = {0};
|
|
uint64_t u2[VEC_N_SIZE_64] = {0};
|
|
uint64_t v2[VEC_N1N2_SIZE_64] = {0};
|
|
unsigned char d2[SHA512_BYTES] = {0};
|
|
unsigned char mc[VEC_K_SIZE_BYTES + VEC_N_SIZE_BYTES + VEC_N1N2_SIZE_BYTES] = {0};
|
|
|
|
// Retrieving u, v and d from ciphertext
|
|
PQCLEAN_HQCRMRS192_CLEAN_hqc_ciphertext_from_string(u, v, d, ct);
|
|
|
|
// Retrieving pk from sk
|
|
memcpy(pk, sk + SEED_BYTES, PUBLIC_KEY_BYTES);
|
|
|
|
// Decryting
|
|
PQCLEAN_HQCRMRS192_CLEAN_hqc_pke_decrypt(m, u, v, sk);
|
|
|
|
// Computing theta
|
|
sha3_512(theta, m, VEC_K_SIZE_BYTES);
|
|
|
|
// Encrypting m'
|
|
PQCLEAN_HQCRMRS192_CLEAN_hqc_pke_encrypt(u2, v2, m, theta, pk);
|
|
|
|
// Computing d'
|
|
sha512(d2, m, VEC_K_SIZE_BYTES);
|
|
|
|
// Computing shared secret
|
|
memcpy(mc, m, VEC_K_SIZE_BYTES);
|
|
PQCLEAN_HQCRMRS192_CLEAN_store8_arr(mc + VEC_K_SIZE_BYTES, VEC_N_SIZE_BYTES, u, VEC_N_SIZE_64);
|
|
PQCLEAN_HQCRMRS192_CLEAN_store8_arr(mc + VEC_K_SIZE_BYTES + VEC_N_SIZE_BYTES, VEC_N1N2_SIZE_BYTES, v, VEC_N1N2_SIZE_64);
|
|
sha512(ss, mc, VEC_K_SIZE_BYTES + VEC_N_SIZE_BYTES + VEC_N1N2_SIZE_BYTES);
|
|
|
|
// Abort if c != c' or d != d'
|
|
result = PQCLEAN_HQCRMRS192_CLEAN_vect_compare((uint8_t *)u, (uint8_t *)u2, VEC_N_SIZE_BYTES);
|
|
result |= PQCLEAN_HQCRMRS192_CLEAN_vect_compare((uint8_t *)v, (uint8_t *)v2, VEC_N1N2_SIZE_BYTES);
|
|
result |= PQCLEAN_HQCRMRS192_CLEAN_vect_compare(d, d2, SHA512_BYTES);
|
|
result = (uint8_t) (-((int16_t) result) >> 15);
|
|
for (size_t i = 0; i < SHARED_SECRET_BYTES; i++) {
|
|
ss[i] &= ~result;
|
|
}
|
|
|
|
|
|
return -(result & 1);
|
|
}
|