test_digest.c

   1 /*
   2  * Test GOST 34.11 Digest operation
   3  *
   4  * Copyright (C) 2019-2020 Vitaly Chikunov <vt@altlinux.org>. All Rights Reserved.
   5  *
   6  * Contents licensed under the terms of the OpenSSL license
   7  * See https://www.openssl.org/source/license.html for details
   8  */
   9
  10 #include <openssl/engine.h>
  11 #include <openssl/evp.h>
  12 #include <openssl/hmac.h>
  13 #include <openssl/rand.h>
  14 #include <openssl/err.h>
  15 #include <openssl/asn1.h>
  16 #include <openssl/obj_mac.h>
  17 #include <string.h>
  18 #include <stdlib.h>
  19 #if MIPSEL
  20 # include <sys/sysmips.h>
  21 #endif
  22 #ifndef EVP_MD_CTRL_SET_KEY
  23 # include "gost_lcl.h"
  24 #endif
  25
  26 /* Helpers to test OpenSSL API calls. */
  27 #define T(e) ({ if (!(e)) { \
  28                 ERR_print_errors_fp(stderr); \
  29                 OpenSSLDie(__FILE__, __LINE__, #e); \
  30             } \
  31         })
  32 #define TE(e) ({ if (!(e)) { \
  33                 ERR_print_errors_fp(stderr); \
  34                 fprintf(stderr, "Error at %s:%d %s\n", __FILE__, __LINE__, #e); \
  35                 return -1; \
  36             } \
  37         })
  38
  39 #define cRED    "\033[1;31m"
  40 #define cDRED   "\033[0;31m"
  41 #define cGREEN  "\033[1;32m"
  42 #define cDGREEN "\033[0;32m"
  43 #define cBLUE   "\033[1;34m"
  44 #define cDBLUE  "\033[0;34m"
  45 #define cNORM   "\033[m"
  46 #define TEST_ASSERT(e) {if ((test = (e))) \
  47                  printf(cRED "  Test FAILED\n" cNORM); \
  48              else \
  49                  printf(cGREEN "  Test passed\n" cNORM);}
  50
  51 /*
  52  * Test key from both GOST R 34.12-2015 and GOST R 34.13-2015.
  53  */
  54 static const char K[32] = {
  55     0x88,0x99,0xaa,0xbb,0xcc,0xdd,0xee,0xff,0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,
  56     0xfe,0xdc,0xba,0x98,0x76,0x54,0x32,0x10,0x01,0x23,0x45,0x67,0x89,0xab,0xcd,0xef,
  57 };
  58
  59 /*
  60  * Plaintext from GOST R 34.13-2015 A.1.
  61  * First 16 bytes is vector (a) from GOST R 34.12-2015 A.1.
  62  */
  63 static const char P[] = {
  64     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xff,0xee,0xdd,0xcc,0xbb,0xaa,0x99,0x88,
  65     0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,
  66     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,
  67     0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xaa,0xbb,0xcc,0xee,0xff,0x0a,0x00,0x11,
  68 };
  69
  70 /*
  71  * OMAC1/CMAC test vector from GOST R 34.13-2015 А.1.6
  72  */
  73 static const char MAC_omac[] = { 0x33,0x6f,0x4d,0x29,0x60,0x59,0xfb,0xe3 };
  74
  75 /*
  76  * OMAC-ACPKM test vector from R 1323565.1.017-2018 A.4.1
  77  */
  78 static const char P_omac_acpkm1[] = {
  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,
  81 };
  82
  83 static const char MAC_omac_acpkm1[] = {
  84     0xB5,0x36,0x7F,0x47,0xB6,0x2B,0x99,0x5E,0xEB,0x2A,0x64,0x8C,0x58,0x43,0x14,0x5E,
  85 };
  86
  87 /*
  88  * OMAC-ACPKM test vector from R 1323565.1.017-2018 A.4.2
  89  */
  90 static const char P_omac_acpkm2[] = {
  91     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x00,0xFF,0xEE,0xDD,0xCC,0xBB,0xAA,0x99,0x88,
  92     0x00,0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,
  93     0x11,0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,
  94     0x22,0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,
  95     0x33,0x44,0x55,0x66,0x77,0x88,0x99,0xAA,0xBB,0xCC,0xEE,0xFF,0x0A,0x00,0x11,0x22,
  96 };
  97
  98 static const char MAC_omac_acpkm2[] = {
  99     0xFB,0xB8,0xDC,0xEE,0x45,0xBE,0xA6,0x7C,0x35,0xF5,0x8C,0x57,0x00,0x89,0x8E,0x5D,
 100 };
 101
 102 /* Some other test vectors. */
 103 static const char etalon_M4[64] = { 0 };
 104
 105 static const char etalon_M5[] = {
 106     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 107     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 108     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 109     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 110 };
 111
 112 static const char etalon_M6[] = {
 113     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 114     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 115     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 116     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 117     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 118     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 119     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 120     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 121     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 122     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 123     0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,
 124     0x37,0x38,0x39,0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39,0x30,0x20,0x0a,
 125 };
 126
 127 static const char etalon_carry[] = {
 128     0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
 129     0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
 130     0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
 131     0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,0xee,
 132     0x16,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,
 133     0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,
 134     0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,
 135     0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x16,
 136 };
 137
 138 struct hash_testvec {
 139     int nid;               /* OpenSSL algorithm numeric id. */
 140     const char *name;      /* Test name and source. */
 141     const char *plaintext; /* Input (of psize), NULL for synthetic test. */
 142     const char *digest;    /* Expected output (of EVP_MD_size or truncate). */
 143     const char *hmac;      /* Expected output for HMAC tests. */
 144     const char *key;       /* MAC key.*/
 145     int psize;             /* Input (plaintext) size. */
 146     int mdsize;            /* Compare to EVP_MD_size() if non-zero. */
 147     int truncate;          /* Truncated output (digest) size. */
 148     int key_size;          /* MAC key size. */
 149     int block_size;        /* Internal block size. */
 150     int acpkm;             /* The section size N (the number of bits that are
 151                               processed with one section key before this key is
 152                               transformed) (bytes) */
 153     int acpkm_t;           /* Master key (change) frequency T* (bytes) */
 154 };
 155
 156 static const struct hash_testvec testvecs[] = {
 157     {
 158         .nid = NID_id_GostR3411_2012_512,
 159         .name = "M1 from RFC 6986 (10.1.1) and GOST R 34.11-2012 (А.1.1)",
 160         .plaintext =
 161             "012345678901234567890123456789012345678901234567890123456789012",
 162         .psize = 63,
 163         .digest =
 164             "\x1b\x54\xd0\x1a\x4a\xf5\xb9\xd5\xcc\x3d\x86\xd6\x8d\x28\x54\x62"
 165             "\xb1\x9a\xbc\x24\x75\x22\x2f\x35\xc0\x85\x12\x2b\xe4\xba\x1f\xfa"
 166             "\x00\xad\x30\xf8\x76\x7b\x3a\x82\x38\x4c\x65\x74\xf0\x24\xc3\x11"
 167             "\xe2\xa4\x81\x33\x2b\x08\xef\x7f\x41\x79\x78\x91\xc1\x64\x6f\x48",
 168         .mdsize = 512 / 8,
 169         .block_size = 512 / 8,
 170     },
 171     {
 172         .nid = NID_id_GostR3411_2012_256,
 173         .name = "M1 from RFC 6986 (10.1.2) and GOST R 34.11-2012 (А.1.2)",
 174         .plaintext =
 175             "012345678901234567890123456789012345678901234567890123456789012",
 176         .psize = 63,
 177         .digest =
 178             "\x9d\x15\x1e\xef\xd8\x59\x0b\x89\xda\xa6\xba\x6c\xb7\x4a\xf9\x27"
 179             "\x5d\xd0\x51\x02\x6b\xb1\x49\xa4\x52\xfd\x84\xe5\xe5\x7b\x55\x00",
 180         .mdsize = 256 / 8,
 181         .block_size = 512 / 8,
 182     },
 183     {
 184         .nid = NID_id_GostR3411_2012_512,
 185         .name = "M2 from RFC 6986 (10.2.1) and GOST R 34.11-2012 (А.2.1)",
 186         .plaintext =
 187             "\xd1\xe5\x20\xe2\xe5\xf2\xf0\xe8\x2c\x20\xd1\xf2\xf0\xe8\xe1\xee"
 188             "\xe6\xe8\x20\xe2\xed\xf3\xf6\xe8\x2c\x20\xe2\xe5\xfe\xf2\xfa\x20"
 189             "\xf1\x20\xec\xee\xf0\xff\x20\xf1\xf2\xf0\xe5\xeb\xe0\xec\xe8\x20"
 190             "\xed\xe0\x20\xf5\xf0\xe0\xe1\xf0\xfb\xff\x20\xef\xeb\xfa\xea\xfb"
 191             "\x20\xc8\xe3\xee\xf0\xe5\xe2\xfb",
 192         .psize = 72,
 193         .digest =
 194             "\x1e\x88\xe6\x22\x26\xbf\xca\x6f\x99\x94\xf1\xf2\xd5\x15\x69\xe0"
 195             "\xda\xf8\x47\x5a\x3b\x0f\xe6\x1a\x53\x00\xee\xe4\x6d\x96\x13\x76"
 196             "\x03\x5f\xe8\x35\x49\xad\xa2\xb8\x62\x0f\xcd\x7c\x49\x6c\xe5\xb3"
 197             "\x3f\x0c\xb9\xdd\xdc\x2b\x64\x60\x14\x3b\x03\xda\xba\xc9\xfb\x28",
 198     },
 199     {
 200         .nid = NID_id_GostR3411_2012_256,
 201         .name = "M2 from RFC 6986 (10.2.2) and GOST R 34.11-2012 (А.2.2)",
 202         .plaintext =
 203             "\xd1\xe5\x20\xe2\xe5\xf2\xf0\xe8\x2c\x20\xd1\xf2\xf0\xe8\xe1\xee"
 204             "\xe6\xe8\x20\xe2\xed\xf3\xf6\xe8\x2c\x20\xe2\xe5\xfe\xf2\xfa\x20"
 205             "\xf1\x20\xec\xee\xf0\xff\x20\xf1\xf2\xf0\xe5\xeb\xe0\xec\xe8\x20"
 206             "\xed\xe0\x20\xf5\xf0\xe0\xe1\xf0\xfb\xff\x20\xef\xeb\xfa\xea\xfb"
 207             "\x20\xc8\xe3\xee\xf0\xe5\xe2\xfb",
 208         .psize = 72,
 209         .digest =
 210             "\x9d\xd2\xfe\x4e\x90\x40\x9e\x5d\xa8\x7f\x53\x97\x6d\x74\x05\xb0"
 211             "\xc0\xca\xc6\x28\xfc\x66\x9a\x74\x1d\x50\x06\x3c\x55\x7e\x8f\x50",
 212     },
 213     /* OMAC tests */
 214     {
 215         .nid = NID_grasshopper_mac,
 216         .name = "P from GOST R 34.13-2015 (А.1.6)",
 217         .plaintext = P,
 218         .psize = sizeof(P),
 219         .key = K,
 220         .key_size = sizeof(K),
 221         .digest = MAC_omac,
 222         .mdsize = 128 / 8,
 223         .truncate = sizeof(MAC_omac),
 224     },
 225     {
 226         .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
 227         .name = "M from R 1323565.1.017-2018 (A.4.1)",
 228         .plaintext = P_omac_acpkm1,
 229         .psize = sizeof(P_omac_acpkm1),
 230         .key = K,
 231         .key_size = sizeof(K),
 232         .acpkm = 32,
 233         .acpkm_t = 768 / 8,
 234         .digest = MAC_omac_acpkm1,
 235         .mdsize = sizeof(MAC_omac_acpkm1),
 236     },
 237     {
 238         .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
 239         .name = "M from R 1323565.1.017-2018 (A.4.2)",
 240         .plaintext = P_omac_acpkm2,
 241         .psize = sizeof(P_omac_acpkm2),
 242         .key = K,
 243         .key_size = sizeof(K),
 244         .acpkm = 32,
 245         .acpkm_t = 768 / 8,
 246         .digest = MAC_omac_acpkm2,
 247         .mdsize = sizeof(MAC_omac_acpkm2),
 248     },
 249     { /* HMAC tests. */
 250         .nid = NID_id_GostR3411_2012_512,
 251         .name = "HMAC_GOSTR3411_2012_512 from RFC 7836 (B) and R 50.1.113-2016 (A)",
 252         .plaintext =
 253             "\x01\x26\xbd\xb8\x78\x00\xaf\x21\x43\x41\x45\x65\x63\x78\x01\x00",
 254         .psize = 16,
 255         .key =
 256             "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f"
 257             "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f",
 258         .key_size = 32,
 259         .hmac =
 260             "\xa5\x9b\xab\x22\xec\xae\x19\xc6\x5f\xbd\xe6\xe5\xf4\xe9\xf5\xd8"
 261             "\x54\x9d\x31\xf0\x37\xf9\xdf\x9b\x90\x55\x00\xe1\x71\x92\x3a\x77"
 262             "\x3d\x5f\x15\x30\xf2\xed\x7e\x96\x4c\xb2\xee\xdc\x29\xe9\xad\x2f"
 263             "\x3a\xfe\x93\xb2\x81\x4f\x79\xf5\x00\x0f\xfc\x03\x66\xc2\x51\xe6",
 264     },
 265     {
 266         .nid = NID_id_GostR3411_2012_256,
 267         .name = "HMAC_GOSTR3411_2012_256 from RFC 7836 (B) and R 50.1.113-2016 (A)",
 268         .plaintext =
 269             "\x01\x26\xbd\xb8\x78\x00\xaf\x21\x43\x41\x45\x65\x63\x78\x01\x00",
 270         .psize = 16,
 271         .key =
 272             "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f"
 273             "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f",
 274         .key_size = 32,
 275         .hmac =
 276             "\xa1\xaa\x5f\x7d\xe4\x02\xd7\xb3\xd3\x23\xf2\x99\x1c\x8d\x45\x34"
 277             "\x01\x31\x37\x01\x0a\x83\x75\x4f\xd0\xaf\x6d\x7c\xd4\x92\x2e\xd9",
 278     },
 279     /* Other KATs. */
 280     {
 281         .nid = NID_id_GostR3411_2012_512,
 282         .name = "Zero length string (M3)",
 283         .plaintext = "",
 284         .psize = 0,
 285         .digest =
 286             "\x8e\x94\x5d\xa2\x09\xaa\x86\x9f\x04\x55\x92\x85\x29\xbc\xae\x46"
 287             "\x79\xe9\x87\x3a\xb7\x07\xb5\x53\x15\xf5\x6c\xeb\x98\xbe\xf0\xa7"
 288             "\x36\x2f\x71\x55\x28\x35\x6e\xe8\x3c\xda\x5f\x2a\xac\x4c\x6a\xd2"
 289             "\xba\x3a\x71\x5c\x1b\xcd\x81\xcb\x8e\x9f\x90\xbf\x4c\x1c\x1a\x8a",
 290         .mdsize = 512 / 8,
 291     },
 292     {
 293         .nid = NID_id_GostR3411_2012_256,
 294         .name = "Zero length string (M3)",
 295         .plaintext = "",
 296         .psize = 0,
 297         .digest =
 298             "\x3f\x53\x9a\x21\x3e\x97\xc8\x02\xcc\x22\x9d\x47\x4c\x6a\xa3\x2a"
 299             "\x82\x5a\x36\x0b\x2a\x93\x3a\x94\x9f\xd9\x25\x20\x8d\x9c\xe1\xbb",
 300         .mdsize = 256 / 8,
 301     },
 302     { /* M4 */
 303         .nid = NID_id_GostR3411_2012_512,
 304         .name = "64 bytes of zeros (M4)",
 305         .plaintext = etalon_M4,
 306         .psize = sizeof(etalon_M4),
 307         .digest =
 308             "\xb0\xfd\x29\xac\x1b\x0d\xf4\x41\x76\x9f\xf3\xfd\xb8\xdc\x56\x4d"
 309             "\xf6\x77\x21\xd6\xac\x06\xfb\x28\xce\xff\xb7\xbb\xaa\x79\x48\xc6"
 310             "\xc0\x14\xac\x99\x92\x35\xb5\x8c\xb2\x6f\xb6\x0f\xb1\x12\xa1\x45"
 311             "\xd7\xb4\xad\xe9\xae\x56\x6b\xf2\x61\x14\x02\xc5\x52\xd2\x0d\xb7"
 312     },
 313     {
 314         .nid = NID_id_GostR3411_2012_256,
 315         .name = "64 bytes of zeros (M4)",
 316         .plaintext = etalon_M4,
 317         .psize = sizeof(etalon_M4),
 318         .digest =
 319             "\xdf\x1f\xda\x9c\xe8\x31\x91\x39\x05\x37\x35\x80\x31\xdb\x2e\xca"
 320             "\xa6\xaa\x54\xcd\x0e\xda\x24\x1d\xc1\x07\x10\x5e\x13\x63\x6b\x95"
 321     },
 322     { /* M5 */
 323         .nid = NID_id_GostR3411_2012_512,
 324         .name = "64 bytes of (M5)",
 325         .plaintext = etalon_M5,
 326         .psize = sizeof(etalon_M5),
 327         .digest =
 328             "\x36\x3b\x44\x9e\xc8\x1a\xe4\x0b\x3a\x40\x7b\x12\x5c\x3b\x1c\x2b"
 329             "\x76\x8b\x50\x49\x6b\xcb\x5f\x69\x0b\x89\xe9\x00\x7b\x06\xe4\x08"
 330             "\x41\x82\xed\x45\xd4\x07\x2a\x67\xfe\xc9\xd3\x42\x1d\xab\x01\x3d"
 331             "\xa2\xaa\xbc\x1d\x65\x28\xe8\xe7\x75\xae\xc7\xb3\x45\x7a\xc6\x75"
 332     },
 333     {
 334         .nid = NID_id_GostR3411_2012_256,
 335         .name = "64 bytes of (M5)",
 336         .plaintext = etalon_M5,
 337         .psize = sizeof(etalon_M5),
 338         .digest =
 339             "\xf0\xa5\x57\xf6\xa0\x4a\x90\xab\x18\x11\xc1\xb6\xe9\xb0\x78\xe4"
 340             "\x16\x3b\x74\x03\x7c\x6c\xf5\x9f\x52\x44\x4a\x37\xf4\x8e\x11\xd8"
 341     },
 342     { /* M6 */
 343         .nid = NID_id_GostR3411_2012_512,
 344         .name = "(M6)",
 345         .plaintext = etalon_M6,
 346         .psize = sizeof(etalon_M6),
 347         .digest =
 348             "\x87\x81\xdf\xc8\x1d\x2d\xb6\xa4\x1d\x18\x57\xf3\x23\x0b\x3f\xfe"
 349             "\x2b\xda\x57\x42\x73\xea\x19\x47\x18\x9a\xaa\x54\x68\x47\x0d\xf1"
 350             "\xc4\xb3\x74\xb1\xa2\xb5\x6e\x59\xd1\x1d\x21\x3f\xea\x57\xe3\x51"
 351             "\x45\x43\xb0\xce\xd9\xb2\x0e\x55\x3a\xe6\x64\x25\xec\x90\x9c\xfd"
 352     },
 353     {
 354         .nid = NID_id_GostR3411_2012_256,
 355         .name = "(M6)",
 356         .plaintext = etalon_M6,
 357         .psize = sizeof(etalon_M6),
 358         .digest =
 359             "\x2f\x4f\x65\x1f\xe8\x8f\xea\x46\xec\x6f\x22\x23\x72\x8d\x8d\xff"
 360             "\x39\x68\x89\x35\x58\xef\x00\xa3\x10\xc2\x3e\x7d\x19\x23\xba\x0c"
 361     },
 362     { /* carry */
 363         .nid = NID_id_GostR3411_2012_512,
 364         .name = "(carry)",
 365         .plaintext = etalon_carry,
 366         .psize = sizeof(etalon_carry),
 367         .digest =
 368             "\x8b\x06\xf4\x1e\x59\x90\x7d\x96\x36\xe8\x92\xca\xf5\x94\x2f\xcd"
 369             "\xfb\x71\xfa\x31\x16\x9a\x5e\x70\xf0\xed\xb8\x73\x66\x4d\xf4\x1c"
 370             "\x2c\xce\x6e\x06\xdc\x67\x55\xd1\x5a\x61\xcd\xeb\x92\xbd\x60\x7c"
 371             "\xc4\xaa\xca\x67\x32\xbf\x35\x68\xa2\x3a\x21\x0d\xd5\x20\xfd\x41"
 372     },
 373     {
 374         .nid = NID_id_GostR3411_2012_256,
 375         .name = "(carry)",
 376         .plaintext = etalon_carry,
 377         .psize = sizeof(etalon_carry),
 378         .digest =
 379             "\x81\xbb\x63\x2f\xa3\x1f\xcc\x38\xb4\xc3\x79\xa6\x62\xdb\xc5\x8b"
 380             "\x9b\xed\x83\xf5\x0d\x3a\x1b\x2c\xe7\x27\x1a\xb0\x2d\x25\xba\xbb"
 381     },
 382     /* Synthetic tests. */
 383     {
 384         .nid = NID_id_GostR3411_2012_256,
 385         .name = "streebog256 synthetic test",
 386         .mdsize = 32,
 387         .block_size = 64,
 388         .digest =
 389             "\xa2\xf3\x6d\x9c\x42\xa1\x1e\xad\xe3\xc1\xfe\x99\xf9\x99\xc3\x84"
 390             "\xe7\x98\xae\x24\x50\x75\x73\xd7\xfc\x99\x81\xa0\x45\x85\x41\xf6"
 391     }, {
 392         .nid = NID_id_GostR3411_2012_512,
 393         .name = "streebog512 synthetic test",
 394         .mdsize = 64,
 395         .block_size = 64,
 396         .digest =
 397             "\x1d\x14\x4d\xd8\xb8\x27\xfb\x55\x1a\x5a\x7d\x03\xbb\xdb\xfa\xcb"
 398             "\x43\x6b\x5b\xc5\x77\x59\xfd\x5f\xf2\x3b\x8e\xf9\xc4\xdd\x6f\x79"
 399             "\x45\xd8\x16\x59\x9e\xaa\xbc\xf2\xb1\x4f\xd0\xe4\xf6\xad\x46\x60"
 400             "\x90\x89\xf7\x2f\x93\xd8\x85\x0c\xb0\x43\xff\x5a\xb6\xe3\x69\xbd"
 401     },
 402     { 0 }
 403 };
 404
 405 static void hexdump(const void *ptr, size_t len)
 406 {
 407     const unsigned char *p = ptr;
 408     size_t i, j;
 409
 410     for (i = 0; i < len; i += j) {
 411         for (j = 0; j < 16 && i + j < len; j++)
 412             printf("%s%02x", j? "" : " ", p[i + j]);
 413     }
 414     printf("\n");
 415 }
 416
 417 static int do_hmac(const EVP_MD *type, const char *plaintext,
 418     unsigned int psize, const char *etalon, int mdsize,
 419     const char *key, unsigned int key_size)
 420 {
 421     HMAC_CTX *ctx;
 422     T(ctx = HMAC_CTX_new());
 423     T(HMAC_Init_ex(ctx, key, key_size, type, NULL));
 424     if (mdsize)
 425         T(HMAC_size(ctx) == mdsize);
 426     else
 427         T(mdsize = HMAC_size(ctx));
 428     T(HMAC_Update(ctx, (const unsigned char *)plaintext, psize));
 429
 430     unsigned int len;
 431     unsigned char md[EVP_MAX_MD_SIZE];
 432     T(HMAC_Final(ctx, md, &len));
 433
 434     HMAC_CTX_free(ctx);
 435     T(len == mdsize);
 436
 437     if (memcmp(md, etalon, mdsize) != 0) {
 438         printf(cRED "hmac mismatch\n" cNORM);
 439         hexdump(etalon, mdsize);
 440         hexdump(md, mdsize);
 441         return 1;
 442     }
 443
 444     return 0;
 445 }
 446 static int do_digest(const EVP_MD *type, const char *plaintext,
 447     unsigned int psize, const char *etalon, int mdsize, int truncate,
 448     const char *key, unsigned int key_size, int acpkm, int acpkm_t,
 449     int block_size)
 450 {
 451     if (mdsize)
 452         T(EVP_MD_size(type) == mdsize);
 453     if (truncate)
 454         mdsize = truncate;
 455     else
 456         mdsize = EVP_MD_size(type);
 457
 458     if (block_size)
 459         T(EVP_MD_block_size(type) == block_size);
 460     EVP_MD_CTX *ctx;
 461     T(ctx = EVP_MD_CTX_new());
 462     T(EVP_MD_CTX_init(ctx));
 463     T(EVP_DigestInit_ex(ctx, type, NULL));
 464     if (key)
 465         T(EVP_MD_CTX_ctrl(ctx, EVP_MD_CTRL_SET_KEY, key_size, (void *)key));
 466     if (acpkm)
 467         T(EVP_MD_CTX_ctrl(ctx,
 468                 EVP_CTRL_KEY_MESH, acpkm, acpkm_t? &acpkm_t : NULL));
 469     T(EVP_DigestUpdate(ctx, plaintext, psize));
 470
 471     unsigned int len;
 472     unsigned char md[EVP_MAX_MD_SIZE];
 473
 474     if (EVP_MD_flags(EVP_MD_CTX_md(ctx)) & EVP_MD_FLAG_XOF) {
 475         T(EVP_DigestFinalXOF(ctx, md, mdsize));
 476         len = mdsize;
 477     } else {
 478         T(EVP_MD_CTX_size(ctx) == mdsize);
 479         T(EVP_DigestFinal_ex(ctx, md, &len));
 480     }
 481
 482     EVP_MD_CTX_free(ctx);
 483     T(len == mdsize);
 484     if (memcmp(md, etalon, mdsize) != 0) {
 485         printf(cRED "digest mismatch\n" cNORM);
 486         return 1;
 487     }
 488
 489     return 0;
 490 }
 491
 492 static int do_test(const struct hash_testvec *tv)
 493 {
 494     int ret = 0;
 495
 496     const EVP_MD *type;
 497     T(type = EVP_get_digestbynid(tv->nid));
 498     const char *name = EVP_MD_name(type);
 499     printf(cBLUE "%s Test %s: %s: " cNORM, tv->hmac? "HMAC" : "MD",
 500         name, tv->name);
 501     fflush(stdout);
 502     if (tv->hmac)
 503         ret |= do_hmac(type, tv->plaintext, tv->psize, tv->hmac,
 504             tv->mdsize, tv->key, tv->key_size);
 505     else
 506         ret |= do_digest(type, tv->plaintext, tv->psize, tv->digest,
 507             tv->mdsize, tv->truncate, tv->key, tv->key_size, tv->acpkm,
 508             tv->acpkm_t, tv->block_size);
 509
 510     /* Test alignment problems. */
 511     int shifts = 32;
 512     int i;
 513     char *buf;
 514     T(buf = OPENSSL_malloc(tv->psize + shifts));
 515     for (i = 0; i < shifts; i++) {
 516         memcpy(buf + i, tv->plaintext, tv->psize);
 517         if (tv->hmac)
 518             ret |= do_hmac(type, buf + i, tv->psize, tv->hmac,
 519                 tv->mdsize, tv->key, tv->key_size);
 520         else
 521             ret |= do_digest(type, buf + i, tv->psize, tv->digest,
 522                 tv->mdsize, tv->truncate, tv->key, tv->key_size,
 523                 tv->acpkm, tv->acpkm_t, tv->block_size);
 524     }
 525     OPENSSL_free(buf);
 526
 527     if (!ret)
 528         printf(cGREEN "success\n" cNORM);
 529     else
 530         printf(cRED "fail\n" cNORM);
 531     return ret;
 532 }
 533
 534 #define SUPER_SIZE 256
 535 /*
 536  * For 256-byte buffer filled with 256 bytes from 0 to 255;
 537  * Digest them 256 times from the buffer end with lengths from 0 to 256,
 538  * and from beginning of the buffer with lengths from 0 to 256;
 539  * Each produced digest is digested again into final sum.
 540  */
 541 static int do_synthetic_once(const struct hash_testvec *tv, unsigned int shifts)
 542 {
 543     unsigned char *ibuf, *md;
 544     T(ibuf = OPENSSL_zalloc(SUPER_SIZE + shifts));
 545
 546     /* fill with pattern */
 547     unsigned int len;
 548     for (len = 0; len < SUPER_SIZE; len++)
 549             ibuf[shifts + len] = len & 0xff;
 550
 551     const EVP_MD *mdtype;
 552     T(mdtype = EVP_get_digestbynid(tv->nid));
 553     OPENSSL_assert(tv->nid == EVP_MD_type(mdtype));
 554     EVP_MD_CTX *ctx, *ctx2;
 555     T(ctx  = EVP_MD_CTX_new());
 556     T(ctx2 = EVP_MD_CTX_new());
 557     T(EVP_DigestInit(ctx2, mdtype));
 558     OPENSSL_assert(tv->nid == EVP_MD_CTX_type(ctx2));
 559     OPENSSL_assert(EVP_MD_block_size(mdtype) == tv->block_size);
 560     OPENSSL_assert(EVP_MD_CTX_size(ctx2) == tv->mdsize);
 561     OPENSSL_assert(EVP_MD_CTX_block_size(ctx2) == tv->block_size);
 562
 563     const unsigned int mdlen = EVP_MD_size(mdtype);
 564     OPENSSL_assert(mdlen == tv->mdsize);
 565     T(md = OPENSSL_zalloc(mdlen + shifts));
 566     md += shifts; /* test for output digest alignment problems */
 567
 568     /* digest cycles */
 569     for (len = 0; len < SUPER_SIZE; len++) {
 570         /* for each len digest len bytes from the end of buf */
 571         T(EVP_DigestInit(ctx, mdtype));
 572         T(EVP_DigestUpdate(ctx, ibuf + shifts + SUPER_SIZE - len, len));
 573         T(EVP_DigestFinal(ctx, md, NULL));
 574         T(EVP_DigestUpdate(ctx2, md, mdlen));
 575     }
 576
 577     for (len = 0; len < SUPER_SIZE; len++) {
 578         /* for each len digest len bytes from the beginning of buf */
 579         T(EVP_DigestInit(ctx, mdtype));
 580         T(EVP_DigestUpdate(ctx, ibuf + shifts, len));
 581         T(EVP_DigestFinal(ctx, md, NULL));
 582         T(EVP_DigestUpdate(ctx2, md, mdlen));
 583     }
 584
 585     OPENSSL_free(ibuf);
 586     EVP_MD_CTX_free(ctx);
 587
 588     T(EVP_DigestFinal(ctx2, md, &len));
 589     EVP_MD_CTX_free(ctx2);
 590
 591     if (len != mdlen) {
 592         printf(cRED "digest output len mismatch %u != %u (expected)\n" cNORM,
 593             len, mdlen);
 594         goto err;
 595     }
 596
 597     if (memcmp(md, tv->digest, mdlen) != 0) {
 598         printf(cRED "digest mismatch\n" cNORM);
 599
 600         unsigned int i;
 601         printf("  Expected value is: ");
 602         for (i = 0; i < mdlen; i++)
 603             printf("\\x%02x", md[i]);
 604         printf("\n");
 605         goto err;
 606     }
 607
 608     OPENSSL_free(md - shifts);
 609     return 0;
 610 err:
 611     OPENSSL_free(md - shifts);
 612     return 1;
 613 }
 614
 615 /* do different block sizes and different memory offsets */
 616 static int do_synthetic_test(const struct hash_testvec *tv)
 617 {
 618     int ret = 0;
 619
 620     printf(cBLUE "MD Test %s: " cNORM, tv->name);
 621     fflush(stdout);
 622
 623     unsigned int shifts;
 624     for (shifts = 0; shifts < 16 && !ret; shifts++)
 625         ret |= do_synthetic_once(tv, shifts);
 626
 627     if (!ret)
 628         printf(cGREEN "success\n" cNORM);
 629     else
 630         printf(cRED "fail\n" cNORM);
 631     return 0;
 632 }
 633
 634 int main(int argc, char **argv)
 635 {
 636     int ret = 0;
 637
 638 #if MIPSEL
 639     /* Trigger SIGBUS for unaligned access. */
 640     sysmips(MIPS_FIXADE, 0);
 641 #endif
 642     setenv("OPENSSL_ENGINES", ENGINE_DIR, 0);
 643     OPENSSL_add_all_algorithms_conf();
 644     ERR_load_crypto_strings();
 645     ENGINE *eng;
 646     T(eng = ENGINE_by_id("gost"));
 647     T(ENGINE_init(eng));
 648     T(ENGINE_set_default(eng, ENGINE_METHOD_ALL));
 649
 650     const struct hash_testvec *tv;
 651     for (tv = testvecs; tv->nid; tv++) {
 652         if (tv->plaintext)
 653             ret |= do_test(tv);
 654         else
 655             ret |= do_synthetic_test(tv);
 656     }
 657
 658     ENGINE_finish(eng);
 659     ENGINE_free(eng);
 660
 661     if (ret)
 662         printf(cDRED "= Some tests FAILED!\n" cNORM);
 663     else
 664         printf(cDGREEN "= All tests passed!\n" cNORM);
 665     return ret;
 666 }