Coverage Report

Created: 2026-10-28 06:28

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl36/providers/implementations/digests/sha3_prov.c
Line
Count
Source
1
/*
2
 * Copyright 2019-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
/* clang-format off */
10
11
/* clang-format on */
12
13
#include <string.h>
14
#include <openssl/core_names.h>
15
#include <openssl/crypto.h>
16
#include <openssl/evp.h>
17
#include <openssl/params.h>
18
#include <openssl/err.h>
19
#include <openssl/proverr.h>
20
#include "internal/cryptlib.h"
21
#include "internal/numbers.h"
22
#include "internal/sha3.h"
23
#include "prov/digestcommon.h"
24
#include "prov/implementations.h"
25
#include "internal/common.h"
26
27
#define SHA3_FLAGS PROV_DIGEST_FLAG_ALGID_ABSENT
28
#define SHAKE_FLAGS (PROV_DIGEST_FLAG_XOF | PROV_DIGEST_FLAG_ALGID_ABSENT)
29
#define KMAC_FLAGS PROV_DIGEST_FLAG_XOF
30
31
/*
32
 * Forward declaration of any unique methods implemented here. This is not strictly
33
 * necessary for the compiler, but provides an assurance that the signatures
34
 * of the functions in the dispatch table are correct.
35
 */
36
static OSSL_FUNC_digest_init_fn keccak_init;
37
static OSSL_FUNC_digest_init_fn keccak_init_params;
38
static OSSL_FUNC_digest_update_fn keccak_update;
39
static OSSL_FUNC_digest_final_fn keccak_final;
40
static OSSL_FUNC_digest_freectx_fn keccak_freectx;
41
static OSSL_FUNC_digest_copyctx_fn keccak_copyctx;
42
static OSSL_FUNC_digest_dupctx_fn keccak_dupctx;
43
static OSSL_FUNC_digest_squeeze_fn shake_squeeze;
44
static OSSL_FUNC_digest_get_ctx_params_fn shake_get_ctx_params;
45
static OSSL_FUNC_digest_gettable_ctx_params_fn shake_gettable_ctx_params;
46
static OSSL_FUNC_digest_set_ctx_params_fn shake_set_ctx_params;
47
static OSSL_FUNC_digest_settable_ctx_params_fn shake_settable_ctx_params;
48
static sha3_absorb_fn generic_sha3_absorb;
49
static sha3_final_fn generic_sha3_final;
50
static sha3_squeeze_fn generic_sha3_squeeze;
51
52
#if defined(OPENSSL_CPUID_OBJ) && defined(__s390__) && defined(KECCAK1600_ASM)
53
/*
54
 * IBM S390X support
55
 */
