Coverage Report

Created: 2026-10-28 06:28

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl35/providers/implementations/signature/slh_dsa_sig.c
Line
Count
Source
1
/*
2
 * Copyright 2024-2026 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the Apache License 2.0 (the "License").  You may not use
5
 * this file except in compliance with the License.  You can obtain a copy
6
 * in the file LICENSE in the source distribution or at
7
 * https://www.openssl.org/source/license.html
8
 */
9
10
#include <openssl/core_names.h>
11
#include <openssl/err.h>
12
#include <openssl/rand.h>
13
#include <openssl/proverr.h>
14
#include "prov/implementations.h"
15
#include "prov/providercommon.h"
16
#include "prov/provider_ctx.h"
17
#include "prov/der_slh_dsa.h"
18
#include "crypto/slh_dsa.h"
19
#include "internal/sizes.h"
20
#include "fips/fipsindicator.h"
21
22
#define SLH_DSA_MAX_ADD_RANDOM_LEN 32
23
24
#define SLH_DSA_MESSAGE_ENCODE_RAW 0
25
2.27k
#define SLH_DSA_MESSAGE_ENCODE_PURE 1
26
27
static OSSL_FUNC_signature_sign_message_init_fn slh_dsa_sign_msg_init;
28
static OSSL_FUNC_signature_sign_fn slh_dsa_sign;
29
static OSSL_FUNC_signature_verify_message_init_fn slh_dsa_verify_msg_init;
30
static OSSL_FUNC_signature_verify_fn slh_dsa_verify;
31
static OSSL_FUNC_signature_digest_sign_init_fn slh_dsa_digest_signverify_init;
32
static OSSL_FUNC_signature_digest_sign_fn slh_dsa_digest_sign;
33
static OSSL_FUNC_signature_digest_verify_fn slh_dsa_digest_verify;
34
static OSSL_FUNC_signature_freectx_fn slh_dsa_freectx;
35
static OSSL_FUNC_signature_dupctx_fn slh_dsa_dupctx;
36
static OSSL_FUNC_signature_set_ctx_params_fn slh_dsa_set_ctx_params;
37
static OSSL_FUNC_signature_settable_ctx_params_fn slh_dsa_settable_ctx_params;
38
39
/*
40
 * NOTE: Any changes to this structure may require updating slh_dsa_dupctx().
41
 */
