Coverage Report

Created: 2025-08-28 06:41

/src/openssl/providers/implementations/signature/ml_dsa_sig.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2024-2025 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
11
#include "internal/deprecated.h"
12
13
#include <assert.h>
14
#include <string.h> /* memset */
15
#include <openssl/core_names.h>
16
#include <openssl/err.h>
17
#include <openssl/rand.h>
18
#include <openssl/proverr.h>
19
#include "prov/implementations.h"
20
#include "prov/providercommon.h"
21
#include "prov/provider_ctx.h"
22
#include "prov/der_ml_dsa.h"
23
#include "crypto/ml_dsa.h"
24
#include "internal/common.h"
25
#include "internal/packet.h"
26
#include "internal/sizes.h"
27
28
#define ML_DSA_MESSAGE_ENCODE_RAW  0
29
0
#define ML_DSA_MESSAGE_ENCODE_PURE 1
30
31
static OSSL_FUNC_signature_sign_message_init_fn ml_dsa_sign_msg_init;
32
static OSSL_FUNC_signature_sign_message_update_fn ml_dsa_signverify_msg_update;
33
static OSSL_FUNC_signature_sign_message_final_fn ml_dsa_sign_msg_final;
34
static OSSL_FUNC_signature_sign_fn ml_dsa_sign;
35
static OSSL_FUNC_signature_verify_message_init_fn ml_dsa_verify_msg_init;
36
static OSSL_FUNC_signature_verify_message_update_fn ml_dsa_signverify_msg_update;
37
static OSSL_FUNC_signature_verify_message_final_fn ml_dsa_verify_msg_final;
38
static OSSL_FUNC_signature_verify_fn ml_dsa_verify;
39
static OSSL_FUNC_signature_digest_sign_init_fn ml_dsa_digest_signverify_init;
40
static OSSL_FUNC_signature_digest_sign_fn ml_dsa_digest_sign;
41
static OSSL_FUNC_signature_digest_verify_fn ml_dsa_digest_verify;
42
static OSSL_FUNC_signature_freectx_fn ml_dsa_freectx;
43
static OSSL_FUNC_signature_set_ctx_params_fn ml_dsa_set_ctx_params;
44
static OSSL_FUNC_signature_settable_ctx_params_fn ml_dsa_settable_ctx_params;
45
static OSSL_FUNC_signature_get_ctx_params_fn ml_dsa_get_ctx_params;
46
static OSSL_FUNC_signature_gettable_ctx_params_fn ml_dsa_gettable_ctx_params;
47
static OSSL_FUNC_signature_dupctx_fn ml_dsa_dupctx;
48
49
typedef struct {
50
    ML_DSA_KEY *key;
51
    OSSL_LIB_CTX *libctx;
52
    uint8_t context_string[ML_DSA_MAX_CONTEXT_STRING_LEN];
53
    size_t context_string_len;
54
    uint8_t test_entropy[ML_DSA_ENTROPY_LEN];
55
    size_t test_entropy_len;
56
    int msg_encode;
57
    int deterministic;
58
    int evp_type;
59
    /* The Algorithm Identifier of the signature algorithm */
60
    uint8_t aid_buf[OSSL_MAX_ALGORITHM_ID_SIZE];
61
    size_t  aid_len;
62
    int mu;     /* Flag indicating we should begin from \mu, not the message */
63
64
    int operation;
65
    EVP_MD_CTX *md_ctx; /* Ctx for msg_init/update/final interface */
66
    unsigned char *sig; /* Signature, for verification */
67
    size_t siglen;
68
} PROV_ML_DSA_CTX;
69
70
static void ml_dsa_freectx(void *vctx)
71
0
{
72
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
73
74
0
    EVP_MD_CTX_free(ctx->md_ctx);
75
0
    OPENSSL_cleanse(ctx->test_entropy, ctx->test_entropy_len);
76
0
    OPENSSL_free(ctx->sig);
77
0
    OPENSSL_free(ctx);
78
0
}
79
80
static void *ml_dsa_newctx(void *provctx, int evp_type, const char *propq)
81
0
{
82
0
    PROV_ML_DSA_CTX *ctx;
83
84
0
    if (!ossl_prov_is_running())
85
0
        return NULL;
86
87
0
    ctx = OPENSSL_zalloc(sizeof(PROV_ML_DSA_CTX));
88
0
    if (ctx == NULL)
89
0
        return NULL;
90
91
0
    ctx->libctx = PROV_LIBCTX_OF(provctx);
92
0
    ctx->msg_encode = ML_DSA_MESSAGE_ENCODE_PURE;
93
0
    ctx->evp_type = evp_type;
94
0
    return ctx;
95
0
}
96
97
static void *ml_dsa_dupctx(void *vctx)
98
0
{
99
0
    PROV_ML_DSA_CTX *srcctx = (PROV_ML_DSA_CTX *)vctx;
100
0
    PROV_ML_DSA_CTX *dstctx;
101
102
0
    if (!ossl_prov_is_running())
103
0
        return NULL;
104
105
    /*
106
     * Note that the ML_DSA_KEY is ref counted via EVP_PKEY so we can just copy
107
     * the key here.
108
     */
109
0
    dstctx = OPENSSL_memdup(srcctx, sizeof(*srcctx));
110
111
0
    if (dstctx == NULL)
112
0
        return NULL;
113
114
0
    if (srcctx->sig != NULL) {
115
0
        dstctx->sig = OPENSSL_memdup(srcctx->sig, srcctx->siglen);
116
0
        if (dstctx->sig == NULL) {
117
            /*
118
             * Can't call ml_dsa_freectx() here, as it would free
119
             * md_ctx which has not been duplicated yet.
120
             */
121
0
            OPENSSL_free(dstctx);
122
0
            return NULL;
123
0
        }
124
0
    }
125
126
0
    if (srcctx->md_ctx != NULL) {
127
0
        dstctx->md_ctx = EVP_MD_CTX_dup(srcctx->md_ctx);
128
0
        if (dstctx->md_ctx == NULL) {
129
0
            ml_dsa_freectx(dstctx);
130
0
            return NULL;
131
0
        }
132
0
    }
133
134
0
    return dstctx;
135
0
}
136
137
static int set_alg_id_buffer(PROV_ML_DSA_CTX *ctx)
138
0
{
139
0
    int ret;
140
0
    WPACKET pkt;
141
0
    uint8_t *aid = NULL;
142
143
    /*
144
     * We do not care about DER writing errors.
145
     * All it really means is that for some reason, there's no
146
     * AlgorithmIdentifier to be had, but the operation itself is
147
     * still valid, just as long as it's not used to construct
148
     * anything that needs an AlgorithmIdentifier.
149
     */
150
0
    ctx->aid_len = 0;
151
0
    ret = WPACKET_init_der(&pkt, ctx->aid_buf, sizeof(ctx->aid_buf));
152
0
    ret = ret && ossl_DER_w_algorithmIdentifier_ML_DSA(&pkt, -1, ctx->key);
153
0
    if (ret && WPACKET_finish(&pkt)) {
154
0
        WPACKET_get_total_written(&pkt, &ctx->aid_len);
155
0
        aid = WPACKET_get_curr(&pkt);
156
0
    }
157
0
    WPACKET_cleanup(&pkt);
158
0
    if (aid != NULL && ctx->aid_len != 0)
159
0
        memmove(ctx->aid_buf, aid, ctx->aid_len);
160
0
    return 1;
161
0
}
162
163
static int ml_dsa_signverify_msg_init(void *vctx, void *vkey,
164
                                      const OSSL_PARAM params[], int operation,
165
                                      const char *desc)