56
#include "s390x_arch.h"
57
#define S390_SHA3 1
58
#define S390_SHA3_CAPABLE(name) \
59
    ((OPENSSL_s390xcap_P.kimd[0] & S390X_CAPBIT(S390X_##name)) && (OPENSSL_s390xcap_P.klmd[0] & S390X_CAPBIT(S390X_##name)))
60
61
#endif
62
63
static int keccak_init(void *vctx, ossl_unused const OSSL_PARAM params[])
64
186M
{
65
186M
    if (ossl_unlikely(!ossl_prov_is_running()))
66
0
        return 0;
67
    /* The newctx() handles most of the ctx fixed setup. */
68
186M
    ossl_sha3_reset((KECCAK1600_CTX *)vctx);
69
186M
    return 1;
70
186M
}
71
72
static int keccak_init_params(void *vctx, const OSSL_PARAM params[])
73
346M
{
74
346M
    return keccak_init(vctx, NULL)
75
346M
        && shake_set_ctx_params(vctx, params);
76
346M
}
77
78
static int keccak_update(void *vctx, const unsigned char *inp, size_t len)
79
566M
{
80
566M
    KECCAK1600_CTX *ctx = vctx;
81
566M
    const size_t bsz = ctx->block_size;
82
566M
    size_t num, rem;
83
84
566M
    if (ossl_unlikely(len == 0))
85
0
        return 1;
86
87
    /* Is there anything in the buffer already ? */
88
566M
    if (ossl_likely((num = ctx->bufsz) != 0)) {
89
        /* Calculate how much space is left in the buffer */
90
381M
        rem = bsz - num;
91
        /* If the new input does not fill the buffer then just add it */
92
381M
        if (len < rem) {
93
381M
            memcpy(ctx->buf + num, inp, len);
94
381M
            ctx->bufsz += len;
95
381M
            return 1;
96
381M
        }
97
        /* otherwise fill up the buffer and absorb the buffer */
98
224k
        memcpy(ctx->buf + num, inp, rem);
99
        /* Update the input pointer */
100
224k
        inp += rem;
101
224k
        len -= rem;
102
224k
        ctx->meth.absorb(ctx, ctx->buf, bsz);
103
224k
        ctx->bufsz = 0;
104
224k
    }
105
    /* Absorb the input - rem = leftover part of the input < blocksize) */
106
185M
    rem = ctx->meth.absorb(ctx, inp, len);
107
    /* Copy the leftover bit of the input into the buffer */
108
185M
    if (ossl_likely(rem)) {
109
185M
        memcpy(ctx->buf, inp + len - rem, rem);
110
185M
        ctx->bufsz = rem;
111
185M
    }
112
185M
    return 1;
113
566M
}
114
115
static int keccak_final(void *vctx, unsigned char *out, size_t *outl,
116
    size_t outlen)
117
185M
{
118
185M
    int ret = 1;
119
185M
    KECCAK1600_CTX *ctx = vctx;
120
121
185M
    if (ossl_unlikely(!ossl_prov_is_running()))
122
0
        return 0;
123
185M
    if (ossl_unlikely(ctx->md_size == SIZE_MAX)) {
124
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_LENGTH);
125
0
        return 0;
126
0
    }
127
185M
    if (ossl_likely(outlen > 0))
128
185M
        ret = ctx->meth.final(ctx, out, ctx->md_size);
129
130
185M
    *outl = ctx->md_size;
131
185M
    return ret;
132
185M
}
133
134
static int shake_squeeze(void *vctx, unsigned char *out, size_t *outl,
135
    size_t outlen)
136
1.14M
{
137
1.14M
    int ret = 1;
138
1.14M
    KECCAK1600_CTX *ctx = vctx;
139
140
1.14M
    if (!ossl_prov_is_running())
141
0
        return 0;
142
1.14M
    if (ctx->meth.squeeze == NULL)
143
0
        return 0;
144
1.14M
    if (outlen > 0)
145
1.14M
        ret = ctx->meth.squeeze(ctx, out, outlen);
146
147
1.14M
    *outl = outlen;
148
1.14M
    return ret;
149
1.14M
}
150
151
/*-
152
 * Generic software version of the absorb() and final().
153
 */
154
static size_t generic_sha3_absorb(void *vctx, const void *inp, size_t len)
155
346M
{
156
346M
    KECCAK1600_CTX *ctx = vctx;
157
158
346M
    if (!(ctx->xof_state == XOF_STATE_INIT || ctx->xof_state == XOF_STATE_ABSORB))
159
0
        return 0;
160
346M
    ctx->xof_state = XOF_STATE_ABSORB;
161
346M
    return SHA3_absorb(ctx->A, inp, len, ctx->block_size);
162
346M
}
163
164
static int generic_sha3_final(void *vctx, unsigned char *out, size_t outlen)
165
345M
{
166
345M
    return ossl_sha3_final((KECCAK1600_CTX *)vctx, out, outlen);
167
345M
}
168
169
static int generic_sha3_squeeze(void *vctx, unsigned char *out, size_t outlen)
170
1.14M
{
171
1.14M
    return ossl_sha3_squeeze((KECCAK1600_CTX *)vctx, out, outlen);
172
1.14M
}
173
174
static PROV_SHA3_METHOD sha3_generic_md = {
175
    generic_sha3_absorb,
176
    generic_sha3_final,
177
    NULL
178
};
179
180
static PROV_SHA3_METHOD shake_generic_md = {
181
    generic_sha3_absorb,
182
    generic_sha3_final,
183
    generic_sha3_squeeze
184
};
185
186
#if defined(S390_SHA3)
187
188
static sha3_absorb_fn s390x_sha3_absorb;
189
static sha3_final_fn s390x_sha3_final;
190
static sha3_final_fn s390x_shake_final;
191
192
/*-
193
 * The platform specific parts of the absorb() and final() for S390X.
194
 */
195
static size_t s390x_sha3_absorb(void *vctx, const void *inp, size_t len)
196
{
197
    KECCAK1600_CTX *ctx = vctx;
198
    size_t rem = len % ctx->block_size;
199
    unsigned int fc;
200
201
    if (!(ctx->xof_state == XOF_STATE_INIT || ctx->xof_state == XOF_STATE_ABSORB))
202
        return 0;
203
    if (len - rem > 0) {
204
        fc = ctx->pad;
205
        fc |= ctx->xof_state == XOF_STATE_INIT ? S390X_KIMD_NIP : 0;
206
        ctx->xof_state = XOF_STATE_ABSORB;
207
        s390x_kimd(inp, len - rem, fc, ctx->A);
208
    }
209
    return rem;
210
}
211
212
static int s390x_sha3_final(void *vctx, unsigned char *out, size_t outlen)
213
{
214
    KECCAK1600_CTX *ctx = vctx;
215
    unsigned int fc;
216
217
    if (!ossl_prov_is_running())
218
        return 0;
219
    if (!(ctx->xof_state == XOF_STATE_INIT || ctx->xof_state == XOF_STATE_ABSORB))
220
        return 0;
221
    fc = ctx->pad | S390X_KLMD_DUFOP;
222
    fc |= ctx->xof_state == XOF_STATE_INIT ? S390X_KLMD_NIP : 0;
223
    ctx->xof_state = XOF_STATE_FINAL;
224
    s390x_klmd(ctx->buf, ctx->bufsz, NULL, 0, fc, ctx->A);
225
    memcpy(out, ctx->A, outlen);
226
    return 1;
227
}
228
229
static int s390x_shake_final(void *vctx, unsigned char *out, size_t outlen)
230
{
231
    KECCAK1600_CTX *ctx = vctx;
232
    unsigned int fc;
233
234
    if (!ossl_prov_is_running())
235
        return 0;
236
    if (!(ctx->xof_state == XOF_STATE_INIT || ctx->xof_state == XOF_STATE_ABSORB))
237
        return 0;
238
    fc = ctx->pad | S390X_KLMD_DUFOP;
239
    fc |= ctx->xof_state == XOF_STATE_INIT ? S390X_KLMD_NIP : 0;
240
    ctx->xof_state = XOF_STATE_FINAL;
241
    s390x_klmd(ctx->buf, ctx->bufsz, out, outlen, fc, ctx->A);
242
    return 1;
243
}
244
245
static int s390x_shake_squeeze(void *vctx, unsigned char *out, size_t outlen)
246
{
247
    KECCAK1600_CTX *ctx = vctx;
248
    unsigned int fc;
249
    size_t len;
250
251
    if (!ossl_prov_is_running())
252
        return 0;
253
    if (ctx->xof_state == XOF_STATE_FINAL)
254
        return 0;
255
    /*
256
     * On the first squeeze call, finish the absorb process (incl. padding).
257
     */
258
    if (ctx->xof_state != XOF_STATE_SQUEEZE) {
259
        fc = ctx->pad;
260
        fc |= ctx->xof_state == XOF_STATE_INIT ? S390X_KLMD_NIP : 0;
261
        ctx->xof_state = XOF_STATE_SQUEEZE;
262
        s390x_klmd(ctx->buf, ctx->bufsz, out, outlen, fc, ctx->A);
263
        ctx->bufsz = outlen % ctx->block_size;
264
        /* reuse ctx->bufsz to count bytes squeezed from current sponge */
265
        return 1;
266
    }
267
    ctx->xof_state = XOF_STATE_SQUEEZE;
268
    if (ctx->bufsz != 0) {
269
        len = ctx->block_size - ctx->bufsz;
270
        if (outlen < len)
271
            len = outlen;
272
        memcpy(out, (char *)ctx->A + ctx->bufsz, len);
273
        out += len;
274
        outlen -= len;
275
        ctx->bufsz += len;
276
        if (ctx->bufsz == ctx->block_size)
277
            ctx->bufsz = 0;
278
    }
279
    if (outlen == 0)
280
        return 1;
281
    s390x_klmd(NULL, 0, out, outlen, ctx->pad | S390X_KLMD_PS, ctx->A);
282
    ctx->bufsz = outlen % ctx->block_size;
283
284
    return 1;
285
}
286
287
static int s390x_keccakc_final(void *vctx, unsigned char *out, size_t outlen,
288
    int padding)
289
{
290
    KECCAK1600_CTX *ctx = vctx;
291
    size_t bsz = ctx->block_size;
292
    size_t num = ctx->bufsz;
293
    size_t needed = outlen;
294
    unsigned int fc;
295
296
    if (!ossl_prov_is_running())
297
        return 0;
298
    if (!(ctx->xof_state == XOF_STATE_INIT || ctx->xof_state == XOF_STATE_ABSORB))
299
        return 0;
300
    fc = ctx->pad;
301
    fc |= ctx->xof_state == XOF_STATE_INIT ? S390X_KIMD_NIP : 0;
302
    ctx->xof_state = XOF_STATE_FINAL;
303
    if (outlen == 0)
304
        return 1;
305
    memset(ctx->buf + num, 0, bsz - num);
306
    ctx->buf[num] = padding;
307
    ctx->buf[bsz - 1] |= 0x80;
308
    s390x_kimd(ctx->buf, bsz, fc, ctx->A);
309
    num = needed > bsz ? bsz : needed;
310
    memcpy(out, ctx->A, num);
311
    needed -= num;
312
    if (needed > 0)
313
        s390x_klmd(NULL, 0, out + bsz, needed,
314
            ctx->pad | S390X_KLMD_PS | S390X_KLMD_DUFOP, ctx->A);
315
316
    return 1;
317
}
318
319
static int s390x_keccak_final(void *vctx, unsigned char *out, size_t outlen)
320
{
321
    return s390x_keccakc_final(vctx, out, outlen, 0x01);
322
}
323
324
static int s390x_kmac_final(void *vctx, unsigned char *out, size_t outlen)
325
{
326
    return s390x_keccakc_final(vctx, out, outlen, 0x04);
327
}
328
329
static int s390x_keccakc_squeeze(void *vctx, unsigned char *out, size_t outlen,
330
    int padding)
331
{
332
    KECCAK1600_CTX *ctx = vctx;
333
    size_t len;
334
    unsigned int fc;
335
336
    if (!ossl_prov_is_running())
337
        return 0;
338
    if (ctx->xof_state == XOF_STATE_FINAL)
339
        return 0;
340
    /*
341
     * On the first squeeze call, finish the absorb process
342
     * by adding the trailing padding and then doing
343
     * a final absorb.
344
     */
345
    if (ctx->xof_state != XOF_STATE_SQUEEZE) {
346
        len = ctx->block_size - ctx->bufsz;
347
        memset(ctx->buf + ctx->bufsz, 0, len);
348
        ctx->buf[ctx->bufsz] = padding;
349
        ctx->buf[ctx->block_size - 1] |= 0x80;
350
        fc = ctx->pad;
351
        fc |= ctx->xof_state == XOF_STATE_INIT ? S390X_KIMD_NIP : 0;
352
        s390x_kimd(ctx->buf, ctx->block_size, fc, ctx->A);
353
        ctx->bufsz = 0;
354
        /* reuse ctx->bufsz to count bytes squeezed from current sponge */
355
    }
356
    if (ctx->bufsz != 0 || ctx->xof_state != XOF_STATE_SQUEEZE) {
357
        len = ctx->block_size - ctx->bufsz;
358
        if (outlen < len)
359
            len = outlen;
360
        memcpy(out, (char *)ctx->A + ctx->bufsz, len);
361
        out += len;
362
        outlen -= len;
363
        ctx->bufsz += len;
364
        if (ctx->bufsz == ctx->block_size)
365
            ctx->bufsz = 0;
366
    }
367
    ctx->xof_state = XOF_STATE_SQUEEZE;
368
    if (outlen == 0)
369
        return 1;
370
    s390x_klmd(NULL, 0, out, outlen, ctx->pad | S390X_KLMD_PS, ctx->A);
371
    ctx->bufsz = outlen % ctx->block_size;
372
373
    return 1;
374
}
375
376
static int s390x_keccak_squeeze(void *vctx, unsigned char *out, size_t outlen)
377
{
378
    return s390x_keccakc_squeeze(vctx, out, outlen, 0x01);
379
}
380
381
static int s390x_kmac_squeeze(void *vctx, unsigned char *out, size_t outlen)
382
{
383
    return s390x_keccakc_squeeze(vctx, out, outlen, 0x04);
384
}
385
386
static PROV_SHA3_METHOD sha3_s390x_md = {
387
    s390x_sha3_absorb,
388
    s390x_sha3_final,
389
    NULL,
390
};
391
392
static PROV_SHA3_METHOD keccak_s390x_md = {
393
    s390x_sha3_absorb,
394
    s390x_keccak_final,
395
    s390x_keccak_squeeze,
396
};
397
398
static PROV_SHA3_METHOD shake_s390x_md = {
399
    s390x_sha3_absorb,
400
    s390x_shake_final,
401
    s390x_shake_squeeze,
402
};
403
404
static PROV_SHA3_METHOD kmac_s390x_md = {
405
    s390x_sha3_absorb,
406
    s390x_kmac_final,
407
    s390x_kmac_squeeze,
408
};
409
410
#define SHAKE_SET_MD(uname, typ)      \
411
    if (S390_SHA3_CAPABLE(uname)) {   \
412
        ctx->pad = S390X_##uname;     \
413
        ctx->meth = typ##_s390x_md;   \
414
    } else {                          \
415
        ctx->meth = shake_generic_md; \
416
    }
417
418
#define SHA3_SET_MD(uname, typ)      \
419
    if (S390_SHA3_CAPABLE(uname)) {  \
420
        ctx->pad = S390X_##uname;    \
421
        ctx->meth = typ##_s390x_md;  \
422
    } else {                         \
423
        ctx->meth = sha3_generic_md; \
424
    }
425
#define KMAC_SET_MD(bitlen)                  \
426
    if (S390_SHA3_CAPABLE(SHAKE_##bitlen)) { \
427
        ctx->pad = S390X_SHAKE_##bitlen;     \
428
        ctx->meth = kmac_s390x_md;           \
429
    } else {                                 \
430
        ctx->meth = sha3_generic_md;         \
431
    }
432
#elif defined(__aarch64__) && defined(KECCAK1600_ASM)
433
#include "arm_arch.h"
434
435
static sha3_absorb_fn armsha3_sha3_absorb;
436
437
size_t SHA3_absorb_cext(uint64_t A[5][5], const unsigned char *inp, size_t len,
438
    size_t r);
439
/*-
440
 * Hardware-assisted ARMv8.2 SHA3 extension version of the absorb()
441
 */
442
static size_t armsha3_sha3_absorb(void *vctx, const void *inp, size_t len)
443
{
444
    KECCAK1600_CTX *ctx = vctx;
445
446
    return SHA3_absorb_cext(ctx->A, inp, len, ctx->block_size);
447
}
448
449
static PROV_SHA3_METHOD sha3_ARMSHA3_md = {
450
    armsha3_sha3_absorb,
451
    generic_sha3_final
452
};
453
static PROV_SHA3_METHOD shake_ARMSHA3_md = {
454
    armsha3_sha3_absorb,
455
    generic_sha3_final,
456
    generic_sha3_squeeze
457
};
458
#define SHAKE_SET_MD(uname, typ)                              \
459
    if (OPENSSL_armcap_P & ARMV8_HAVE_SHA3_AND_WORTH_USING) { \
460
        ctx->meth = shake_ARMSHA3_md;                         \
461
    } else {                                                  \
462
        ctx->meth = shake_generic_md;                         \
463
    }
464
465
#define SHA3_SET_MD(uname, typ)                               \
466
    if (OPENSSL_armcap_P & ARMV8_HAVE_SHA3_AND_WORTH_USING) { \
467
        ctx->meth = sha3_ARMSHA3_md;                          \
468
    } else {                                                  \
469
        ctx->meth = sha3_generic_md;                          \
470
    }
471
#define KMAC_SET_MD(bitlen)                                   \
472
    if (OPENSSL_armcap_P & ARMV8_HAVE_SHA3_AND_WORTH_USING) { \
473
        ctx->meth = sha3_ARMSHA3_md;                          \
474
    } else {                                                  \
475
        ctx->meth = sha3_generic_md;                          \
476
    }
477
#else
478
67.7k
#define SHA3_SET_MD(uname, typ) ctx->meth = sha3_generic_md;
479
272
#define KMAC_SET_MD(bitlen) ctx->meth = sha3_generic_md;
480
69.0k
#define SHAKE_SET_MD(uname, typ) ctx->meth = shake_generic_md;
481
#endif /* S390_SHA3 */
482
483
#define SHA3_newctx(typ, uname, name, bitlen, pad)                                  \
484
    static OSSL_FUNC_digest_newctx_fn name##_newctx;                                \
485
    static void *name##_newctx(void *provctx)                                       \
486
67.7k
    {                                                                               \
487
67.7k
        KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
488
67.7k
                                                     : NULL;                        \
489
67.7k
                                                                                    \
490
67.7k
        if (ctx == NULL)                                                            \
491
67.7k
            return NULL;                                                            \
492
67.7k
        ossl_sha3_init(ctx, pad, bitlen);                                           \
493
67.7k
        SHA3_SET_MD(uname, typ)                                                     \
494
67.7k
        return ctx;                                                                 \
495
67.7k
    }
496
497
#define SHAKE_newctx(typ, uname, name, bitlen, mdlen, pad)                          \
498
    static OSSL_FUNC_digest_newctx_fn name##_newctx;                                \
499
    static void *name##_newctx(void *provctx)                                       \
500
69.0k
    {                                                                               \
501
69.0k
        KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
502
69.0k
                                                     : NULL;                        \
503
69.0k
                                                                                    \
504
69.0k
        if (ctx == NULL)                                                            \
505
69.0k
            return NULL;                                                            \
506
69.0k
        ossl_keccak_init(ctx, pad, bitlen, mdlen);                                  \
507
69.0k
        if (mdlen == 0)                                                             \
508
69.0k
            ctx->md_size = SIZE_MAX;                                                \
509
69.0k
        SHAKE_SET_MD(uname, typ)                                                    \
510
69.0k
        return ctx;                                                                 \
511
69.0k
    }
512
513
#define KMAC_newctx(uname, bitlen, pad)                                             \
514
    static OSSL_FUNC_digest_newctx_fn uname##_newctx;                               \
515
    static void *uname##_newctx(void *provctx)                                      \
516
272
    {                                                                               \
517
272
        KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
518
272
                                                     : NULL;                        \
519
272
                                                                                    \
520
272
        if (ctx == NULL)                                                            \
521
272
            return NULL;                                                            \
522
272
        ossl_keccak_init(ctx, pad, bitlen, 2 * bitlen);                             \
523
272
        KMAC_SET_MD(bitlen)                                                         \
524
272
        return ctx;                                                                 \
525
272
    }
526
527
#define PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags) \
528
    PROV_FUNC_DIGEST_GET_PARAM(name, blksize, dgstsize, flags)               \
529
    const OSSL_DISPATCH ossl_##name##_functions[] = {                        \
530
        { OSSL_FUNC_DIGEST_NEWCTX, (void (*)(void))name##_newctx },          \
531
        { OSSL_FUNC_DIGEST_UPDATE, (void (*)(void))keccak_update },          \
532
        { OSSL_FUNC_DIGEST_FINAL, (void (*)(void))keccak_final },            \
533
        { OSSL_FUNC_DIGEST_FREECTX, (void (*)(void))keccak_freectx },        \
534
        { OSSL_FUNC_DIGEST_DUPCTX, (void (*)(void))keccak_dupctx },          \
535
        { OSSL_FUNC_DIGEST_COPYCTX, (void (*)(void))keccak_copyctx },        \
536
        PROV_DISPATCH_FUNC_DIGEST_GET_PARAMS(name)
537
538
#ifdef FIPS_MODULE
539
#define PROV_SHA3_FIPS_GET_CTX_PARAMS \
540
    PROV_DISPATCH_FUNC_DIGEST_GET_CTX_PARAMS,
541
#else
542
#define PROV_SHA3_FIPS_GET_CTX_PARAMS
543
#endif
544
545
#define PROV_FUNC_SHA3_DIGEST(name, bitlen, blksize, dgstsize, flags)     \
546
    PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags), \
547
        { OSSL_FUNC_DIGEST_INIT, (void (*)(void))keccak_init },           \
548
        PROV_SHA3_FIPS_GET_CTX_PARAMS                                     \
549
            PROV_DISPATCH_FUNC_DIGEST_CONSTRUCT_END
550
551
#define PROV_FUNC_SHAKE_DIGEST(name, bitlen, blksize, dgstsize, flags)             \
552
    PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags),          \
553
        { OSSL_FUNC_DIGEST_SQUEEZE, (void (*)(void))shake_squeeze },               \
554
        { OSSL_FUNC_DIGEST_INIT, (void (*)(void))keccak_init_params },             \
555
        { OSSL_FUNC_DIGEST_SET_CTX_PARAMS, (void (*)(void))shake_set_ctx_params }, \
556
        { OSSL_FUNC_DIGEST_SETTABLE_CTX_PARAMS,                                    \
557
            (void (*)(void))shake_settable_ctx_params },                           \
558
        { OSSL_FUNC_DIGEST_GET_CTX_PARAMS, (void (*)(void))shake_get_ctx_params }, \
559
        { OSSL_FUNC_DIGEST_GETTABLE_CTX_PARAMS,                                    \
560
            (void (*)(void))shake_gettable_ctx_params },                           \
561
        PROV_DISPATCH_FUNC_DIGEST_CONSTRUCT_END
562
563
static void keccak_freectx(void *vctx)
564
378k
{
565
378k
    KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
566
567
378k
    OPENSSL_clear_free(ctx, sizeof(*ctx));
568
378k
}
569
570
static void keccak_copyctx(void *voutctx, void *vinctx)
571
5.64k
{
572
5.64k
    KECCAK1600_CTX *outctx = (KECCAK1600_CTX *)voutctx;
573
5.64k
    KECCAK1600_CTX *inctx = (KECCAK1600_CTX *)vinctx;
574
575
5.64k
    *outctx = *inctx;
576
5.64k
}
577
578
static void *keccak_dupctx(void *ctx)
579
3.17k
{
580
3.17k
    KECCAK1600_CTX *in = (KECCAK1600_CTX *)ctx;
581
3.17k
    KECCAK1600_CTX *ret = ossl_prov_is_running() ? OPENSSL_malloc(sizeof(*ret))
582
3.17k
                                                 : NULL;
583
584
3.17k
    if (ret != NULL)
585
3.17k
        *ret = *in;
586
3.17k
    return ret;
587
3.17k
}
588
589
/* clang-format off */
590
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
591
#ifndef shake_get_ctx_params_list
592
static ossl_unused const OSSL_PARAM shake_get_ctx_params_list[] = {
593
    OSSL_PARAM_size_t(OSSL_DIGEST_PARAM_XOFLEN, NULL),
594
    OSSL_PARAM_size_t(OSSL_DIGEST_PARAM_SIZE, NULL),
595
# if defined(FIPS_MODULE)
596
    OSSL_PARAM_int(OSSL_DIGEST_PARAM_FIPS_APPROVED_INDICATOR, NULL),
597
# endif
598
    OSSL_PARAM_END
599
};
600
#endif
601
602
#ifndef shake_get_ctx_params_st
603
struct shake_get_ctx_params_st {
604
    OSSL_PARAM *size;
605
    OSSL_PARAM *xoflen;
606
};
607
#endif
608
609
#ifndef shake_get_ctx_params_decoder
610
static ossl_unused int shake_get_ctx_params_decoder
611
    (const OSSL_PARAM *p, struct shake_get_ctx_params_st *r)
612
408
{
613
408
    const char *s;
614
615
408
    memset(r, 0, sizeof(*r));
616
408
    if (p != NULL)
617
816
        for (; (s = p->key) != NULL; p++)
618
408
            switch(s[0]) {
619
0
            default:
620
0
                break;
621
0
            case 'f':
622
# if defined(FIPS_MODULE)
623
                if (ossl_likely(strcmp("ips-indicator", s + 1) == 0)) {
624
                    /* OSSL_DIGEST_PARAM_FIPS_APPROVED_INDICATOR */
625
                    if (!OSSL_PARAM_set_int((OSSL_PARAM *)p, 1))
626
                        return 0;
627
                }
628
# endif
629
0
                break;
630
408
            case 's':
631
408
                if (ossl_likely(strcmp("ize", s + 1) == 0)) {
632
                    /* OSSL_DIGEST_PARAM_SIZE */
633
408
                    if (ossl_unlikely(r->size != NULL)) {
634
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
635
0
                                       "param %s is repeated", s);
636
0
                        return 0;
637
0
                    }
638
408
                    r->size = (OSSL_PARAM *)p;
639
408
                }
640
408
                break;
641
408
            case 'x':
642
0
                if (ossl_likely(strcmp("oflen", s + 1) == 0)) {
643
                    /* OSSL_DIGEST_PARAM_XOFLEN */
644
0
                    if (ossl_unlikely(r->xoflen != NULL)) {
645
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
646
0
                                       "param %s is repeated", s);
647
0
                        return 0;
648
0
                    }
649
0
                    r->xoflen = (OSSL_PARAM *)p;
650
0
                }
651
408
            }
652
408
    return 1;
653
408
}
654
#endif
655
/* End of machine generated */
656
/* clang-format on */
657
658
static const OSSL_PARAM *shake_gettable_ctx_params(ossl_unused void *ctx,
659
    ossl_unused void *provctx)