42
typedef struct {
43
    SLH_DSA_KEY *key; /* Note that the key is not owned by this object */
44
    SLH_DSA_HASH_CTX *hash_ctx;
45
    uint8_t context_string[SLH_DSA_MAX_CONTEXT_STRING_LEN];
46
    size_t context_string_len;
47
    uint8_t add_random[SLH_DSA_MAX_ADD_RANDOM_LEN];
48
    size_t add_random_len;
49
    int msg_encode;
50
    int deterministic;
51
    OSSL_LIB_CTX *libctx;
52
    char *propq;
53
    const char *alg;
54
    /* The Algorithm Identifier of the signature algorithm */
55
    uint8_t aid_buf[OSSL_MAX_ALGORITHM_ID_SIZE];
56
    size_t aid_len;
57
} PROV_SLH_DSA_CTX;
58
59
static void slh_dsa_freectx(void *vctx)
60
2.27k
{
61
2.27k
    PROV_SLH_DSA_CTX *ctx = (PROV_SLH_DSA_CTX *)vctx;
62
63
2.27k
    ossl_slh_dsa_hash_ctx_free(ctx->hash_ctx);
64
2.27k
    OPENSSL_free(ctx->propq);
65
2.27k
    OPENSSL_cleanse(ctx->add_random, sizeof(ctx->add_random));
66
2.27k
    OPENSSL_free(ctx);
67
2.27k
}
68
69
static void *slh_dsa_newctx(void *provctx, const char *alg, const char *propq)
70
2.27k
{
71
2.27k
    PROV_SLH_DSA_CTX *ctx;
72
73
2.27k
    if (!ossl_prov_is_running())
74
0
        return NULL;
75
76
2.27k
    ctx = OPENSSL_zalloc(sizeof(PROV_SLH_DSA_CTX));
77
2.27k
    if (ctx == NULL)
78
0
        return NULL;
79
80
2.27k
    ctx->libctx = PROV_LIBCTX_OF(provctx);
81
2.27k
    if (propq != NULL && (ctx->propq = OPENSSL_strdup(propq)) == NULL)
82
0
        goto err;
83
2.27k
    ctx->alg = alg;
84
2.27k
    ctx->msg_encode = SLH_DSA_MESSAGE_ENCODE_PURE;
85
2.27k
    return ctx;
86
0
err:
87
0
    slh_dsa_freectx(ctx);
88
0
    return NULL;
89
2.27k
}
90
91
static void *slh_dsa_dupctx(void *vctx)
92
0
{
93
0
    PROV_SLH_DSA_CTX *src = (PROV_SLH_DSA_CTX *)vctx;
94
0
    PROV_SLH_DSA_CTX *ret;
95
96
0
    if (!ossl_prov_is_running())
97
0
        return NULL;
98
99
    /*
100
     * Note that the SLH_DSA_KEY is ref counted via EVP_PKEY so we can just copy
101
     * the key here.
102
     */
103
0
    ret = OPENSSL_memdup(src, sizeof(*src));
104
0
    if (ret == NULL)
105
0
        return NULL;
106
0
    ret->propq = NULL;
107
0
    ret->hash_ctx = NULL;
108
0
    if (src->propq != NULL && (ret->propq = OPENSSL_strdup(src->propq)) == NULL)
109
0
        goto err;
110
0
    ret->hash_ctx = ossl_slh_dsa_hash_ctx_dup(src->hash_ctx);
111
0
    if (ret->hash_ctx == NULL)
112
0
        goto err;
113
114
0
    return ret;
115
0
err:
116
0
    slh_dsa_freectx(ret);
117
0
    return NULL;
118
0
}
119
120
static int slh_dsa_set_alg_id_buffer(PROV_SLH_DSA_CTX *ctx)
121
2.26k
{
122
2.26k
    int ret;
123
2.26k
    WPACKET pkt;
124
2.26k
    uint8_t *aid = NULL;
125
126
    /*
127
     * We do not care about DER writing errors.
128
     * All it really means is that for some reason, there's no
129
     * AlgorithmIdentifier to be had, but the operation itself is
130
     * still valid, just as long as it's not used to construct
131
     * anything that needs an AlgorithmIdentifier.
132
     */
133
2.26k
    ctx->aid_len = 0;
134
2.26k
    ret = WPACKET_init_der(&pkt, ctx->aid_buf, sizeof(ctx->aid_buf));
135
2.26k
    ret = ret && ossl_DER_w_algorithmIdentifier_SLH_DSA(&pkt, -1, ctx->key);
136
2.26k
    if (ret && WPACKET_finish(&pkt)) {
137
2.26k
        WPACKET_get_total_written(&pkt, &ctx->aid_len);
138
2.26k
        aid = WPACKET_get_curr(&pkt);
139
2.26k
    }
140
2.26k
    WPACKET_cleanup(&pkt);
141
2.26k
    if (aid != NULL && ctx->aid_len != 0)
142
2.26k
        memmove(ctx->aid_buf, aid, ctx->aid_len);
143
2.26k
    return 1;
144
2.26k
}
145
146
static int slh_dsa_signverify_msg_init(void *vctx, void *vkey,
147
    const OSSL_PARAM params[], int operation,
148
    const char *desc)
149
2.26k
{
150
2.26k
    PROV_SLH_DSA_CTX *ctx = (PROV_SLH_DSA_CTX *)vctx;
151
2.26k
    SLH_DSA_KEY *key = vkey;
152
153
2.26k
    if (!ossl_prov_is_running()
154
2.26k
        || ctx == NULL)
155
0
        return 0;
156
157
2.26k
    if (vkey == NULL && ctx->key == NULL) {
158
0
        ERR_raise(ERR_LIB_PROV, PROV_R_NO_KEY_SET);
159
0
        return 0;
160
0
    }
161
162
2.26k
    if (key != NULL) {
163
2.26k
        if (!ossl_slh_dsa_key_type_matches(key, ctx->alg))
164
0
            return 0;
165
2.26k
        ctx->hash_ctx = ossl_slh_dsa_hash_ctx_new(key);
166
2.26k
        if (ctx->hash_ctx == NULL)
167
0
            return 0;
168
2.26k
        ctx->key = vkey;
169
2.26k
    }
170
171
2.26k
    slh_dsa_set_alg_id_buffer(ctx);
172
2.26k
    if (!slh_dsa_set_ctx_params(ctx, params))
173
89
        return 0;
174
2.17k
    return 1;
175
2.26k
}
176
177
static int slh_dsa_sign_msg_init(void *vctx, void *vkey, const OSSL_PARAM params[])
178
1.11k
{
179
1.11k
    return slh_dsa_signverify_msg_init(vctx, vkey, params,
180
1.11k
        EVP_PKEY_OP_SIGN, "SLH_DSA Sign Init");
181
1.11k
}
182
183
static int slh_dsa_digest_signverify_init(void *vctx, const char *mdname,
184
    void *vkey, const OSSL_PARAM params[])
