blob: 903892f6e496cd45f384b3b9e37aadd2647c070e [file] [log] [blame]
Adam Langley4fb0dc42015-11-13 13:09:47 -08001/* Copyright (c) 2015, 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 <stdint.h>
16#include <stdio.h>
17#include <string.h>
18
David Benjamin7dd4e422017-03-01 12:37:35 -050019#include <gtest/gtest.h>
20
Adam Langley4fb0dc42015-11-13 13:09:47 -080021#include <openssl/curve25519.h>
22
David Benjamin17cf2cb2016-12-13 01:07:13 -050023#include "../internal.h"
David Benjamin7dd4e422017-03-01 12:37:35 -050024#include "../test/test_util.h"
David Benjamin17cf2cb2016-12-13 01:07:13 -050025
Adam Langley4fb0dc42015-11-13 13:09:47 -080026
David Benjamin7dd4e422017-03-01 12:37:35 -050027TEST(X25519Test, TestVector) {
28 // Taken from https://tools.ietf.org/html/rfc7748#section-5.2
Adam Langley4fb0dc42015-11-13 13:09:47 -080029 static const uint8_t kScalar1[32] = {
30 0xa5, 0x46, 0xe3, 0x6b, 0xf0, 0x52, 0x7c, 0x9d, 0x3b, 0x16, 0x15,
31 0x4b, 0x82, 0x46, 0x5e, 0xdd, 0x62, 0x14, 0x4c, 0x0a, 0xc1, 0xfc,
32 0x5a, 0x18, 0x50, 0x6a, 0x22, 0x44, 0xba, 0x44, 0x9a, 0xc4,
33 };
34 static const uint8_t kPoint1[32] = {
35 0xe6, 0xdb, 0x68, 0x67, 0x58, 0x30, 0x30, 0xdb, 0x35, 0x94, 0xc1,
36 0xa4, 0x24, 0xb1, 0x5f, 0x7c, 0x72, 0x66, 0x24, 0xec, 0x26, 0xb3,
37 0x35, 0x3b, 0x10, 0xa9, 0x03, 0xa6, 0xd0, 0xab, 0x1c, 0x4c,
38 };
39
40 uint8_t out[32];
David Benjamin7dd4e422017-03-01 12:37:35 -050041 EXPECT_TRUE(X25519(out, kScalar1, kPoint1));
Adam Langley4fb0dc42015-11-13 13:09:47 -080042
43 static const uint8_t kExpected1[32] = {
44 0xc3, 0xda, 0x55, 0x37, 0x9d, 0xe9, 0xc6, 0x90, 0x8e, 0x94, 0xea,
45 0x4d, 0xf2, 0x8d, 0x08, 0x4f, 0x32, 0xec, 0xcf, 0x03, 0x49, 0x1c,
46 0x71, 0xf7, 0x54, 0xb4, 0x07, 0x55, 0x77, 0xa2, 0x85, 0x52,
47 };
David Benjamin7dd4e422017-03-01 12:37:35 -050048 EXPECT_EQ(Bytes(kExpected1), Bytes(out));
Adam Langley4fb0dc42015-11-13 13:09:47 -080049
50 static const uint8_t kScalar2[32] = {
51 0x4b, 0x66, 0xe9, 0xd4, 0xd1, 0xb4, 0x67, 0x3c, 0x5a, 0xd2, 0x26,
52 0x91, 0x95, 0x7d, 0x6a, 0xf5, 0xc1, 0x1b, 0x64, 0x21, 0xe0, 0xea,
53 0x01, 0xd4, 0x2c, 0xa4, 0x16, 0x9e, 0x79, 0x18, 0xba, 0x0d,
54 };
55 static const uint8_t kPoint2[32] = {
56 0xe5, 0x21, 0x0f, 0x12, 0x78, 0x68, 0x11, 0xd3, 0xf4, 0xb7, 0x95,
57 0x9d, 0x05, 0x38, 0xae, 0x2c, 0x31, 0xdb, 0xe7, 0x10, 0x6f, 0xc0,
58 0x3c, 0x3e, 0xfc, 0x4c, 0xd5, 0x49, 0xc7, 0x15, 0xa4, 0x93,
59 };
60
David Benjamin7dd4e422017-03-01 12:37:35 -050061 EXPECT_TRUE(X25519(out, kScalar2, kPoint2));
Adam Langley4fb0dc42015-11-13 13:09:47 -080062
63 static const uint8_t kExpected2[32] = {
64 0x95, 0xcb, 0xde, 0x94, 0x76, 0xe8, 0x90, 0x7d, 0x7a, 0xad, 0xe4,
65 0x5c, 0xb4, 0xb8, 0x73, 0xf8, 0x8b, 0x59, 0x5a, 0x68, 0x79, 0x9f,
66 0xa1, 0x52, 0xe6, 0xf8, 0xf7, 0x64, 0x7a, 0xac, 0x79, 0x57,
67 };
David Benjamin7dd4e422017-03-01 12:37:35 -050068 EXPECT_EQ(Bytes(kExpected2), Bytes(out));
Adam Langley4fb0dc42015-11-13 13:09:47 -080069}
70
David Benjamin7dd4e422017-03-01 12:37:35 -050071TEST(X25519Test, SmallOrder) {
Adam Langley4fb0dc42015-11-13 13:09:47 -080072 static const uint8_t kSmallOrderPoint[32] = {
73 0xe0, 0xeb, 0x7a, 0x7c, 0x3b, 0x41, 0xb8, 0xae, 0x16, 0x56, 0xe3,
74 0xfa, 0xf1, 0x9f, 0xc4, 0x6a, 0xda, 0x09, 0x8d, 0xeb, 0x9c, 0x32,
75 0xb1, 0xfd, 0x86, 0x62, 0x05, 0x16, 0x5f, 0x49, 0xb8,
76 };
77
78 uint8_t out[32], private_key[32];
David Benjamin17cf2cb2016-12-13 01:07:13 -050079 OPENSSL_memset(private_key, 0x11, sizeof(private_key));
Adam Langley4fb0dc42015-11-13 13:09:47 -080080
David Benjamin7dd4e422017-03-01 12:37:35 -050081 OPENSSL_memset(out, 0xff, sizeof(out));
82 EXPECT_FALSE(X25519(out, private_key, kSmallOrderPoint))
83 << "X25519 returned success with a small-order input.";
Adam Langley4fb0dc42015-11-13 13:09:47 -080084
David Benjamin7dd4e422017-03-01 12:37:35 -050085 // For callers which don't check, |out| should still be filled with zeros.
86 static const uint8_t kZeros[32] = {0};
87 EXPECT_EQ(Bytes(kZeros), Bytes(out));
Adam Langley4fb0dc42015-11-13 13:09:47 -080088}
89
David Benjamin7dd4e422017-03-01 12:37:35 -050090TEST(X25519Test, Iterated) {
91 // Taken from https://tools.ietf.org/html/rfc7748#section-5.2.
Adam Langley4fb0dc42015-11-13 13:09:47 -080092 uint8_t scalar[32] = {9}, point[32] = {9}, out[32];
93
David Benjamin7dd4e422017-03-01 12:37:35 -050094 for (unsigned i = 0; i < 1000; i++) {
95 EXPECT_TRUE(X25519(out, scalar, point));
David Benjamin17cf2cb2016-12-13 01:07:13 -050096 OPENSSL_memcpy(point, scalar, sizeof(point));
97 OPENSSL_memcpy(scalar, out, sizeof(scalar));
Adam Langley4fb0dc42015-11-13 13:09:47 -080098 }
99
100 static const uint8_t kExpected[32] = {
101 0x68, 0x4c, 0xf5, 0x9b, 0xa8, 0x33, 0x09, 0x55, 0x28, 0x00, 0xef,
102 0x56, 0x6f, 0x2f, 0x4d, 0x3c, 0x1c, 0x38, 0x87, 0xc4, 0x93, 0x60,
103 0xe3, 0x87, 0x5f, 0x2e, 0xb9, 0x4d, 0x99, 0x53, 0x2c, 0x51,
104 };
105
David Benjamin7dd4e422017-03-01 12:37:35 -0500106 EXPECT_EQ(Bytes(kExpected), Bytes(scalar));
Adam Langley4fb0dc42015-11-13 13:09:47 -0800107}