166
0
{
167
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
168
0
    ML_DSA_KEY *key = vkey;
169
170
0
    if (!ossl_prov_is_running()
171
0
            || ctx == NULL)
172
0
        return 0;
173
174
0
    if (vkey == NULL && ctx->key == NULL) {
175
0
        ERR_raise(ERR_LIB_PROV, PROV_R_NO_KEY_SET);
176
0
        return 0;
177
0
    }
178
179
0
    if (key != NULL)
180
0
        ctx->key = vkey;
181
0
    if (!ossl_ml_dsa_key_matches(ctx->key, ctx->evp_type))
182
0
        return 0;
183
184
0
    set_alg_id_buffer(ctx);
185
0
    ctx->mu = 0;
186
0
    ctx->operation = operation;
187
188
0
    return ml_dsa_set_ctx_params(ctx, params);
189
0
}
190
191
static int ml_dsa_sign_msg_init(void *vctx, void *vkey, const OSSL_PARAM params[])
192
0
{
193
0
    return ml_dsa_signverify_msg_init(vctx, vkey, params,
194
0
                                      EVP_PKEY_OP_SIGNMSG, "ML_DSA Sign Init");
195
0
}
196
197
static int ml_dsa_digest_signverify_init(void *vctx, const char *mdname,
198
                                         void *vkey, const OSSL_PARAM params[])