185
5
{
186
5
    PROV_SLH_DSA_CTX *ctx = (PROV_SLH_DSA_CTX *)vctx;
187
188
5
    if (mdname != NULL && mdname[0] != '\0') {
189
0
        ERR_raise_data(ERR_LIB_PROV, PROV_R_INVALID_DIGEST,
190
0
            "Explicit digest not supported for SLH-DSA operations");
191
0
        return 0;
192
0
    }
193
194
5
    if (vkey == NULL && ctx->key != NULL)
195
0
        return slh_dsa_set_ctx_params(ctx, params);
196
197
5
    return slh_dsa_signverify_msg_init(vctx, vkey, params,
198
5
        EVP_PKEY_OP_SIGN, "SLH_DSA Sign Init");
199
5
}
200
201
static int slh_dsa_sign(void *vctx, unsigned char *sig, size_t *siglen,
202
    size_t sigsize, const unsigned char *msg, size_t msg_len)
203
2.05k
{
204
2.05k
    int ret = 0;
205
2.05k
    PROV_SLH_DSA_CTX *ctx = (PROV_SLH_DSA_CTX *)vctx;
206
2.05k
    uint8_t add_rand[SLH_DSA_MAX_ADD_RANDOM_LEN], *opt_rand = NULL;
207
2.05k
    size_t n = 0;
208
209
2.05k
    if (!ossl_prov_is_running())
210
0
        return 0;
211
212
2.05k
    if (sig != NULL) {
213
1.02k
        if (ctx->add_random_len != 0) {
214
0
            opt_rand = ctx->add_random;
215
1.02k
        } else if (ctx->deterministic == 0) {
216
894
            n = ossl_slh_dsa_key_get_n(ctx->key);
217
894
            if (RAND_priv_bytes_ex(ctx->libctx, add_rand, n, 0) <= 0)
218
0
                return 0;
219
894
            opt_rand = add_rand;
220
894
        }
221
1.02k
    }
222
2.05k
    ret = ossl_slh_dsa_sign(ctx->hash_ctx, msg, msg_len,
223
2.05k
        ctx->context_string, ctx->context_string_len,
224
2.05k
        opt_rand, ctx->msg_encode,
225
2.05k
        sig, siglen, sigsize);
226
    /* Only cleanse the temporary buffer generated for this signature. */
227
2.05k
    if (opt_rand == add_rand)
228
894
        OPENSSL_cleanse(add_rand, sizeof(add_rand));
229
2.05k
    return ret;
230
2.05k
}
231
232
static int slh_dsa_digest_sign(void *vctx, uint8_t *sig, size_t *siglen, size_t sigsize,
233
    const uint8_t *tbs, size_t tbslen)
234
0
{
235
0
    return slh_dsa_sign(vctx, sig, siglen, sigsize, tbs, tbslen);
236
0
}
237
238
static int slh_dsa_verify_msg_init(void *vctx, void *vkey, const OSSL_PARAM params[])
239
1.14k
{
240
1.14k
    return slh_dsa_signverify_msg_init(vctx, vkey, params, EVP_PKEY_OP_VERIFY,
241
1.14k
        "SLH_DSA Verify Init");
242
1.14k
}
243
244
static int slh_dsa_verify(void *vctx, const uint8_t *sig, size_t siglen,
245
    const uint8_t *msg, size_t msg_len)
246
1.15k
{
247
1.15k
    PROV_SLH_DSA_CTX *ctx = (PROV_SLH_DSA_CTX *)vctx;
248
249
1.15k
    if (!ossl_prov_is_running())
250
0
        return 0;
251
1.15k
    return ossl_slh_dsa_verify(ctx->hash_ctx, msg, msg_len,
252
1.15k
        ctx->context_string, ctx->context_string_len,
253
1.15k
        ctx->msg_encode, sig, siglen);
254
1.15k
}
255
static int slh_dsa_digest_verify(void *vctx, const uint8_t *sig, size_t siglen,
256
    const uint8_t *tbs, size_t tbslen)
