Coverage Report

Created: 2026-09-12 06:55

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