]> www.wagner.pp.ru Git - openssl-gost/engine.git/blobdiff - test_digest.c
MSVC: Fix signed/unsigned mismatch errors
[openssl-gost/engine.git] / test_digest.c
index ce7f60a591eb1b88bfae14f1d58e2c8ad8ec39d4..9b021989ba9764e96ac009713a4f88ce819a0145 100644 (file)
@@ -7,15 +7,15 @@
  * See https://www.openssl.org/source/license.html for details
  */
 
-#include <openssl/engine.h>
 #include <openssl/opensslv.h>
+#include <openssl/engine.h>
+#include <openssl/provider.h>
 #include <openssl/evp.h>
 #include <openssl/rand.h>
 #include <openssl/err.h>
 #include <openssl/asn1.h>
-#if OPENSSL_VERSION_MAJOR < 3
 # include <openssl/hmac.h>
-#else
+#if OPENSSL_VERSION_MAJOR >= 3
 # include <openssl/core_names.h>
 #endif
 #include <openssl/obj_mac.h>
 #endif
 
 /* Helpers to test OpenSSL API calls. */
-#define T(e) ({ if (!(e)) { \
-               ERR_print_errors_fp(stderr); \
-               OpenSSLDie(__FILE__, __LINE__, #e); \
-           } \
-        })
-#define TE(e) ({ if (!(e)) { \
-               ERR_print_errors_fp(stderr); \
-               fprintf(stderr, "Error at %s:%d %s\n", __FILE__, __LINE__, #e); \
-               return -1; \
-           } \
-        })
+#define T(e) \
+    if (!(e)) { \
+        ERR_print_errors_fp(stderr); \
+        OpenSSLDie(__FILE__, __LINE__, #e); \
+    }
+#define TE(e) \
+    if (!(e)) { \
+        ERR_print_errors_fp(stderr); \
+        fprintf(stderr, "Error at %s:%d %s\n", __FILE__, __LINE__, #e); \
+        return -1; \
+    }
 
 #define cRED   "\033[1;31m"
 #define cDRED  "\033[0;31m"
 #define cDGREEN        "\033[0;32m"
 #define cBLUE  "\033[1;34m"
 #define cDBLUE "\033[0;34m"
+#define cMAGENT "\033[1;35m"
 #define cNORM  "\033[m"
 #define TEST_ASSERT(e) {if ((test = (e))) \
-                printf(cRED "  Test FAILED\n" cNORM); \
+                printf(cRED "  Test FAILED" cNORM "\n"); \
             else \
-                printf(cGREEN "  Test passed\n" cNORM);}
+                printf(cGREEN "  Test passed" cNORM "\n");}
+
+#ifdef __GNUC__
+/* To test older APIs. */
+# pragma GCC diagnostic ignored "-Wdeprecated-declarations"
+#endif
 
 /*
  * Test keys from both GOST R 34.12-2015 and GOST R 34.13-2015,
@@ -160,15 +166,23 @@ static const char etalon_carry[] = {
     0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x11,0x16,
 };
 
+/* This is another carry test. */
+static const char ff[] = {
+    0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
+    0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
+    0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
+    0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff
+};
+
 struct hash_testvec {
-    int nid;              /* OpenSSL algorithm numeric id. */
+    const char *algname;   /* Algorithm name */
     const char *name;     /* Test name and source. */
     const char *plaintext; /* Input (of psize), NULL for synthetic test. */
     const char *digest;           /* Expected output (of EVP_MD_size or truncate). */
     const char *hmac;     /* Expected output for HMAC tests. */
     const char *key;      /* MAC key.*/
     int psize;            /* Input (plaintext) size. */
-    int mdsize;                   /* Compare to EVP_MD_size() if non-zero. */
+    size_t outsize;       /* Compare to EVP_MD_size() / EVP_MAC_size() if non-zero. */
     int truncate;         /* Truncated output (digest) size. */
     int key_size;         /* MAC key size. */
     int block_size;       /* Internal block size. */
@@ -180,7 +194,7 @@ struct hash_testvec {
 
 static const struct hash_testvec testvecs[] = {
     { /* Test vectors from standards. */
-       .nid = NID_id_GostR3411_2012_512,
+       .algname = SN_id_GostR3411_2012_512,
        .name = "M1 from RFC 6986 (10.1.1) and GOST R 34.11-2012 (А.1.1)",
        .plaintext =
            "012345678901234567890123456789012345678901234567890123456789012",
@@ -190,11 +204,11 @@ static const struct hash_testvec testvecs[] = {
            "\xb1\x9a\xbc\x24\x75\x22\x2f\x35\xc0\x85\x12\x2b\xe4\xba\x1f\xfa"
            "\x00\xad\x30\xf8\x76\x7b\x3a\x82\x38\x4c\x65\x74\xf0\x24\xc3\x11"
            "\xe2\xa4\x81\x33\x2b\x08\xef\x7f\x41\x79\x78\x91\xc1\x64\x6f\x48",
-       .mdsize = 512 / 8,
+       .outsize = 512 / 8,
        .block_size = 512 / 8,
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "M1 from RFC 6986 (10.1.2) and GOST R 34.11-2012 (А.1.2)",
        .plaintext =
            "012345678901234567890123456789012345678901234567890123456789012",
@@ -202,11 +216,11 @@ static const struct hash_testvec testvecs[] = {
        .digest =
            "\x9d\x15\x1e\xef\xd8\x59\x0b\x89\xda\xa6\xba\x6c\xb7\x4a\xf9\x27"
            "\x5d\xd0\x51\x02\x6b\xb1\x49\xa4\x52\xfd\x84\xe5\xe5\x7b\x55\x00",
-       .mdsize = 256 / 8,
+       .outsize = 256 / 8,
        .block_size = 512 / 8,
     },
     {
-       .nid = NID_id_GostR3411_2012_512,
+       .algname = SN_id_GostR3411_2012_512,
        .name = "M2 from RFC 6986 (10.2.1) and GOST R 34.11-2012 (А.2.1)",
        .plaintext =
            "\xd1\xe5\x20\xe2\xe5\xf2\xf0\xe8\x2c\x20\xd1\xf2\xf0\xe8\xe1\xee"
@@ -222,7 +236,7 @@ static const struct hash_testvec testvecs[] = {
            "\x3f\x0c\xb9\xdd\xdc\x2b\x64\x60\x14\x3b\x03\xda\xba\xc9\xfb\x28",
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "M2 from RFC 6986 (10.2.2) and GOST R 34.11-2012 (А.2.2)",
        .plaintext =
            "\xd1\xe5\x20\xe2\xe5\xf2\xf0\xe8\x2c\x20\xd1\xf2\xf0\xe8\xe1\xee"
@@ -237,29 +251,29 @@ static const struct hash_testvec testvecs[] = {
     },
     /* OMAC tests */
     {
-       .nid = NID_grasshopper_mac,
+       .algname = SN_grasshopper_mac,
        .name = "P from GOST R 34.13-2015 (А.1.6)",
        .plaintext = P,
        .psize = sizeof(P),
        .key = K,
        .key_size = sizeof(K),
        .digest = MAC_omac,
-       .mdsize = 128 / 8,
+       .outsize = 128 / 8,
        .truncate = sizeof(MAC_omac),
     },
     {
-       .nid = NID_magma_mac,
+       .algname = SN_magma_mac,
        .name = "P from GOST R 34.13-2015 (А.2.6)",
        .plaintext = Pm,
        .psize = sizeof(Pm),
        .key = Km,
        .key_size = sizeof(Km),
        .digest = MAC_magma_omac,
-       .mdsize = 64 / 8,
+       .outsize = 64 / 8,
        .truncate = sizeof(MAC_magma_omac),
     },
     {
-       .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
+       .algname = SN_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
        .name = "M from R 1323565.1.017-2018 (A.4.1)",
        .plaintext = P_omac_acpkm1,
        .psize = sizeof(P_omac_acpkm1),
@@ -268,10 +282,10 @@ static const struct hash_testvec testvecs[] = {
        .acpkm = 32,
        .acpkm_t = 768 / 8,
        .digest = MAC_omac_acpkm1,
-       .mdsize = sizeof(MAC_omac_acpkm1),
+       .outsize = sizeof(MAC_omac_acpkm1),
     },
     {
-       .nid = NID_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
+       .algname = SN_id_tc26_cipher_gostr3412_2015_kuznyechik_ctracpkm_omac,
        .name = "M from R 1323565.1.017-2018 (A.4.2)",
        .plaintext = P_omac_acpkm2,
        .psize = sizeof(P_omac_acpkm2),
@@ -280,10 +294,10 @@ static const struct hash_testvec testvecs[] = {
        .acpkm = 32,
        .acpkm_t = 768 / 8,
        .digest = MAC_omac_acpkm2,
-       .mdsize = sizeof(MAC_omac_acpkm2),
+       .outsize = sizeof(MAC_omac_acpkm2),
     },
     { /* HMAC tests. */
-       .nid = NID_id_GostR3411_2012_512,
+       .algname = SN_id_GostR3411_2012_512,
        .name = "HMAC_GOSTR3411_2012_512 from RFC 7836 (B) and R 50.1.113-2016 (A)",
        .plaintext =
            "\x01\x26\xbd\xb8\x78\x00\xaf\x21\x43\x41\x45\x65\x63\x78\x01\x00",
@@ -299,7 +313,7 @@ static const struct hash_testvec testvecs[] = {
            "\x3a\xfe\x93\xb2\x81\x4f\x79\xf5\x00\x0f\xfc\x03\x66\xc2\x51\xe6",
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "HMAC_GOSTR3411_2012_256 from RFC 7836 (B) and R 50.1.113-2016 (A)",
        .plaintext =
            "\x01\x26\xbd\xb8\x78\x00\xaf\x21\x43\x41\x45\x65\x63\x78\x01\x00",
@@ -314,7 +328,7 @@ static const struct hash_testvec testvecs[] = {
     },
     /* Other KATs. */
     {
-       .nid = NID_id_GostR3411_2012_512,
+       .algname = SN_id_GostR3411_2012_512,
        .name = "Zero length string (M3)",
        .plaintext = "",
        .psize = 0,
@@ -323,21 +337,21 @@ static const struct hash_testvec testvecs[] = {
            "\x79\xe9\x87\x3a\xb7\x07\xb5\x53\x15\xf5\x6c\xeb\x98\xbe\xf0\xa7"
            "\x36\x2f\x71\x55\x28\x35\x6e\xe8\x3c\xda\x5f\x2a\xac\x4c\x6a\xd2"
            "\xba\x3a\x71\x5c\x1b\xcd\x81\xcb\x8e\x9f\x90\xbf\x4c\x1c\x1a\x8a",
-       .mdsize = 512 / 8,
+       .outsize = 512 / 8,
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "Zero length string (M3)",
        .plaintext = "",
        .psize = 0,
        .digest =
            "\x3f\x53\x9a\x21\x3e\x97\xc8\x02\xcc\x22\x9d\x47\x4c\x6a\xa3\x2a"
            "\x82\x5a\x36\x0b\x2a\x93\x3a\x94\x9f\xd9\x25\x20\x8d\x9c\xe1\xbb",
-       .mdsize = 256 / 8,
+       .outsize = 256 / 8,
     },
     { /* M4 */
-       .nid = NID_id_GostR3411_2012_512,
-       .name = "64 bytes of zeros (M4)",
+       .algname = SN_id_GostR3411_2012_512,
+       .name = "64 bytes of zero (M4)",
        .plaintext = etalon_M4,
        .psize = sizeof(etalon_M4),
        .digest =
@@ -347,8 +361,8 @@ static const struct hash_testvec testvecs[] = {
            "\xd7\xb4\xad\xe9\xae\x56\x6b\xf2\x61\x14\x02\xc5\x52\xd2\x0d\xb7"
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
-       .name = "64 bytes of zeros (M4)",
+       .algname = SN_id_GostR3411_2012_256,
+       .name = "64 bytes of zero (M4)",
        .plaintext = etalon_M4,
        .psize = sizeof(etalon_M4),
        .digest =
@@ -356,7 +370,7 @@ static const struct hash_testvec testvecs[] = {
            "\xa6\xaa\x54\xcd\x0e\xda\x24\x1d\xc1\x07\x10\x5e\x13\x63\x6b\x95"
     },
     { /* M5 */
-       .nid = NID_id_GostR3411_2012_512,
+       .algname = SN_id_GostR3411_2012_512,
        .name = "64 bytes of (M5)",
        .plaintext = etalon_M5,
        .psize = sizeof(etalon_M5),
@@ -367,7 +381,7 @@ static const struct hash_testvec testvecs[] = {
            "\xa2\xaa\xbc\x1d\x65\x28\xe8\xe7\x75\xae\xc7\xb3\x45\x7a\xc6\x75"
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "64 bytes of (M5)",
        .plaintext = etalon_M5,
        .psize = sizeof(etalon_M5),
@@ -376,7 +390,7 @@ static const struct hash_testvec testvecs[] = {
            "\x16\x3b\x74\x03\x7c\x6c\xf5\x9f\x52\x44\x4a\x37\xf4\x8e\x11\xd8"
     },
     { /* M6 */
-       .nid = NID_id_GostR3411_2012_512,
+       .algname = SN_id_GostR3411_2012_512,
        .name = "(M6)",
        .plaintext = etalon_M6,
        .psize = sizeof(etalon_M6),
@@ -387,7 +401,7 @@ static const struct hash_testvec testvecs[] = {
            "\x45\x43\xb0\xce\xd9\xb2\x0e\x55\x3a\xe6\x64\x25\xec\x90\x9c\xfd"
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "(M6)",
        .plaintext = etalon_M6,
        .psize = sizeof(etalon_M6),
@@ -395,8 +409,8 @@ static const struct hash_testvec testvecs[] = {
            "\x2f\x4f\x65\x1f\xe8\x8f\xea\x46\xec\x6f\x22\x23\x72\x8d\x8d\xff"
            "\x39\x68\x89\x35\x58\xef\x00\xa3\x10\xc2\x3e\x7d\x19\x23\xba\x0c"
     },
-    { /* carry */
-       .nid = NID_id_GostR3411_2012_512,
+    { /* Carry */
+       .algname = SN_id_GostR3411_2012_512,
        .name = "(carry)",
        .plaintext = etalon_carry,
        .psize = sizeof(etalon_carry),
@@ -407,7 +421,7 @@ static const struct hash_testvec testvecs[] = {
            "\xc4\xaa\xca\x67\x32\xbf\x35\x68\xa2\x3a\x21\x0d\xd5\x20\xfd\x41"
     },
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "(carry)",
        .plaintext = etalon_carry,
        .psize = sizeof(etalon_carry),
@@ -415,19 +429,49 @@ static const struct hash_testvec testvecs[] = {
            "\x81\xbb\x63\x2f\xa3\x1f\xcc\x38\xb4\xc3\x79\xa6\x62\xdb\xc5\x8b"
            "\x9b\xed\x83\xf5\x0d\x3a\x1b\x2c\xe7\x27\x1a\xb0\x2d\x25\xba\xbb"
     },
+    { /* ff (Better carry test). */
+       .algname = SN_id_GostR3411_2012_512,
+       .name = "64 bytes of FF",
+       .plaintext = ff,
+       .psize = sizeof(ff),
+       .digest =
+           "\x41\x62\x9d\xe6\x77\xd7\xe8\x09\x0c\x3c\xd7\x0a\xff\xe3\x30\x0d"
+           "\x1e\x1c\xfb\xa2\xdb\x97\x94\x5e\xc3\x7f\xeb\x4e\x13\x75\xbc\x02"
+           "\xa5\x3f\x00\x37\x0b\x7d\x71\x5b\x07\xf3\x7f\x93\xca\xc8\x44\xef"
+           "\xad\xbf\xd1\xb8\x5f\x9d\xda\xe3\xde\x96\x56\xc0\xe9\x5a\xff\xc7"
+    },
+    {
+       .algname = SN_id_GostR3411_2012_256,
+       .name = "64 bytes of FF",
+       .plaintext = ff,
+       .psize = sizeof(ff),
+       .digest =
+           "\x96\x4a\x5a\xb6\x02\x86\xf1\x06\x28\x87\x43\xe2\xfe\x1a\x42\x2d"
+           "\x16\x08\x98\xca\x1b\xd5\x35\xe8\x31\xaa\x50\x0c\xfe\x34\xd7\xe8"
+    },
+    {
+       .algname = SN_id_GostR3411_94,
+       .name = "64 bytes of FF",
+       .plaintext = ff,
+       .psize = sizeof(ff),
+       .digest =
+           "\x58\x50\x4d\x26\xb3\x67\x7e\x75\x6b\xa3\xf4\xa9\xfd\x2f\x14\xb3"
+           "\xba\x54\x57\x06\x6a\x4a\xa1\xd7\x00\x65\x9b\x90\xdc\xdd\xd3\xc6"
+    },
     /* Synthetic tests. */
     {
-       .nid = NID_id_GostR3411_2012_256,
+       .algname = SN_id_GostR3411_2012_256,
        .name = "streebog256 synthetic test",
-       .mdsize = 32,
+       .outsize = 32,
        .block_size = 64,
        .digest =
            "\xa2\xf3\x6d\x9c\x42\xa1\x1e\xad\xe3\xc1\xfe\x99\xf9\x99\xc3\x84"
            "\xe7\x98\xae\x24\x50\x75\x73\xd7\xfc\x99\x81\xa0\x45\x85\x41\xf6"
-    }, {
-       .nid = NID_id_GostR3411_2012_512,
+    },
+    {
+       .algname = SN_id_GostR3411_2012_512,
        .name = "streebog512 synthetic test",
-       .mdsize = 64,
+       .outsize = 64,
        .block_size = 64,
        .digest =
            "\x1d\x14\x4d\xd8\xb8\x27\xfb\x55\x1a\x5a\x7d\x03\xbb\xdb\xfa\xcb"
@@ -450,38 +494,40 @@ static void hexdump(const void *ptr, size_t len)
     printf("\n");
 }
 
-#if OPENSSL_VERSION_MAJOR < 3
-static int do_hmac(const EVP_MD *type, const char *plaintext,
-    unsigned int psize, const char *etalon, int mdsize,
-    const char *key, unsigned int key_size)
+static int do_hmac_old(int iter, const EVP_MD *type, const char *plaintext,
+    const struct hash_testvec *t)
 {
     unsigned int len;
     unsigned char md[EVP_MAX_MD_SIZE];
+    if (!iter)
+       printf("[HMAC] ");
 
     HMAC_CTX *ctx;
     T(ctx = HMAC_CTX_new());
-    T(HMAC_Init_ex(ctx, key, key_size, type, NULL));
-    T(HMAC_Update(ctx, (const unsigned char *)plaintext, psize));
+    T(HMAC_Init_ex(ctx, t->key, t->key_size, type, NULL));
+    T(HMAC_Update(ctx, (const unsigned char *)plaintext, t->psize));
     T(HMAC_Final(ctx, md, &len));
     HMAC_CTX_free(ctx);
 
-    if (mdsize)
-       T(len == mdsize);
-    if (memcmp(md, etalon, len) != 0) {
-       printf(cRED "hmac mismatch\n" cNORM);
-       hexdump(etalon, len);
+    if (t->outsize)
+       T(len == t->outsize);
+    if (memcmp(md, t->hmac, len) != 0) {
+       printf(cRED "hmac mismatch (iter %d)" cNORM "\n", iter);
+       hexdump(t->hmac, len);
        hexdump(md, len);
        return 1;
     }
     return 0;
 }
-#else
-static int do_hmac(const EVP_MD *type, const char *plaintext,
-    unsigned int psize, const char *etalon, int mdsize,
-    const char *key, unsigned int key_size)
+
+#if OPENSSL_VERSION_MAJOR >= 3
+static int do_hmac_prov(int iter, const EVP_MD *md, const char *plaintext,
+    const struct hash_testvec *t)
 {
     size_t len;
-    unsigned char md[EVP_MAX_MD_SIZE];
+    unsigned char out[EVP_MAX_MD_SIZE];
+    if (!iter)
+       printf("[HMAC by EVP_MAC] ");
 
     EVP_MAC *hmac;
     T(hmac = EVP_MAC_fetch(NULL, "HMAC", NULL));
@@ -489,71 +535,202 @@ static int do_hmac(const EVP_MD *type, const char *plaintext,
     T(ctx = EVP_MAC_CTX_new(hmac));
     OSSL_PARAM params[] = {
        OSSL_PARAM_utf8_string(OSSL_MAC_PARAM_DIGEST,
-           (char *)EVP_MD_name(type), 0),
-       OSSL_PARAM_octet_string(OSSL_MAC_PARAM_KEY, (char *)key, key_size),
+           (char *)EVP_MD_name(md), 0),
        OSSL_PARAM_END
     };
-    T(EVP_MAC_CTX_set_params(ctx, params));
-    T(EVP_MAC_init(ctx));
-    T(EVP_MAC_update(ctx, (unsigned char *)plaintext, psize));
-    T(EVP_MAC_final(ctx, md, &len, EVP_MAX_MD_SIZE));
+    T(EVP_MAC_init(ctx, (const unsigned char *)t->key, t->key_size, params));
+    T(EVP_MAC_update(ctx, (unsigned char *)plaintext, t->psize));
+    T(EVP_MAC_final(ctx, out, &len, sizeof(out)));
     EVP_MAC_CTX_free(ctx);
     EVP_MAC_free(hmac);
 
-    if (mdsize)
-       T(len == mdsize);
-    if (memcmp(md, etalon, len) != 0) {
-       printf(cRED "hmac mismatch\n" cNORM);
-       hexdump(etalon, len);
-       hexdump(md, len);
+    if (t->outsize)
+       T(len == t->outsize);
+    if (memcmp(out, t->hmac, len) != 0) {
+       printf(cRED "hmac mismatch (iter %d)" cNORM "\n", iter);
+       hexdump(t->hmac, len);
+       hexdump(out, len);
        return 1;
     }
     return 0;
 }
 #endif
 
-static int do_digest(const EVP_MD *type, const char *plaintext,
-    unsigned int psize, const char *etalon, int mdsize, int truncate,
-    const char *key, unsigned int key_size, int acpkm, int acpkm_t,
-    int block_size)
+static int do_hmac(int iter, const EVP_MD *type, const char *plaintext,
+    const struct hash_testvec *t)
+{
+    int ret;
+
+    /* Test old (deprecated) and (too) new APIs. */
+    ret = do_hmac_old(iter, type, plaintext, t);
+#if OPENSSL_VERSION_MAJOR >= 3
+    ret |= do_hmac_prov(iter, type, plaintext, t);
+#endif
+
+    return ret;
+}
+
+/*
+ * If we have OMAC1/CMAC test vector,
+ * use CMAC provider to test it.
+ */
+static int do_cmac_prov(int iter, const char *plaintext,
+    const struct hash_testvec *t)
 {
-    if (mdsize)
-       T(EVP_MD_size(type) == mdsize);
-    if (truncate)
-       mdsize = truncate;
+#if OPENSSL_VERSION_MAJOR >= 3
+    char *ciphername = NULL;
+    /*
+     * CMAC needs CBC.
+     * Convert 'mac' digest to the underlying CBC cipher.
+     */
+    switch (OBJ_sn2nid(t->algname)) {
+    case NID_grasshopper_mac:
+        ciphername = "kuznyechik-cbc";
+        break;
+    case NID_magma_mac:
+        ciphername = "magma-cbc";
+        break;
+    default:
+        return 0;
+    }
+
+    if (!iter)
+       printf("[CMAC(%s)] ", ciphername);
+
+    size_t len;
+    unsigned char out[EVP_MAX_MD_SIZE];
+    size_t outsize = t->outsize;
+    if (t->truncate)
+       outsize = t->truncate;
+
+    EVP_MAC *cmac;
+    T(cmac = EVP_MAC_fetch(NULL, "CMAC", NULL));
+    EVP_MAC_CTX *ctx;
+    T(ctx = EVP_MAC_CTX_new(cmac));
+    OSSL_PARAM params[] = {
+       OSSL_PARAM_utf8_string(OSSL_MAC_PARAM_CIPHER, ciphername, 0),
+       OSSL_PARAM_END
+    };
+    T(EVP_MAC_CTX_set_params(ctx, params));
+    T(EVP_MAC_init(ctx, (const unsigned char *)t->key, t->key_size, params));
+    T(EVP_MAC_update(ctx, (unsigned char *)plaintext, t->psize));
+    T(EVP_MAC_final(ctx, out, &len, sizeof(out)));
+    EVP_MAC_CTX_free(ctx);
+    EVP_MAC_free(cmac);
+
+    /* CMAC provider will not respect outsize, and will output full block.
+     * So, just compare until what we need. */
+    T(outsize <= len);
+    if (memcmp(out, t->digest, outsize) != 0) {
+       printf(cRED "cmac mismatch (iter %d)" cNORM "\n", iter);
+       hexdump(t->digest, outsize);
+       hexdump(out, len);
+       return 1;
+    }
+#endif
+    return 0;
+}
+
+static int do_mac(int iter, EVP_MAC *mac, const char *plaintext,
+                  const struct hash_testvec *t)
+{
+    if (!iter)
+        printf("[MAC %zu] ", t->outsize);
+
+    size_t acpkm = (size_t)t->acpkm;
+    size_t acpkm_t = (size_t)t->acpkm_t;
+    OSSL_PARAM params[] = { OSSL_PARAM_END, OSSL_PARAM_END, OSSL_PARAM_END, OSSL_PARAM_END };
+    OSSL_PARAM *p = params;
+    if (acpkm) {
+        *p++ = OSSL_PARAM_construct_size_t("key-mesh", &acpkm);
+        if (acpkm_t)
+            *p++ = OSSL_PARAM_construct_size_t("cipher-key-mesh", &acpkm_t);
+    }
+
+    EVP_MAC_CTX *ctx;
+    T(ctx = EVP_MAC_CTX_new(mac));
+    if (t->outsize)
+        T(EVP_MAC_CTX_get_mac_size(ctx) == t->outsize);
+    size_t outsize;
+    if (t->truncate) {
+        outsize = t->truncate;
+       *p++ = OSSL_PARAM_construct_size_t("size", &outsize);
+    }
     else
-       mdsize = EVP_MD_size(type);
+        outsize = EVP_MAC_CTX_get_mac_size(ctx);
+
+    T(EVP_MAC_init(ctx, (const unsigned char *)t->key, t->key_size, NULL));
+    T(EVP_MAC_CTX_set_params(ctx, params));
+    T(EVP_MAC_update(ctx, (unsigned char *)plaintext, t->psize));
+
+    size_t len = 0;
+    unsigned char out[256];
+    if (t->truncate) {
+        T(outsize <= sizeof(out));
+        T(EVP_MAC_finalXOF(ctx, out, outsize));
+        len = outsize;
+    } else {
+        T(EVP_MAC_CTX_get_mac_size(ctx) == outsize);
+        T(EVP_MAC_final(ctx, out, &len, sizeof(out)));
+    }
 
-    if (block_size)
-       T(EVP_MD_block_size(type) == block_size);
+    EVP_MAC_CTX_free(ctx);
+    T(len == outsize);
+    if (memcmp(out, t->digest, outsize) != 0) {
+        printf(cRED "mac mismatch (iter %d, outsize %d)" cNORM "\n",
+               iter, (int)outsize);
+        hexdump(t->digest, outsize);
+        hexdump(out, outsize);
+        return 1;
+    }
+
+    return 0;
+}
+
+static int do_digest(int iter, const EVP_MD *type, const char *plaintext,
+                     const struct hash_testvec *t)
+{
+    if (!iter)
+       printf("[MD %zu] ", t->outsize);
+    if (t->outsize)
+       T(EVP_MD_size(type) == t->outsize);
+    size_t outsize;
+    if (t->truncate)
+       outsize = t->truncate;
+    else
+       outsize = EVP_MD_size(type);
+
+    if (t->block_size)
+       T(EVP_MD_block_size(type) == t->block_size);
     EVP_MD_CTX *ctx;
     T(ctx = EVP_MD_CTX_new());
     T(EVP_MD_CTX_init(ctx));
     T(EVP_DigestInit_ex(ctx, type, NULL));
-    if (key)
-       T(EVP_MD_CTX_ctrl(ctx, EVP_MD_CTRL_SET_KEY, key_size, (void *)key));
-    if (acpkm)
-       T(EVP_MD_CTX_ctrl(ctx,
-               EVP_CTRL_KEY_MESH, acpkm, acpkm_t? &acpkm_t : NULL));
-    T(EVP_DigestUpdate(ctx, plaintext, psize));
+    if (t->key)
+       T(EVP_MD_CTX_ctrl(ctx, EVP_MD_CTRL_SET_KEY, t->key_size,
+                         (void *)t->key));
+    if (t->acpkm)
+       T(EVP_MD_CTX_ctrl(ctx, EVP_CTRL_KEY_MESH, t->acpkm,
+                         t->acpkm_t? (void *)&t->acpkm_t : NULL));
+    T(EVP_DigestUpdate(ctx, plaintext, t->psize));
 
     unsigned int len;
-    unsigned char md[EVP_MAX_MD_SIZE];
-
+    unsigned char out[EVP_MAX_MD_SIZE];
     if (EVP_MD_flags(EVP_MD_CTX_md(ctx)) & EVP_MD_FLAG_XOF) {
-       T(EVP_DigestFinalXOF(ctx, md, mdsize));
-       len = mdsize;
+       T(EVP_DigestFinalXOF(ctx, out, outsize));
+       len = outsize;
     } else {
-       T(EVP_MD_CTX_size(ctx) == mdsize);
-       T(EVP_DigestFinal_ex(ctx, md, &len));
+       T(EVP_MD_CTX_size(ctx) == outsize);
+       T(EVP_DigestFinal_ex(ctx, out, &len));
     }
 
     EVP_MD_CTX_free(ctx);
-    T(len == mdsize);
-    if (memcmp(md, etalon, mdsize) != 0) {
-       printf(cRED "digest mismatch\n" cNORM);
-       hexdump(etalon, mdsize);
-       hexdump(md, mdsize);
+    T(len == outsize);
+    if (memcmp(out, t->digest, outsize) != 0) {
+       printf(cRED "digest mismatch (iter %d, outsize %d)" cNORM "\n",
+              iter, (int)outsize);
+       hexdump(t->digest, outsize);
+       hexdump(out, outsize);
        return 1;
     }
 
@@ -563,20 +740,16 @@ static int do_digest(const EVP_MD *type, const char *plaintext,
 static int do_test(const struct hash_testvec *tv)
 {
     int ret = 0;
+    EVP_MD *md = NULL;
+    EVP_MAC *mac = NULL;
 
-    const EVP_MD *type;
-    T(type = EVP_get_digestbynid(tv->nid));
-    const char *name = EVP_MD_name(type);
-    printf(cBLUE "%s Test %s: %s: " cNORM, tv->hmac? "HMAC" : "MD",
-       name, tv->name);
-    fflush(stdout);
-    if (tv->hmac)
-       ret |= do_hmac(type, tv->plaintext, tv->psize, tv->hmac,
-           tv->mdsize, tv->key, tv->key_size);
-    else
-       ret |= do_digest(type, tv->plaintext, tv->psize, tv->digest,
-           tv->mdsize, tv->truncate, tv->key, tv->key_size, tv->acpkm,
-           tv->acpkm_t, tv->block_size);
+    ERR_set_mark();
+    T((md = (EVP_MD *)EVP_get_digestbyname(tv->algname))
+      || (md = EVP_MD_fetch(NULL, tv->algname, NULL))
+      || (mac = EVP_MAC_fetch(NULL, tv->algname, NULL)));
+    ERR_pop_to_mark();
+
+    printf(cBLUE "Test %s: %s: " cNORM, tv->algname, tv->name);
 
     /* Test alignment problems. */
     int shifts = 32;
@@ -585,20 +758,31 @@ static int do_test(const struct hash_testvec *tv)
     T(buf = OPENSSL_malloc(tv->psize + shifts));
     for (i = 0; i < shifts; i++) {
        memcpy(buf + i, tv->plaintext, tv->psize);
-       if (tv->hmac)
-           ret |= do_hmac(type, buf + i, tv->psize, tv->hmac,
-               tv->mdsize, tv->key, tv->key_size);
-       else
-           ret |= do_digest(type, buf + i, tv->psize, tv->digest,
-               tv->mdsize, tv->truncate, tv->key, tv->key_size,
-               tv->acpkm, tv->acpkm_t, tv->block_size);
+       if (mac) {
+           ret |= do_mac(i, mac, buf + i, tv);
+       }
+       if (md) {
+           if (tv->hmac)
+               ret |= do_hmac(i, md, buf + i, tv);
+           else
+               ret |= do_digest(i, md, buf + i, tv);
+       
+       }
+       /* Test CMAC provider for applicable entries. */
+       ret |= do_cmac_prov(i, buf + i, tv);
+       
+       /* No need to continue loop on failure. */
+       if (ret)
+           break;
     }
     OPENSSL_free(buf);
+    EVP_MAC_free(mac);
+    EVP_MD_free(md);
 
     if (!ret)
-       printf(cGREEN "success\n" cNORM);
+       printf(cGREEN "success" cNORM "\n");
     else
-       printf(cRED "fail\n" cNORM);
+       printf(cRED "fail" cNORM "\n");
     return ret;
 }
 
@@ -619,27 +803,28 @@ static int do_synthetic_once(const struct hash_testvec *tv, unsigned int shifts)
     for (len = 0; len < SUPER_SIZE; len++)
            ibuf[shifts + len] = len & 0xff;
 
-    const EVP_MD *mdtype;
-    T(mdtype = EVP_get_digestbynid(tv->nid));
-    OPENSSL_assert(tv->nid == EVP_MD_type(mdtype));
+    EVP_MD *dgst;
+    T((dgst = (EVP_MD *)EVP_get_digestbyname(tv->algname))
+      || (dgst = EVP_MD_fetch(NULL, tv->algname, NULL)));
+    OPENSSL_assert(EVP_MD_is_a(dgst, tv->algname));
     EVP_MD_CTX *ctx, *ctx2;
     T(ctx  = EVP_MD_CTX_new());
     T(ctx2 = EVP_MD_CTX_new());
-    T(EVP_DigestInit(ctx2, mdtype));
-    OPENSSL_assert(tv->nid == EVP_MD_CTX_type(ctx2));
-    OPENSSL_assert(EVP_MD_block_size(mdtype) == tv->block_size);
-    OPENSSL_assert(EVP_MD_CTX_size(ctx2) == tv->mdsize);
+    T(EVP_DigestInit(ctx2, dgst));
+    OPENSSL_assert(EVP_MD_is_a(EVP_MD_CTX_md(ctx2), tv->algname));
+    OPENSSL_assert(EVP_MD_block_size(dgst) == tv->block_size);
+    OPENSSL_assert(EVP_MD_CTX_size(ctx2) == tv->outsize);
     OPENSSL_assert(EVP_MD_CTX_block_size(ctx2) == tv->block_size);
 
-    const unsigned int mdlen = EVP_MD_size(mdtype);
-    OPENSSL_assert(mdlen == tv->mdsize);
+    const unsigned int mdlen = EVP_MD_size(dgst);
+    OPENSSL_assert(mdlen == tv->outsize);
     T(md = OPENSSL_zalloc(mdlen + shifts));
     md += shifts; /* test for output digest alignment problems */
 
     /* digest cycles */
     for (len = 0; len < SUPER_SIZE; len++) {
        /* for each len digest len bytes from the end of buf */
-       T(EVP_DigestInit(ctx, mdtype));
+       T(EVP_DigestInit(ctx, dgst));
        T(EVP_DigestUpdate(ctx, ibuf + shifts + SUPER_SIZE - len, len));
        T(EVP_DigestFinal(ctx, md, NULL));
        T(EVP_DigestUpdate(ctx2, md, mdlen));
@@ -647,7 +832,7 @@ static int do_synthetic_once(const struct hash_testvec *tv, unsigned int shifts)
 
     for (len = 0; len < SUPER_SIZE; len++) {
        /* for each len digest len bytes from the beginning of buf */
-       T(EVP_DigestInit(ctx, mdtype));
+       T(EVP_DigestInit(ctx, dgst));
        T(EVP_DigestUpdate(ctx, ibuf + shifts, len));
        T(EVP_DigestFinal(ctx, md, NULL));
        T(EVP_DigestUpdate(ctx2, md, mdlen));
@@ -659,14 +844,16 @@ static int do_synthetic_once(const struct hash_testvec *tv, unsigned int shifts)
     T(EVP_DigestFinal(ctx2, md, &len));
     EVP_MD_CTX_free(ctx2);
 
+    EVP_MD_free(dgst);
+
     if (len != mdlen) {
-       printf(cRED "digest output len mismatch %u != %u (expected)\n" cNORM,
+       printf(cRED "digest output len mismatch %u != %u (expected)" cNORM "\n",
            len, mdlen);
        goto err;
     }
 
     if (memcmp(md, tv->digest, mdlen) != 0) {
-       printf(cRED "digest mismatch\n" cNORM);
+       printf(cRED "digest mismatch" cNORM "\n");
 
        unsigned int i;
        printf("  Expected value is: ");
@@ -680,6 +867,7 @@ static int do_synthetic_once(const struct hash_testvec *tv, unsigned int shifts)
     return 0;
 err:
     OPENSSL_free(md - shifts);
+    EVP_MD_free(dgst);
     return 1;
 }
 
@@ -688,7 +876,7 @@ static int do_synthetic_test(const struct hash_testvec *tv)
 {
     int ret = 0;
 
-    printf(cBLUE "MD Test %s: " cNORM, tv->name);
+    printf(cBLUE "Test %s: " cNORM, tv->name);
     fflush(stdout);
 
     unsigned int shifts;
@@ -696,12 +884,70 @@ static int do_synthetic_test(const struct hash_testvec *tv)
        ret |= do_synthetic_once(tv, shifts);
 
     if (!ret)
-       printf(cGREEN "success\n" cNORM);
+       printf(cGREEN "success" cNORM "\n");
     else
-       printf(cRED "fail\n" cNORM);
+       printf(cRED "fail" cNORM "\n");
     return 0;
 }
 
+int engine_is_available(const char *name)
+{
+    ENGINE *e = ENGINE_get_first();
+
+    while (e != NULL) {
+        if (strcmp(ENGINE_get_id(e), name) == 0)
+            break;
+        e = ENGINE_get_next(e);
+    }
+    ENGINE_free(e);
+    return e != NULL;
+}
+
+void warn_if_untested(const EVP_MD *dgst, void *provider)
+{
+    const struct hash_testvec *tv;
+
+    /* ENGINE provided EVP_MDs have a NULL provider */
+    if (provider != EVP_MD_get0_provider(dgst))
+        return;
+
+    for (tv = testvecs; tv->algname; tv++)
+        if (EVP_MD_is_a(dgst, tv->algname))
+            break;
+    if (!tv->algname)
+        printf(cMAGENT "Digest %s is untested!" cNORM "\n", EVP_MD_name(dgst));
+}
+
+void warn_all_untested(void)
+{
+    if (engine_is_available("gost")) {
+        ENGINE *eng;
+
+        T(eng = ENGINE_by_id("gost"));
+        T(ENGINE_init(eng));
+
+        ENGINE_DIGESTS_PTR fn_c;
+        T(fn_c = ENGINE_get_digests(eng));
+        const int *nids;
+        int n, k;
+        n = fn_c(eng, NULL, &nids, 0);
+        for (k = 0; k < n; ++k)
+            warn_if_untested(ENGINE_get_digest(eng, nids[k]), NULL);
+        ENGINE_finish(eng);
+        ENGINE_free(eng);
+    }
+    if (OSSL_PROVIDER_available(NULL, "gostprov")) {
+        OSSL_PROVIDER *prov;
+
+        T(prov = OSSL_PROVIDER_load(NULL, "gostprov"));
+        EVP_MD_do_all_provided(NULL,
+                               (void (*)(EVP_MD *, void *))warn_if_untested,
+                               prov);
+
+        OSSL_PROVIDER_unload(prov);
+    }
+}
+
 int main(int argc, char **argv)
 {
     int ret = 0;
@@ -710,28 +956,21 @@ int main(int argc, char **argv)
     /* Trigger SIGBUS for unaligned access. */
     sysmips(MIPS_FIXADE, 0);
 #endif
-    setenv("OPENSSL_ENGINES", ENGINE_DIR, 0);
     OPENSSL_add_all_algorithms_conf();
-    ERR_load_crypto_strings();
-    ENGINE *eng;
-    T(eng = ENGINE_by_id("gost"));
-    T(ENGINE_init(eng));
-    T(ENGINE_set_default(eng, ENGINE_METHOD_ALL));
 
     const struct hash_testvec *tv;
-    for (tv = testvecs; tv->nid; tv++) {
+    for (tv = testvecs; tv->algname; tv++) {
        if (tv->plaintext)
            ret |= do_test(tv);
        else
            ret |= do_synthetic_test(tv);
     }
 
-    ENGINE_finish(eng);
-    ENGINE_free(eng);
+    warn_all_untested();
 
     if (ret)
-       printf(cDRED "= Some tests FAILED!\n" cNORM);
+       printf(cDRED "= Some tests FAILED!" cNORM "\n");
     else
-       printf(cDGREEN "= All tests passed!\n" cNORM);
+       printf(cDGREEN "= All tests passed!" cNORM "\n");
     return ret;
 }