257
5
{
258
5
    return slh_dsa_verify(vctx, sig, siglen, tbs, tbslen);
259
5
}
260
261
static int slh_dsa_set_ctx_params(void *vctx, const OSSL_PARAM params[])
262
680
{
263
680
    PROV_SLH_DSA_CTX *pctx = (PROV_SLH_DSA_CTX *)vctx;
264
680
    const OSSL_PARAM *p;
265
266
680
    if (pctx == NULL)
267
0
        return 0;
268
680
    if (ossl_param_is_empty(params))
269
268
        return 1;
270
271
412
    p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_CONTEXT_STRING);
272
412
    if (p != NULL) {
273
152
        void *vp = pctx->context_string;
274
275
152
        if (!OSSL_PARAM_get_octet_string(p, &vp, sizeof(pctx->context_string),
276
152
                &(pctx->context_string_len))) {
277
28
            pctx->context_string_len = 0;
278
28
            return 0;
279
28
        }
280
152
    }
281
384
    p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_TEST_ENTROPY);
282
384
    if (p != NULL) {
283
0
        void *vp = pctx->add_random;
284
0
        size_t n = ossl_slh_dsa_key_get_n(pctx->key);
285
286
0
        if (!OSSL_PARAM_get_octet_string(p, &vp, n, &(pctx->add_random_len))
287
0
            || pctx->add_random_len != n) {
288
0
            pctx->add_random_len = 0;
289
0
            return 0;
290
0
        }
291
0
    }
292
384
    p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_DETERMINISTIC);
293
384
    if (p != NULL && !OSSL_PARAM_get_int(p, &pctx->deterministic))
294
0
        return 0;
295
296
384
    p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_MESSAGE_ENCODING);
297
384
    if (p != NULL && !OSSL_PARAM_get_int(p, &pctx->msg_encode))
298
0
        return 0;
299
384
    return 1;
300
384
}
301
302
static const OSSL_PARAM *slh_dsa_settable_ctx_params(void *vctx,
303
    ossl_unused void *provctx)
304
30
{
305
30
    static const OSSL_PARAM settable_ctx_params[] = {
306
30
        OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_CONTEXT_STRING, NULL, 0),
307
30
        OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_TEST_ENTROPY, NULL, 0),
308
30
        OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_DETERMINISTIC, 0),
309
30
        OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MESSAGE_ENCODING, 0),
310
30
        OSSL_PARAM_END
311
30
    };
312
313
30
    return settable_ctx_params;
314
30
}
315
316
static const OSSL_PARAM known_gettable_ctx_params[] = {
317
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_ALGORITHM_ID, NULL, 0),
318
    OSSL_FIPS_IND_GETTABLE_CTX_PARAM()
319
        OSSL_PARAM_END
320
};
321
322
static const OSSL_PARAM *slh_dsa_gettable_ctx_params(ossl_unused void *vctx,
323
    ossl_unused void *provctx)
324
0
{
325
0
    return known_gettable_ctx_params;
326
0
}
327
328
static int slh_dsa_get_ctx_params(void *vctx, OSSL_PARAM *params)
329
0
{
330
0
    PROV_SLH_DSA_CTX *ctx = (PROV_SLH_DSA_CTX *)vctx;
331
0
    OSSL_PARAM *p;
332
333
0
    if (ctx == NULL)
334
0
        return 0;
335
336
0
    p = OSSL_PARAM_locate(params, OSSL_SIGNATURE_PARAM_ALGORITHM_ID);
337
0
    if (p != NULL
338
0
        && !OSSL_PARAM_set_octet_string(p,
339
0
            ctx->aid_len == 0 ? NULL : ctx->aid_buf,
340
0
            ctx->aid_len))
341
0
        return 0;
342
343
#ifdef FIPS_MODULE
344
    return ossl_FIPS_IND_get_ctx_param_conditional(NULL, params,
345
        ctx->add_random_len == 0);
346
#else
347
0
    return 1;
348
0
#endif
349
0
}
350
351
#define MAKE_SIGNATURE_FUNCTIONS(alg, fn)                                               \
352
    static OSSL_FUNC_signature_newctx_fn slh_dsa_##fn##_newctx;                         \
353
    static void *slh_dsa_##fn##_newctx(void *provctx, const char *propq)                \
