2 * Test GOST 34.11 Digest operation
4 * Copyright (C) 2019-2020 Vitaly Chikunov <vt@altlinux.org>. All Rights Reserved.
6 * Contents licensed under the terms of the OpenSSL license
7 * See https://www.openssl.org/source/license.html for details
10 #include <openssl/engine.h>
11 #include <openssl/opensslv.h>
12 #include <openssl/evp.h>
13 #include <openssl/rand.h>
14 #include <openssl/err.h>
15 #include <openssl/asn1.h>
16 #if OPENSSL_VERSION_MAJOR < 3
17 # include <openssl/hmac.h>
19 # include <openssl/core_names.h>
21 #include <openssl/obj_mac.h>
25 # include <sys/sysmips.h>
27 #ifndef EVP_MD_CTRL_SET_KEY
28 # include "gost_lcl.h"
31 /* Helpers to test OpenSSL API calls. */
32 #define T(e) ({ if (!(e)) { \
33 ERR_print_errors_fp(stderr); \
34 OpenSSLDie(__FILE__, __LINE__, #e); \
37 #define TE(e) ({ if (!(e)) { \
38 ERR_print_errors_fp(stderr); \
39 fprintf(stderr, "Error at %s:%d %s\n", __FILE__, __LINE__, #e); \
44 #define cRED "\033[1;31m"
45 #define cDRED "\033[0;31m"
46 #define cGREEN "\033[1;32m"
47 #define cDGREEN "\033[0;32m"
48 #define cBLUE "\033[1;34m"
49 #define cDBLUE "\033[0;34m"
50 #define cMAGENT "\033[1;35m"
51 #define cNORM "\033[m"
52 #define TEST_ASSERT(e) {if ((test = (e))) \
53 printf(cRED " Test FAILED\n" cNORM); \
55 printf(cGREEN " Test passed\n" cNORM);}
58 * Test keys from both GOST R 34.12-2015 and GOST R 34.13-2015,
59 * for 128-bit cipher (A.1).
61 static const char K[32] = {
62 0x88,0x99,0xaa,0xbb,0xcc,0xdd,0xee,0xff,0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
63 0xfe,0xdc,0xba,0x98,0x76,0x54,0x32,0x10,0x01,0x23,0x45,0x67,0x89,0xab,0xcd,0xef,
67 * Key for 64-bit cipher (A.2).
69 static const char Km[32] = {
70 0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,0x77,0x66,0x55,0x44,0x33,0x22,0x11,0x00,
71 0xf0,0xf1,0xf2,0xf3,0xf4,0xf5,0xf6,0xf7,0xf8,0xf9,0xfa,0xfb,0xfc,0xfd,0xfe,0xff,
75 * Plaintext from GOST R 34.13-2015 A.1.
76 * First 16 bytes is vector (a) from GOST R 34.12-2015 A.1.
78 static const char P[] = {
79 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,
80 0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,
81 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,
82 0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,0x11,
85 /* Plaintext for 64-bit cipher (A.2) */
86 static const char Pm[] = {
87 0x92,0xde,0xf0,0x6b,0x3c,0x13,0x0a,0x59,0xdb,0x54,0xc7,0x04,0xf8,0x18,0x9d,0x20,
88 0x4a,0x98,0xfb,0x2e,0x67,0xa8,0x02,0x4c,0x89,0x12,0x40,0x9b,0x17,0xb5,0x7e,0x41,
92 * Kuznyechik OMAC1/CMAC test vector from GOST R 34.13-2015 А.1.6
94 static const char MAC_omac[] = { 0x33,0x6f,0x4d,0x29,0x60,0x59,0xfb,0xe3 };
97 * Magma OMAC1/CMAC test vector from GOST R 34.13-2015 А.2.6
99 static const char MAC_magma_omac[] = { 0x15,0x4e,0x72,0x10 };
102 * OMAC-ACPKM test vector from R 1323565.1.017-2018 A.4.1
104 static const char P_omac_acpkm1[] = {
105 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xFF,0xEE,0xDD,0xCC,0xBB,0xAA,0x99,0x88,
106 0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
109 static const char MAC_omac_acpkm1[] = {
110 0xB5,0x36,0x7F,0x47,0xB6,0x2B,0x99,0x5E,0xEB,0x2A,0x64,0x8C,0x58,0x43,0x14,0x5E,
114 * OMAC-ACPKM test vector from R 1323565.1.017-2018 A.4.2
116 static const char P_omac_acpkm2[] = {
117 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xFF,0xEE,0xDD,0xCC,0xBB,0xAA,0x99,0x88,
118 0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,
119 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,
120 0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,
121 0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,
124 static const char MAC_omac_acpkm2[] = {
125 0xFB,0xB8,0xDC,0xEE,0x45,0xBE,0xA6,0x7C,0x35,0xF5,0x8C,0x57,0x00,0x89,0x8E,0x5D,
128 /* Some other test vectors. */
129 static const char etalon_M4[64] = { 0 };
131 static const char etalon_M5[] = {
132 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
133 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
134 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
135 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
138 static const char etalon_M6[] = {
139 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
140 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
141 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
142 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
143 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
144 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
145 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
146 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
147 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
148 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
149 0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
150 0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
153 static const char etalon_carry[] = {
154 0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
155 0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
156 0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
157 0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
158 0x16,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,
159 0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,
160 0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,
161 0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x16,
164 struct hash_testvec {
165 int nid; /* OpenSSL algorithm numeric id. */
166 const char *name; /* Test name and source. */
167 const char *plaintext; /* Input (of psize), NULL for synthetic test. */
168 const char *digest; /* Expected output (of EVP_MD_size or truncate). */
169 const char *hmac; /* Expected output for HMAC tests. */
170 const char *key; /* MAC key.*/
171 int psize; /* Input (plaintext) size. */
172 int mdsize; /* Compare to EVP_MD_size() if non-zero. */
173 int truncate; /* Truncated output (digest) size. */
174 int key_size; /* MAC key size. */
175 int block_size; /* Internal block size. */
176 int acpkm; /* The section size N (the number of bits that are
177 processed with one section key before this key is
178 transformed) (bytes) */
179 int acpkm_t; /* Master key (change) frequency T* (bytes) */
182 static const struct hash_testvec testvecs[] = {
183 { /* Test vectors from standards. */
184 .nid = NID_id_GostR3411_2012_512,
185 .name = "M1 from RFC 6986 (10.1.1) and GOST R 34.11-2012 (А.1.1)",
187 "012345678901234567890123456789012345678901234567890123456789012",
190 "\x1b\x54\xd0\x1a\x4a\xf5\xb9\xd5\xcc\x3d\x86\xd6\x8d\x28\x54\x62"
191 "\xb1\x9a\xbc\x24\x75\x22\x2f\x35\xc0\x85\x12\x2b\xe4\xba\x1f\xfa"
192 "\x00\xad\x30\xf8\x76\x7b\x3a\x82\x38\x4c\x65\x74\xf0\x24\xc3\x11"
193 "\xe2\xa4\x81\x33\x2b\x08\xef\x7f\x41\x79\x78\x91\xc1\x64\x6f\x48",
195 .block_size = 512 / 8,
198 .nid = NID_id_GostR3411_2012_256,
199 .name = "M1 from RFC 6986 (10.1.2) and GOST R 34.11-2012 (А.1.2)",
201 "012345678901234567890123456789012345678901234567890123456789012",
204 "\x9d\x15\x1e\xef\xd8\x59\x0b\x89\xda\xa6\xba\x6c\xb7\x4a\xf9\x27"
205 "\x5d\xd0\x51\x02\x6b\xb1\x49\xa4\x52\xfd\x84\xe5\xe5\x7b\x55\x00",
207 .block_size = 512 / 8,
210 .nid = NID_id_GostR3411_2012_512,
211 .name = "M2 from RFC 6986 (10.2.1) and GOST R 34.11-2012 (А.2.1)",
213 "\xd1\xe5\x20\xe2\xe5\xf2\xf0\xe8\x2c\x20\xd1\xf2\xf0\xe8\xe1\xee"
214 "\xe6\xe8\x20\xe2\xed\xf3\xf6\xe8\x2c\x20\xe2\xe5\xfe\xf2\xfa\x20"
215 "\xf1\x20\xec\xee\xf0\xff\x20\xf1\xf2\xf0\xe5\xeb\xe0\xec\xe8\x20"
216 "\xed\xe0\x20\xf5\xf0\xe0\xe1\xf0\xfb\xff\x20\xef\xeb\xfa\xea\xfb"
217 "\x20\xc8\xe3\xee\xf0\xe5\xe2\xfb",
220 "\x1e\x88\xe6\x22\x26\xbf\xca\x6f\x99\x94\xf1\xf2\xd5\x15\x69\xe0"
221 "\xda\xf8\x47\x5a\x3b\x0f\xe6\x1a\x53\x00\xee\xe4\x6d\x96\x13\x76"
222 "\x03\x5f\xe8\x35\x49\xad\xa2\xb8\x62\x0f\xcd\x7c\x49\x6c\xe5\xb3"
223 "\x3f\x0c\xb9\xdd\xdc\x2b\x64\x60\x14\x3b\x03\xda\xba\xc9\xfb\x28",
226 .nid = NID_id_GostR3411_2012_256,
227 .name = "M2 from RFC 6986 (10.2.2) and GOST R 34.11-2012 (А.2.2)",
229 "\xd1\xe5\x20\xe2\xe5\xf2\xf0\xe8\x2c\x20\xd1\xf2\xf0\xe8\xe1\xee"
230 "\xe6\xe8\x20\xe2\xed\xf3\xf6\xe8\x2c\x20\xe2\xe5\xfe\xf2\xfa\x20"
231 "\xf1\x20\xec\xee\xf0\xff\x20\xf1\xf2\xf0\xe5\xeb\xe0\xec\xe8\x20"
232 "\xed\xe0\x20\xf5\xf0\xe0\xe1\xf0\xfb\xff\x20\xef\xeb\xfa\xea\xfb"
233 "\x20\xc8\xe3\xee\xf0\xe5\xe2\xfb",
236 "\x9d\xd2\xfe\x4e\x90\x40\x9e\x5d\xa8\x7f\x53\x97\x6d\x74\x05\xb0"
237 "\xc0\xca\xc6\x28\xfc\x66\x9a\x74\x1d\x50\x06\x3c\x55\x7e\x8f\x50",
241 .nid = NID_grasshopper_mac,
242 .name = "P from GOST R 34.13-2015 (А.1.6)",
246 .key_size = sizeof(K),
249 .truncate = sizeof(MAC_omac),
252 .nid = NID_magma_mac,
253 .name = "P from GOST R 34.13-2015 (А.2.6)",
257 .key_size = sizeof(Km),
258 .digest = MAC_magma_omac,
260 .truncate = sizeof(MAC_magma_omac),
263 .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
264 .name = "M from R 1323565.1.017-2018 (A.4.1)",
265 .plaintext = P_omac_acpkm1,
266 .psize = sizeof(P_omac_acpkm1),
268 .key_size = sizeof(K),
271 .digest = MAC_omac_acpkm1,
272 .mdsize = sizeof(MAC_omac_acpkm1),
275 .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
276 .name = "M from R 1323565.1.017-2018 (A.4.2)",
277 .plaintext = P_omac_acpkm2,
278 .psize = sizeof(P_omac_acpkm2),
280 .key_size = sizeof(K),
283 .digest = MAC_omac_acpkm2,
284 .mdsize = sizeof(MAC_omac_acpkm2),
287 .nid = NID_id_GostR3411_2012_512,
288 .name = "HMAC_GOSTR3411_2012_512 from RFC 7836 (B) and R 50.1.113-2016 (A)",
290 "\x01\x26\xbd\xb8\x78\x00\xaf\x21\x43\x41\x45\x65\x63\x78\x01\x00",
293 "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f"
294 "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f",
297 "\xa5\x9b\xab\x22\xec\xae\x19\xc6\x5f\xbd\xe6\xe5\xf4\xe9\xf5\xd8"
298 "\x54\x9d\x31\xf0\x37\xf9\xdf\x9b\x90\x55\x00\xe1\x71\x92\x3a\x77"
299 "\x3d\x5f\x15\x30\xf2\xed\x7e\x96\x4c\xb2\xee\xdc\x29\xe9\xad\x2f"
300 "\x3a\xfe\x93\xb2\x81\x4f\x79\xf5\x00\x0f\xfc\x03\x66\xc2\x51\xe6",
303 .nid = NID_id_GostR3411_2012_256,
304 .name = "HMAC_GOSTR3411_2012_256 from RFC 7836 (B) and R 50.1.113-2016 (A)",
306 "\x01\x26\xbd\xb8\x78\x00\xaf\x21\x43\x41\x45\x65\x63\x78\x01\x00",
309 "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f"
310 "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f",
313 "\xa1\xaa\x5f\x7d\xe4\x02\xd7\xb3\xd3\x23\xf2\x99\x1c\x8d\x45\x34"
314 "\x01\x31\x37\x01\x0a\x83\x75\x4f\xd0\xaf\x6d\x7c\xd4\x92\x2e\xd9",
318 .nid = NID_id_GostR3411_2012_512,
319 .name = "Zero length string (M3)",
323 "\x8e\x94\x5d\xa2\x09\xaa\x86\x9f\x04\x55\x92\x85\x29\xbc\xae\x46"
324 "\x79\xe9\x87\x3a\xb7\x07\xb5\x53\x15\xf5\x6c\xeb\x98\xbe\xf0\xa7"
325 "\x36\x2f\x71\x55\x28\x35\x6e\xe8\x3c\xda\x5f\x2a\xac\x4c\x6a\xd2"
326 "\xba\x3a\x71\x5c\x1b\xcd\x81\xcb\x8e\x9f\x90\xbf\x4c\x1c\x1a\x8a",
330 .nid = NID_id_GostR3411_2012_256,
331 .name = "Zero length string (M3)",
335 "\x3f\x53\x9a\x21\x3e\x97\xc8\x02\xcc\x22\x9d\x47\x4c\x6a\xa3\x2a"
336 "\x82\x5a\x36\x0b\x2a\x93\x3a\x94\x9f\xd9\x25\x20\x8d\x9c\xe1\xbb",
340 .nid = NID_id_GostR3411_2012_512,
341 .name = "64 bytes of zeros (M4)",
342 .plaintext = etalon_M4,
343 .psize = sizeof(etalon_M4),
345 "\xb0\xfd\x29\xac\x1b\x0d\xf4\x41\x76\x9f\xf3\xfd\xb8\xdc\x56\x4d"
346 "\xf6\x77\x21\xd6\xac\x06\xfb\x28\xce\xff\xb7\xbb\xaa\x79\x48\xc6"
347 "\xc0\x14\xac\x99\x92\x35\xb5\x8c\xb2\x6f\xb6\x0f\xb1\x12\xa1\x45"
348 "\xd7\xb4\xad\xe9\xae\x56\x6b\xf2\x61\x14\x02\xc5\x52\xd2\x0d\xb7"
351 .nid = NID_id_GostR3411_2012_256,
352 .name = "64 bytes of zeros (M4)",
353 .plaintext = etalon_M4,
354 .psize = sizeof(etalon_M4),
356 "\xdf\x1f\xda\x9c\xe8\x31\x91\x39\x05\x37\x35\x80\x31\xdb\x2e\xca"
357 "\xa6\xaa\x54\xcd\x0e\xda\x24\x1d\xc1\x07\x10\x5e\x13\x63\x6b\x95"
360 .nid = NID_id_GostR3411_2012_512,
361 .name = "64 bytes of (M5)",
362 .plaintext = etalon_M5,
363 .psize = sizeof(etalon_M5),
365 "\x36\x3b\x44\x9e\xc8\x1a\xe4\x0b\x3a\x40\x7b\x12\x5c\x3b\x1c\x2b"
366 "\x76\x8b\x50\x49\x6b\xcb\x5f\x69\x0b\x89\xe9\x00\x7b\x06\xe4\x08"
367 "\x41\x82\xed\x45\xd4\x07\x2a\x67\xfe\xc9\xd3\x42\x1d\xab\x01\x3d"
368 "\xa2\xaa\xbc\x1d\x65\x28\xe8\xe7\x75\xae\xc7\xb3\x45\x7a\xc6\x75"
371 .nid = NID_id_GostR3411_2012_256,
372 .name = "64 bytes of (M5)",
373 .plaintext = etalon_M5,
374 .psize = sizeof(etalon_M5),
376 "\xf0\xa5\x57\xf6\xa0\x4a\x90\xab\x18\x11\xc1\xb6\xe9\xb0\x78\xe4"
377 "\x16\x3b\x74\x03\x7c\x6c\xf5\x9f\x52\x44\x4a\x37\xf4\x8e\x11\xd8"
380 .nid = NID_id_GostR3411_2012_512,
382 .plaintext = etalon_M6,
383 .psize = sizeof(etalon_M6),
385 "\x87\x81\xdf\xc8\x1d\x2d\xb6\xa4\x1d\x18\x57\xf3\x23\x0b\x3f\xfe"
386 "\x2b\xda\x57\x42\x73\xea\x19\x47\x18\x9a\xaa\x54\x68\x47\x0d\xf1"
387 "\xc4\xb3\x74\xb1\xa2\xb5\x6e\x59\xd1\x1d\x21\x3f\xea\x57\xe3\x51"
388 "\x45\x43\xb0\xce\xd9\xb2\x0e\x55\x3a\xe6\x64\x25\xec\x90\x9c\xfd"
391 .nid = NID_id_GostR3411_2012_256,
393 .plaintext = etalon_M6,
394 .psize = sizeof(etalon_M6),
396 "\x2f\x4f\x65\x1f\xe8\x8f\xea\x46\xec\x6f\x22\x23\x72\x8d\x8d\xff"
397 "\x39\x68\x89\x35\x58\xef\x00\xa3\x10\xc2\x3e\x7d\x19\x23\xba\x0c"
400 .nid = NID_id_GostR3411_2012_512,
402 .plaintext = etalon_carry,
403 .psize = sizeof(etalon_carry),
405 "\x8b\x06\xf4\x1e\x59\x90\x7d\x96\x36\xe8\x92\xca\xf5\x94\x2f\xcd"
406 "\xfb\x71\xfa\x31\x16\x9a\x5e\x70\xf0\xed\xb8\x73\x66\x4d\xf4\x1c"
407 "\x2c\xce\x6e\x06\xdc\x67\x55\xd1\x5a\x61\xcd\xeb\x92\xbd\x60\x7c"
408 "\xc4\xaa\xca\x67\x32\xbf\x35\x68\xa2\x3a\x21\x0d\xd5\x20\xfd\x41"
411 .nid = NID_id_GostR3411_2012_256,
413 .plaintext = etalon_carry,
414 .psize = sizeof(etalon_carry),
416 "\x81\xbb\x63\x2f\xa3\x1f\xcc\x38\xb4\xc3\x79\xa6\x62\xdb\xc5\x8b"
417 "\x9b\xed\x83\xf5\x0d\x3a\x1b\x2c\xe7\x27\x1a\xb0\x2d\x25\xba\xbb"
419 /* Synthetic tests. */
421 .nid = NID_id_GostR3411_2012_256,
422 .name = "streebog256 synthetic test",
426 "\xa2\xf3\x6d\x9c\x42\xa1\x1e\xad\xe3\xc1\xfe\x99\xf9\x99\xc3\x84"
427 "\xe7\x98\xae\x24\x50\x75\x73\xd7\xfc\x99\x81\xa0\x45\x85\x41\xf6"
429 .nid = NID_id_GostR3411_2012_512,
430 .name = "streebog512 synthetic test",
434 "\x1d\x14\x4d\xd8\xb8\x27\xfb\x55\x1a\x5a\x7d\x03\xbb\xdb\xfa\xcb"
435 "\x43\x6b\x5b\xc5\x77\x59\xfd\x5f\xf2\x3b\x8e\xf9\xc4\xdd\x6f\x79"
436 "\x45\xd8\x16\x59\x9e\xaa\xbc\xf2\xb1\x4f\xd0\xe4\xf6\xad\x46\x60"
437 "\x90\x89\xf7\x2f\x93\xd8\x85\x0c\xb0\x43\xff\x5a\xb6\xe3\x69\xbd"
442 static void hexdump(const void *ptr, size_t len)
444 const unsigned char *p = ptr;
447 for (i = 0; i < len; i += j) {
448 for (j = 0; j < 16 && i + j < len; j++)
449 printf("%s%02x", j? "" : " ", p[i + j]);
454 #if OPENSSL_VERSION_MAJOR < 3
455 static int do_hmac(const EVP_MD *type, const char *plaintext,
456 unsigned int psize, const char *etalon, int mdsize,
457 const char *key, unsigned int key_size)
460 unsigned char md[EVP_MAX_MD_SIZE];
463 T(ctx = HMAC_CTX_new());
464 T(HMAC_Init_ex(ctx, key, key_size, type, NULL));
465 T(HMAC_Update(ctx, (const unsigned char *)plaintext, psize));
466 T(HMAC_Final(ctx, md, &len));
471 if (memcmp(md, etalon, len) != 0) {
472 printf(cRED "hmac mismatch\n" cNORM);
473 hexdump(etalon, len);
480 static int do_hmac(const EVP_MD *type, const char *plaintext,
481 unsigned int psize, const char *etalon, int mdsize,
482 const char *key, unsigned int key_size)
485 unsigned char md[EVP_MAX_MD_SIZE];
488 T(hmac = EVP_MAC_fetch(NULL, "HMAC", NULL));
490 T(ctx = EVP_MAC_CTX_new(hmac));
491 OSSL_PARAM params[] = {
492 OSSL_PARAM_utf8_string(OSSL_MAC_PARAM_DIGEST,
493 (char *)EVP_MD_name(type), 0),
494 OSSL_PARAM_octet_string(OSSL_MAC_PARAM_KEY, (char *)key, key_size),
497 T(EVP_MAC_CTX_set_params(ctx, params));
498 T(EVP_MAC_init(ctx));
499 T(EVP_MAC_update(ctx, (unsigned char *)plaintext, psize));
500 T(EVP_MAC_final(ctx, md, &len, EVP_MAX_MD_SIZE));
501 EVP_MAC_CTX_free(ctx);
506 if (memcmp(md, etalon, len) != 0) {
507 printf(cRED "hmac mismatch\n" cNORM);
508 hexdump(etalon, len);
516 static int do_digest(const EVP_MD *type, const char *plaintext,
517 unsigned int psize, const char *etalon, int mdsize, int truncate,
518 const char *key, unsigned int key_size, int acpkm, int acpkm_t,
522 T(EVP_MD_size(type) == mdsize);
526 mdsize = EVP_MD_size(type);
529 T(EVP_MD_block_size(type) == block_size);
531 T(ctx = EVP_MD_CTX_new());
532 T(EVP_MD_CTX_init(ctx));
533 T(EVP_DigestInit_ex(ctx, type, NULL));
535 T(EVP_MD_CTX_ctrl(ctx, EVP_MD_CTRL_SET_KEY, key_size, (void *)key));
537 T(EVP_MD_CTX_ctrl(ctx,
538 EVP_CTRL_KEY_MESH, acpkm, acpkm_t? &acpkm_t : NULL));
539 T(EVP_DigestUpdate(ctx, plaintext, psize));
542 unsigned char md[EVP_MAX_MD_SIZE];
544 if (EVP_MD_flags(EVP_MD_CTX_md(ctx)) & EVP_MD_FLAG_XOF) {
545 T(EVP_DigestFinalXOF(ctx, md, mdsize));
548 T(EVP_MD_CTX_size(ctx) == mdsize);
549 T(EVP_DigestFinal_ex(ctx, md, &len));
552 EVP_MD_CTX_free(ctx);
554 if (memcmp(md, etalon, mdsize) != 0) {
555 printf(cRED "digest mismatch\n" cNORM);
556 hexdump(etalon, mdsize);
564 static int do_test(const struct hash_testvec *tv)
569 T(type = EVP_get_digestbynid(tv->nid));
570 const char *name = EVP_MD_name(type);
571 printf(cBLUE "%s Test %s: %s: " cNORM, tv->hmac? "HMAC" : "MD",
575 ret |= do_hmac(type, tv->plaintext, tv->psize, tv->hmac,
576 tv->mdsize, tv->key, tv->key_size);
578 ret |= do_digest(type, tv->plaintext, tv->psize, tv->digest,
579 tv->mdsize, tv->truncate, tv->key, tv->key_size, tv->acpkm,
580 tv->acpkm_t, tv->block_size);
582 /* Test alignment problems. */
586 T(buf = OPENSSL_malloc(tv->psize + shifts));
587 for (i = 0; i < shifts; i++) {
588 memcpy(buf + i, tv->plaintext, tv->psize);
590 ret |= do_hmac(type, buf + i, tv->psize, tv->hmac,
591 tv->mdsize, tv->key, tv->key_size);
593 ret |= do_digest(type, buf + i, tv->psize, tv->digest,
594 tv->mdsize, tv->truncate, tv->key, tv->key_size,
595 tv->acpkm, tv->acpkm_t, tv->block_size);
600 printf(cGREEN "success\n" cNORM);
602 printf(cRED "fail\n" cNORM);
606 #define SUPER_SIZE 256
608 * For 256-byte buffer filled with 256 bytes from 0 to 255;
609 * Digest them 256 times from the buffer end with lengths from 0 to 256,
610 * and from beginning of the buffer with lengths from 0 to 256;
611 * Each produced digest is digested again into final sum.
613 static int do_synthetic_once(const struct hash_testvec *tv, unsigned int shifts)
615 unsigned char *ibuf, *md;
616 T(ibuf = OPENSSL_zalloc(SUPER_SIZE + shifts));
618 /* fill with pattern */
620 for (len = 0; len < SUPER_SIZE; len++)
621 ibuf[shifts + len] = len & 0xff;
623 const EVP_MD *mdtype;
624 T(mdtype = EVP_get_digestbynid(tv->nid));
625 OPENSSL_assert(tv->nid == EVP_MD_type(mdtype));
626 EVP_MD_CTX *ctx, *ctx2;
627 T(ctx = EVP_MD_CTX_new());
628 T(ctx2 = EVP_MD_CTX_new());
629 T(EVP_DigestInit(ctx2, mdtype));
630 OPENSSL_assert(tv->nid == EVP_MD_CTX_type(ctx2));
631 OPENSSL_assert(EVP_MD_block_size(mdtype) == tv->block_size);
632 OPENSSL_assert(EVP_MD_CTX_size(ctx2) == tv->mdsize);
633 OPENSSL_assert(EVP_MD_CTX_block_size(ctx2) == tv->block_size);
635 const unsigned int mdlen = EVP_MD_size(mdtype);
636 OPENSSL_assert(mdlen == tv->mdsize);
637 T(md = OPENSSL_zalloc(mdlen + shifts));
638 md += shifts; /* test for output digest alignment problems */
641 for (len = 0; len < SUPER_SIZE; len++) {
642 /* for each len digest len bytes from the end of buf */
643 T(EVP_DigestInit(ctx, mdtype));
644 T(EVP_DigestUpdate(ctx, ibuf + shifts + SUPER_SIZE - len, len));
645 T(EVP_DigestFinal(ctx, md, NULL));
646 T(EVP_DigestUpdate(ctx2, md, mdlen));
649 for (len = 0; len < SUPER_SIZE; len++) {
650 /* for each len digest len bytes from the beginning of buf */
651 T(EVP_DigestInit(ctx, mdtype));
652 T(EVP_DigestUpdate(ctx, ibuf + shifts, len));
653 T(EVP_DigestFinal(ctx, md, NULL));
654 T(EVP_DigestUpdate(ctx2, md, mdlen));
658 EVP_MD_CTX_free(ctx);
660 T(EVP_DigestFinal(ctx2, md, &len));
661 EVP_MD_CTX_free(ctx2);
664 printf(cRED "digest output len mismatch %u != %u (expected)\n" cNORM,
669 if (memcmp(md, tv->digest, mdlen) != 0) {
670 printf(cRED "digest mismatch\n" cNORM);
673 printf(" Expected value is: ");
674 for (i = 0; i < mdlen; i++)
675 printf("\\x%02x", md[i]);
680 OPENSSL_free(md - shifts);
683 OPENSSL_free(md - shifts);
687 /* do different block sizes and different memory offsets */
688 static int do_synthetic_test(const struct hash_testvec *tv)
692 printf(cBLUE "MD Test %s: " cNORM, tv->name);
696 for (shifts = 0; shifts < 16 && !ret; shifts++)
697 ret |= do_synthetic_once(tv, shifts);
700 printf(cGREEN "success\n" cNORM);
702 printf(cRED "fail\n" cNORM);
706 int main(int argc, char **argv)
711 /* Trigger SIGBUS for unaligned access. */
712 sysmips(MIPS_FIXADE, 0);
714 setenv("OPENSSL_ENGINES", ENGINE_DIR, 0);
715 OPENSSL_add_all_algorithms_conf();
716 ERR_load_crypto_strings();
718 T(eng = ENGINE_by_id("gost"));
720 T(ENGINE_set_default(eng, ENGINE_METHOD_ALL));
722 const struct hash_testvec *tv;
723 for (tv = testvecs; tv->nid; tv++) {
727 ret |= do_synthetic_test(tv);
730 ENGINE_DIGESTS_PTR fn_c;
731 T(fn_c = ENGINE_get_digests(eng));
734 n = fn_c(eng, NULL, &nids, 0);
735 for (k = 0; k < n; ++k) {
736 for (tv = testvecs; tv->nid; tv++)
737 if (tv->nid == nids[k])
740 printf(cMAGENT "Digest %s is untested!\n" cNORM, OBJ_nid2sn(nids[k]));
747 printf(cDRED "= Some tests FAILED!\n" cNORM);
749 printf(cDGREEN "= All tests passed!\n" cNORM);