199
0
{
200
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
201
202
0
    if (mdname != NULL && mdname[0] != '\0') {
203
0
        ERR_raise_data(ERR_LIB_PROV, PROV_R_INVALID_DIGEST,
204
0
                       "Explicit digest not supported for ML-DSA operations");
205
0
        return 0;
206
0
    }
207
208
0
    ctx->mu = 0;
209
210
0
    if (vkey == NULL && ctx->key != NULL)
211
0
        return ml_dsa_set_ctx_params(ctx, params);
212
213
0
    return ml_dsa_signverify_msg_init(vctx, vkey, params,
214
0
                                      EVP_PKEY_OP_SIGN, "ML_DSA Sign Init");
215
0
}
216
217
static int ml_dsa_signverify_msg_update(void *vctx,
218
                                        const unsigned char *data,
219
                                        size_t datalen)
220
0
{
221
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
222
223
0
    if (ctx == NULL)
224
0
        return 0;
225
226
0
    if (!ossl_prov_is_running())
227
0
        return 0;
228
229
0
    if (ctx->mu)
230
0
        return 0;
231
232
0
    if (ctx->md_ctx == NULL) {
233
0
        ctx->md_ctx = ossl_ml_dsa_mu_init(ctx->key, ctx->msg_encode,
234
0
                                          ctx->context_string,
235
0
                                          ctx->context_string_len);
236
0
        if (ctx->md_ctx == NULL)
237
0
            return 0;
238
0
    }
239
240
0
    return ossl_ml_dsa_mu_update(ctx->md_ctx, data, datalen);
241
0
}
242
243
static int ml_dsa_sign_msg_final(void *vctx, unsigned char *sig,
244
                                 size_t *siglen, size_t sigsize)
245
0
{
246
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
247
0
    uint8_t rand_tmp[ML_DSA_ENTROPY_LEN], *rnd = NULL;
248
0
    uint8_t mu[ML_DSA_MU_BYTES];
249
0
    int ret = 0;
250
251
0
    if (ctx == NULL)
252
0
        return 0;
253
254
0
    if (!ossl_prov_is_running())
255
0
        return 0;
256
257
0
    if (ctx->md_ctx == NULL)
258
0
        return 0;
259
260
0
    if (sig != NULL) {
261
0
        if (ctx->test_entropy_len != 0) {
262
0
            rnd = ctx->test_entropy;
263
0
        } else {
264
0
            rnd = rand_tmp;
265
266
0
            if (ctx->deterministic == 1)
267
0
                memset(rnd, 0, sizeof(rand_tmp));
268
0
            else if (RAND_priv_bytes_ex(ctx->libctx, rnd, sizeof(rand_tmp), 0) <= 0)
269
0
                return 0;
270
0
        }
271
272
0
        if (!ossl_ml_dsa_mu_finalize(ctx->md_ctx, mu, sizeof(mu)))
273
0
            return 0;
274
0
    }
275
276
0
    ret = ossl_ml_dsa_sign(ctx->key, 1, mu, sizeof(mu), NULL, 0, rnd,
277
0
                           sizeof(rand_tmp), 0, sig, siglen, sigsize);
278
0
    if (rnd != ctx->test_entropy)
279
0
        OPENSSL_cleanse(rand_tmp, sizeof(rand_tmp));
280
0
    return ret;
281
0
}
282
283
static int ml_dsa_sign(void *vctx, uint8_t *sig, size_t *siglen, size_t sigsize,
284
                       const uint8_t *msg, size_t msg_len)
