1 /* test_ecc_ecdsa.c - TinyCrypt implementation of some EC-DSA tests */
2
3 /* Copyright (c) 2014, Kenneth MacKay
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are met:
8 * * Redistributions of source code must retain the above copyright notice,
9 * this list of conditions and the following disclaimer.
10 * * Redistributions in binary form must reproduce the above copyright notice,
11 * this list of conditions and the following disclaimer in the documentation
12 * and/or other materials provided with the distribution.
13 *
14 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
15 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
18 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
19 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
20 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
21 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
22 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
23 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
24 * POSSIBILITY OF SUCH DAMAGE.*/
25
26 /*
27 * Copyright (C) 2017 by Intel Corporation, All Rights Reserved.
28 *
29 * Redistribution and use in source and binary forms, with or without
30 * modification, are permitted provided that the following conditions are met:
31 *
32 * - Redistributions of source code must retain the above copyright notice,
33 * this list of conditions and the following disclaimer.
34 *
35 * - Redistributions in binary form must reproduce the above copyright
36 * notice, this list of conditions and the following disclaimer in the
37 * documentation and/or other materials provided with the distribution.
38 *
39 * - Neither the name of Intel Corporation nor the names of its contributors
40 * may be used to endorse or promote products derived from this software
41 * without specific prior written permission.
42 *
43 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
44 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
45 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
46 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
47 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
48 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
49 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
50 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
51 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
52 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
53 * POSSIBILITY OF SUCH DAMAGE.
54 *
55 * test_ecc_ecdsa.c -- Implementation of some EC-DSA tests
56 *
57 */
58
59 #define ENABLE_TESTS 1
60
61 #include <tinycrypt/ecc.h>
62 #include <tinycrypt/ecc_platform_specific.h>
63 #include <tinycrypt/ecc_dsa.h>
64 #include <tinycrypt/ecc_dh.h>
65 #include <tinycrypt/constants.h>
66 #include <tinycrypt/sha256.h>
67 #include <zephyr/test_utils.h>
68 #include "test_ecc_utils.h"
69 #include <zephyr/sys/util.h>
70 #include <zephyr/random/random.h>
71
72 #include <stdio.h>
73 #include <stdlib.h>
74 #include <string.h>
75 #include <zephyr/ztest.h>
76
77 /* Maximum size of message to be signed. */
78 #define BUF_SIZE 256
79
sign_vectors(TCSha256State_t hash,char ** d_vec,char ** k_vec,char ** msg_vec,char ** qx_vec,char ** qy_vec,char ** r_vec,char ** s_vec,int tests,bool verbose)80 int sign_vectors(TCSha256State_t hash, char **d_vec, char **k_vec,
81 char **msg_vec, char **qx_vec, char **qy_vec, char **r_vec,
82 char **s_vec, int tests, bool verbose)
83 {
84
85 unsigned int k[NUM_ECC_WORDS];
86 unsigned int private[NUM_ECC_WORDS];
87 uint8_t private_bytes[NUM_ECC_BYTES];
88 unsigned int sig[2 * NUM_ECC_WORDS];
89 uint8_t sig_bytes[2 * NUM_ECC_BYTES];
90 unsigned int digest[TC_SHA256_DIGEST_SIZE / 4];
91 uint8_t digest_bytes[TC_SHA256_DIGEST_SIZE];
92 unsigned int result = TC_PASS;
93
94 /* expected outputs (converted input vectors) */
95 unsigned int exp_r[NUM_ECC_WORDS];
96 unsigned int exp_s[NUM_ECC_WORDS];
97
98 uint8_t msg[BUF_SIZE];
99 size_t msglen;
100
101 for (int i = 0; i < tests; i++) {
102
103 /* use keygen test to generate and validate pubkey */
104 keygen_vectors(d_vec + i, qx_vec + i, qy_vec + i, 1, false);
105 string2scalar(private, NUM_ECC_WORDS, d_vec[i]);
106 uECC_vli_nativeToBytes(private_bytes, NUM_ECC_BYTES, private);
107
108 /* validate ECDSA: hash message, sign digest, check r+s */
109 (void)memset(k, 0, NUM_ECC_BYTES);
110 string2scalar(k, NUM_ECC_WORDS, k_vec[i]);
111 string2scalar(exp_r, NUM_ECC_WORDS, r_vec[i]);
112 string2scalar(exp_s, NUM_ECC_WORDS, s_vec[i]);
113
114 msglen = hex2bin(msg_vec[i], strlen(msg_vec[i]), msg, BUF_SIZE);
115
116 /**TESTPOINT: Check if msg imported*/
117 zassert_true(msglen, "failed to import message!");
118
119 tc_sha256_init(hash);
120 tc_sha256_update(hash, msg, msglen);
121 tc_sha256_final(digest_bytes, hash);
122
123 /* if digest larger than ECC scalar, drop the end
124 * if digest smaller than ECC scalar, zero-pad front */
125 int hash_dwords = TC_SHA256_DIGEST_SIZE / 4;
126 if (NUM_ECC_WORDS < hash_dwords) {
127 hash_dwords = NUM_ECC_WORDS;
128 }
129
130 (void)memset(digest, 0, NUM_ECC_BYTES - 4 * hash_dwords);
131 uECC_vli_bytesToNative(digest + (NUM_ECC_WORDS - hash_dwords),
132 digest_bytes, TC_SHA256_DIGEST_SIZE);
133
134 /**TESTPOINT: Check ECDSA_sign*/
135 zassert_true(uECC_sign_with_k(private_bytes, digest_bytes,
136 sizeof(digest_bytes), k, sig_bytes, uECC_secp256r1()),
137 "ECDSA_sign failed!");
138
139 uECC_vli_bytesToNative(sig, sig_bytes, NUM_ECC_BYTES);
140 uECC_vli_bytesToNative(sig + NUM_ECC_WORDS, sig_bytes + NUM_ECC_BYTES, NUM_ECC_BYTES);
141
142 result = check_ecc_result(i, "sig.r", exp_r, sig, NUM_ECC_WORDS, verbose);
143
144 /**TESTPOINT: Check ECC result*/
145 zassert_false(result, "ECC check failed");
146
147 result = check_ecc_result(i, "sig.s", exp_s, sig + NUM_ECC_WORDS, NUM_ECC_WORDS, verbose);
148
149 /**TESTPOINT: Check ECC result*/
150 zassert_false(result, "ECC check failed");
151 }
152
153 result = TC_PASS;
154 return result;
155 }
156
cavp_sign(bool verbose)157 int cavp_sign(bool verbose)
158 {
159
160 /*
161 * [P-256,SHA-256]
162 */
163 char *d[] = {
164 "519b423d715f8b581f4fa8ee59f4771a5b44c8130b4e3eacca54a56dda72b464",
165 "0f56db78ca460b055c500064824bed999a25aaf48ebb519ac201537b85479813",
166 "e283871239837e13b95f789e6e1af63bf61c918c992e62bca040d64cad1fc2ef",
167 "a3d2d3b7596f6592ce98b4bfe10d41837f10027a90d7bb75349490018cf72d07",
168 "53a0e8a8fe93db01e7ae94e1a9882a102ebd079b3a535827d583626c272d280d",
169 "4af107e8e2194c830ffb712a65511bc9186a133007855b49ab4b3833aefc4a1d",
170 "78dfaa09f1076850b3e206e477494cddcfb822aaa0128475053592c48ebaf4ab",
171 "80e692e3eb9fcd8c7d44e7de9f7a5952686407f90025a1d87e52c7096a62618a",
172 "5e666c0db0214c3b627a8e48541cc84a8b6fd15f300da4dff5d18aec6c55b881",
173 "f73f455271c877c4d5334627e37c278f68d143014b0a05aa62f308b2101c5308",
174 "b20d705d9bd7c2b8dc60393a5357f632990e599a0975573ac67fd89b49187906",
175 "d4234bebfbc821050341a37e1240efe5e33763cbbb2ef76a1c79e24724e5a5e7",
176 "b58f5211dff440626bb56d0ad483193d606cf21f36d9830543327292f4d25d8c",
177 "54c066711cdb061eda07e5275f7e95a9962c6764b84f6f1f3ab5a588e0a2afb1",
178 "34fa4682bf6cb5b16783adcd18f0e6879b92185f76d7c920409f904f522db4b1",
179 };
180
181 char *k[] = {
182 "94a1bbb14b906a61a280f245f9e93c7f3b4a6247824f5d33b9670787642a68de",
183 "6d3e71882c3b83b156bb14e0ab184aa9fb728068d3ae9fac421187ae0b2f34c6",
184 "ad5e887eb2b380b8d8280ad6e5ff8a60f4d26243e0124c2f31a297b5d0835de2",
185 "24fc90e1da13f17ef9fe84cc96b9471ed1aaac17e3a4bae33a115df4e5834f18",
186 "5d833e8d24cc7a402d7ee7ec852a3587cddeb48358cea71b0bedb8fabe84e0c4",
187 "e18f96f84dfa2fd3cdfaec9159d4c338cd54ad314134f0b31e20591fc238d0ab",
188 "295544dbb2da3da170741c9b2c6551d40af7ed4e891445f11a02b66a5c258a77",
189 "7c80fd66d62cc076cef2d030c17c0a69c99611549cb32c4ff662475adbe84b22",
190 "2e7625a48874d86c9e467f890aaa7cd6ebdf71c0102bfdcfa24565d6af3fdce9",
191 "62f8665fd6e26b3fa069e85281777a9b1f0dfd2c0b9f54a086d0c109ff9fd615",
192 "72b656f6b35b9ccbc712c9f1f3b1a14cbbebaec41c4bca8da18f492a062d6f6f",
193 "d926fe10f1bfd9855610f4f5a3d666b1a149344057e35537373372ead8b1a778",
194 "e158bf4a2d19a99149d9cdb879294ccb7aaeae03d75ddd616ef8ae51a6dc1071",
195 "646fe933e96c3b8f9f507498e907fdd201f08478d0202c752a7c2cfebf4d061a",
196 "a6f463ee72c9492bc792fe98163112837aebd07bab7a84aaed05be64db3086f4",
197 };
198
199 char *Msg[] = {
200 "5905238877c77421f73e43ee3da6f2d9e2ccad5fc942dcec0cbd25482935faaf416983fe16"
201 "5b1a045ee2bcd2e6dca3bdf46c4310a7461f9a37960ca672d3feb5473e253605fb1ddfd280"
202 "65b53cb5858a8ad28175bf9bd386a5e471ea7a65c17cc934a9d791e91491eb3754d0379979"
203 "0fe2d308d16146d5c9b0d0debd97d79ce8",
204 "c35e2f092553c55772926bdbe87c9796827d17024dbb9233a545366e2e5987dd344deb72df"
205 "987144b8c6c43bc41b654b94cc856e16b96d7a821c8ec039b503e3d86728c494a967d83011"
206 "a0e090b5d54cd47f4e366c0912bc808fbb2ea96efac88fb3ebec9342738e225f7c7c2b011c"
207 "e375b56621a20642b4d36e060db4524af1",
208 "3c054e333a94259c36af09ab5b4ff9beb3492f8d5b4282d16801daccb29f70fe61a0b37ffe"
209 "f5c04cd1b70e85b1f549a1c4dc672985e50f43ea037efa9964f096b5f62f7ffdf8d6bfb2cc"
210 "859558f5a393cb949dbd48f269343b5263dcdb9c556eca074f2e98e6d94c2c29a677afaf80"
211 "6edf79b15a3fcd46e7067b7669f83188ee",
212 "0989122410d522af64ceb07da2c865219046b4c3d9d99b01278c07ff63eaf1039cb787ae9e"
213 "2dd46436cc0415f280c562bebb83a23e639e476a02ec8cff7ea06cd12c86dcc3adefbf1a9e"
214 "9a9b6646c7599ec631b0da9a60debeb9b3e19324977f3b4f36892c8a38671c8e1cc8e50fcd"
215 "50f9e51deaf98272f9266fc702e4e57c30",
216 "dc66e39f9bbfd9865318531ffe9207f934fa615a5b285708a5e9c46b7775150e818d7f24d2"
217 "a123df3672fff2094e3fd3df6fbe259e3989dd5edfcccbe7d45e26a775a5c4329a084f057c"
218 "42c13f3248e3fd6f0c76678f890f513c32292dd306eaa84a59abe34b16cb5e38d0e885525d"
219 "10336ca443e1682aa04a7af832b0eee4e7",
220 "600974e7d8c5508e2c1aab0783ad0d7c4494ab2b4da265c2fe496421c4df238b0be25f2565"
221 "9157c8a225fb03953607f7df996acfd402f147e37aee2f1693e3bf1c35eab3ae360a2bd91d"
222 "04622ea47f83d863d2dfecb618e8b8bdc39e17d15d672eee03bb4ce2cc5cf6b217e5faf3f3"
223 "36fdd87d972d3a8b8a593ba85955cc9d71",
224 "dfa6cb9b39adda6c74cc8b2a8b53a12c499ab9dee01b4123642b4f11af336a91a5c9ce0520"
225 "eb2395a6190ecbf6169c4cba81941de8e76c9c908eb843b98ce95e0da29c5d4388040264e0"
226 "5e07030a577cc5d176387154eabae2af52a83e85c61c7c61da930c9b19e45d7e34c8516dc3"
227 "c238fddd6e450a77455d534c48a152010b",
228 "51d2547cbff92431174aa7fc7302139519d98071c755ff1c92e4694b58587ea560f72f32fc"
229 "6dd4dee7d22bb7387381d0256e2862d0644cdf2c277c5d740fa089830eb52bf79d1e75b859"
230 "6ecf0ea58a0b9df61e0c9754bfcd62efab6ea1bd216bf181c5593da79f10135a9bc6e164f1"
231 "854bc8859734341aad237ba29a81a3fc8b",
232 "558c2ac13026402bad4a0a83ebc9468e50f7ffab06d6f981e5db1d082098065bcff6f21a7a"
233 "74558b1e8612914b8b5a0aa28ed5b574c36ac4ea5868432a62bb8ef0695d27c1e3ceaf75c7"
234 "b251c65ddb268696f07c16d2767973d85beb443f211e6445e7fe5d46f0dce70d58a4cd9fe7"
235 "0688c035688ea8c6baec65a5fc7e2c93e8",
236 "4d55c99ef6bd54621662c3d110c3cb627c03d6311393b264ab97b90a4b15214a5593ba2510"
237 "a53d63fb34be251facb697c973e11b665cb7920f1684b0031b4dd370cb927ca7168b0bf8ad"
238 "285e05e9e31e34bc24024739fdc10b78586f29eff94412034e3b606ed850ec2c1900e8e681"
239 "51fc4aee5adebb066eb6da4eaa5681378e",
240 "f8248ad47d97c18c984f1f5c10950dc1404713c56b6ea397e01e6dd925e903b4fadfe2c9e8"
241 "77169e71ce3c7fe5ce70ee4255d9cdc26f6943bf48687874de64f6cf30a012512e787b8805"
242 "9bbf561162bdcc23a3742c835ac144cc14167b1bd6727e940540a9c99f3cbb41fb1dcb00d7"
243 "6dda04995847c657f4c19d303eb09eb48a",
244 "3b6ee2425940b3d240d35b97b6dcd61ed3423d8e71a0ada35d47b322d17b35ea0472f35edd"
245 "1d252f87b8b65ef4b716669fc9ac28b00d34a9d66ad118c9d94e7f46d0b4f6c2b2d339fd6b"
246 "cd351241a387cc82609057048c12c4ec3d85c661975c45b300cb96930d89370a327c98b67d"
247 "efaa89497aa8ef994c77f1130f752f94a4",
248 "c5204b81ec0a4df5b7e9fda3dc245f98082ae7f4efe81998dcaa286bd4507ca840a53d21b0"
249 "1e904f55e38f78c3757d5a5a4a44b1d5d4e480be3afb5b394a5d2840af42b1b4083d40afbf"
250 "e22d702f370d32dbfd392e128ea4724d66a3701da41ae2f03bb4d91bb946c7969404cb544f"
251 "71eb7a49eb4c4ec55799bda1eb545143a7",
252 "72e81fe221fb402148d8b7ab03549f1180bcc03d41ca59d7653801f0ba853add1f6d29edd7"
253 "f9abc621b2d548f8dbf8979bd16608d2d8fc3260b4ebc0dd42482481d548c7075711b57596"
254 "49c41f439fad69954956c9326841ea6492956829f9e0dc789f73633b40f6ac77bcae6dfc79"
255 "30cfe89e526d1684365c5b0be2437fdb01",
256 "21188c3edd5de088dacc1076b9e1bcecd79de1003c2414c3866173054dc82dde85169baa77"
257 "993adb20c269f60a5226111828578bcc7c29e6e8d2dae81806152c8ba0c6ada1986a1983eb"
258 "eec1473a73a04795b6319d48662d40881c1723a706f516fe75300f92408aa1dc6ae4288d20"
259 "46f23c1aa2e54b7fb6448a0da922bd7f34",
260 };
261
262 char *Qx[] = {
263 "1ccbe91c075fc7f4f033bfa248db8fccd3565de94bbfb12f3c59ff46c271bf83",
264 "e266ddfdc12668db30d4ca3e8f7749432c416044f2d2b8c10bf3d4012aeffa8a",
265 "74ccd8a62fba0e667c50929a53f78c21b8ff0c3c737b0b40b1750b2302b0bde8",
266 "322f80371bf6e044bc49391d97c1714ab87f990b949bc178cb7c43b7c22d89e1",
267 "1bcec4570e1ec2436596b8ded58f60c3b1ebc6a403bc5543040ba82963057244",
268 "a32e50be3dae2c8ba3f5e4bdae14cf7645420d425ead94036c22dd6c4fc59e00",
269 "8bcfe2a721ca6d753968f564ec4315be4857e28bef1908f61a366b1f03c97479",
270 "a88bc8430279c8c0400a77d751f26c0abc93e5de4ad9a4166357952fe041e767",
271 "1bc487570f040dc94196c9befe8ab2b6de77208b1f38bdaae28f9645c4d2bc3a",
272 "b8188bd68701fc396dab53125d4d28ea33a91daf6d21485f4770f6ea8c565dde",
273 "51f99d2d52d4a6e734484a018b7ca2f895c2929b6754a3a03224d07ae61166ce",
274 "8fb287f0202ad57ae841aea35f29b2e1d53e196d0ddd9aec24813d64c0922fb7",
275 "68229b48c2fe19d3db034e4c15077eb7471a66031f28a980821873915298ba76",
276 "0a7dbb8bf50cb605eb2268b081f26d6b08e012f952c4b70a5a1e6e7d46af98bb",
277 "105d22d9c626520faca13e7ced382dcbe93498315f00cc0ac39c4821d0d73737",
278 };
279
280 char *Qy[] = {
281 "ce4014c68811f9a21a1fdb2c0e6113e06db7ca93b7404e78dc7ccd5ca89a4ca9",
282 "bfa86404a2e9ffe67d47c587ef7a97a7f456b863b4d02cfc6928973ab5b1cb39",
283 "29074e21f3a0ef88b9efdf10d06aa4c295cc1671f758ca0e4cd108803d0f2614",
284 "3c15d54a5cc6b9f09de8457e873eb3deb1fceb54b0b295da6050294fae7fd999",
285 "8af62a4c683f096b28558320737bf83b9959a46ad2521004ef74cf85e67494e1",
286 "d623bf641160c289d6742c6257ae6ba574446dd1d0e74db3aaa80900b78d4ae9",
287 "0f67576a30b8e20d4232d8530b52fb4c89cbc589ede291e499ddd15fe870ab96",
288 "2d365a1eef25ead579cc9a069b6abc1b16b81c35f18785ce26a10ba6d1381185",
289 "ec81602abd8345e71867c8210313737865b8aa186851e1b48eaca140320f5d8f",
290 "423f058810f277f8fe076f6db56e9285a1bf2c2a1dae145095edd9c04970bc4a",
291 "4737da963c6ef7247fb88d19f9b0c667cac7fe12837fdab88c66f10d3c14cad1",
292 "1f6daff1aa2dd2d6d3741623eecb5e7b612997a1039aab2e5cf2de969cfea573",
293 "303e8ee3742a893f78b810991da697083dd8f11128c47651c27a56740a80c24c",
294 "f26dd7d799930062480849962ccf5004edcfd307c044f4e8f667c9baa834eeae",
295 "6c47f3cbbfa97dfcebe16270b8c7d5d3a5900b888c42520d751e8faf3b401ef4",
296 };
297
298 char *R[] = {
299 "f3ac8061b514795b8843e3d6629527ed2afd6b1f6a555a7acabb5e6f79c8c2ac",
300 "976d3a4e9d23326dc0baa9fa560b7c4e53f42864f508483a6473b6a11079b2db",
301 "35fb60f5ca0f3ca08542fb3cc641c8263a2cab7a90ee6a5e1583fac2bb6f6bd1",
302 "d7c562370af617b581c84a2468cc8bd50bb1cbf322de41b7887ce07c0e5884ca",
303 "18caaf7b663507a8bcd992b836dec9dc5703c080af5e51dfa3a9a7c387182604",
304 "8524c5024e2d9a73bde8c72d9129f57873bbad0ed05215a372a84fdbc78f2e68",
305 "c5a186d72df452015480f7f338970bfe825087f05c0088d95305f87aacc9b254",
306 "9d0c6afb6df3bced455b459cc21387e14929392664bb8741a3693a1795ca6902",
307 "2f9e2b4e9f747c657f705bffd124ee178bbc5391c86d056717b140c153570fd9",
308 "1cc628533d0004b2b20e7f4baad0b8bb5e0673db159bbccf92491aef61fc9620",
309 "9886ae46c1415c3bc959e82b760ad760aab66885a84e620aa339fdf102465c42",
310 "490efd106be11fc365c7467eb89b8d39e15d65175356775deab211163c2504cb",
311 "e67a9717ccf96841489d6541f4f6adb12d17b59a6bef847b6183b8fcf16a32eb",
312 "b53ce4da1aa7c0dc77a1896ab716b921499aed78df725b1504aba1597ba0c64b",
313 "542c40a18140a6266d6f0286e24e9a7bad7650e72ef0e2131e629c076d962663",
314 };
315
316 char *S[] = {
317 "8bf77819ca05a6b2786c76262bf7371cef97b218e96f175a3ccdda2acc058903",
318 "1b766e9ceb71ba6c01dcd46e0af462cd4cfa652ae5017d4555b8eeefe36e1932",
319 "ee59d81bc9db1055cc0ed97b159d8784af04e98511d0a9a407b99bb292572e96",
320 "b46d9f2d8c4bf83546ff178f1d78937c008d64e8ecc5cbb825cb21d94d670d89",
321 "77c68928ac3b88d985fb43fb615fb7ff45c18ba5c81af796c613dfa98352d29c",
322 "d18c2caf3b1072f87064ec5e8953f51301cada03469c640244760328eb5a05cb",
323 "84a58f9e9d9e735344b316b1aa1ab5185665b85147dc82d92e969d7bee31ca30",
324 "d7f9ddd191f1f412869429209ee3814c75c72fa46a9cccf804a2f5cc0b7e739f",
325 "f5413bfd85949da8d83de83ab0d19b2986613e224d1901d76919de23ccd03199",
326 "880e0bbf82a8cf818ed46ba03cf0fc6c898e36fca36cc7fdb1d2db7503634430",
327 "2bf3a80bc04faa35ebecc0f4864ac02d349f6f126e0f988501b8d3075409a26c",
328 "644300fc0da4d40fb8c6ead510d14f0bd4e1321a469e9c0a581464c7186b7aa7",
329 "9ae6ba6d637706849a6a9fc388cf0232d85c26ea0d1fe7437adb48de58364333",
330 "d7c246dc7ad0e67700c373edcfdd1c0a0495fc954549ad579df6ed1438840851",
331 "4f7f65305e24a6bbb5cff714ba8f5a2cee5bdc89ba8d75dcbf21966ce38eb66f",
332 };
333
334 struct tc_sha256_state_struct sha256_ctx;
335
336 TC_PRINT("Test #1: ECDSAsign ");
337 TC_PRINT("NIST-p256, SHA2-256\n");
338
339 return sign_vectors(&sha256_ctx, d, k, Msg, Qx, Qy, R, S, 15, verbose);
340 }
341
vrfy_vectors(TCSha256State_t hash,char ** msg_vec,char ** qx_vec,char ** qy_vec,char ** r_vec,char ** s_vec,int res_vec[],int tests,bool verbose)342 int vrfy_vectors(TCSha256State_t hash, char **msg_vec, char **qx_vec, char **qy_vec,
343 char **r_vec, char **s_vec, int res_vec[], int tests, bool verbose)
344 {
345
346 const struct uECC_Curve_t *curve = uECC_secp256r1();
347 unsigned int pub[2 * NUM_ECC_WORDS];
348 uint8_t pub_bytes[2 * NUM_ECC_BYTES];
349 unsigned int sig[2 * NUM_ECC_WORDS];
350 uint8_t sig_bytes[2 * NUM_ECC_BYTES];
351 uint8_t digest_bytes[TC_SHA256_DIGEST_SIZE];
352 unsigned int digest[TC_SHA256_DIGEST_SIZE / 4];
353 unsigned int result = TC_PASS;
354
355 int rc;
356 int exp_rc;
357
358 uint8_t msg[BUF_SIZE];
359 size_t msglen;
360
361 for (int i = 0; i < tests; i++) {
362
363 string2scalar(pub, NUM_ECC_WORDS, qx_vec[i]);
364 string2scalar(pub + NUM_ECC_WORDS, NUM_ECC_WORDS, qy_vec[i]);
365 string2scalar(sig, NUM_ECC_WORDS, r_vec[i]);
366 string2scalar(sig + NUM_ECC_WORDS, NUM_ECC_WORDS, s_vec[i]);
367
368 exp_rc = res_vec[i];
369
370 /* validate ECDSA: hash message, verify r+s */
371 msglen = hex2bin(msg_vec[i], strlen(msg_vec[i]), msg, BUF_SIZE);
372
373 /**TESTPOINT: Check if msg imported*/
374 zassert_true(msglen, "failed to import message!");
375
376 tc_sha256_init(hash);
377 tc_sha256_update(hash, msg, msglen);
378 tc_sha256_final(digest_bytes, hash);
379
380 /* if digest larger than ECC scalar, drop the end
381 * if digest smaller than ECC scalar, zero-pad front */
382 int hash_dwords = TC_SHA256_DIGEST_SIZE / 4;
383 if (NUM_ECC_WORDS < hash_dwords) {
384 hash_dwords = NUM_ECC_WORDS;
385 }
386
387 (void)memset(digest, 0, NUM_ECC_BYTES - 4 * hash_dwords);
388 uECC_vli_bytesToNative(digest + (NUM_ECC_WORDS - hash_dwords), digest_bytes,
389 TC_SHA256_DIGEST_SIZE);
390
391 uECC_vli_nativeToBytes(pub_bytes, NUM_ECC_BYTES, pub);
392 uECC_vli_nativeToBytes(pub_bytes + NUM_ECC_BYTES, NUM_ECC_BYTES,
393 pub + NUM_ECC_WORDS);
394
395 /* adapt return codes to match CAVP error: */
396 if (0 != uECC_valid_public_key(pub_bytes, curve)) {
397 /* error 4 - Q changed */
398 rc = 4;
399 } else {
400 uECC_vli_nativeToBytes(sig_bytes, NUM_ECC_BYTES, sig);
401 uECC_vli_nativeToBytes(sig_bytes + NUM_ECC_BYTES, NUM_ECC_BYTES,
402 sig + NUM_ECC_WORDS);
403
404 rc = uECC_verify(pub_bytes, digest_bytes, sizeof(digest_bytes), sig_bytes,
405 uECC_secp256r1());
406 /* CAVP expects 0 for success, others for fail */
407 rc = !rc;
408 if (exp_rc != 0 && rc != 0) {
409 /* mimic CAVP code on errors. */
410 rc = exp_rc;
411 }
412 }
413
414 result = check_code(i, exp_rc, rc, verbose);
415
416 /**TESTPOINT: Check result*/
417 zassert_false(result, "check_code failed");
418 }
419 return result;
420 }
421
cavp_verify(bool verbose)422 int cavp_verify(bool verbose)
423 {
424
425 /*
426 * [P-256,SHA-256]
427 */
428 char *Msg[] = {
429 "e4796db5f785f207aa30d311693b3702821dff1168fd2e04c0836825aefd850d9aa60326d8"
430 "8cde1a23c7745351392ca2288d632c264f197d05cd424a30336c19fd09bb229654f0222fcb"
431 "881a4b35c290a093ac159ce13409111ff0358411133c24f5b8e2090d6db6558afc36f06ca1"
432 "f6ef779785adba68db27a409859fc4c4a0",
433 "069a6e6b93dfee6df6ef6997cd80dd2182c36653cef10c655d524585655462d683877f95ec"
434 "c6d6c81623d8fac4e900ed0019964094e7de91f1481989ae1873004565789cbf5dc56c62ae"
435 "dc63f62f3b894c9c6f7788c8ecaadc9bd0e81ad91b2b3569ea12260e93924fdddd3972af52"
436 "73198f5efda0746219475017557616170e",
437 "df04a346cf4d0e331a6db78cca2d456d31b0a000aa51441defdb97bbeb20b94d8d746429a3"
438 "93ba88840d661615e07def615a342abedfa4ce912e562af714959896858af817317a840dcf"
439 "f85a057bb91a3c2bf90105500362754a6dd321cdd86128cfc5f04667b57aa78c112411e42d"
440 "a304f1012d48cd6a7052d7de44ebcc01de",
441 "e1130af6a38ccb412a9c8d13e15dbfc9e69a16385af3c3f1e5da954fd5e7c45fd75e2b8c36"
442 "699228e92840c0562fbf3772f07e17f1add56588dd45f7450e1217ad239922dd9c32695dc7"
443 "1ff2424ca0dec1321aa47064a044b7fe3c2b97d03ce470a592304c5ef21eed9f93da56bb23"
444 "2d1eeb0035f9bf0dfafdcc4606272b20a3",
445 "73c5f6a67456ae48209b5f85d1e7de7758bf235300c6ae2bdceb1dcb27a7730fb68c950b7f"
446 "cada0ecc4661d3578230f225a875e69aaa17f1e71c6be5c831f22663bac63d0c7a9635edb0"
447 "043ff8c6f26470f02a7bc56556f1437f06dfa27b487a6c4290d8bad38d4879b334e341ba09"
448 "2dde4e4ae694a9c09302e2dbf443581c08",
449 "666036d9b4a2426ed6585a4e0fd931a8761451d29ab04bd7dc6d0c5b9e38e6c2b263ff6cb8"
450 "37bd04399de3d757c6c7005f6d7a987063cf6d7e8cb38a4bf0d74a282572bd01d0f41e3fd0"
451 "66e3021575f0fa04f27b700d5b7ddddf50965993c3f9c7118ed78888da7cb221849b326059"
452 "2b8e632d7c51e935a0ceae15207bedd548",
453 "7e80436bce57339ce8da1b5660149a20240b146d108deef3ec5da4ae256f8f894edcbbc57b"
454 "34ce37089c0daa17f0c46cd82b5a1599314fd79d2fd2f446bd5a25b8e32fcf05b76d644573"
455 "a6df4ad1dfea707b479d97237a346f1ec632ea5660efb57e8717a8628d7f82af50a4e84b11"
456 "f21bdff6839196a880ae20b2a0918d58cd",
457 "1669bfb657fdc62c3ddd63269787fc1c969f1850fb04c933dda063ef74a56ce13e3a649700"
458 "820f0061efabf849a85d474326c8a541d99830eea8131eaea584f22d88c353965dabcdc4bf"
459 "6b55949fd529507dfb803ab6b480cd73ca0ba00ca19c438849e2cea262a1c57d8f81cd257f"
460 "b58e19dec7904da97d8386e87b84948169",
461 "3fe60dd9ad6caccf5a6f583b3ae65953563446c4510b70da115ffaa0ba04c076115c7043ab"
462 "8733403cd69c7d14c212c655c07b43a7c71b9a4cffe22c2684788ec6870dc2013f269172c8"
463 "22256f9e7cc674791bf2d8486c0f5684283e1649576efc982ede17c7b74b214754d70402fb"
464 "4bb45ad086cf2cf76b3d63f7fce39ac970",
465 "983a71b9994d95e876d84d28946a041f8f0a3f544cfcc055496580f1dfd4e312a2ad418fe6"
466 "9dbc61db230cc0c0ed97e360abab7d6ff4b81ee970a7e97466acfd9644f828ffec538abc38"
467 "3d0e92326d1c88c55e1f46a668a039beaa1be631a89129938c00a81a3ae46d4aecbf9707f7"
468 "64dbaccea3ef7665e4c4307fa0b0a3075c",
469 "4a8c071ac4fd0d52faa407b0fe5dab759f7394a5832127f2a3498f34aac287339e043b4ffa"
470 "79528faf199dc917f7b066ad65505dab0e11e6948515052ce20cfdb892ffb8aa9bf3f1aa5b"
471 "e30a5bbe85823bddf70b39fd7ebd4a93a2f75472c1d4f606247a9821f1a8c45a6cb80545de"
472 "2e0c6c0174e2392088c754e9c8443eb5af",
473 "0a3a12c3084c865daf1d302c78215d39bfe0b8bf28272b3c0b74beb4b7409db0718239de70"
474 "0785581514321c6440a4bbaea4c76fa47401e151e68cb6c29017f0bce4631290af5ea5e2bf"
475 "3ed742ae110b04ade83a5dbd7358f29a85938e23d87ac8233072b79c94670ff0959f9c7f45"
476 "17862ff829452096c78f5f2e9a7e4e9216",
477 "785d07a3c54f63dca11f5d1a5f496ee2c2f9288e55007e666c78b007d95cc28581dce51f49"
478 "0b30fa73dc9e2d45d075d7e3a95fb8a9e1465ad191904124160b7c60fa720ef4ef1c5d2998"
479 "f40570ae2a870ef3e894c2bc617d8a1dc85c3c55774928c38789b4e661349d3f84d2441a3b"
480 "856a76949b9f1f80bc161648a1cad5588e",
481 "76f987ec5448dd72219bd30bf6b66b0775c80b394851a43ff1f537f140a6e7229ef8cd72ad"
482 "58b1d2d20298539d6347dd5598812bc65323aceaf05228f738b5ad3e8d9fe4100fd767c2f0"
483 "98c77cb99c2992843ba3eed91d32444f3b6db6cd212dd4e5609548f4bb62812a920f6e2bf1"
484 "581be1ebeebdd06ec4e971862cc42055ca",
485 "60cd64b2cd2be6c33859b94875120361a24085f3765cb8b2bf11e026fa9d8855dbe435acf7"
486 "882e84f3c7857f96e2baab4d9afe4588e4a82e17a78827bfdb5ddbd1c211fbc2e6d884cddd"
487 "7cb9d90d5bf4a7311b83f352508033812c776a0e00c003c7e0d628e50736c7512df0acfa9f"
488 "2320bd102229f46495ae6d0857cc452a84",
489 };
490
491 char *Qx[] = {
492 "87f8f2b218f49845f6f10eec3877136269f5c1a54736dbdf69f89940cad41555",
493 "5cf02a00d205bdfee2016f7421807fc38ae69e6b7ccd064ee689fc1a94a9f7d2",
494 "2ddfd145767883ffbb0ac003ab4a44346d08fa2570b3120dcce94562422244cb",
495 "e424dc61d4bb3cb7ef4344a7f8957a0c5134e16f7a67c074f82e6e12f49abf3c",
496 "e0fc6a6f50e1c57475673ee54e3a57f9a49f3328e743bf52f335e3eeaa3d2864",
497 "a849bef575cac3c6920fbce675c3b787136209f855de19ffe2e8d29b31a5ad86",
498 "3dfb6f40f2471b29b77fdccba72d37c21bba019efa40c1c8f91ec405d7dcc5df",
499 "69b7667056e1e11d6caf6e45643f8b21e7a4bebda463c7fdbc13bc98efbd0214",
500 "bf02cbcf6d8cc26e91766d8af0b164fc5968535e84c158eb3bc4e2d79c3cc682",
501 "224a4d65b958f6d6afb2904863efd2a734b31798884801fcab5a590f4d6da9de",
502 "43691c7795a57ead8c5c68536fe934538d46f12889680a9cb6d055a066228369",
503 "9157dbfcf8cf385f5bb1568ad5c6e2a8652ba6dfc63bc1753edf5268cb7eb596",
504 "072b10c081a4c1713a294f248aef850e297991aca47fa96a7470abe3b8acfdda",
505 "09308ea5bfad6e5adf408634b3d5ce9240d35442f7fe116452aaec0d25be8c24",
506 "2d98ea01f754d34bbc3003df5050200abf445ec728556d7ed7d5c54c55552b6d",
507 };
508
509 char *Qy[] = {
510 "e15f369036f49842fac7a86c8a2b0557609776814448b8f5e84aa9f4395205e9",
511 "ec530ce3cc5c9d1af463f264d685afe2b4db4b5828d7e61b748930f3ce622a85",
512 "5f70c7d11ac2b7a435ccfbbae02c3df1ea6b532cc0e9db74f93fffca7c6f9a64",
513 "970eed7aa2bc48651545949de1dddaf0127e5965ac85d1243d6f60e7dfaee927",
514 "7f59d689c91e463607d9194d99faf316e25432870816dde63f5d4b373f12f22a",
515 "bf5fe4f7858f9b805bd8dcc05ad5e7fb889de2f822f3d8b41694e6c55c16b471",
516 "f22f953f1e395a52ead7f3ae3fc47451b438117b1e04d613bc8555b7d6e6d1bb",
517 "d3f9b12eb46c7c6fda0da3fc85bc1fd831557f9abc902a3be3cb3e8be7d1aa2f",
518 "069ba6cb06b49d60812066afa16ecf7b51352f2c03bd93ec220822b1f3dfba03",
519 "178d51fddada62806f097aa615d33b8f2404e6b1479f5fd4859d595734d6d2b9",
520 "f8790110b3c3b281aa1eae037d4f1234aff587d903d93ba3af225c27ddc9ccac",
521 "972570f4313d47fc96f7c02d5594d77d46f91e949808825b3d31f029e8296405",
522 "9581145cca04a0fb94cedce752c8f0370861916d2a94e7c647c5373ce6a4c8f5",
523 "f40c93e023ef494b1c3079b2d10ef67f3170740495ce2cc57f8ee4b0618b8ee5",
524 "9b52672742d637a32add056dfd6d8792f2a33c2e69dafabea09b960bc61e230a",
525 };
526
527 char *R[] = {
528 "d19ff48b324915576416097d2544f7cbdf8768b1454ad20e0baac50e211f23b0",
529 "dc23d130c6117fb5751201455e99f36f59aba1a6a21cf2d0e7481a97451d6693",
530 "9913111cff6f20c5bf453a99cd2c2019a4e749a49724a08774d14e4c113edda8",
531 "bf96b99aa49c705c910be33142017c642ff540c76349b9dab72f981fd9347f4f",
532 "1d75830cd36f4c9aa181b2c4221e87f176b7f05b7c87824e82e396c88315c407",
533 "25acc3aa9d9e84c7abf08f73fa4195acc506491d6fc37cb9074528a7db87b9d6",
534 "548886278e5ec26bed811dbb72db1e154b6f17be70deb1b210107decb1ec2a5a",
535 "288f7a1cd391842cce21f00e6f15471c04dc182fe4b14d92dc18910879799790",
536 "f5acb06c59c2b4927fb852faa07faf4b1852bbb5d06840935e849c4d293d1bad",
537 "87b93ee2fecfda54deb8dff8e426f3c72c8864991f8ec2b3205bb3b416de93d2",
538 "8acd62e8c262fa50dd9840480969f4ef70f218ebf8ef9584f199031132c6b1ce",
539 "dfaea6f297fa320b707866125c2a7d5d515b51a503bee817de9faa343cc48eeb",
540 "09f5483eccec80f9d104815a1be9cc1a8e5b12b6eb482a65c6907b7480cf4f19",
541 "5cc8aa7c35743ec0c23dde88dabd5e4fcd0192d2116f6926fef788cddb754e73",
542 "06108e525f845d0155bf60193222b3219c98e3d49424c2fb2a0987f825c17959",
543 };
544
545 int results[] = { 3, 2, 4, 0, 0, 2, 4, 1, 3, 2, 3, 1, 4, 1, 0 };
546
547 char *S[] = {
548 "a3e81e59311cdfff2d4784949f7a2cb50ba6c3a91fa54710568e61aca3e847c6",
549 "d6ce7708c18dbf35d4f8aa7240922dc6823f2e7058cbc1484fcad1599db5018c",
550 "9467cd4cd21ecb56b0cab0a9a453b43386845459127a952421f5c6382866c5cc",
551 "17c55095819089c2e03b9cd415abdf12444e323075d98f31920b9e0f57ec871c",
552 "cb2acb01dac96efc53a32d4a0d85d0c2e48955214783ecf50a4f0414a319c05a",
553 "9b21d5b5259ed3f2ef07dfec6cc90d3a37855d1ce122a85ba6a333f307d31537",
554 "e93bfebd2f14f3d827ca32b464be6e69187f5edbd52def4f96599c37d58eee75",
555 "247b3c4e89a3bcadfea73c7bfd361def43715fa382b8c3edf4ae15d6e55e9979",
556 "049dab79c89cc02f1484c437f523e080a75f134917fda752f2d5ca397addfe5d",
557 "4044a24df85be0cc76f21a4430b75b8e77b932a87f51e4eccbc45c263ebf8f66",
558 "cfca7ed3d4347fb2a29e526b43c348ae1ce6c60d44f3191b6d8ea3a2d9c92154",
559 "8f780ad713f9c3e5a4f7fa4c519833dfefc6a7432389b1e4af463961f09764f2",
560 "a4f90e560c5e4eb8696cb276e5165b6a9d486345dedfb094a76e8442d026378d",
561 "9c9c045ebaa1b828c32f82ace0d18daebf5e156eb7cbfdc1eff4399a8a900ae7",
562 "62b5cdd591e5b507e560167ba8f6f7cda74673eb315680cb89ccbc4eec477dce",
563 };
564
565 struct tc_sha256_state_struct sha256_ctx;
566
567 printf("Test #2: ECDSAvrfy ");
568 printf("NIST-p256, SHA2-256\n");
569
570 return vrfy_vectors(&sha256_ctx, Msg, Qx, Qy, R, S, results, 15, verbose);
571 }
572
montecarlo_signverify(int num_tests,bool verbose)573 int montecarlo_signverify(int num_tests, bool verbose)
574 {
575 printf("Test #3: Monte Carlo (%d Randomized EC-DSA signatures) ", num_tests);
576 printf("NIST-p256, SHA2-256\n ");
577 int i;
578 uint8_t private[NUM_ECC_BYTES];
579 uint8_t public[2 * NUM_ECC_BYTES];
580 uint8_t hash[NUM_ECC_BYTES];
581 unsigned int hash_words[NUM_ECC_WORDS];
582 uint8_t sig[2 * NUM_ECC_BYTES];
583
584 const struct uECC_Curve_t *curve = uECC_secp256r1();
585
586 for (i = 0; i < num_tests; ++i) {
587 if (verbose) {
588 TC_PRINT(".");
589 }
590
591 uECC_generate_random_int(hash_words, curve->n, BITS_TO_WORDS(curve->num_n_bits));
592 uECC_vli_nativeToBytes(hash, NUM_ECC_BYTES, hash_words);
593
594 /**TESTPOINT: Check uECC_make_key*/
595 zassert_true(uECC_make_key(public, private, curve),
596 "uECC_make_key() failed");
597
598 /**TESTPOINT: Check uECC_sign*/
599 zassert_true(uECC_sign(private, hash, sizeof(hash), sig, curve),
600 "uECC_sign() failed");
601
602 /**TESTPOINT: Check uECC_verify*/
603 zassert_true(uECC_verify(public, hash, sizeof(hash), sig, curve),
604 "uECC_verify() failed");
605
606 if (verbose) {
607 printf(".");
608 }
609 }
610 TC_PRINT("\n");
611 return TC_PASS;
612 }
613
default_CSPRNG(uint8_t * dest,unsigned int size)614 int default_CSPRNG(uint8_t *dest, unsigned int size)
615 {
616 /* This is not a CSPRNG, but it's the only thing available in the
617 * system at this point in time. */
618
619 sys_rand_get(dest, size);
620
621 return 1;
622 }
623
ZTEST(tinycrypt,test_ecc_dsa)624 ZTEST(tinycrypt, test_ecc_dsa)
625 {
626 unsigned int result = TC_PASS;
627
628 /* Setup of the Cryptographically Secure PRNG. */
629 uECC_set_rng(&default_CSPRNG);
630
631 bool verbose = true;
632
633 TC_PRINT("Performing cavp_sign test:\n");
634 result = cavp_sign(verbose);
635
636 /**TESTPOINT: Verify cavp_sign*/
637 zassert_false(result, "cavp_sign test failed.");
638
639 TC_PRINT("Performing cavp_verify test:\n");
640 result = cavp_verify(verbose);
641
642 /**TESTPOINT: Verify cavp_verify*/
643 zassert_false(result, "cavp_verify test failed.");
644
645 TC_PRINT("Performing montecarlo_signverify test:\n");
646 result = montecarlo_signverify(10, verbose);
647
648 /**TESTPOINT: Verify montecarlo_signverify*/
649 zassert_false(result, "montecarlo_signverify test failed.");
650
651 TC_PRINT("\nAll ECC-DSA tests succeeded.\n");
652 }
653
