Coverage Report

Created: 2025-12-31 06:58

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