285
0
{
286
0
    int ret = 0;
287
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
288
0
    uint8_t rand_tmp[ML_DSA_ENTROPY_LEN], *rnd = NULL;
289
290
0
    if (!ossl_prov_is_running())
291
0
        return 0;
292
293
0
    if (sig != NULL) {
294
0
        if (ctx->test_entropy_len != 0) {
295
0
            rnd = ctx->test_entropy;
296
0
        } else {
297
0
            rnd = rand_tmp;
298
299
0
            if (ctx->deterministic == 1)
300
0
                memset(rnd, 0, sizeof(rand_tmp));
301
0
            else if (RAND_priv_bytes_ex(ctx->libctx, rnd, sizeof(rand_tmp), 0) <= 0)
302
0
                return 0;
303
0
        }
304
0
    }
305
0
    ret = ossl_ml_dsa_sign(ctx->key, ctx->mu, msg, msg_len,
306
0
                           ctx->context_string, ctx->context_string_len,
307
0
                           rnd, sizeof(rand_tmp), ctx->msg_encode,
308
0
                           sig, siglen, sigsize);
309
0
    if (rnd != ctx->test_entropy)
310
0
        OPENSSL_cleanse(rand_tmp, sizeof(rand_tmp));
311
0
    return ret;
312
0
}
313
314
static int ml_dsa_digest_sign(void *vctx, uint8_t *sig, size_t *siglen, size_t sigsize,
315
                              const uint8_t *tbs, size_t tbslen)
316
0
{
317
0
    return ml_dsa_sign(vctx, sig, siglen, sigsize, tbs, tbslen);
318
0
}
319
320
static int ml_dsa_verify_msg_init(void *vctx, void *vkey, const OSSL_PARAM params[])
321
0
{
322
0
    return ml_dsa_signverify_msg_init(vctx, vkey, params, EVP_PKEY_OP_VERIFYMSG,
323
0
                                      "ML_DSA Verify Init");
324
0
}
325
326
static int ml_dsa_verify_msg_final(void *vctx)
327
0
{
328
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
329
0
    uint8_t mu[ML_DSA_MU_BYTES];
330
331
0
    if (!ossl_prov_is_running())
332
0
        return 0;
333
334
0
    if (ctx->md_ctx == NULL)
335
0
        return 0;
336
337
0
    if (!ossl_ml_dsa_mu_finalize(ctx->md_ctx, mu, sizeof(mu)))
338
0
        return 0;
339
340
0
    return ossl_ml_dsa_verify(ctx->key, 1, mu, sizeof(mu), NULL, 0, 0,
341
0
                              ctx->sig, ctx->siglen);
342
0
}
343
344
static int ml_dsa_verify(void *vctx, const uint8_t *sig, size_t siglen,
345
                         const uint8_t *msg, size_t msg_len)
346
0
{
347
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
348
349
0
    if (!ossl_prov_is_running())
350
0
        return 0;
351
0
    return ossl_ml_dsa_verify(ctx->key, ctx->mu, msg, msg_len,
352
0
                              ctx->context_string, ctx->context_string_len,
353
0
                              ctx->msg_encode, sig, siglen);
354
0
}
355
static int ml_dsa_digest_verify(void *vctx,
356
                                const uint8_t *sig, size_t siglen,
357
                                const uint8_t *tbs, size_t tbslen)
358
0
{
359
0
    return ml_dsa_verify(vctx, sig, siglen, tbs, tbslen);
360
0
}
361
362
/*
363
 * Only need the param list for the signing case.  The decoder and structure
364
 * are shared between the sign and verify cases.
365
 */
366
#define ml_dsa_set_ctx_params_st        ml_dsa_verifymsg_set_ctx_params_st
367
#define ml_dsa_set_ctx_params_decoder   ml_dsa_verifymsg_set_ctx_params_decoder
368
369
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
370
#ifndef ml_dsa_set_ctx_params_list
371
static const OSSL_PARAM ml_dsa_set_ctx_params_list[] = {
372
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_CONTEXT_STRING, NULL, 0),
373
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_TEST_ENTROPY, NULL, 0),
374
    OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_DETERMINISTIC, NULL),
375
    OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MESSAGE_ENCODING, NULL),
376
    OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MU, NULL),
377
    OSSL_PARAM_END