660
418
{
661
418
    return shake_get_ctx_params_list;
662
418
}
663
664
static int shake_get_ctx_params(void *vctx, OSSL_PARAM params[])
665
408
{
666
408
    struct shake_get_ctx_params_st p;
667
408
    KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
668
669
408
    if (ctx == NULL || !shake_get_ctx_params_decoder(params, &p))
670
0
        return 0;
671
672
408
    if (p.xoflen != NULL && !OSSL_PARAM_set_size_t(p.xoflen, ctx->md_size)) {
673
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER);
674
0
        return 0;
675
0
    }
676
    /* Size is an alias of xoflen but separate them for compatibility */
677
408
    if (p.size != NULL && !OSSL_PARAM_set_size_t(p.size, ctx->md_size)) {
678
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER);
679
0
        return 0;
680
0
    }
681
408
    return 1;
682
408
}
683
684
/* clang-format off */
685
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
686
#ifndef shake_set_ctx_params_list
687
static ossl_unused const OSSL_PARAM shake_set_ctx_params_list[] = {
688
    OSSL_PARAM_size_t(OSSL_DIGEST_PARAM_XOFLEN, NULL),
689
    OSSL_PARAM_size_t(OSSL_DIGEST_PARAM_SIZE, NULL),
690
    OSSL_PARAM_END
691
};
692
#endif
693
694
#ifndef shake_set_ctx_params_st
695
struct shake_set_ctx_params_st {
696
    OSSL_PARAM *xoflen;
697
};
698
#endif
699
700
#ifndef shake_set_ctx_params_decoder
701
static ossl_unused int shake_set_ctx_params_decoder
702
    (const OSSL_PARAM *p, struct shake_set_ctx_params_st *r)
