pqc/test/ut.cpp

115 lines
3.5 KiB
C++
Raw Permalink Normal View History

2021-03-24 10:25:45 +00:00
#include <algorithm>
2021-06-29 09:47:50 +01:00
#include <random>
2021-03-24 10:25:45 +00:00
#include <vector>
2021-06-29 09:47:50 +01:00
2021-03-24 10:25:45 +00:00
#include <gtest/gtest.h>
2021-03-24 23:34:34 +00:00
#include <pqc/pqc.h>
2021-06-29 09:47:50 +01:00
#include <common/ct_check.h>
2021-03-24 10:25:45 +00:00
2021-06-29 23:41:13 +01:00
TEST(KEM,OneOff) {
2021-03-24 10:25:45 +00:00
2021-06-29 09:47:50 +01:00
for (int i=0; i<PQC_ALG_KEM_MAX; i++) {
const pqc_ctx_t *p = pqc_kem_alg_by_id(i);
std::vector<uint8_t> ct(pqc_ciphertext_bsz(p));
std::vector<uint8_t> ss1(pqc_shared_secret_bsz(p));
std::vector<uint8_t> ss2(pqc_shared_secret_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> pk(pqc_public_key_bsz(p));
ASSERT_TRUE(
pqc_keygen(p, pk.data(), sk.data()));
ASSERT_TRUE(
pqc_kem_encapsulate(p, ct.data(), ss1.data(), pk.data()));
ASSERT_TRUE(
pqc_kem_decapsulate(p, ss2.data(), ct.data(), sk.data()));
ASSERT_TRUE(
std::equal(ss1.begin(), ss1.end(), ss2.begin()));
}
2021-03-24 10:25:45 +00:00
}
2021-06-29 23:41:13 +01:00
TEST(SIGN,OneOff) {
2021-03-24 10:25:45 +00:00
2021-06-21 09:20:48 +01:00
std::random_device rd;
std::uniform_int_distribution<uint8_t> dist(0, 0xFF);
uint8_t msg[1234] = {0};
2021-06-29 09:47:50 +01:00
for (int i=0; i<PQC_ALG_SIG_MAX; i++) {
const pqc_ctx_t *p = pqc_sig_alg_by_id(i);
// generate some random msg
for (auto &x : msg) {x = dist(rd);}
std::vector<uint8_t> sig(pqc_signature_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> pk(pqc_public_key_bsz(p));
ASSERT_TRUE(
pqc_keygen(p, pk.data(), sk.data()));
uint64_t sigsz = sig.size();
ASSERT_TRUE(
pqc_sig_create(p, sig.data(), &sigsz, msg, 1234, sk.data()));
ASSERT_TRUE(
pqc_sig_verify(p, sig.data(), sigsz, msg, 1234, pk.data()));
}
}
TEST(Frodo, Decaps) {
const pqc_ctx_t *p = pqc_kem_alg_by_id(PQC_ALG_KEM_FRODOKEM640SHAKE);
std::vector<uint8_t> ct(pqc_ciphertext_bsz(p));
std::vector<uint8_t> ss1(pqc_shared_secret_bsz(p));
std::vector<uint8_t> ss2(pqc_shared_secret_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> pk(pqc_public_key_bsz(p));
bool res;
ASSERT_TRUE(
pqc_keygen(p, pk.data(), sk.data()));
ct_poison(sk.data(), 16 /*CRYPTO_BYTES*/);
ASSERT_TRUE(
pqc_kem_encapsulate(p, ct.data(), ss1.data(), pk.data()));
// Decapsulate
res = pqc_kem_decapsulate(p, ss2.data(), ct.data(), sk.data());
// Purify res to allow non-ct check by ASSERT_TRUE
ct_purify(&res, 1);
ASSERT_TRUE(res);
// ss2 needs to be purified as it originates from poisoned data
ct_purify(ss2.data(), ss2.size());
ASSERT_EQ(ss2, ss1);
}
TEST(Frodo, Decaps_Negative) {
const pqc_ctx_t *p = pqc_kem_alg_by_id(PQC_ALG_KEM_FRODOKEM640SHAKE);
std::vector<uint8_t> ct(pqc_ciphertext_bsz(p));
std::vector<uint8_t> ss1(pqc_shared_secret_bsz(p));
std::vector<uint8_t> ss2(pqc_shared_secret_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> pk(pqc_public_key_bsz(p));
bool res;
// Setup
ASSERT_TRUE(
pqc_keygen(p, pk.data(), sk.data()));
ct_poison(sk.data(), 16);
ASSERT_TRUE(
pqc_kem_encapsulate(p, ct.data(), ss1.data(), pk.data()));
// Ensure C2 of ciphertext is altered
ct[ct.size() - 1] ^= 1;
res = pqc_kem_decapsulate(p, ss2.data(), ct.data(), sk.data());
// Purify res to allow non-ct check by ASSERT_TRUE
ct_purify(&res, 1);
ASSERT_TRUE(res);
// ss2 needs to be purified as it originates from poisoned data
ct_purify(ss2.data(), ss2.size());
ASSERT_NE(ss2, ss1);
2021-03-24 10:25:45 +00:00
}