378
};
379
#endif
380
381
#ifndef ml_dsa_set_ctx_params_st
382
struct ml_dsa_set_ctx_params_st {
383
    OSSL_PARAM *ctx;
384
    OSSL_PARAM *det;
385
    OSSL_PARAM *ent;
386
    OSSL_PARAM *msgenc;
387
    OSSL_PARAM *mu;
388
};
389
#endif
390
391
#ifndef ml_dsa_set_ctx_params_decoder
392
static int ml_dsa_set_ctx_params_decoder
393
    (const OSSL_PARAM *p, struct ml_dsa_set_ctx_params_st *r)
394
{
395
    const char *s;
396
397
    memset(r, 0, sizeof(*r));
398
    if (p != NULL)
399
        for (; (s = p->key) != NULL; p++)
400
            switch(s[0]) {
401
            default:
402
                break;
403
            case 'c':
404
                if (ossl_likely(strcmp("ontext-string", s + 1) == 0)) {
405
                    /* SIGNATURE_PARAM_CONTEXT_STRING */
406
                    if (ossl_unlikely(r->ctx != NULL)) {
407
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
408
                                       "param %s is repeated", s);
409
                        return 0;
410
                    }
411
                    r->ctx = (OSSL_PARAM *)p;
412
                }
413
                break;
414
            case 'd':
415
                if (ossl_likely(strcmp("eterministic", s + 1) == 0)) {
416
                    /* SIGNATURE_PARAM_DETERMINISTIC */
417
                    if (ossl_unlikely(r->det != NULL)) {
418
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
419
                                       "param %s is repeated", s);
420
                        return 0;
421
                    }
422
                    r->det = (OSSL_PARAM *)p;
423
                }
424
                break;
425
            case 'm':
426
                switch(s[1]) {
427
                default:
428
                    break;
429
                case 'e':
430
                    if (ossl_likely(strcmp("ssage-encoding", s + 2) == 0)) {
431
                        /* SIGNATURE_PARAM_MESSAGE_ENCODING */
432
                        if (ossl_unlikely(r->msgenc != NULL)) {
433
                            ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
434
                                           "param %s is repeated", s);
435
                            return 0;
436
                        }
437
                        r->msgenc = (OSSL_PARAM *)p;
438
                    }
439
                    break;
440
                case 'u':
441
                    switch(s[2]) {
442
                    default:
443
                        break;
444
                    case '\0':
445
                        if (ossl_unlikely(r->mu != NULL)) {
446
                            ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
447
                                           "param %s is repeated", s);
448
                            return 0;
449
                        }
450
                        r->mu = (OSSL_PARAM *)p;
451
                    }
452
                }
453
                break;
454
            case 't':
455
                if (ossl_likely(strcmp("est-entropy", s + 1) == 0)) {
456
                    /* SIGNATURE_PARAM_TEST_ENTROPY */
457
                    if (ossl_unlikely(r->ent != NULL)) {
458
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
459
                                       "param %s is repeated", s);
460
                        return 0;
461
                    }
462
                    r->ent = (OSSL_PARAM *)p;
463
                }
464
            }
465
    return 1;
466
}
467
#endif
468
/* End of machine generated */
469
470
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
471
#ifndef ml_dsa_verifymsg_set_ctx_params_list
472
static const OSSL_PARAM ml_dsa_verifymsg_set_ctx_params_list[] = {
473
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_CONTEXT_STRING, NULL, 0),
474
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_TEST_ENTROPY, NULL, 0),
475
    OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_DETERMINISTIC, NULL),
476
    OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MESSAGE_ENCODING, NULL),
477
    OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MU, NULL),
478
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_SIGNATURE, NULL, 0),
479
    OSSL_PARAM_END
480
};
481
#endif
482
483
#ifndef ml_dsa_verifymsg_set_ctx_params_st
484
struct ml_dsa_verifymsg_set_ctx_params_st {
485
    OSSL_PARAM *ctx;
486
    OSSL_PARAM *det;
487
    OSSL_PARAM *ent;
488
    OSSL_PARAM *msgenc;
489
    OSSL_PARAM *mu;
490
    OSSL_PARAM *sig;
491
};
492
#endif
493
494
#ifndef ml_dsa_verifymsg_set_ctx_params_decoder
495
static int ml_dsa_verifymsg_set_ctx_params_decoder
496
    (const OSSL_PARAM *p, struct ml_dsa_verifymsg_set_ctx_params_st *r)