703
371M
{
704
371M
    const char *s;
705
706
371M
    memset(r, 0, sizeof(*r));
707
371M
    if (p != NULL)
708
370M
        for (; (s = p->key) != NULL; p++)
709
185M
            switch(s[0]) {
710
0
            default:
711
0
                break;
712
8
            case 's':
713
8
                if (ossl_likely(strcmp("ize", s + 1) == 0)) {
714
                    /* OSSL_DIGEST_PARAM_SIZE */
715
8
                    if (ossl_unlikely(r->xoflen != NULL)) {
716
8
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
717
8
                                       "param %s is repeated", s);
718
8
                        return 0;
719
8
                    }
720
0
                    r->xoflen = (OSSL_PARAM *)p;
721
0
                }
722
0
                break;
723
185M
            case 'x':
724
185M
                if (ossl_likely(strcmp("oflen", s + 1) == 0)) {
725
                    /* OSSL_DIGEST_PARAM_XOFLEN */
726
185M
                    if (ossl_unlikely(r->xoflen != NULL)) {
727
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_REPEATED_PARAMETER,
728
0
                                       "param %s is repeated", s);
729
0
                        return 0;
730
0
                    }
731
185M
                    r->xoflen = (OSSL_PARAM *)p;
732
185M
                }
733
185M
            }