354
2.27k
    {                                                                                   \
355
2.27k
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
2.27k
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_sha2_128s_newctx
Line
Count
Source
354
298
    {                                                                                   \
355
298
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
298
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_sha2_128f_newctx
Line
Count
Source
354
409
    {                                                                                   \
355
409
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
409
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_sha2_192s_newctx
Line
Count
Source
354
71
    {                                                                                   \
355
71
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
71
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_sha2_192f_newctx
Line
Count
Source
354
375
    {                                                                                   \
355
375
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
375
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_sha2_256s_newctx
Line
Count
Source
354
180
    {                                                                                   \
355
180
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
180
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_sha2_256f_newctx
Line
Count
Source
354
205
    {                                                                                   \
355
205
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
205
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_shake_128s_newctx
Line
Count
Source
354
80
    {                                                                                   \
355
80
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
80
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_shake_128f_newctx
Line
Count
Source
354
27
    {                                                                                   \
355
27
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
27
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_shake_192s_newctx
Line
Count
Source
354
95
    {                                                                                   \
355
95
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
95
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_shake_192f_newctx
Line
Count
Source
354
243
    {                                                                                   \
355
243
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
243
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_shake_256s_newctx
Line
Count
Source
354
163
    {                                                                                   \
355
163
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
163
    }                                                                                   \
slh_dsa_sig.c:slh_dsa_shake_256f_newctx
Line
Count
Source
354
127
    {                                                                                   \
355
127
        return slh_dsa_newctx(provctx, alg, propq);                                     \
356
127
    }                                                                                   \
357
    const OSSL_DISPATCH ossl_slh_dsa_##fn##_signature_functions[] = {                   \
358
        { OSSL_FUNC_SIGNATURE_NEWCTX, (void (*)(void))slh_dsa_##fn##_newctx },          \
359
        { OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_INIT,                                        \
360
            (void (*)(void))slh_dsa_sign_msg_init },                                    \
361
        { OSSL_FUNC_SIGNATURE_SIGN, (void (*)(void))slh_dsa_sign },                     \
362
        { OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_INIT,                                      \
363
            (void (*)(void))slh_dsa_verify_msg_init },                                  \
364
        { OSSL_FUNC_SIGNATURE_VERIFY, (void (*)(void))slh_dsa_verify },                 \
365
        { OSSL_FUNC_SIGNATURE_DIGEST_SIGN_INIT,                                         \
366
            (void (*)(void))slh_dsa_digest_signverify_init },                           \
367
        { OSSL_FUNC_SIGNATURE_DIGEST_SIGN,                                              \
368
            (void (*)(void))slh_dsa_digest_sign },                                      \
369
        { OSSL_FUNC_SIGNATURE_DIGEST_VERIFY_INIT,                                       \
370
            (void (*)(void))slh_dsa_digest_signverify_init },                           \
371
        { OSSL_FUNC_SIGNATURE_DIGEST_VERIFY,                                            \
372
            (void (*)(void))slh_dsa_digest_verify },                                    \
373
        { OSSL_FUNC_SIGNATURE_FREECTX, (void (*)(void))slh_dsa_freectx },               \
374
        { OSSL_FUNC_SIGNATURE_DUPCTX, (void (*)(void))slh_dsa_dupctx },                 \
375
        { OSSL_FUNC_SIGNATURE_SET_CTX_PARAMS, (void (*)(void))slh_dsa_set_ctx_params }, \
376
        { OSSL_FUNC_SIGNATURE_SETTABLE_CTX_PARAMS,                                      \
377
            (void (*)(void))slh_dsa_settable_ctx_params },                              \
378
        { OSSL_FUNC_SIGNATURE_GET_CTX_PARAMS,                                           \
379
            (void (*)(void))slh_dsa_get_ctx_params },                                   \
380
        { OSSL_FUNC_SIGNATURE_GETTABLE_CTX_PARAMS,                                      \
381
            (void (*)(void))slh_dsa_gettable_ctx_params },                              \
382
        OSSL_DISPATCH_END                                                               \
383
    }
384
385
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHA2-128s", sha2_128s);
386
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHA2-128f", sha2_128f);
387
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHA2-192s", sha2_192s);
388
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHA2-192f", sha2_192f);
389
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHA2-256s", sha2_256s);
390
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHA2-256f", sha2_256f);
391
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHAKE-128s", shake_128s);
392
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHAKE-128f", shake_128f);
393
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHAKE-192s", shake_192s);
394
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHAKE-192f", shake_192f);
395
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHAKE-256s", shake_256s);
396
MAKE_SIGNATURE_FUNCTIONS("SLH-DSA-SHAKE-256f", shake_256f);