blob: fe84cd4b5eb1ee3c5c7fe24db4d9807de814df25 [file] [log] [blame]
Matt Braithwaitedb207262016-05-27 16:49:29 -07001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <math.h>
16#include <stdio.h>
17#include <string.h>
18
19#include <openssl/crypto.h>
20#include <openssl/rand.h>
21
22#include "../test/file_test.h"
Adam Langleyd2b5af52016-07-12 08:03:59 -070023#include "../test/scoped_types.h"
Matt Braithwaitedb207262016-05-27 16:49:29 -070024#include "internal.h"
25
26
27static bool TestNewhope(FileTest *t, void *arg) {
Matt Braithwaite27e863e2016-06-01 16:28:48 -070028 ScopedNEWHOPE_POLY a(NEWHOPE_POLY_new());
29 ScopedNEWHOPE_POLY s(NEWHOPE_POLY_new()), sp(NEWHOPE_POLY_new());
30 ScopedNEWHOPE_POLY e(NEWHOPE_POLY_new()), ep(NEWHOPE_POLY_new()),
31 epp(NEWHOPE_POLY_new());
32 ScopedNEWHOPE_POLY in_pk(NEWHOPE_POLY_new());
33 ScopedNEWHOPE_POLY in_rec(NEWHOPE_POLY_new());
34
35 if (t->GetType() == "InRandA") {
36 std::vector<uint8_t> a_bytes, s_bytes, e_bytes, expected_pk;
37 if (!t->GetBytes(&a_bytes, "InRandA") ||
38 !t->GetBytes(&s_bytes, "InNoiseS") ||
39 !t->GetBytes(&e_bytes, "InNoiseE") ||
40 !t->GetBytes(&expected_pk, "OutPK")) {
41 return false;
42 }
43 NEWHOPE_POLY_frombytes(a.get(), a_bytes.data());
44 NEWHOPE_POLY_frombytes(s.get(), s_bytes.data());
45 NEWHOPE_POLY_frombytes(e.get(), e_bytes.data());
46
47 NEWHOPE_POLY pk;
48 NEWHOPE_offer_computation(&pk, s.get(), e.get(), a.get());
49
50 uint8_t pk_bytes[NEWHOPE_POLY_LENGTH];
51 NEWHOPE_POLY_tobytes(pk_bytes, &pk);
52 return t->ExpectBytesEqual(expected_pk.data(), expected_pk.size(),
53 pk_bytes, NEWHOPE_POLY_LENGTH);
54 } else if (t->GetType() == "InPK") {
55 std::vector<uint8_t> rand, in_pk_bytes, a_bytes, sp_bytes, ep_bytes,
56 epp_bytes, expected_pk, expected_rec, expected_key;
57 if (!t->GetBytes(&in_pk_bytes, "InPK") ||
58 !t->GetBytes(&rand, "InRand") ||
59 !t->GetBytes(&a_bytes, "InA") ||
60 !t->GetBytes(&sp_bytes, "InNoiseSP") ||
61 !t->GetBytes(&ep_bytes, "InNoiseEP") ||
62 !t->GetBytes(&epp_bytes, "InNoiseEPP") ||
63 !t->GetBytes(&expected_pk, "OutPK") ||
64 !t->GetBytes(&expected_rec, "OutRec") ||
Matt Braithwaitedb207262016-05-27 16:49:29 -070065 !t->GetBytes(&expected_key, "Key")) {
66 return false;
67 }
Matt Braithwaite27e863e2016-06-01 16:28:48 -070068 NEWHOPE_POLY_frombytes(in_pk.get(), in_pk_bytes.data());
69 NEWHOPE_POLY_frombytes(a.get(), a_bytes.data());
70 NEWHOPE_POLY_frombytes(sp.get(), sp_bytes.data());
71 NEWHOPE_POLY_frombytes(ep.get(), ep_bytes.data());
72 NEWHOPE_POLY_frombytes(epp.get(), epp_bytes.data());
Matt Braithwaitedb207262016-05-27 16:49:29 -070073
74 uint8_t key[NEWHOPE_KEY_LENGTH];
Matt Braithwaite27e863e2016-06-01 16:28:48 -070075 NEWHOPE_POLY pk, rec;
76 NEWHOPE_accept_computation(key, &pk, &rec,
77 sp.get(), ep.get(), epp.get(),
78 rand.data(), in_pk.get(), a.get());
79
80 uint8_t pk_bytes[NEWHOPE_POLY_LENGTH], rec_bytes[NEWHOPE_POLY_LENGTH];
81 NEWHOPE_POLY_tobytes(pk_bytes, &pk);
82 NEWHOPE_POLY_tobytes(rec_bytes, &rec);
83 return
84 t->ExpectBytesEqual(expected_key.data(), expected_key.size(),
85 key, NEWHOPE_KEY_LENGTH) &&
86 t->ExpectBytesEqual(expected_pk.data(), expected_pk.size(),
87 pk_bytes, NEWHOPE_POLY_LENGTH) &&
88 t->ExpectBytesEqual(expected_rec.data(), expected_rec.size(),
89 rec_bytes, NEWHOPE_POLY_LENGTH);
90 } else if (t->GetType() == "InNoiseS") {
91 std::vector<uint8_t> s_bytes, in_pk_bytes, in_rec_bytes, expected_key;
92 if (!t->GetBytes(&s_bytes, "InNoiseS") ||
93 !t->GetBytes(&in_pk_bytes, "InPK") ||
94 !t->GetBytes(&in_rec_bytes, "InRec") ||
95 !t->GetBytes(&expected_key, "Key")) {
96 return false;
97 }
98 NEWHOPE_POLY_frombytes(s.get(), s_bytes.data());
99 NEWHOPE_POLY_frombytes(in_pk.get(), in_pk_bytes.data());
100 NEWHOPE_POLY_frombytes(in_rec.get(), in_rec_bytes.data());
101
102 uint8_t key[NEWHOPE_KEY_LENGTH];
103 NEWHOPE_finish_computation(key, s.get(), in_pk.get(), in_rec.get());
104
Matt Braithwaitedb207262016-05-27 16:49:29 -0700105 return t->ExpectBytesEqual(expected_key.data(), expected_key.size(), key,
106 NEWHOPE_KEY_LENGTH);
Matt Braithwaitedb207262016-05-27 16:49:29 -0700107 } else {
108 t->PrintLine("Unknown test '%s'", t->GetType().c_str());
109 return false;
110 }
Matt Braithwaitedb207262016-05-27 16:49:29 -0700111}
112
113int main(int argc, char **argv) {
114 CRYPTO_library_init();
115
116 if (argc != 2) {
117 fprintf(stderr, "%s <test file>\n", argv[0]);
118 return 1;
119 }
120
Adam Langley10f97f32016-07-12 08:09:33 -0700121 return FileTestMain(TestNewhope, nullptr, argv[1]);
Matt Braithwaitedb207262016-05-27 16:49:29 -0700122}