734
371M
    return 1;
735
371M
}
736
#endif
737
/* End of machine generated */
738
/* clang-format on */
739
740
static const OSSL_PARAM *shake_settable_ctx_params(ossl_unused void *ctx,
741
    ossl_unused void *provctx)
742
25
{
743
25
    return shake_set_ctx_params_list;
744
25
}
745
746
static int shake_set_ctx_params(void *vctx, const OSSL_PARAM params[])
747
371M
{
748
371M
    struct shake_set_ctx_params_st p;
749
371M
    KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
750
751
371M
    if (ossl_unlikely(ctx == NULL || !shake_set_ctx_params_decoder(params, &p)))
752
8
        return 0;
753
754
371M
    if (ossl_unlikely(p.xoflen != NULL
755
371M
            && !OSSL_PARAM_get_size_t(p.xoflen, &ctx->md_size))) {
756
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER);
757
0
        return 0;
758
0
    }
759
371M
    return 1;
760
371M
}
761
762
#define IMPLEMENT_SHA3_functions(bitlen)                            \
763
    SHA3_newctx(sha3, SHA3_##bitlen, sha3_##bitlen, bitlen, '\x06') \
764
        PROV_FUNC_SHA3_DIGEST(sha3_##bitlen, bitlen,                \
765
            SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen),            \
766
            SHA3_FLAGS)