497
0
{
498
0
    const char *s;
499
500
0
    memset(r, 0, sizeof(*r));
501
0
    if (p != NULL)
502
0
        for (; (s = p->key) != NULL; p++)
503
0
            switch(s[0]) {
504
0
            default:
505
0
                break;
506
0
            case 'c':
507
0
                if (ossl_likely(strcmp("ontext-string", s + 1) == 0)) {
508
                    /* SIGNATURE_PARAM_CONTEXT_STRING */
509
0
                    if (ossl_unlikely(r->ctx != NULL)) {
510
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
511
0
                                       "param %s is repeated", s);
512
0
                        return 0;
513
0
                    }
514
0
                    r->ctx = (OSSL_PARAM *)p;
515
0
                }
516
0
                break;
517
0
            case 'd':
518
0
                if (ossl_likely(strcmp("eterministic", s + 1) == 0)) {
519
                    /* SIGNATURE_PARAM_DETERMINISTIC */
520
0
                    if (ossl_unlikely(r->det != NULL)) {
521
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
522
0
                                       "param %s is repeated", s);
523
0
                        return 0;
524
0
                    }
525
0
                    r->det = (OSSL_PARAM *)p;
526
0
                }
527
0
                break;
528
0
            case 'm':
529
0
                switch(s[1]) {
530
0
                default:
531
0
                    break;
532
0
                case 'e':
533
0
                    if (ossl_likely(strcmp("ssage-encoding", s + 2) == 0)) {
534
                        /* SIGNATURE_PARAM_MESSAGE_ENCODING */
535
0
                        if (ossl_unlikely(r->msgenc != NULL)) {
536
0
                            ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
537
0
                                           "param %s is repeated", s);
538
0
                            return 0;
539
0
                        }
540
0
                        r->msgenc = (OSSL_PARAM *)p;
541
0
                    }
542
0
                    break;
543
0
                case 'u':
544
0
                    switch(s[2]) {
545
0
                    default:
546
0
                        break;
547
0
                    case '\0':
548
0
                        if (ossl_unlikely(r->mu != NULL)) {
549
0
                            ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
550
0
                                           "param %s is repeated", s);
551
0
                            return 0;
552
0
                        }
553
0
                        r->mu = (OSSL_PARAM *)p;
554
0
                    }
555
0
                }
556
0
                break;
557
0
            case 's':
558
0
                if (ossl_likely(strcmp("ignature", s + 1) == 0)) {
559
                    /* SIGNATURE_PARAM_SIGNATURE */
560
0
                    if (ossl_unlikely(r->sig != NULL)) {
561
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
562
0
                                       "param %s is repeated", s);
563
0
                        return 0;
564
0
                    }
565
0
                    r->sig = (OSSL_PARAM *)p;
566
0
                }
567
0
                break;
568
0
            case 't':
569
0
                if (ossl_likely(strcmp("est-entropy", s + 1) == 0)) {
570
                    /* SIGNATURE_PARAM_TEST_ENTROPY */
571
0
                    if (ossl_unlikely(r->ent != NULL)) {
572
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
573
0
                                       "param %s is repeated", s);
574
0
                        return 0;
575
0
                    }
576
0
                    r->ent = (OSSL_PARAM *)p;
577
0
                }
578
0
            }
579
0
    return 1;
580
0
}
581
#endif
582
/* End of machine generated */
583
584
static int ml_dsa_set_ctx_params(void *vctx, const OSSL_PARAM params[])
585
0
{
586
0
    PROV_ML_DSA_CTX *pctx = (PROV_ML_DSA_CTX *)vctx;
587
0
    struct ml_dsa_verifymsg_set_ctx_params_st p;
588
589
0
    if (pctx == NULL || !ml_dsa_verifymsg_set_ctx_params_decoder(params, &p))
590
0
        return 0;
591
592
0
    if (p.ctx != NULL) {
593
0
        void *vp = pctx->context_string;
594
595
0
        if (!OSSL_PARAM_get_octet_string(p.ctx, &vp, sizeof(pctx->context_string),
596
0
                                         &(pctx->context_string_len))) {
597
0
            pctx->context_string_len = 0;
598
0
            return 0;
599
0
        }
600
0
    }
601
602
0
    if (p.ent != NULL) {
603
0
        void *vp = pctx->test_entropy;
604
605
0
        pctx->test_entropy_len = 0;
606
0
        if (!OSSL_PARAM_get_octet_string(p.ent, &vp, sizeof(pctx->test_entropy),
607
0
                                         &(pctx->test_entropy_len)))
608
0
                return 0;
609
0
        if (pctx->test_entropy_len != sizeof(pctx->test_entropy)) {
610
0
            pctx->test_entropy_len = 0;
611
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_SEED_LENGTH);
612
0
            return 0;
613
0
        }
614
0
    }
