2 * Copyright (C) 2018 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 "gost_grasshopper_cipher.h"
9 #include "gost_grasshopper_defines.h"
10 #include "gost_grasshopper_math.h"
11 #include "gost_grasshopper_core.h"
12 #include "e_gost_err.h"
14 #include <openssl/evp.h>
15 #include <openssl/rand.h>
16 #include <openssl/err.h>
17 #include <openssl/asn1.h>
20 #define T(e) if (!(e)) {\
21 ERR_print_errors_fp(stderr);\
22 OpenSSLDie(__FILE__, __LINE__, #e);\
25 #define cRED "\033[1;31m"
26 #define cDRED "\033[0;31m"
27 #define cGREEN "\033[1;32m"
28 #define cDGREEN "\033[0;32m"
29 #define cNORM "\033[m"
30 #define TEST_ASSERT(e) {if ((test = (e))) \
31 printf(cRED "Test FAILED\n" cNORM); \
33 printf(cGREEN "Test passed\n" cNORM);}
43 /* Test key from both GOST R 34.12-2015 and GOST R 34.13-2015. */
44 static const unsigned char K[] = {
45 0x88,0x99,0xaa,0xbb,0xcc,0xdd,0xee,0xff,0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
46 0xfe,0xdc,0xba,0x98,0x76,0x54,0x32,0x10,0x01,0x23,0x45,0x67,0x89,0xab,0xcd,0xef,
49 /* Plaintext from GOST R 34.13-2015 A.1.
50 * First 16 bytes is vector (a) from GOST R 34.12-2015 A.1. */
51 static const unsigned char P[] = {
52 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,
53 0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,
54 0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,
55 0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,0x11,
57 static const unsigned char E[6][sizeof(P)] = {
58 { /* ECB test vectors from GOST R 34.13-2015 A.1.1 */
59 /* first 16 bytes is vector (b) from GOST R 34.12-2015 A.1 */
60 0x7f,0x67,0x9d,0x90,0xbe,0xbc,0x24,0x30,0x5a,0x46,0x8d,0x42,0xb9,0xd4,0xed,0xcd,
61 0xb4,0x29,0x91,0x2c,0x6e,0x00,0x32,0xf9,0x28,0x54,0x52,0xd7,0x67,0x18,0xd0,0x8b,
62 0xf0,0xca,0x33,0x54,0x9d,0x24,0x7c,0xee,0xf3,0xf5,0xa5,0x31,0x3b,0xd4,0xb1,0x57,
63 0xd0,0xb0,0x9c,0xcd,0xe8,0x30,0xb9,0xeb,0x3a,0x02,0xc4,0xc5,0xaa,0x8a,0xda,0x98,
65 { /* CTR test vectors from GOST R 34.13-2015 A.1.2 */
66 0xf1,0x95,0xd8,0xbe,0xc1,0x0e,0xd1,0xdb,0xd5,0x7b,0x5f,0xa2,0x40,0xbd,0xa1,0xb8,
67 0x85,0xee,0xe7,0x33,0xf6,0xa1,0x3e,0x5d,0xf3,0x3c,0xe4,0xb3,0x3c,0x45,0xde,0xe4,
68 0xa5,0xea,0xe8,0x8b,0xe6,0x35,0x6e,0xd3,0xd5,0xe8,0x77,0xf1,0x35,0x64,0xa3,0xa5,
69 0xcb,0x91,0xfa,0xb1,0xf2,0x0c,0xba,0xb6,0xd1,0xc6,0xd1,0x58,0x20,0xbd,0xba,0x73,
71 { /* OFB test vector generated from canonical implementation */
72 0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
73 0x77,0x91,0x46,0xdb,0x2d,0x93,0xa9,0x4e,0xd9,0x3c,0xf6,0x8b,0x32,0x39,0x7f,0x19,
74 0xe9,0x3c,0x9e,0x57,0x44,0x1d,0x87,0x05,0x45,0xf2,0x40,0x36,0xa5,0x8c,0xee,0xa3,
75 0xcf,0x3f,0x00,0x61,0xd5,0x64,0x23,0x54,0x5b,0x96,0x0d,0x86,0x4c,0xc8,0x68,0xda,
77 { /* CBC test vector generated from canonical implementation */
78 0x68,0x99,0x72,0xd4,0xa0,0x85,0xfa,0x4d,0x90,0xe5,0x2e,0x3d,0x6d,0x7d,0xcc,0x27,
79 0xab,0xf1,0x70,0xb2,0xb2,0x26,0xc3,0x01,0x0c,0xcf,0xa1,0x36,0xd6,0x59,0xcd,0xaa,
80 0xca,0x71,0x92,0x72,0xab,0x1d,0x43,0x8e,0x15,0x50,0x7d,0x52,0x1e,0xcd,0x55,0x22,
81 0xe0,0x11,0x08,0xff,0x8d,0x9d,0x3a,0x6d,0x8c,0xa2,0xa5,0x33,0xfa,0x61,0x4e,0x71,
83 { /* CFB test vector generated from canonical implementation */
84 0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
85 0x68,0xc1,0xb9,0x9c,0x4d,0xf5,0x9c,0xc7,0x95,0x1e,0x37,0x39,0xb5,0xb3,0xcd,0xbf,
86 0x07,0x3f,0x4d,0xd2,0xd6,0xde,0xb3,0xcf,0xb0,0x26,0x54,0x5f,0x7a,0xf1,0xd8,0xe8,
87 0xe1,0xc8,0x52,0xe9,0xa8,0x56,0x71,0x62,0xdb,0xb5,0xda,0x7f,0x66,0xde,0xa9,0x26,
90 static const unsigned char iv_ctr[] = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0 };
91 /* truncated to 128-bits IV */
92 static const unsigned char iv_128bit[] = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0,0xa1,0xb2,0xc3,0xd4,0xe5,0xf0,0x01,0x12 };
93 static const unsigned char *iv[6] = {
101 static void hexdump(const void *ptr, size_t len)
103 const unsigned char *p = ptr;
106 for (i = 0; i < len; i += j) {
107 for (j = 0; j < 16 && i + j < len; j++)
108 printf("%s%02x", j? "" : " ", p[i + j]);
113 /* Test vectors from GOST R 34.13-2015 A.1 which* includes vectors
114 * from GOST R 34.12-2015 A.1 as first block of ecb mode. */
115 static int test_block(const EVP_CIPHER *type, const char *mode, enum e_mode t)
117 EVP_CIPHER_CTX *ctx = EVP_CIPHER_CTX_new();
118 unsigned char c[sizeof(P)];
123 printf("Encryption test from GOST R 34.13-2015 [%s] \n", mode);
125 /* output plain-text only once */
126 printf(" p[%zu] = ", sizeof(P));
127 hexdump(P, sizeof(P));
129 /* test with single big chunk */
130 EVP_CIPHER_CTX_init(ctx);
131 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv[t], 1));
132 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
133 memset(c, 0, sizeof(c));
134 T(EVP_CipherUpdate(ctx, c, &outlen, P, sizeof(P)));
135 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
136 EVP_CIPHER_CTX_cleanup(ctx);
137 printf(" c[%d] = ", outlen);
140 TEST_ASSERT(outlen != sizeof(P) ||
141 memcmp(c, E[t], sizeof(P)));
144 /* test with small chunks of block size */
145 printf("Chunked encryption test from GOST R 34.13-2015 [%s] \n", mode);
146 int blocks = sizeof(P) / GRASSHOPPER_BLOCK_SIZE;
148 EVP_CIPHER_CTX_init(ctx);
149 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv[t], 1));
150 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
151 memset(c, 0, sizeof(c));
152 for (z = 0; z < blocks; z++) {
153 int offset = z * GRASSHOPPER_BLOCK_SIZE;
154 int sz = GRASSHOPPER_BLOCK_SIZE;
156 T(EVP_CipherUpdate(ctx, c + offset, &outlen, P + offset, sz));
158 outlen = z * GRASSHOPPER_BLOCK_SIZE;
159 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
160 EVP_CIPHER_CTX_cleanup(ctx);
161 printf(" c[%d] = ", outlen);
164 TEST_ASSERT(outlen != sizeof(P) ||
165 memcmp(c, E[t], sizeof(P)));
168 /* test with single big chunk */
169 printf("Decryption test from GOST R 34.13-2015 [%s] \n", mode);
170 EVP_CIPHER_CTX_init(ctx);
171 T(EVP_CipherInit_ex(ctx, type, NULL, K, iv[t], 0));
172 T(EVP_CIPHER_CTX_set_padding(ctx, 0));
173 memset(c, 0, sizeof(c));
174 T(EVP_CipherUpdate(ctx, c, &outlen, E[t], sizeof(P)));
175 T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
176 EVP_CIPHER_CTX_cleanup(ctx);
177 EVP_CIPHER_CTX_free(ctx);
178 printf(" d[%d] = ", outlen);
181 TEST_ASSERT(outlen != sizeof(P) ||
182 memcmp(c, P, sizeof(P)));
188 static int test_stream(const EVP_CIPHER *type, const char *mode, enum e_mode t)
190 EVP_CIPHER_CTX *ctx = EVP_CIPHER_CTX_new();
195 /* Cycle through all lengths from 1 upto maximum size */
196 printf("Stream encryption test from GOST R 34.13-2015 [%s] \n", mode);
197 for (z = 1; z <= sizeof(P); z++) {
198 unsigned char c[sizeof(P)];
203 EVP_CIPHER_CTX_init(ctx);
204 EVP_CipherInit_ex(ctx, type, NULL, K, iv[t], 1);
205 EVP_CIPHER_CTX_set_padding(ctx, 0);
206 memset(c, 0xff, sizeof(c));
207 for (i = 0; i < sizeof(P); i += z) {
208 if (i + z > sizeof(P))
212 EVP_CipherUpdate(ctx, c + i, &outlen, P + i, sz);
213 OPENSSL_assert(outlen == sz);
216 EVP_CipherFinal_ex(ctx, c + outlen, &tmplen);
217 EVP_CIPHER_CTX_cleanup(ctx);
219 test = outlen != sizeof(P) ||
220 memcmp(c, E[t], sizeof(P));
221 printf("%c", test ? 'E' : '+');
226 EVP_CIPHER_CTX_free(ctx);
231 static int test_omac()
233 EVP_MD_CTX *ctx = EVP_MD_CTX_new();
234 unsigned char mac[] = { 0x33,0x6f,0x4d,0x29,0x60,0x59,0xfb,0xe3 };
235 unsigned char md_value[EVP_MAX_MD_SIZE];
240 printf("OMAC test from GOST R 34.13-2015\n");
241 EVP_MD_CTX_init(ctx);
242 /* preload cbc cipher for omac set key */
243 EVP_add_cipher(cipher_gost_grasshopper_cbc());
244 T(EVP_DigestInit_ex(ctx, grasshopper_omac(), NULL));
245 if (EVP_MD_CTX_size(ctx) != sizeof(mac)) {
246 /* strip const out of EVP_MD_CTX_md() to
247 * overwrite output size, as test vector is 8 bytes */
248 printf("Resize result size from %d to %zu\n", EVP_MD_CTX_size(ctx), sizeof(mac));
249 T(EVP_MD_meth_set_result_size((EVP_MD *)EVP_MD_CTX_md(ctx), sizeof(mac)));
251 T(EVP_MD_meth_get_ctrl(EVP_MD_CTX_md(ctx))(ctx, EVP_MD_CTRL_SET_KEY, sizeof(K), (void *)K));
252 T(EVP_DigestUpdate(ctx, P, sizeof(P)));
253 T(EVP_DigestFinal_ex(ctx, md_value, &md_len));
254 EVP_MD_CTX_free(ctx);
255 printf(" MAC[%u] = ", md_len);
256 hexdump(md_value, md_len);
258 TEST_ASSERT(md_len != sizeof(mac) ||
259 memcmp(mac, md_value, md_len));
264 int main(int argc, char **argv)
268 ret |= test_block(cipher_gost_grasshopper_ecb(), "ecb", E_ECB);
269 ret |= test_block(cipher_gost_grasshopper_ctr(), "ctr", E_CTR);
270 ret |= test_stream(cipher_gost_grasshopper_ctr(), "ctr", E_CTR);
272 * Other modes (ofb, cbc, cfb) is impossible to test to match GOST R
273 * 34.13-2015 test vectors exactly, due to these vectors having exceeding
274 * IV length value (m) = 256 bits, while openssl have hard-coded limit
275 * of maximum IV length of 128 bits (EVP_MAX_IV_LENGTH).
276 * Also, current grasshopper code having fixed IV length of 128 bits.
278 * Thus, new test vectors are generated with truncated 128-bit IV using
279 * canonical GOST implementation from TC26.
281 ret |= test_block(cipher_gost_grasshopper_ofb(), "ofb", E_OFB);
282 ret |= test_stream(cipher_gost_grasshopper_ctr(), "ofb", E_CTR);
283 ret |= test_block(cipher_gost_grasshopper_cbc(), "cbc", E_CBC);
284 ret |= test_block(cipher_gost_grasshopper_cfb(), "cfb", E_CFB);
289 printf(cDRED "= Some tests FAILED!\n" cNORM);
291 printf(cDGREEN "= All tests passed!\n" cNORM);