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 cGREEN  "\033[1;32m"
  27 #define cNORM   "\033[m"
  28 #define TEST_ASSERT(e) {if ((test = (e))) \
  29                  printf(cRED "Test FAILED\n" cNORM); \
  30              else \
  31                  printf(cGREEN "Test passed\n" cNORM);}
  32
  33 enum e_mode {
  34     E_ECB = 0,
  35     E_CTR,
  36     E_CTR_IV2,
  37     E_OFB,
  38 };
  39
  40 /* Test key from both GOST R 34.12-2015 and GOST R 34.13-2015. */
  41 static const unsigned char K[] = {
  42     0x88,0x99,0xaa,0xbb,0xcc,0xdd,0xee,0xff,0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
  43     0xfe,0xdc,0xba,0x98,0x76,0x54,0x32,0x10,0x01,0x23,0x45,0x67,0x89,0xab,0xcd,0xef,
  44 };
  45
  46 /* Plaintext from GOST R 34.13-2015 A.1.
  47  * First 16 bytes is vector (a) from GOST R 34.12-2015 A.1. */
  48 static const unsigned char P[] = {
  49     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,
  50     0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,
  51     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,
  52     0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,0x11,
  53 };
  54 static const unsigned char E[4][sizeof(P)] = {
  55     { /* ECB test vectors from GOST R 34.13-2015  A.1.1 */
  56         /* first 16 bytes is vector (b) from GOST R 34.12-2015 A.1 */
  57         0x7f,0x67,0x9d,0x90,0xbe,0xbc,0x24,0x30,0x5a,0x46,0x8d,0x42,0xb9,0xd4,0xed,0xcd,
  58         0xb4,0x29,0x91,0x2c,0x6e,0x00,0x32,0xf9,0x28,0x54,0x52,0xd7,0x67,0x18,0xd0,0x8b,
  59         0xf0,0xca,0x33,0x54,0x9d,0x24,0x7c,0xee,0xf3,0xf5,0xa5,0x31,0x3b,0xd4,0xb1,0x57,
  60         0xd0,0xb0,0x9c,0xcd,0xe8,0x30,0xb9,0xeb,0x3a,0x02,0xc4,0xc5,0xaa,0x8a,0xda,0x98,
  61     },
  62     { /* CTR test vectors from GOST R 34.13-2015  A.1.2 */
  63         0xf1,0x95,0xd8,0xbe,0xc1,0x0e,0xd1,0xdb,0xd5,0x7b,0x5f,0xa2,0x40,0xbd,0xa1,0xb8,
  64         0x85,0xee,0xe7,0x33,0xf6,0xa1,0x3e,0x5d,0xf3,0x3c,0xe4,0xb3,0x3c,0x45,0xde,0xe4,
  65         0xa5,0xea,0xe8,0x8b,0xe6,0x35,0x6e,0xd3,0xd5,0xe8,0x77,0xf1,0x35,0x64,0xa3,0xa5,
  66         0xcb,0x91,0xfa,0xb1,0xf2,0x0c,0xba,0xb6,0xd1,0xc6,0xd1,0x58,0x20,0xbd,0xba,0x73,
  67     },
  68     { /* CTR test vectors again for IV2 test */
  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     { /* OFB test vector generated from canonical implementation */
  75         0x81,0x80,0x0a,0x59,0xb1,0x84,0x2b,0x24,0xff,0x1f,0x79,0x5e,0x89,0x7a,0xbd,0x95,
  76         0x77,0x91,0x46,0xdb,0x2d,0x93,0xa9,0x4e,0xd9,0x3c,0xf6,0x8b,0x32,0x39,0x7f,0x19,
  77         0xe9,0x3c,0x9e,0x57,0x44,0x1d,0x87,0x05,0x45,0xf2,0x40,0x36,0xa5,0x8c,0xee,0xa3,
  78         0xcf,0x3f,0x00,0x61,0xd5,0x64,0x23,0x54,0x5b,0x96,0x0d,0x86,0x4c,0xc8,0x68,0xda,
  79     }
  80 };
  81 static const unsigned char iv_ctr[]     = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0 };
  82 /* right [8] part of IV should be ignored by ctr */
  83 static const unsigned char iv_ctr_iv2[] = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff };
  84 /* truncated to 128-bits IV */
  85 static const unsigned char iv_ofb_t[]   = { 0x12,0x34,0x56,0x78,0x90,0xab,0xce,0xf0,0xa1,0xb2,0xc3,0xd4,0xe5,0xf0,0x01,0x12 };
  86 static const unsigned char *iv[4] = { NULL, iv_ctr, iv_ctr_iv2, iv_ofb_t };
  87
  88 static void hexdump(const void *ptr, size_t len)
  89 {
  90     const unsigned char *p = ptr;
  91     size_t i, j;
  92
  93     for (i = 0; i < len; i += j) {
  94         for (j = 0; j < 16 && i + j < len; j++)
  95             printf("%s%02x", j? " " : "\t", p[i + j]);
  96         printf("\n");
  97     }
  98 }
  99
 100 /* Test vectors from GOST R 34.13-2015 A.1 which* includes vectors
 101  * from GOST R 34.12-2015 A.1 as first block of ecb mode. */
 102 static int test_block(const EVP_CIPHER *type, const char *mode, enum e_mode t)
 103 {
 104     EVP_CIPHER_CTX ctx;
 105     unsigned char c[sizeof(P)];
 106     int outlen, tmplen;
 107     int ret = 0, test;
 108
 109     printf("Encryption test from GOST R 34.13-2015 [%s] \n", mode);
 110     if (!t) {
 111         printf("  p[%zu] =\n", sizeof(P));
 112         hexdump(P, sizeof(P));
 113     }
 114     EVP_CIPHER_CTX_init(&ctx);
 115     T(EVP_CipherInit_ex(&ctx, type, NULL, K, iv[t], 1));
 116     T(EVP_CIPHER_CTX_set_padding(&ctx, 0));
 117     memset(c, 0, sizeof(c));
 118     T(EVP_CipherUpdate(&ctx, c, &outlen, P, sizeof(P)));
 119     T(EVP_CipherFinal_ex(&ctx, c + outlen, &tmplen));
 120     EVP_CIPHER_CTX_cleanup(&ctx);
 121     printf("  c[%d] =\n", outlen);
 122     hexdump(c, outlen);
 123
 124     TEST_ASSERT(outlen != sizeof(P) ||
 125         memcmp(c, E[t], sizeof(P)));
 126     ret |= test;
 127
 128     printf("Decryption test from GOST R 34.13-2015 [%s] \n", mode);
 129     EVP_CIPHER_CTX_init(&ctx);
 130     T(EVP_CipherInit_ex(&ctx, type, NULL, K, iv[t], 0));
 131     T(EVP_CIPHER_CTX_set_padding(&ctx, 0));
 132     memset(c, 0, sizeof(c));
 133     T(EVP_CipherUpdate(&ctx, c, &outlen, E[t], sizeof(P)));
 134     T(EVP_CipherFinal_ex(&ctx, c + outlen, &tmplen));
 135     EVP_CIPHER_CTX_cleanup(&ctx);
 136     printf("  d[%d] =\n", outlen);
 137     hexdump(c, outlen);
 138
 139     TEST_ASSERT(outlen != sizeof(P) ||
 140         memcmp(c, P, sizeof(P)));
 141     ret |= test;
 142
 143     return ret;
 144 }
 145
 146 static int test_stream(const EVP_CIPHER *type, const char *mode, enum e_mode t)
 147 {
 148     int ret = 0, test;
 149     int z;
 150
 151     /* Cycle through all lengths from 1 upto maximum size */
 152     printf("Stream encryption test from GOST R 34.13-2015 [%s] \n", mode);
 153     for (z = 1; z <= sizeof(P); z++) {
 154         EVP_CIPHER_CTX ctx;
 155         unsigned char c[sizeof(P)];
 156         int outlen, tmplen;
 157         int sz;
 158         int i;
 159
 160         EVP_CIPHER_CTX_init(&ctx);
 161         EVP_CipherInit_ex(&ctx, type, NULL, K, iv[t], 1);
 162         EVP_CIPHER_CTX_set_padding(&ctx, 0);
 163         memset(c, 0xff, sizeof(c));
 164         for (i = 0; i < sizeof(P); i += z) {
 165             if (i + z > sizeof(P))
 166                 sz = sizeof(P) - i;
 167             else
 168                 sz = z;
 169             EVP_CipherUpdate(&ctx, c + i, &outlen, P + i, sz);
 170             OPENSSL_assert(outlen == sz);
 171         }
 172         outlen = i - z + sz;
 173         EVP_CipherFinal_ex(&ctx, c + outlen, &tmplen);
 174         EVP_CIPHER_CTX_cleanup(&ctx);
 175
 176         test = outlen != sizeof(P) ||
 177             memcmp(c, E[t], sizeof(P));
 178         printf("%c", test ? 'E' : '+');
 179         ret |= test;
 180     }
 181     printf("\n");
 182     TEST_ASSERT(ret);
 183
 184     return ret;
 185 }
 186
 187 static int test_omac()
 188 {
 189     EVP_MD_CTX ctx;
 190     unsigned char mac[] = { 0x33,0x6f,0x4d,0x29,0x60,0x59,0xfb,0xe3 };
 191     unsigned char md_value[EVP_MAX_MD_SIZE];
 192     unsigned int md_len;
 193     int test;
 194
 195     printf("OMAC test from GOST R 34.13-2015\n");
 196     EVP_MD_CTX_init(&ctx);
 197     /* preload cbc cipher for omac set key */
 198     EVP_add_cipher(cipher_gost_grasshopper_cbc());
 199     T(EVP_DigestInit_ex(&ctx, grasshopper_omac(), NULL));
 200     if (EVP_MD_CTX_size(&ctx) != 8) {
 201         /* strip const out of EVP_MD_CTX_md() to
 202          * overwrite output size, as test vector is 8 bytes */
 203         T(EVP_MD_meth_set_result_size((EVP_MD *)EVP_MD_CTX_md(&ctx), 8));
 204     }
 205     T(EVP_MD_meth_get_ctrl(EVP_MD_CTX_md(&ctx))(&ctx, EVP_MD_CTRL_SET_KEY, sizeof(K), (void *)K));
 206     T(EVP_DigestUpdate(&ctx, P, sizeof(P)));
 207     T(EVP_DigestFinal_ex(&ctx, md_value, &md_len));
 208     EVP_MD_CTX_cleanup(&ctx);
 209     printf("  MAC[%u] =\n", md_len);
 210     hexdump(md_value, md_len);
 211
 212     TEST_ASSERT(md_len != sizeof(mac) ||
 213         memcmp(mac, md_value, md_len));
 214
 215     return test;
 216 }
 217
 218 int main(int argc, char **argv)
 219 {
 220     int ret = 0;
 221
 222     ret |= test_block(cipher_gost_grasshopper_ecb(), "ecb", E_ECB);
 223     ret |= test_block(cipher_gost_grasshopper_ctr(), "ctr", E_CTR);
 224     ret |= test_block(cipher_gost_grasshopper_ctr(), "ctr iv2", E_CTR_IV2);
 225     ret |= test_stream(cipher_gost_grasshopper_ctr(), "ctr", E_CTR);
 226     /*
 227      * Other modes (ofb, cbc, cfb) is impossible to test to match GOST R
 228      * 34.13-2015 test vectors exactly, due to these vectors having exceeding
 229      * IV length value (m) = 256 bits, while openssl have hard-coded limit
 230      * of maximum IV length of 128 bits (EVP_MAX_IV_LENGTH).
 231      * Also, current grasshopper code having fixed IV length of 128 bits.
 232      *
 233      * Thus, new test vectors are generated with truncated 128-bit IV using
 234      * canonical GOST implementation from TC26.
 235      */
 236     ret |= test_block(cipher_gost_grasshopper_ofb(), "ofb", E_OFB);
 237     ret |= test_stream(cipher_gost_grasshopper_ctr(), "ofb", E_CTR);
 238
 239     ret |= test_omac();
 240
 241     return ret;
 242 }