615
616
0
    if (p.det != NULL && !OSSL_PARAM_get_int(p.det, &pctx->deterministic))
617
0
        return 0;
618
619
0
    if (p.msgenc != NULL && !OSSL_PARAM_get_int(p.msgenc, &pctx->msg_encode))
620
0
        return 0;
621
622
0
    if (p.mu != NULL && !OSSL_PARAM_get_int(p.mu, &pctx->mu))
623
0
        return 0;
624
625
0
    if (p.sig != NULL && pctx->operation == EVP_PKEY_OP_VERIFYMSG) {
626
0
        OPENSSL_free(pctx->sig);
627
0
        pctx->sig = NULL;
628
0
        pctx->siglen = 0;
629
0
        if (!OSSL_PARAM_get_octet_string(p.sig, (void **)&pctx->sig,
630
0
                                         0, &pctx->siglen))
631
0
            return 0;
632
0
    }
633
634
0
    return 1;
635
0
}
636
637
static const OSSL_PARAM *ml_dsa_settable_ctx_params(void *vctx,
638
                                                    ossl_unused void *provctx)
639
0
{
640
0
    PROV_ML_DSA_CTX *pctx = (PROV_ML_DSA_CTX *)vctx;
641
642
0
    if (pctx != NULL && pctx->operation == EVP_PKEY_OP_VERIFYMSG)
643
0
        return ml_dsa_verifymsg_set_ctx_params_list;
644
0
    else
645
0
        return ml_dsa_set_ctx_params_list;
646
0
}
647
648
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
649
#ifndef ml_dsa_get_ctx_params_list
650
static const OSSL_PARAM ml_dsa_get_ctx_params_list[] = {
651
    OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_ALGORITHM_ID, NULL, 0),
652
    OSSL_PARAM_END
653
};
654
#endif
655
656
#ifndef ml_dsa_get_ctx_params_st
657
struct ml_dsa_get_ctx_params_st {
658
    OSSL_PARAM *id;
659
};
660
#endif
661
662
#ifndef ml_dsa_get_ctx_params_decoder
663
static int ml_dsa_get_ctx_params_decoder
664
    (const OSSL_PARAM *p, struct ml_dsa_get_ctx_params_st *r)
665
0
{
666
0
    const char *s;
667
668
0
    memset(r, 0, sizeof(*r));
669
0
    if (p != NULL)
670
0
        for (; (s = p->key) != NULL; p++)
671
0
            if (ossl_likely(strcmp("algorithm-id", s + 0) == 0)) {
672
                /* SIGNATURE_PARAM_ALGORITHM_ID */
673
0
                if (ossl_unlikely(r->id != NULL)) {
674
0
                    ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
675
0
                                   "param %s is repeated", s);
676
0
                    return 0;
677
0
                }
678
0
                r->id = (OSSL_PARAM *)p;
679
0
            }
680
0
    return 1;
681
0
}
682
#endif
683
/* End of machine generated */
684
685
static const OSSL_PARAM *ml_dsa_gettable_ctx_params(ossl_unused void *vctx,
686
                                                    ossl_unused void *provctx)