767
768
#define IMPLEMENT_KECCAK_functions(bitlen)                                \
769
    SHA3_newctx(keccak, KECCAK_##bitlen, keccak_##bitlen, bitlen, '\x01') \
770
        PROV_FUNC_SHA3_DIGEST(keccak_##bitlen, bitlen,                    \
771
            SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen),                  \
772
            SHA3_FLAGS)
773
774
#define IMPLEMENT_SHAKE_functions(bitlen)                       \
775
    SHAKE_newctx(shake, SHAKE_##bitlen, shake_##bitlen, bitlen, \
776
        0 /* no default md length */, '\x1f')                   \
777
        PROV_FUNC_SHAKE_DIGEST(shake_##bitlen, bitlen,          \
778
            SHA3_BLOCKSIZE(bitlen), 0,                          \
779
            SHAKE_FLAGS)
780
781
#define IMPLEMENT_KMAC_functions(bitlen)                     \
782
    KMAC_newctx(keccak_kmac_##bitlen, bitlen, '\x04')        \
783
        PROV_FUNC_SHAKE_DIGEST(keccak_kmac_##bitlen, bitlen, \
784
            SHA3_BLOCKSIZE(bitlen), KMAC_MDSIZE(bitlen),     \
785
            KMAC_FLAGS)
786
787
/* ossl_sha3_224_functions */
788
1.18k
IMPLEMENT_SHA3_functions(224)
789
1.18k
/* ossl_sha3_256_functions */
790
64.6k
IMPLEMENT_SHA3_functions(256)
791
64.6k
/* ossl_sha3_384_functions */
792
64.6k
IMPLEMENT_SHA3_functions(384)
793
1.61k
/* ossl_sha3_512_functions */
794
64.2k
IMPLEMENT_SHA3_functions(512)
795
64.2k
/* ossl_keccak_224_functions */
796
64.2k
IMPLEMENT_KECCAK_functions(224)
797
1.04k
/* ossl_keccak_256_functions */
798
1.18k
IMPLEMENT_KECCAK_functions(256)
799
1.18k
/* ossl_keccak_384_functions */
800
1.18k
IMPLEMENT_KECCAK_functions(384)
801
652
/* ossl_keccak_512_functions */
802
802
IMPLEMENT_KECCAK_functions(512)
803
802
/* ossl_shake_128_functions */
804
100k
IMPLEMENT_SHAKE_functions(128)
805
100k
/* ossl_shake_256_functions */
806
106k
IMPLEMENT_SHAKE_functions(256)
807
106k
/* ossl_keccak_kmac_128_functions */
808
106k
IMPLEMENT_KMAC_functions(128)
809
252
/* ossl_keccak_kmac_256_functions */
810
IMPLEMENT_KMAC_functions(256)