test_grasshopper.c

   1 /*
   2  * Copyright (C) 2018 vt@altlinux.org. All Rights Reserved.
   3  *
   4  * Contents licensed under the terms of the OpenSSL license
   5  * See https://www.openssl.org/source/license.html for details
   6  */
   7
   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"
  13 #include "gost_lcl.h"
  14 #include <openssl/evp.h>
  15 #include <openssl/rand.h>
  16 #include <openssl/err.h>
  17 #include <openssl/asn1.h>
  18 #include <string.h>
  19
  20 #define T(e) if (!(e)) {\
  21         ERR_print_errors_fp(stderr);\
  22         OpenSSLDie(__FILE__, __LINE__, #e);\
  23     }
  24
  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); \
  32              else \
  33                  printf(cGREEN "Test passed\n" cNORM);}
  34
  35 /* Test key from both GOST R 34.12-2015 and GOST R 34.13-2015. */
  36 static const unsigned char K[] = {
  37     0x88,0x99,0xaa,0xbb,0xcc,0xdd,0xee,0xff,0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
  38     0xfe,0xdc,0xba,0x98,0x76,0x54,0x32,0x10,0x01,0x23,0x45,0x67,0x89,0xab,0xcd,0xef,
  39 };
  40
  41 /* Plaintext from GOST R 34.13-2015 A.1.
  42  * First 16 bytes is vector (a) from GOST R 34.12-2015 A.1. */
  43 static const unsigned char P[] = {
  44     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,
  45     0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,
  46     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,
  47     0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,0x11,
  48 };
  49 /* Extended plaintext from tc26 acpkm Kuznyechik test vector */
  50 static const unsigned char P_acpkm[] = {
  51     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xFF,0xEE,0xDD,0xCC,0xBB,0xAA,0x99,0x88,
  52     0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,
  53     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,
  54     0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,
  55     0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,
  56     0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,0x33,
  57     0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,0x33,0x44,
  58 };
  59 static const unsigned char E_ecb[] = {
  60     /* ECB test vectors from GOST R 34.13-2015  A.1.1 */
  61     /* first 16 bytes is vector (b) from GOST R 34.12-2015 A.1 */
  62     0x7f,0x67,0x9d,0x90,0xbe,0xbc,0x24,0x30,0x5a,0x46,0x8d,0x42,0xb9,0xd4,0xed,0xcd,
  63     0xb4,0x29,0x91,0x2c,0x6e,0x00,0x32,0xf9,0x28,0x54,0x52,0xd7,0x67,0x18,0xd0,0x8b,
  64     0xf0,0xca,0x33,0x54,0x9d,0x24,0x7c,0xee,0xf3,0xf5,0xa5,0x31,0x3b,0xd4,0xb1,0x57,
  65     0xd0,0xb0,0x9c,0xcd,0xe8,0x30,0xb9,0xeb,0x3a,0x02,0xc4,0xc5,0xaa,0x8a,0xda,0x98,
  66 };
  67 static const unsigned char E_ctr[] = {
  68     /* CTR test vectors from GOST R 34.13-2015  A.1.2 */
  69     0xf1,0x95,0xd8,0xbe,0xc1,0x0e,0xd1,0xdb,0xd5,0x7b,0x5f,0xa2,0x40,0xbd,0xa1,0xb8,
  70     0x85,0xee,0xe7,0x33,0xf6,0xa1,0x3e,0x5d,0xf3,0x3c,0xe4,0xb3,0x3c,0x45,0xde,0xe4,
  71     0xa5,0xea,0xe8,0x8b,0xe6,0x35,0x6e,0xd3,0xd5,0xe8,0x77,0xf1,0x35,0x64,0xa3,0xa5,
  72     0xcb,0x91,0xfa,0xb1,0xf2,0x0c,0xba,0xb6,0xd1,0xc6,0xd1,0x58,0x20,0xbd,0xba,0x73,
  73 };
  74 static const unsigned char E_acpkm[] = {
  75     0xF1,0x95,0xD8,0xBE,0xC1,0x0E,0xD1,0xDB,0xD5,0x7B,0x5F,0xA2,0x40,0xBD,0xA1,0xB8,
  76     0x85,0xEE,0xE7,0x33,0xF6,0xA1,0x3E,0x5D,0xF3,0x3C,0xE4,0xB3,0x3C,0x45,0xDE,0xE4,
  77     0x4B,0xCE,0xEB,0x8F,0x64,0x6F,0x4C,0x55,0x00,0x17,0x06,0x27,0x5E,0x85,0xE8,0x00,
  78     0x58,0x7C,0x4D,0xF5,0x68,0xD0,0x94,0x39,0x3E,0x48,0x34,0xAF,0xD0,0x80,0x50,0x46,
  79     0xCF,0x30,0xF5,0x76,0x86,0xAE,0xEC,0xE1,0x1C,0xFC,0x6C,0x31,0x6B,0x8A,0x89,0x6E,
  80     0xDF,0xFD,0x07,0xEC,0x81,0x36,0x36,0x46,0x0C,0x4F,0x3B,0x74,0x34,0x23,0x16,0x3E,
  81     0x64,0x09,0xA9,0xC2,0x82,0xFA,0xC8,0xD4,0x69,0xD2,0x21,0xE7,0xFB,0xD6,0xDE,0x5D,
  82 };
  83 /*
  84  * Other modes (ofb, cbc, cfb) is impossible to test to match GOST R
  85  * 34.13-2015 test vectors exactly, due to these vectors having exceeding
  86  * IV length value (m) = 256 bits, while openssl have hard-coded limit
  87  * of maximum IV length of 128 bits (EVP_MAX_IV_LENGTH).
  88  * Also, current grasshopper code having fixed IV length of 128 bits.
  89  *
  90  * Thus, new test vectors are generated with truncated 128-bit IV using
  91  * canonical GOST implementation from TC26.
  92  */
  93 static const unsigned char E_ofb[] = {
  94     /* OFB test vector generated from canonical implementation */
  95     0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
  96     0x77,0x91,0x46,0xdb,0x2d,0x93,0xa9,0x4e,0xd9,0x3c,0xf6,0x8b,0x32,0x39,0x7f,0x19,
  97     0xe9,0x3c,0x9e,0x57,0x44,0x1d,0x87,0x05,0x45,0xf2,0x40,0x36,0xa5,0x8c,0xee,0xa3,
  98     0xcf,0x3f,0x00,0x61,0xd5,0x64,0x23,0x54,0x5b,0x96,0x0d,0x86,0x4c,0xc8,0x68,0xda,
  99 };
 100 static const unsigned char E_cbc[] = {
 101     /* CBC test vector generated from canonical implementation */
 102     0x68,0x99,0x72,0xd4,0xa0,0x85,0xfa,0x4d,0x90,0xe5,0x2e,0x3d,0x6d,0x7d,0xcc,0x27,
 103     0xab,0xf1,0x70,0xb2,0xb2,0x26,0xc3,0x01,0x0c,0xcf,0xa1,0x36,0xd6,0x59,0xcd,0xaa,
 104     0xca,0x71,0x92,0x72,0xab,0x1d,0x43,0x8e,0x15,0x50,0x7d,0x52,0x1e,0xcd,0x55,0x22,
 105     0xe0,0x11,0x08,0xff,0x8d,0x9d,0x3a,0x6d,0x8c,0xa2,0xa5,0x33,0xfa,0x61,0x4e,0x71,
 106 };
 107 static const unsigned char E_cfb[] = {
 108     /* CFB test vector generated from canonical implementation */
 109     0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
 110     0x68,0xc1,0xb9,0x9c,0x4d,0xf5,0x9c,0xc7,0x95,0x1e,0x37,0x39,0xb5,0xb3,0xcd,0xbf,
 111     0x07,0x3f,0x4d,0xd2,0xd6,0xde,0xb3,0xcf,0xb0,0x26,0x54,0x5f,0x7a,0xf1,0xd8,0xe8,
 112     0xe1,0xc8,0x52,0xe9,0xa8,0x56,0x71,0x62,0xdb,0xb5,0xda,0x7f,0x66,0xde,0xa9,0x26,
 113 };
 114
 115 static const unsigned char iv_ctr[]     = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0, 0,0,0,0,0,0,0,0 };
 116 /* truncated to 128-bits IV */
 117 static const unsigned char iv_128bit[]  = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0,
 118                                             0xa1,0xb2,0xc3,0xd4,0xe5,0xf0,0x01,0x12 };
 119 struct testcase {
 120     const char *name;
 121     const EVP_CIPHER *(*type)(void);
 122     int stream;
 123     const unsigned char *plaintext;
 124     const unsigned char *expected;
 125     size_t size;
 126     const unsigned char *iv;
 127     size_t iv_size;
 128     int acpkm;
 129 };
 130 static struct testcase testcases[] = {
 131     { "ecb", cipher_gost_grasshopper_ecb, 0, P,  E_ecb,  sizeof(P),  NULL,       0, 0 },
 132     { "ctr", cipher_gost_grasshopper_ctr, 1, P,  E_ctr,  sizeof(P),  iv_ctr,     sizeof(iv_ctr), 0 },
 133     { "ctr-no-acpkm", cipher_gost_grasshopper_ctracpkm, 1, P,       E_ctr,   sizeof(P),       iv_ctr, sizeof(iv_ctr), 0 },
 134     { "ctracpkm",     cipher_gost_grasshopper_ctracpkm, 1, P_acpkm, E_acpkm, sizeof(P_acpkm), iv_ctr, sizeof(iv_ctr), 1 },
 135     { "ofb", cipher_gost_grasshopper_ofb, 1, P,  E_ofb,  sizeof(P),  iv_128bit,  sizeof(iv_128bit), 0 },
 136     { "cbc", cipher_gost_grasshopper_cbc, 0, P,  E_cbc,  sizeof(P),  iv_128bit,  sizeof(iv_128bit), 0 },
 137     { "cfb", cipher_gost_grasshopper_cfb, 0, P,  E_cfb,  sizeof(P),  iv_128bit,  sizeof(iv_128bit), 0 },
 138     NULL
 139 };
 140
 141 static void hexdump(const void *ptr, size_t len)
 142 {
 143     const unsigned char *p = ptr;
 144     size_t i, j;
 145
 146     for (i = 0; i < len; i += j) {
 147         for (j = 0; j < 16 && i + j < len; j++)
 148             printf("%s%02x", j? "" : " ", p[i + j]);
 149     }
 150     printf("\n");
 151 }
 152
 153 static int test_block(const EVP_CIPHER *type, const char *name,
 154     const unsigned char *pt, const unsigned char *exp, size_t size,
 155     const unsigned char *iv, size_t iv_size, int acpkm)
 156 {
 157     EVP_CIPHER_CTX *ctx = EVP_CIPHER_CTX_new();
 158     unsigned char c[size];
 159     int outlen, tmplen;
 160     int ret = 0, test;
 161
 162     OPENSSL_assert(ctx);
 163     printf("Encryption test from GOST R 34.13-2015 [%s] \n", name);
 164     /* test with single big chunk */
 165     EVP_CIPHER_CTX_init(ctx);
 166     T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 1));
 167     T(EVP_CIPHER_CTX_set_padding(ctx, 0));
 168     memset(c, 0, sizeof(c));
 169     if (acpkm)
 170         T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, 256 / 8, NULL));
 171     T(EVP_CipherUpdate(ctx, c, &outlen, pt, size));
 172     T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
 173     EVP_CIPHER_CTX_cleanup(ctx);
 174     printf("  c[%d] = ", outlen);
 175     hexdump(c, outlen);
 176
 177     TEST_ASSERT(outlen != size || memcmp(c, exp, size));
 178     ret |= test;
 179
 180     /* test with small chunks of block size */
 181     printf("Chunked encryption test from GOST R 34.13-2015 [%s] \n", name);
 182     int blocks = size / GRASSHOPPER_BLOCK_SIZE;
 183     int z;
 184     EVP_CIPHER_CTX_init(ctx);
 185     T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 1));
 186     T(EVP_CIPHER_CTX_set_padding(ctx, 0));
 187     memset(c, 0, sizeof(c));
 188     if (acpkm)
 189         T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, 256 / 8, NULL));
 190     for (z = 0; z < blocks; z++) {
 191         int offset = z * GRASSHOPPER_BLOCK_SIZE;
 192         int sz = GRASSHOPPER_BLOCK_SIZE;
 193
 194         T(EVP_CipherUpdate(ctx, c + offset, &outlen, pt + offset, sz));
 195     }
 196     outlen = z * GRASSHOPPER_BLOCK_SIZE;
 197     T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
 198     EVP_CIPHER_CTX_cleanup(ctx);
 199     printf("  c[%d] = ", outlen);
 200     hexdump(c, outlen);
 201
 202     TEST_ASSERT(outlen != size || memcmp(c, exp, size));
 203     ret |= test;
 204
 205     /* test with single big chunk */
 206     printf("Decryption test from GOST R 34.13-2015 [%s] \n", name);
 207     EVP_CIPHER_CTX_init(ctx);
 208     T(EVP_CipherInit_ex(ctx, type, NULL, K, iv, 0));
 209     T(EVP_CIPHER_CTX_set_padding(ctx, 0));
 210     memset(c, 0, sizeof(c));
 211     if (acpkm)
 212         T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, 256 / 8, NULL));
 213     T(EVP_CipherUpdate(ctx, c, &outlen, exp, size));
 214     T(EVP_CipherFinal_ex(ctx, c + outlen, &tmplen));
 215     EVP_CIPHER_CTX_cleanup(ctx);
 216     EVP_CIPHER_CTX_free(ctx);
 217     printf("  d[%d] = ", outlen);
 218     hexdump(c, outlen);
 219
 220     TEST_ASSERT(outlen != size || memcmp(c, pt, size));
 221     ret |= test;
 222
 223     return ret;
 224 }
 225
 226 static int test_stream(const EVP_CIPHER *type, const char *name,
 227     const unsigned char *pt, const unsigned char *exp, size_t size,
 228     const unsigned char *iv, size_t iv_size, int acpkm)
 229 {
 230     EVP_CIPHER_CTX *ctx = EVP_CIPHER_CTX_new();
 231     int ret = 0, test;
 232     int z;
 233
 234     OPENSSL_assert(ctx);
 235     /* Cycle through all lengths from 1 upto maximum size */
 236     printf("Stream encryption test from GOST R 34.13-2015 [%s] \n", name);
 237     for (z = 1; z <= size; z++) {
 238         unsigned char c[size];
 239         int outlen, tmplen;
 240         int sz = 0;
 241         int i;
 242
 243         EVP_CIPHER_CTX_init(ctx);
 244         EVP_CipherInit_ex(ctx, type, NULL, K, iv, 1);
 245         EVP_CIPHER_CTX_set_padding(ctx, 0);
 246         memset(c, 0xff, sizeof(c));
 247         if (acpkm)
 248             T(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, 256 / 8, NULL));
 249         for (i = 0; i < size; i += z) {
 250             if (i + z > size)
 251                 sz = size - i;
 252             else
 253                 sz = z;
 254             EVP_CipherUpdate(ctx, c + i, &outlen, pt + i, sz);
 255             OPENSSL_assert(outlen == sz);
 256         }
 257         outlen = i - z + sz;
 258         EVP_CipherFinal_ex(ctx, c + outlen, &tmplen);
 259         EVP_CIPHER_CTX_cleanup(ctx);
 260
 261         test = outlen != size || memcmp(c, exp, size);
 262         printf("%c", test ? 'E' : '+');
 263         ret |= test;
 264     }
 265     printf("\n");
 266     TEST_ASSERT(ret);
 267     EVP_CIPHER_CTX_free(ctx);
 268
 269     return ret;
 270 }
 271
 272 static int test_omac()
 273 {
 274     EVP_MD_CTX *ctx = EVP_MD_CTX_new();
 275     unsigned char mac[] = { 0x33,0x6f,0x4d,0x29,0x60,0x59,0xfb,0xe3 };
 276     unsigned char md_value[EVP_MAX_MD_SIZE];
 277     unsigned int md_len;
 278     int test;
 279
 280     OPENSSL_assert(ctx);
 281     printf("OMAC test from GOST R 34.13-2015\n");
 282     EVP_MD_CTX_init(ctx);
 283     /* preload cbc cipher for omac set key */
 284     EVP_add_cipher(cipher_gost_grasshopper_cbc());
 285     T(EVP_DigestInit_ex(ctx, grasshopper_omac(), NULL));
 286     if (EVP_MD_CTX_size(ctx) != sizeof(mac)) {
 287         /* strip const out of EVP_MD_CTX_md() to
 288          * overwrite output size, as test vector is 8 bytes */
 289         printf("Resize result size from %d to %zu\n", EVP_MD_CTX_size(ctx), sizeof(mac));
 290         T(EVP_MD_meth_set_result_size((EVP_MD *)EVP_MD_CTX_md(ctx), sizeof(mac)));
 291     }
 292     T(EVP_MD_meth_get_ctrl(EVP_MD_CTX_md(ctx))(ctx, EVP_MD_CTRL_SET_KEY, sizeof(K), (void *)K));
 293     T(EVP_DigestUpdate(ctx, P, sizeof(P)));
 294     T(EVP_DigestFinal_ex(ctx, md_value, &md_len));
 295     EVP_MD_CTX_free(ctx);
 296     printf("  MAC[%u] = ", md_len);
 297     hexdump(md_value, md_len);
 298
 299     TEST_ASSERT(md_len != sizeof(mac) ||
 300         memcmp(mac, md_value, md_len));
 301
 302     return test;
 303 }
 304
 305 int main(int argc, char **argv)
 306 {
 307     int ret = 0;
 308     const struct testcase *t;
 309
 310     for (t = testcases; t->name; t++) {
 311         ret |= test_block(t->type(), t->name,
 312             t->plaintext, t->expected, t->size,
 313             t->iv, t->iv_size, t->acpkm);
 314         if (t->stream)
 315             ret |= test_stream(t->type(), t->name,
 316                 t->plaintext, t->expected, t->size,
 317                 t->iv, t->iv_size, t->acpkm);
 318     }
 319
 320     ret |= test_omac();
 321
 322     if (ret)
 323         printf(cDRED "= Some tests FAILED!\n" cNORM);
 324     else
 325         printf(cDGREEN "= All tests passed!\n" cNORM);
 326     return ret;
 327 }