687
0
{
688
0
    return ml_dsa_get_ctx_params_list;
689
0
}
690
691
static int ml_dsa_get_ctx_params(void *vctx, OSSL_PARAM *params)
692
0
{
693
0
    PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
694
0
    struct ml_dsa_get_ctx_params_st p;
695
696
0
    if (ctx == NULL || !ml_dsa_get_ctx_params_decoder(params, &p))
697
0
        return 0;
698
699
0
    if (p.id != NULL
700
0
        && !OSSL_PARAM_set_octet_string(p.id,
701
0
                                        ctx->aid_len == 0 ? NULL : ctx->aid_buf,
702
0
                                        ctx->aid_len))
703
0
        return 0;
704
705
0
    return 1;
706
0
}
707
708
#define MAKE_SIGNATURE_FUNCTIONS(alg)                                          \
709
    static OSSL_FUNC_signature_newctx_fn ml_dsa_##alg##_newctx;                \
710
    static void *ml_dsa_##alg##_newctx(void *provctx, const char *propq)       \
711
0
    {                                                                          \
712
0
        return ml_dsa_newctx(provctx, EVP_PKEY_ML_DSA_##alg, propq);           \
713
0
    }                                                                          \
Unexecuted instantiation: ml_dsa_sig.c:ml_dsa_44_newctx
Unexecuted instantiation: ml_dsa_sig.c:ml_dsa_65_newctx
Unexecuted instantiation: ml_dsa_sig.c:ml_dsa_87_newctx
714
    const OSSL_DISPATCH ossl_ml_dsa_##alg##_signature_functions[] = {          \
715
        { OSSL_FUNC_SIGNATURE_NEWCTX, (void (*)(void))ml_dsa_##alg##_newctx }, \
716
        { OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_INIT,                               \
717
          (void (*)(void))ml_dsa_sign_msg_init },                              \
718
        { OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_UPDATE,                             \
719
          (void (*)(void))ml_dsa_signverify_msg_update },                      \
720
        { OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_FINAL,                              \
721
          (void (*)(void))ml_dsa_sign_msg_final },                             \
722
        { OSSL_FUNC_SIGNATURE_SIGN, (void (*)(void))ml_dsa_sign },             \
723
        { OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_INIT,                             \
724
          (void (*)(void))ml_dsa_verify_msg_init },                            \
725
        { OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_UPDATE,                           \
726
          (void (*)(void))ml_dsa_signverify_msg_update },                      \
727
        { OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_FINAL,                            \
728
          (void (*)(void))ml_dsa_verify_msg_final },                           \
729
        { OSSL_FUNC_SIGNATURE_VERIFY, (void (*)(void))ml_dsa_verify },         \
730
        { OSSL_FUNC_SIGNATURE_DIGEST_SIGN_INIT,                                \
731
          (void (*)(void))ml_dsa_digest_signverify_init },                     \
732
        { OSSL_FUNC_SIGNATURE_DIGEST_SIGN,                                     \
733
          (void (*)(void))ml_dsa_digest_sign },                                \
734
        { OSSL_FUNC_SIGNATURE_DIGEST_VERIFY_INIT,                              \
735
          (void (*)(void))ml_dsa_digest_signverify_init },                     \
736
        { OSSL_FUNC_SIGNATURE_DIGEST_VERIFY,                                   \
737
          (void (*)(void))ml_dsa_digest_verify },                              \
738
        { OSSL_FUNC_SIGNATURE_FREECTX, (void (*)(void))ml_dsa_freectx },       \
739
        { OSSL_FUNC_SIGNATURE_SET_CTX_PARAMS,                                  \
740
          (void (*)(void))ml_dsa_set_ctx_params },                             \
741
        { OSSL_FUNC_SIGNATURE_SETTABLE_CTX_PARAMS,                             \
742
          (void (*)(void))ml_dsa_settable_ctx_params },                        \
743
        { OSSL_FUNC_SIGNATURE_GET_CTX_PARAMS,                                  \
744
          (void (*)(void))ml_dsa_get_ctx_params },                             \
745
        { OSSL_FUNC_SIGNATURE_GETTABLE_CTX_PARAMS,                             \
746
          (void (*)(void))ml_dsa_gettable_ctx_params },                        \
747
        { OSSL_FUNC_SIGNATURE_DUPCTX, (void (*)(void))ml_dsa_dupctx },         \
748
        OSSL_DISPATCH_END                                                      \
749
    }
750
751
MAKE_SIGNATURE_FUNCTIONS(44);
752
MAKE_SIGNATURE_FUNCTIONS(65);
753
MAKE_SIGNATURE_FUNCTIONS(87);