2 * Copyright (C) 2018,2020 Vitaly Chikunov <vt@altlinux.org>. All Rights Reserved.
4 * Contents licensed under the terms of the OpenSSL license
5 * See https://www.openssl.org/source/license.html for details
8 #include <openssl/engine.h>
9 #include <openssl/evp.h>
10 #include <openssl/rand.h>
11 #include <openssl/err.h>
12 #include <openssl/asn1.h>
17 ERR_print_errors_fp(stderr);\
18 OpenSSLDie(__FILE__, __LINE__, #e);\
22 #define cRED "\033[1;31m"
23 #define cDRED "\033[0;31m"
24 #define cGREEN "\033[1;32m"
25 #define cDGREEN "\033[0;32m"
26 #define cBLUE "\033[1;34m"
27 #define cDBLUE "\033[0;34m"
28 #define cNORM "\033[m"
29 #define TEST_ASSERT(e) {if ((test = (e))) \
30 printf(cRED "Test FAILED\n" cNORM); \
32 printf(cGREEN "Test passed\n" cNORM);}
34 /* Test key from both GOST R 34.12-2015 and GOST R 34.13-2015. */
35 static const unsigned char K[32] = {
36 0x88,0x99,0xaa,0xbb,0xcc,0xdd,0xee,0xff,0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
37 0xfe,0xdc,0xba,0x98,0x76,0x54,0x32,0x10,0x01,0x23,0x45,0x67,0x89,0xab,0xcd,0xef,
40 /* Plaintext from GOST R 34.13-2015 A.1.
41 * First 16 bytes is vector (a) from GOST R 34.12-2015 A.1. */
42 static const unsigned char P[] = {
43 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,
44 0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,
45 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,
46 0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,0x11,
48 /* Extended plaintext from tc26 acpkm Kuznyechik test vector */
49 static const unsigned char P_acpkm[] = {
50 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xFF,0xEE,0xDD,0xCC,0xBB,0xAA,0x99,0x88,
51 0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,
52 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,
53 0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,
54 0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,
55 0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,0x33,
56 0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,0x33,0x44,
58 static const unsigned char E_ecb[] = {
59 /* ECB test vectors from GOST R 34.13-2015 A.1.1 */
60 /* first 16 bytes is vector (b) from GOST R 34.12-2015 A.1 */
61 0x7f,0x67,0x9d,0x90,0xbe,0xbc,0x24,0x30,0x5a,0x46,0x8d,0x42,0xb9,0xd4,0xed,0xcd,
62 0xb4,0x29,0x91,0x2c,0x6e,0x00,0x32,0xf9,0x28,0x54,0x52,0xd7,0x67,0x18,0xd0,0x8b,
63 0xf0,0xca,0x33,0x54,0x9d,0x24,0x7c,0xee,0xf3,0xf5,0xa5,0x31,0x3b,0xd4,0xb1,0x57,
64 0xd0,0xb0,0x9c,0xcd,0xe8,0x30,0xb9,0xeb,0x3a,0x02,0xc4,0xc5,0xaa,0x8a,0xda,0x98,
66 static const unsigned char E_ctr[] = {
67 /* CTR test vectors from GOST R 34.13-2015 A.1.2 */
68 0xf1,0x95,0xd8,0xbe,0xc1,0x0e,0xd1,0xdb,0xd5,0x7b,0x5f,0xa2,0x40,0xbd,0xa1,0xb8,
69 0x85,0xee,0xe7,0x33,0xf6,0xa1,0x3e,0x5d,0xf3,0x3c,0xe4,0xb3,0x3c,0x45,0xde,0xe4,
70 0xa5,0xea,0xe8,0x8b,0xe6,0x35,0x6e,0xd3,0xd5,0xe8,0x77,0xf1,0x35,0x64,0xa3,0xa5,
71 0xcb,0x91,0xfa,0xb1,0xf2,0x0c,0xba,0xb6,0xd1,0xc6,0xd1,0x58,0x20,0xbd,0xba,0x73,
73 static const unsigned char E_acpkm[] = {
74 0xF1,0x95,0xD8,0xBE,0xC1,0x0E,0xD1,0xDB,0xD5,0x7B,0x5F,0xA2,0x40,0xBD,0xA1,0xB8,
75 0x85,0xEE,0xE7,0x33,0xF6,0xA1,0x3E,0x5D,0xF3,0x3C,0xE4,0xB3,0x3C,0x45,0xDE,0xE4,
76 0x4B,0xCE,0xEB,0x8F,0x64,0x6F,0x4C,0x55,0x00,0x17,0x06,0x27,0x5E,0x85,0xE8,0x00,
77 0x58,0x7C,0x4D,0xF5,0x68,0xD0,0x94,0x39,0x3E,0x48,0x34,0xAF,0xD0,0x80,0x50,0x46,
78 0xCF,0x30,0xF5,0x76,0x86,0xAE,0xEC,0xE1,0x1C,0xFC,0x6C,0x31,0x6B,0x8A,0x89,0x6E,
79 0xDF,0xFD,0x07,0xEC,0x81,0x36,0x36,0x46,0x0C,0x4F,0x3B,0x74,0x34,0x23,0x16,0x3E,
80 0x64,0x09,0xA9,0xC2,0x82,0xFA,0xC8,0xD4,0x69,0xD2,0x21,0xE7,0xFB,0xD6,0xDE,0x5D,
82 /* Test vector from R 23565.1.017-2018 A.4.2.
83 * Key material from ACPKM-Master(K,768,3) for OMAC-ACPKM. */
84 static const unsigned char E_acpkm_master[] = {
85 0x0C,0xAB,0xF1,0xF2,0xEF,0xBC,0x4A,0xC1,0x60,0x48,0xDF,0x1A,0x24,0xC6,0x05,0xB2,
86 0xC0,0xD1,0x67,0x3D,0x75,0x86,0xA8,0xEC,0x0D,0xD4,0x2C,0x45,0xA4,0xF9,0x5B,0xAE,
87 0x0F,0x2E,0x26,0x17,0xE4,0x71,0x48,0x68,0x0F,0xC3,0xE6,0x17,0x8D,0xF2,0xC1,0x37,
88 0xC9,0xDD,0xA8,0x9C,0xFF,0xA4,0x91,0xFE,0xAD,0xD9,0xB3,0xEA,0xB7,0x03,0xBB,0x31,
89 0xBC,0x7E,0x92,0x7F,0x04,0x94,0x72,0x9F,0x51,0xB4,0x9D,0x3D,0xF9,0xC9,0x46,0x08,
90 0x00,0xFB,0xBC,0xF5,0xED,0xEE,0x61,0x0E,0xA0,0x2F,0x01,0x09,0x3C,0x7B,0xC7,0x42,
91 0xD7,0xD6,0x27,0x15,0x01,0xB1,0x77,0x77,0x52,0x63,0xC2,0xA3,0x49,0x5A,0x83,0x18,
92 0xA8,0x1C,0x79,0xA0,0x4F,0x29,0x66,0x0E,0xA3,0xFD,0xA8,0x74,0xC6,0x30,0x79,0x9E,
93 0x14,0x2C,0x57,0x79,0x14,0xFE,0xA9,0x0D,0x3B,0xC2,0x50,0x2E,0x83,0x36,0x85,0xD9,
95 static const unsigned char P_acpkm_master[sizeof(E_acpkm_master)] = { 0 };
97 * Other modes (ofb, cbc, cfb) is impossible to test to match GOST R
98 * 34.13-2015 test vectors exactly, due to these vectors having exceeding
99 * IV length value (m) = 256 bits, while openssl have hard-coded limit
100 * of maximum IV length of 128 bits (EVP_MAX_IV_LENGTH).
101 * Also, current grasshopper code having fixed IV length of 128 bits.
103 * Thus, new test vectors are generated with truncated 128-bit IV using
104 * canonical GOST implementation from TC26.
106 static const unsigned char E_ofb[] = {
107 /* OFB test vector generated from canonical implementation */
108 0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
109 0x77,0x91,0x46,0xdb,0x2d,0x93,0xa9,0x4e,0xd9,0x3c,0xf6,0x8b,0x32,0x39,0x7f,0x19,
110 0xe9,0x3c,0x9e,0x57,0x44,0x1d,0x87,0x05,0x45,0xf2,0x40,0x36,0xa5,0x8c,0xee,0xa3,
111 0xcf,0x3f,0x00,0x61,0xd5,0x64,0x23,0x54,0x5b,0x96,0x0d,0x86,0x4c,0xc8,0x68,0xda,
113 static const unsigned char E_cbc[] = {
114 /* CBC test vector generated from canonical implementation */
115 0x68,0x99,0x72,0xd4,0xa0,0x85,0xfa,0x4d,0x90,0xe5,0x2e,0x3d,0x6d,0x7d,0xcc,0x27,
116 0xab,0xf1,0x70,0xb2,0xb2,0x26,0xc3,0x01,0x0c,0xcf,0xa1,0x36,0xd6,0x59,0xcd,0xaa,
117 0xca,0x71,0x92,0x72,0xab,0x1d,0x43,0x8e,0x15,0x50,0x7d,0x52,0x1e,0xcd,0x55,0x22,
118 0xe0,0x11,0x08,0xff,0x8d,0x9d,0x3a,0x6d,0x8c,0xa2,0xa5,0x33,0xfa,0x61,0x4e,0x71,
120 static const unsigned char E_cfb[] = {
121 /* CFB test vector generated from canonical implementation */
122 0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
123 0x68,0xc1,0xb9,0x9c,0x4d,0xf5,0x9c,0xc7,0x95,0x1e,0x37,0x39,0xb5,0xb3,0xcd,0xbf,
124 0x07,0x3f,0x4d,0xd2,0xd6,0xde,0xb3,0xcf,0xb0,0x26,0x54,0x5f,0x7a,0xf1,0xd8,0xe8,
125 0xe1,0xc8,0x52,0xe9,0xa8,0x56,0x71,0x62,0xdb,0xb5,0xda,0x7f,0x66,0xde,0xa9,0x26,
128 /* IV is half CNT size. */
129 static const unsigned char iv_ctr[] = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0 };
130 /* Truncated to 128-bits IV from GOST examples. */
131 static const unsigned char iv_128bit[] = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0,
132 0xa1,0xb2,0xc3,0xd4,0xe5,0xf0,0x01,0x12 };
133 /* Universal IV for ACPKM-Master. */
134 static const unsigned char iv_acpkm_m[] = { 0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff };
136 static struct testcase {
138 int block; /* Actual underlying block size (bytes). */
139 int stream; /* Stream cipher. */
140 const unsigned char *plaintext;
141 const unsigned char *expected;
143 const unsigned char *iv;
148 .nid = NID_grasshopper_ecb,
155 .nid = NID_grasshopper_ctr,
162 .iv_size = sizeof(iv_ctr),
165 .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm,
172 .iv_size = sizeof(iv_ctr),
173 /* no acpkm works same as ctr */
176 .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm,
179 .plaintext = P_acpkm,
181 .size = sizeof(P_acpkm),
183 .iv_size = sizeof(iv_ctr),
187 .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm,
189 .plaintext = P_acpkm_master,
190 .expected = E_acpkm_master,
191 .size = sizeof(P_acpkm_master),
193 .iv_size = sizeof(iv_acpkm_m),
197 .nid = NID_grasshopper_ofb,
204 .iv_size = sizeof(iv_128bit),
207 .nid = NID_grasshopper_cbc,
213 .iv_size = sizeof(iv_128bit),
216 .nid = NID_grasshopper_cfb,
222 .iv_size = sizeof(iv_128bit),
227 static void hexdump(const void *ptr, size_t len)
229 const unsigned char *p = ptr;
232 for (i = 0; i < len; i += j) {
233 for (j = 0; j < 16 && i + j < len; j++)
234 printf("%s%02x", j? "" : " ", p[i + j]);
239 static int test_block(const EVP_CIPHER *type, const char *name, int block_size,
240 const unsigned char *pt, const unsigned char *exp, size_t size,
241 const unsigned char *iv, size_t iv_size, int acpkm,
244 EVP_CIPHER_CTX *ctx = EVP_CIPHER_CTX_new();
245 const char *standard = acpkm? "R 23565.1.017-2018" : "GOST R 34.13-2015";
246 unsigned char c[size];
251 printf("Encryption test from %s [%s] %s: ", standard, name,
252 inplace ? "in-place" : "out-of-place");
254 T(EVP_CIPHER_iv_length(type) == iv_size);
256 if (EVP_CIPHER_block_size(type) == 1) {
257 /* Cannot test block size, but can report it's stream cipher. */
260 T(EVP_CIPHER_block_size(type) == block_size);
262 /* test with single big chunk */
263 EVP_CIPHER_CTX_init(ctx);
264 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 1));
265 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
269 memset(c, 0, sizeof(c));
271 T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, acpkm, NULL));
272 T(EVP_CipherUpdate(ctx, c, &outlen, inplace? c : pt, size));
273 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
274 EVP_CIPHER_CTX_cleanup(ctx);
276 TEST_ASSERT(outlen != size || memcmp(c, exp, size));
278 printf(" c[%d] = ", outlen);
283 /* test with small chunks of block size */
284 printf("Chunked encryption test from %s [%s] %s: ", standard, name,
285 inplace ? "in-place" : "out-of-place");
286 int blocks = size / block_size;
288 EVP_CIPHER_CTX_init(ctx);
289 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 1));
290 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
294 memset(c, 0, sizeof(c));
296 T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, acpkm, NULL));
297 for (z = 0; z < blocks; z++) {
298 int offset = z * block_size;
301 T(EVP_CipherUpdate(ctx, c + offset, &outlen, (inplace ? c : pt) + offset, sz));
303 outlen = z * block_size;
304 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
305 EVP_CIPHER_CTX_cleanup(ctx);
307 TEST_ASSERT(outlen != size || memcmp(c, exp, size));
309 printf(" c[%d] = ", outlen);
314 /* test with single big chunk */
315 printf("Decryption test from %s [%s] %s: ", standard, name,
316 inplace ? "in-place" : "out-of-place");
317 EVP_CIPHER_CTX_init(ctx);
318 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 0));
319 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
321 memcpy(c, exp, size);
323 memset(c, 0, sizeof(c));
325 T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, acpkm, NULL));
326 T(EVP_CipherUpdate(ctx, c, &outlen, inplace ? c : exp, size));
327 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
328 EVP_CIPHER_CTX_cleanup(ctx);
329 EVP_CIPHER_CTX_free(ctx);
331 TEST_ASSERT(outlen != size || memcmp(c, pt, size));
333 printf(" d[%d] = ", outlen);
341 static int test_stream(const EVP_CIPHER *type, const char *name,
342 const unsigned char *pt, const unsigned char *exp, size_t size,
343 const unsigned char *iv, size_t iv_size, int acpkm)
345 EVP_CIPHER_CTX *ctx = EVP_CIPHER_CTX_new();
346 const char *standard = acpkm? "R 23565.1.017-2018" : "GOST R 34.13-2015";
351 /* Cycle through all lengths from 1 upto maximum size */
352 printf("Stream encryption test from %s [%s] \n", standard, name);
354 /* Block size for stream ciphers should be 1. */
355 T(EVP_CIPHER_block_size(type) == 1);
357 for (z = 1; z <= size; z++) {
358 unsigned char c[size];
363 EVP_CIPHER_CTX_init(ctx);
364 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 1));
365 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
366 memset(c, 0xff, sizeof(c));
368 T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, acpkm, NULL));
369 for (i = 0; i < size; i += z) {
374 T(EVP_CipherUpdate(ctx, c + i, &outlen, pt + i, sz));
375 OPENSSL_assert(outlen == sz);
378 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
379 EVP_CIPHER_CTX_cleanup(ctx);
381 test = outlen != size || memcmp(c, exp, size);
382 printf("%c", test ? 'E' : '+');
387 EVP_CIPHER_CTX_free(ctx);
392 int main(int argc, char **argv)
395 const struct testcase *t;
398 /* Trigger SIGBUS for unaligned access. */
399 sysmips(MIPS_FIXADE, 0);
401 setenv("OPENSSL_ENGINES", ENGINE_DIR, 0);
402 OPENSSL_add_all_algorithms_conf();
403 ERR_load_crypto_strings();
405 T(eng = ENGINE_by_id("gost"));
407 T(ENGINE_set_default(eng, ENGINE_METHOD_ALL));
409 for (t = testcases; t->nid; t++) {
411 const char *standard = t->acpkm? "R 23565.1.017-2018" : "GOST R 34.13-2015";
413 const EVP_CIPHER *type = EVP_get_cipherbynid(t->nid);
414 const char *name = EVP_CIPHER_name(type);
416 printf(cBLUE "# Tests for %s [%s]\n" cNORM, name, standard);
417 for (inplace = 0; inplace <= 1; inplace++)
418 ret |= test_block(type, name, t->block,
419 t->plaintext, t->expected, t->size,
420 t->iv, t->iv_size, t->acpkm, inplace);
422 ret |= test_stream(type, name,
423 t->plaintext, t->expected, t->size,
424 t->iv, t->iv_size, t->acpkm);
431 printf(cDRED "= Some tests FAILED!\n" cNORM);
433 printf(cDGREEN "= All tests passed!\n" cNORM);