xref: /openbsd-src/lib/libcrypto/evp/m_sigver.c (revision 9bac3682a248384cde711fdda825c3b5960b1005)
1*9bac3682Sbeck /* $OpenBSD: m_sigver.c,v 1.27 2024/04/09 13:52:41 beck Exp $ */
2f1535dc8Sdjm /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3f1535dc8Sdjm  * project 2006.
4f1535dc8Sdjm  */
5f1535dc8Sdjm /* ====================================================================
6f1535dc8Sdjm  * Copyright (c) 2006,2007 The OpenSSL Project.  All rights reserved.
7f1535dc8Sdjm  *
8f1535dc8Sdjm  * Redistribution and use in source and binary forms, with or without
9f1535dc8Sdjm  * modification, are permitted provided that the following conditions
10f1535dc8Sdjm  * are met:
11f1535dc8Sdjm  *
12f1535dc8Sdjm  * 1. Redistributions of source code must retain the above copyright
13f1535dc8Sdjm  *    notice, this list of conditions and the following disclaimer.
14f1535dc8Sdjm  *
15f1535dc8Sdjm  * 2. Redistributions in binary form must reproduce the above copyright
16f1535dc8Sdjm  *    notice, this list of conditions and the following disclaimer in
17f1535dc8Sdjm  *    the documentation and/or other materials provided with the
18f1535dc8Sdjm  *    distribution.
19f1535dc8Sdjm  *
20f1535dc8Sdjm  * 3. All advertising materials mentioning features or use of this
21f1535dc8Sdjm  *    software must display the following acknowledgment:
22f1535dc8Sdjm  *    "This product includes software developed by the OpenSSL Project
23f1535dc8Sdjm  *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24f1535dc8Sdjm  *
25f1535dc8Sdjm  * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26f1535dc8Sdjm  *    endorse or promote products derived from this software without
27f1535dc8Sdjm  *    prior written permission. For written permission, please contact
28f1535dc8Sdjm  *    licensing@OpenSSL.org.
29f1535dc8Sdjm  *
30f1535dc8Sdjm  * 5. Products derived from this software may not be called "OpenSSL"
31f1535dc8Sdjm  *    nor may "OpenSSL" appear in their names without prior written
32f1535dc8Sdjm  *    permission of the OpenSSL Project.
33f1535dc8Sdjm  *
34f1535dc8Sdjm  * 6. Redistributions of any form whatsoever must retain the following
35f1535dc8Sdjm  *    acknowledgment:
36f1535dc8Sdjm  *    "This product includes software developed by the OpenSSL Project
37f1535dc8Sdjm  *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38f1535dc8Sdjm  *
39f1535dc8Sdjm  * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40f1535dc8Sdjm  * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41f1535dc8Sdjm  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42f1535dc8Sdjm  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
43f1535dc8Sdjm  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44f1535dc8Sdjm  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45f1535dc8Sdjm  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46f1535dc8Sdjm  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47f1535dc8Sdjm  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48f1535dc8Sdjm  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49f1535dc8Sdjm  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50f1535dc8Sdjm  * OF THE POSSIBILITY OF SUCH DAMAGE.
51f1535dc8Sdjm  * ====================================================================
52f1535dc8Sdjm  *
53f1535dc8Sdjm  * This product includes cryptographic software written by Eric Young
54f1535dc8Sdjm  * (eay@cryptsoft.com).  This product includes software written by Tim
55f1535dc8Sdjm  * Hudson (tjh@cryptsoft.com).
56f1535dc8Sdjm  *
57f1535dc8Sdjm  */
58f1535dc8Sdjm 
59f1535dc8Sdjm #include <stdio.h>
60b6ab114eSjsing 
61b6ab114eSjsing #include <openssl/err.h>
62f1535dc8Sdjm #include <openssl/evp.h>
63f1535dc8Sdjm #include <openssl/objects.h>
64f1535dc8Sdjm #include <openssl/x509.h>
65b6ab114eSjsing 
66c9675a23Stb #include "evp_local.h"
67f1535dc8Sdjm 
6853082e7cSjsing static int
update_oneshot_only(EVP_MD_CTX * ctx,const void * data,size_t datalen)699ed66cc8Sjsing update_oneshot_only(EVP_MD_CTX *ctx, const void *data, size_t datalen)
709ed66cc8Sjsing {
719ed66cc8Sjsing 	EVPerror(EVP_R_ONLY_ONESHOT_SUPPORTED);
729ed66cc8Sjsing 	return 0;
739ed66cc8Sjsing }
749ed66cc8Sjsing 
759ed66cc8Sjsing static int
do_sigver_init(EVP_MD_CTX * ctx,EVP_PKEY_CTX ** pctx,const EVP_MD * type,EVP_PKEY * pkey,int ver)7653082e7cSjsing do_sigver_init(EVP_MD_CTX *ctx, EVP_PKEY_CTX **pctx, const EVP_MD *type,
77592331b2Stb     EVP_PKEY *pkey, int ver)
78f1535dc8Sdjm {
79f1535dc8Sdjm 	if (ctx->pctx == NULL)
80592331b2Stb 		ctx->pctx = EVP_PKEY_CTX_new(pkey, NULL);
81f1535dc8Sdjm 	if (ctx->pctx == NULL)
82f1535dc8Sdjm 		return 0;
83f1535dc8Sdjm 
84581451ffStb 	if (!(ctx->pctx->pmeth->flags & EVP_PKEY_FLAG_SIGCTX_CUSTOM)) {
8553082e7cSjsing 		if (type == NULL) {
86f1535dc8Sdjm 			int def_nid;
87f1535dc8Sdjm 			if (EVP_PKEY_get_default_digest_nid(pkey, &def_nid) > 0)
88f1535dc8Sdjm 				type = EVP_get_digestbynid(def_nid);
89f1535dc8Sdjm 		}
90f1535dc8Sdjm 
9153082e7cSjsing 		if (type == NULL) {
925067ae9fSbeck 			EVPerror(EVP_R_NO_DEFAULT_DIGEST);
93f1535dc8Sdjm 			return 0;
94f1535dc8Sdjm 		}
95581451ffStb 	}
96f1535dc8Sdjm 
9753082e7cSjsing 	if (ver) {
987c54c766Stb 		if (ctx->pctx->pmeth->digestverify != NULL) {
999ed66cc8Sjsing 			ctx->pctx->operation = EVP_PKEY_OP_VERIFY;
1009ed66cc8Sjsing 			ctx->update = update_oneshot_only;
10153082e7cSjsing 		} else if (EVP_PKEY_verify_init(ctx->pctx) <= 0)
102f1535dc8Sdjm 			return 0;
10353082e7cSjsing 	} else {
10453082e7cSjsing 		if (ctx->pctx->pmeth->signctx_init) {
105f1535dc8Sdjm 			if (ctx->pctx->pmeth->signctx_init(ctx->pctx, ctx) <= 0)
106f1535dc8Sdjm 				return 0;
107f1535dc8Sdjm 			ctx->pctx->operation = EVP_PKEY_OP_SIGNCTX;
1089ed66cc8Sjsing 		} else if (ctx->pctx->pmeth->digestsign != NULL) {
1099ed66cc8Sjsing 			ctx->pctx->operation = EVP_PKEY_OP_SIGN;
1109ed66cc8Sjsing 			ctx->update = update_oneshot_only;
11153082e7cSjsing 		} else if (EVP_PKEY_sign_init(ctx->pctx) <= 0)
112f1535dc8Sdjm 			return 0;
113f1535dc8Sdjm 	}
114f1535dc8Sdjm 	if (EVP_PKEY_CTX_set_signature_md(ctx->pctx, type) <= 0)
115f1535dc8Sdjm 		return 0;
116f1535dc8Sdjm 	if (pctx)
117f1535dc8Sdjm 		*pctx = ctx->pctx;
118581451ffStb 	if (ctx->pctx->pmeth->flags & EVP_PKEY_FLAG_SIGCTX_CUSTOM)
119581451ffStb 		return 1;
120592331b2Stb 	if (!EVP_DigestInit_ex(ctx, type, NULL))
121f1535dc8Sdjm 		return 0;
122f1535dc8Sdjm 	return 1;
123f1535dc8Sdjm }
124f1535dc8Sdjm 
12553082e7cSjsing int
EVP_DigestSignInit(EVP_MD_CTX * ctx,EVP_PKEY_CTX ** pctx,const EVP_MD * type,ENGINE * e,EVP_PKEY * pkey)12653082e7cSjsing EVP_DigestSignInit(EVP_MD_CTX *ctx, EVP_PKEY_CTX **pctx, const EVP_MD *type,
12753082e7cSjsing     ENGINE *e, EVP_PKEY *pkey)
128f1535dc8Sdjm {
129592331b2Stb 	return do_sigver_init(ctx, pctx, type, pkey, 0);
130f1535dc8Sdjm }
131*9bac3682Sbeck LCRYPTO_ALIAS(EVP_DigestSignInit);
132f1535dc8Sdjm 
13353082e7cSjsing int
EVP_DigestVerifyInit(EVP_MD_CTX * ctx,EVP_PKEY_CTX ** pctx,const EVP_MD * type,ENGINE * e,EVP_PKEY * pkey)13453082e7cSjsing EVP_DigestVerifyInit(EVP_MD_CTX *ctx, EVP_PKEY_CTX **pctx, const EVP_MD *type,
13553082e7cSjsing     ENGINE *e, EVP_PKEY *pkey)
136f1535dc8Sdjm {
137592331b2Stb 	return do_sigver_init(ctx, pctx, type, pkey, 1);
138f1535dc8Sdjm }
139*9bac3682Sbeck LCRYPTO_ALIAS(EVP_DigestVerifyInit);
140f1535dc8Sdjm 
1419a46f9ddSjoshua static int
evp_digestsignfinal_sigctx_custom(EVP_MD_CTX * ctx,unsigned char * sigret,size_t * siglen)1429a46f9ddSjoshua evp_digestsignfinal_sigctx_custom(EVP_MD_CTX *ctx, unsigned char *sigret,
1439a46f9ddSjoshua     size_t *siglen)
1449a46f9ddSjoshua {
1459a46f9ddSjoshua 	EVP_PKEY_CTX *pctx = ctx->pctx;
1469a46f9ddSjoshua 	EVP_PKEY_CTX *dctx = NULL;
1479a46f9ddSjoshua 	int ret = 0;
1489a46f9ddSjoshua 
1499a46f9ddSjoshua 	if (sigret == NULL)
1509a46f9ddSjoshua 		return pctx->pmeth->signctx(pctx, sigret, siglen, ctx);
1519a46f9ddSjoshua 
1529a46f9ddSjoshua 	/* XXX - support EVP_MD_CTX_FLAG_FINALISE? */
1539a46f9ddSjoshua 	if ((dctx = EVP_PKEY_CTX_dup(pctx)) == NULL)
1549a46f9ddSjoshua 		goto err;
1559a46f9ddSjoshua 
1569a46f9ddSjoshua 	if (!dctx->pmeth->signctx(dctx, sigret, siglen, ctx))
1579a46f9ddSjoshua 		goto err;
1589a46f9ddSjoshua 
1599a46f9ddSjoshua 	ret = 1;
1609a46f9ddSjoshua 
1619a46f9ddSjoshua  err:
1629a46f9ddSjoshua 	EVP_PKEY_CTX_free(dctx);
1639a46f9ddSjoshua 
1649a46f9ddSjoshua 	return ret;
1659a46f9ddSjoshua }
1669a46f9ddSjoshua 
16753082e7cSjsing int
EVP_DigestSignFinal(EVP_MD_CTX * ctx,unsigned char * sigret,size_t * siglen)16853082e7cSjsing EVP_DigestSignFinal(EVP_MD_CTX *ctx, unsigned char *sigret, size_t *siglen)
169f1535dc8Sdjm {
170581451ffStb 	EVP_PKEY_CTX *pctx = ctx->pctx;
1716c6c5ea5Sjoshua 	EVP_MD_CTX *md_ctx = NULL;
1726c492051Sjoshua 	unsigned char md[EVP_MAX_MD_SIZE];
1736c492051Sjoshua 	unsigned int mdlen = 0;
1746c492051Sjoshua 	int s;
1756c6c5ea5Sjoshua 	int ret = 0;
176581451ffStb 
177b268052cSjoshua 	if (pctx->pmeth->flags & EVP_PKEY_FLAG_SIGCTX_CUSTOM)
1789a46f9ddSjoshua 		return evp_digestsignfinal_sigctx_custom(ctx, sigret, siglen);
17953082e7cSjsing 
1806c492051Sjoshua 	if (sigret == NULL) {
1816c492051Sjoshua 		if (ctx->pctx->pmeth->signctx != NULL) {
1826c492051Sjoshua 			if (ctx->pctx->pmeth->signctx(ctx->pctx, NULL,
1836c492051Sjoshua 			    siglen, ctx) <= 0)
1846c492051Sjoshua 				return 0;
1856c492051Sjoshua 			return 1;
1866c492051Sjoshua 		}
1876c492051Sjoshua 
1886c492051Sjoshua 		if ((s = EVP_MD_size(ctx->digest)) < 0)
1896c492051Sjoshua 			return 0;
1906c492051Sjoshua 		if (EVP_PKEY_sign(ctx->pctx, NULL, siglen, NULL, s) <= 0)
1916c492051Sjoshua 			return 0;
1926c492051Sjoshua 
1936c492051Sjoshua 		return 1;
1946c492051Sjoshua 	}
1956c492051Sjoshua 
19654fbf153Stb 	/* Use a copy since EVP_DigestFinal_ex() clears secrets. */
1976c6c5ea5Sjoshua 	if ((md_ctx = EVP_MD_CTX_new()) == NULL)
1986c6c5ea5Sjoshua 		goto err;
1996c6c5ea5Sjoshua 	if (!EVP_MD_CTX_copy_ex(md_ctx, ctx))
2006c6c5ea5Sjoshua 		goto err;
2016c6c5ea5Sjoshua 	if (md_ctx->pctx->pmeth->signctx != NULL) {
2026c6c5ea5Sjoshua 		if (md_ctx->pctx->pmeth->signctx(md_ctx->pctx,
2036c6c5ea5Sjoshua 		    sigret, siglen, md_ctx) <= 0)
2046c6c5ea5Sjoshua 			goto err;
2056c6c5ea5Sjoshua 	} else {
2066c6c5ea5Sjoshua 		if (!EVP_DigestFinal_ex(md_ctx, md, &mdlen))
2076c6c5ea5Sjoshua 			goto err;
20854fbf153Stb 		/* Use the original ctx since secrets were cleared. */
2094d498910Sjsing 		if (EVP_PKEY_sign(ctx->pctx, sigret, siglen, md, mdlen) <= 0)
2106c6c5ea5Sjoshua 			goto err;
2116c6c5ea5Sjoshua 	}
2126c6c5ea5Sjoshua 
2136c6c5ea5Sjoshua 	ret = 1;
2146c6c5ea5Sjoshua 
2156c6c5ea5Sjoshua  err:
2166c6c5ea5Sjoshua 	EVP_MD_CTX_free(md_ctx);
2176c6c5ea5Sjoshua 
2186c6c5ea5Sjoshua 	return ret;
21968777554Sjoshua }
220*9bac3682Sbeck LCRYPTO_ALIAS(EVP_DigestSignFinal);
22168777554Sjoshua 
22253082e7cSjsing int
EVP_DigestSign(EVP_MD_CTX * ctx,unsigned char * sigret,size_t * siglen,const unsigned char * tbs,size_t tbslen)22342fe6953Stb EVP_DigestSign(EVP_MD_CTX *ctx, unsigned char *sigret, size_t *siglen,
22442fe6953Stb     const unsigned char *tbs, size_t tbslen)
22542fe6953Stb {
2269ed66cc8Sjsing 	if (ctx->pctx->pmeth->digestsign != NULL)
2279ed66cc8Sjsing 		return ctx->pctx->pmeth->digestsign(ctx, sigret, siglen,
2289ed66cc8Sjsing 		    tbs, tbslen);
2299ed66cc8Sjsing 
23042fe6953Stb 	if (sigret != NULL) {
23142fe6953Stb 		if (EVP_DigestSignUpdate(ctx, tbs, tbslen) <= 0)
23242fe6953Stb 			return 0;
23342fe6953Stb 	}
23442fe6953Stb 
23542fe6953Stb 	return EVP_DigestSignFinal(ctx, sigret, siglen);
23642fe6953Stb }
237*9bac3682Sbeck LCRYPTO_ALIAS(EVP_DigestSign);
23842fe6953Stb 
23942fe6953Stb int
EVP_DigestVerifyFinal(EVP_MD_CTX * ctx,const unsigned char * sig,size_t siglen)240fff825e1Stb EVP_DigestVerifyFinal(EVP_MD_CTX *ctx, const unsigned char *sig, size_t siglen)
241f1535dc8Sdjm {
2429a0dbe41Sdjm 	EVP_MD_CTX tmp_ctx;
243f1535dc8Sdjm 	unsigned char md[EVP_MAX_MD_SIZE];
244f1535dc8Sdjm 	int r;
2456e470421Sbeck 	unsigned int mdlen = 0;
246f1535dc8Sdjm 
24776d5ca18Stb 	EVP_MD_CTX_legacy_clear(&tmp_ctx);
248f1535dc8Sdjm 	if (!EVP_MD_CTX_copy_ex(&tmp_ctx, ctx))
249f1535dc8Sdjm 		return -1;
250f1535dc8Sdjm 	r = EVP_DigestFinal_ex(&tmp_ctx, md, &mdlen);
251f1535dc8Sdjm 	EVP_MD_CTX_cleanup(&tmp_ctx);
2527c54c766Stb 	if (!r)
253f1535dc8Sdjm 		return r;
254f1535dc8Sdjm 	return EVP_PKEY_verify(ctx->pctx, sig, siglen, md, mdlen);
255f1535dc8Sdjm }
256*9bac3682Sbeck LCRYPTO_ALIAS(EVP_DigestVerifyFinal);
25742fe6953Stb 
25842fe6953Stb int
EVP_DigestVerify(EVP_MD_CTX * ctx,const unsigned char * sigret,size_t siglen,const unsigned char * tbs,size_t tbslen)25942fe6953Stb EVP_DigestVerify(EVP_MD_CTX *ctx, const unsigned char *sigret, size_t siglen,
26042fe6953Stb     const unsigned char *tbs, size_t tbslen)
26142fe6953Stb {
2629ed66cc8Sjsing 	if (ctx->pctx->pmeth->digestverify != NULL)
2639ed66cc8Sjsing 		return ctx->pctx->pmeth->digestverify(ctx, sigret, siglen,
2649ed66cc8Sjsing 		    tbs, tbslen);
2659ed66cc8Sjsing 
26642fe6953Stb 	if (EVP_DigestVerifyUpdate(ctx, tbs, tbslen) <= 0)
26742fe6953Stb 		return -1;
26842fe6953Stb 
26942fe6953Stb 	return EVP_DigestVerifyFinal(ctx, sigret, siglen);
27042fe6953Stb }
271*9bac3682Sbeck LCRYPTO_ALIAS(EVP_DigestVerify);
272