Coverage Report

Created: 2025-08-28 07:07

/src/openssl34/providers/implementations/digests/blake2_prov.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2019-2023 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/crypto.h>
11
#include <openssl/core_names.h>
12
#include <openssl/proverr.h>
13
#include <openssl/err.h>
14
#include "prov/blake2.h"
15
#include "prov/digestcommon.h"
16
#include "prov/implementations.h"
17
18
#define IMPLEMENT_BLAKE_functions(variant, VARIANT, variantsize) \
19
static const OSSL_PARAM known_blake##variant##_ctx_params[] = { \
20
    {OSSL_DIGEST_PARAM_SIZE, OSSL_PARAM_UNSIGNED_INTEGER, NULL, 0, 0}, \
21
    OSSL_PARAM_END \
22
}; \
23
 \
24
const OSSL_PARAM *ossl_blake##variant##_gettable_ctx_params(ossl_unused void *ctx, \
25
76.4k
                                                   ossl_unused void *pctx) \
26
76.4k
{ \
27
76.4k
    return known_blake##variant##_ctx_params; \
28
76.4k
} \
ossl_blake2s_gettable_ctx_params
Line
Count
Source
25
1.57k
                                                   ossl_unused void *pctx) \
26
1.57k
{ \
27
1.57k
    return known_blake##variant##_ctx_params; \
28
1.57k
} \
ossl_blake2b_gettable_ctx_params
Line
Count
Source
25
74.8k
                                                   ossl_unused void *pctx) \
26
74.8k
{ \
27
74.8k
    return known_blake##variant##_ctx_params; \
28
74.8k
} \
29
 \
30
const OSSL_PARAM *ossl_blake##variant##_settable_ctx_params(ossl_unused void *ctx, \
31
17
                                                   ossl_unused void *pctx) \
32
17
{ \
33
17
    return known_blake##variant##_ctx_params; \
34
17
} \
ossl_blake2s_settable_ctx_params
Line
Count
Source
31
15
                                                   ossl_unused void *pctx) \
32
15
{ \
33
15
    return known_blake##variant##_ctx_params; \
34
15
} \
ossl_blake2b_settable_ctx_params
Line
Count
Source
31
2
                                                   ossl_unused void *pctx) \
32
2
{ \
33
2
    return known_blake##variant##_ctx_params; \
34
2
} \
35
 \
36
35.0k
int ossl_blake##variant##_get_ctx_params(void *vctx, OSSL_PARAM params[]) \
37
35.0k
{ \
38
35.0k
    struct blake##variant##_md_data_st *mdctx = vctx; \
39
35.0k
    OSSL_PARAM *p; \
40
35.0k
 \
41
35.0k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
42
35.0k
 \
43
35.0k
    if (ctx == NULL) \
44
35.0k
        return 0; \
45
35.0k
    if (params == NULL) \
46
35.0k
        return 1; \
47
35.0k
 \
48
35.0k
    p = OSSL_PARAM_locate(params, OSSL_DIGEST_PARAM_SIZE); \
49
35.0k
    if (p != NULL \
50
35.0k
        && !OSSL_PARAM_set_uint(p, (unsigned int)mdctx->params.digest_length)) { \
51
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_SET_PARAMETER); \
52
0
        return 0; \
53
0
    } \
54
35.0k
 \
55
35.0k
    return 1; \
56
35.0k
} \
ossl_blake2s_get_ctx_params
Line
Count
Source
36
896
int ossl_blake##variant##_get_ctx_params(void *vctx, OSSL_PARAM params[]) \
37
896
{ \
38
896
    struct blake##variant##_md_data_st *mdctx = vctx; \
39
896
    OSSL_PARAM *p; \
40
896
 \
41
896
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
42
896
 \
43
896
    if (ctx == NULL) \
44
896
        return 0; \
45
896
    if (params == NULL) \
46
896
        return 1; \
47
896
 \
48
896
    p = OSSL_PARAM_locate(params, OSSL_DIGEST_PARAM_SIZE); \
49
896
    if (p != NULL \
50
896
        && !OSSL_PARAM_set_uint(p, (unsigned int)mdctx->params.digest_length)) { \
51
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_SET_PARAMETER); \
52
0
        return 0; \
53
0
    } \
54
896
 \
55
896
    return 1; \
56
896
} \
ossl_blake2b_get_ctx_params
Line
Count
Source
36
34.1k
int ossl_blake##variant##_get_ctx_params(void *vctx, OSSL_PARAM params[]) \
37
34.1k
{ \
38
34.1k
    struct blake##variant##_md_data_st *mdctx = vctx; \
39
34.1k
    OSSL_PARAM *p; \
40
34.1k
 \
41
34.1k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
42
34.1k
 \
43
34.1k
    if (ctx == NULL) \
44
34.1k
        return 0; \
45
34.1k
    if (params == NULL) \
46
34.1k
        return 1; \
47
34.1k
 \
48
34.1k
    p = OSSL_PARAM_locate(params, OSSL_DIGEST_PARAM_SIZE); \
49
34.1k
    if (p != NULL \
50
34.1k
        && !OSSL_PARAM_set_uint(p, (unsigned int)mdctx->params.digest_length)) { \
51
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_SET_PARAMETER); \
52
0
        return 0; \
53
0
    } \
54
34.1k
 \
55
34.1k
    return 1; \
56
34.1k
} \
57
 \
58
35.1k
int ossl_blake##variant##_set_ctx_params(void *vctx, const OSSL_PARAM params[]) \
59
35.1k
{ \
60
35.1k
    size_t size; \
61
35.1k
    struct blake##variant##_md_data_st *mdctx = vctx; \
62
35.1k
    const OSSL_PARAM *p; \
63
35.1k
 \
64
35.1k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
65
35.1k
 \
66
35.1k
    if (ctx == NULL) \
67
35.1k
        return 0; \
68
35.1k
    if (params == NULL) \
69
35.1k
        return 1; \
70
35.1k
 \
71
35.1k
    p = OSSL_PARAM_locate_const(params, OSSL_DIGEST_PARAM_SIZE); \
72
33.8k
    if (p != NULL) { \
73
33.8k
        if (!OSSL_PARAM_get_size_t(p, &size)) { \
74
0
            ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER); \
75
0
            return 0; \
76
0
        } \
77
33.8k
        if (size < 1 || size > BLAKE##VARIANT##_OUTBYTES) { \
78
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
79
0
            return 0; \
80
0
        } \
81
33.8k
        ossl_blake##variant##_param_set_digest_length(&mdctx->params, (uint8_t)size); \
82
33.8k
    } \
83
33.8k
 \
84
33.8k
    return 1; \
85
33.8k
} \
ossl_blake2s_set_ctx_params
Line
Count
Source
58
960
int ossl_blake##variant##_set_ctx_params(void *vctx, const OSSL_PARAM params[]) \
59
960
{ \
60
960
    size_t size; \
61
960
    struct blake##variant##_md_data_st *mdctx = vctx; \
62
960
    const OSSL_PARAM *p; \
63
960
 \
64
960
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
65
960
 \
66
960
    if (ctx == NULL) \
67
960
        return 0; \
68
960
    if (params == NULL) \
69
960
        return 1; \
70
960
 \
71
960
    p = OSSL_PARAM_locate_const(params, OSSL_DIGEST_PARAM_SIZE); \
72
0
    if (p != NULL) { \
73
0
        if (!OSSL_PARAM_get_size_t(p, &size)) { \
74
0
            ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER); \
75
0
            return 0; \
76
0
        } \
77
0
        if (size < 1 || size > BLAKE##VARIANT##_OUTBYTES) { \
78
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
79
0
            return 0; \
80
0
        } \
81
0
        ossl_blake##variant##_param_set_digest_length(&mdctx->params, (uint8_t)size); \
82
0
    } \
83
0
 \
84
0
    return 1; \
85
0
} \
ossl_blake2b_set_ctx_params
Line
Count
Source
58
34.2k
int ossl_blake##variant##_set_ctx_params(void *vctx, const OSSL_PARAM params[]) \
59
34.2k
{ \
60
34.2k
    size_t size; \
61
34.2k
    struct blake##variant##_md_data_st *mdctx = vctx; \
62
34.2k
    const OSSL_PARAM *p; \
63
34.2k
 \
64
34.2k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
65
34.2k
 \
66
34.2k
    if (ctx == NULL) \
67
34.2k
        return 0; \
68
34.2k
    if (params == NULL) \
69
34.2k
        return 1; \
70
34.2k
 \
71
34.2k
    p = OSSL_PARAM_locate_const(params, OSSL_DIGEST_PARAM_SIZE); \
72
33.8k
    if (p != NULL) { \
73
33.8k
        if (!OSSL_PARAM_get_size_t(p, &size)) { \
74
0
            ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER); \
75
0
            return 0; \
76
0
        } \
77
33.8k
        if (size < 1 || size > BLAKE##VARIANT##_OUTBYTES) { \
78
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
79
0
            return 0; \
80
0
        } \
81
33.8k
        ossl_blake##variant##_param_set_digest_length(&mdctx->params, (uint8_t)size); \
82
33.8k
    } \
83
33.8k
 \
84
33.8k
    return 1; \
85
33.8k
} \
86
 \
87
96.5k
static int ossl_blake##variantsize##_init(void *ctx) \
88
96.5k
{ \
89
96.5k
    struct blake##variant##_md_data_st *mdctx = ctx; \
90
96.5k
    uint8_t digest_length = mdctx->params.digest_length; \
91
96.5k
 \
92
96.5k
    ossl_blake##variant##_param_init(&mdctx->params); \
93
96.5k
    if (digest_length != 0) \
94
96.5k
        mdctx->params.digest_length = digest_length; \
95
96.5k
    return ossl_blake##variant##_init(&mdctx->ctx, &mdctx->params); \
96
96.5k
} \
blake2_prov.c:ossl_blake2s256_init
Line
Count
Source
87
2.66k
static int ossl_blake##variantsize##_init(void *ctx) \
88
2.66k
{ \
89
2.66k
    struct blake##variant##_md_data_st *mdctx = ctx; \
90
2.66k
    uint8_t digest_length = mdctx->params.digest_length; \
91
2.66k
 \
92
2.66k
    ossl_blake##variant##_param_init(&mdctx->params); \
93
2.66k
    if (digest_length != 0) \
94
2.66k
        mdctx->params.digest_length = digest_length; \
95
2.66k
    return ossl_blake##variant##_init(&mdctx->ctx, &mdctx->params); \
96
2.66k
} \
blake2_prov.c:ossl_blake2b512_init
Line
Count
Source
87
93.8k
static int ossl_blake##variantsize##_init(void *ctx) \
88
93.8k
{ \
89
93.8k
    struct blake##variant##_md_data_st *mdctx = ctx; \
90
93.8k
    uint8_t digest_length = mdctx->params.digest_length; \
91
93.8k
 \
92
93.8k
    ossl_blake##variant##_param_init(&mdctx->params); \
93
93.8k
    if (digest_length != 0) \
94
93.8k
        mdctx->params.digest_length = digest_length; \
95
93.8k
    return ossl_blake##variant##_init(&mdctx->ctx, &mdctx->params); \
96
93.8k
} \
97
 \
98
static OSSL_FUNC_digest_init_fn blake##variantsize##_internal_init; \
99
static OSSL_FUNC_digest_newctx_fn blake##variantsize##_newctx; \
100
static OSSL_FUNC_digest_freectx_fn blake##variantsize##_freectx; \
101
static OSSL_FUNC_digest_dupctx_fn blake##variantsize##_dupctx; \
102
static OSSL_FUNC_digest_final_fn blake##variantsize##_internal_final; \
103
static OSSL_FUNC_digest_get_params_fn blake##variantsize##_get_params; \
104
 \
105
96.5k
static int blake##variantsize##_internal_init(void *ctx, const OSSL_PARAM params[]) \
106
96.5k
{ \
107
96.5k
    return ossl_prov_is_running() && ossl_blake##variant##_set_ctx_params(ctx, params) \
108
96.5k
        && ossl_blake##variantsize##_init(ctx); \
109
96.5k
} \
blake2_prov.c:blake2s256_internal_init
Line
Count
Source
105
2.66k
static int blake##variantsize##_internal_init(void *ctx, const OSSL_PARAM params[]) \
106
2.66k
{ \
107
2.66k
    return ossl_prov_is_running() && ossl_blake##variant##_set_ctx_params(ctx, params) \
108
2.66k
        && ossl_blake##variantsize##_init(ctx); \
109
2.66k
} \
blake2_prov.c:blake2b512_internal_init
Line
Count
Source
105
93.8k
static int blake##variantsize##_internal_init(void *ctx, const OSSL_PARAM params[]) \
106
93.8k
{ \
107
93.8k
    return ossl_prov_is_running() && ossl_blake##variant##_set_ctx_params(ctx, params) \
108
93.8k
        && ossl_blake##variantsize##_init(ctx); \
109
93.8k
} \
110
 \
111
94.2k
static void *blake##variantsize##_newctx(void *prov_ctx) \
112
94.2k
{ \
113
94.2k
    struct blake##variant##_md_data_st *ctx; \
114
94.2k
 \
115
94.2k
    ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) : NULL; \
116
94.2k
    return ctx; \
117
94.2k
} \
blake2_prov.c:blake2s256_newctx
Line
Count
Source
111
837
static void *blake##variantsize##_newctx(void *prov_ctx) \
112
837
{ \
113
837
    struct blake##variant##_md_data_st *ctx; \
114
837
 \
115
837
    ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) : NULL; \
116
837
    return ctx; \
117
837
} \
blake2_prov.c:blake2b512_newctx
Line
Count
Source
111
93.4k
static void *blake##variantsize##_newctx(void *prov_ctx) \
112
93.4k
{ \
113
93.4k
    struct blake##variant##_md_data_st *ctx; \
114
93.4k
 \
115
93.4k
    ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) : NULL; \
116
93.4k
    return ctx; \
117
93.4k
} \
118
 \
119
95.5k
static void blake##variantsize##_freectx(void *vctx) \
120
95.5k
{ \
121
95.5k
    struct blake##variant##_md_data_st *ctx; \
122
95.5k
 \
123
95.5k
    ctx = (struct blake##variant##_md_data_st *)vctx; \
124
95.5k
    OPENSSL_clear_free(ctx, sizeof(*ctx)); \
125
95.5k
} \
blake2_prov.c:blake2s256_freectx
Line
Count
Source
119
1.82k
static void blake##variantsize##_freectx(void *vctx) \
120
1.82k
{ \
121
1.82k
    struct blake##variant##_md_data_st *ctx; \
122
1.82k
 \
123
1.82k
    ctx = (struct blake##variant##_md_data_st *)vctx; \
124
1.82k
    OPENSSL_clear_free(ctx, sizeof(*ctx)); \
125
1.82k
} \
blake2_prov.c:blake2b512_freectx
Line
Count
Source
119
93.7k
static void blake##variantsize##_freectx(void *vctx) \
120
93.7k
{ \
121
93.7k
    struct blake##variant##_md_data_st *ctx; \
122
93.7k
 \
123
93.7k
    ctx = (struct blake##variant##_md_data_st *)vctx; \
124
93.7k
    OPENSSL_clear_free(ctx, sizeof(*ctx)); \
125
93.7k
} \
126
 \
127
1.29k
static void *blake##variantsize##_dupctx(void *ctx) \
128
1.29k
{ \
129
1.29k
    struct blake##variant##_md_data_st *in, *ret; \
130
1.29k
 \
131
1.29k
    in = (struct blake##variant##_md_data_st *)ctx; \
132
1.29k
    ret = ossl_prov_is_running()? OPENSSL_malloc(sizeof(*ret)) : NULL; \
133
1.29k
    if (ret != NULL) \
134
1.29k
        *ret = *in; \
135
1.29k
    return ret; \
136
1.29k
} \
blake2_prov.c:blake2s256_dupctx
Line
Count
Source
127
990
static void *blake##variantsize##_dupctx(void *ctx) \
128
990
{ \
129
990
    struct blake##variant##_md_data_st *in, *ret; \
130
990
 \
131
990
    in = (struct blake##variant##_md_data_st *)ctx; \
132
990
    ret = ossl_prov_is_running()? OPENSSL_malloc(sizeof(*ret)) : NULL; \
133
990
    if (ret != NULL) \
134
990
        *ret = *in; \
135
990
    return ret; \
136
990
} \
blake2_prov.c:blake2b512_dupctx
Line
Count
Source
127
301
static void *blake##variantsize##_dupctx(void *ctx) \
128
301
{ \
129
301
    struct blake##variant##_md_data_st *in, *ret; \
130
301
 \
131
301
    in = (struct blake##variant##_md_data_st *)ctx; \
132
301
    ret = ossl_prov_is_running()? OPENSSL_malloc(sizeof(*ret)) : NULL; \
133
301
    if (ret != NULL) \
134
301
        *ret = *in; \
135
301
    return ret; \
136
301
} \
137
 \
138
static int blake##variantsize##_internal_final(void *ctx, unsigned char *out, \
139
96.3k
                                     size_t *outl, size_t outsz) \
140
96.3k
{ \
141
96.3k
    struct blake##variant##_md_data_st *b_ctx; \
142
96.3k
 \
143
96.3k
    b_ctx = (struct blake##variant##_md_data_st *)ctx; \
144
96.3k
 \
145
96.3k
    if (!ossl_prov_is_running()) \
146
96.3k
        return 0; \
147
96.3k
 \
148
96.3k
    *outl = b_ctx->ctx.outlen; \
149
96.3k
 \
150
96.3k
    if (outsz == 0) \
151
96.3k
       return 1; \
152
96.3k
 \
153
96.3k
    if (outsz < *outl) { \
154
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
155
0
        return 0; \
156
0
    } \
157
96.3k
 \
158
96.3k
    return ossl_blake##variant##_final(out, ctx); \
159
96.3k
} \
blake2_prov.c:blake2s256_internal_final
Line
Count
Source
139
2.53k
                                     size_t *outl, size_t outsz) \
140
2.53k
{ \
141
2.53k
    struct blake##variant##_md_data_st *b_ctx; \
142
2.53k
 \
143
2.53k
    b_ctx = (struct blake##variant##_md_data_st *)ctx; \
144
2.53k
 \
145
2.53k
    if (!ossl_prov_is_running()) \
146
2.53k
        return 0; \
147
2.53k
 \
148
2.53k
    *outl = b_ctx->ctx.outlen; \
149
2.53k
 \
150
2.53k
    if (outsz == 0) \
151
2.53k
       return 1; \
152
2.53k
 \
153
2.53k
    if (outsz < *outl) { \
154
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
155
0
        return 0; \
156
0
    } \
157
2.53k
 \
158
2.53k
    return ossl_blake##variant##_final(out, ctx); \
159
2.53k
} \
blake2_prov.c:blake2b512_internal_final
Line
Count
Source
139
93.7k
                                     size_t *outl, size_t outsz) \
140
93.7k
{ \
141
93.7k
    struct blake##variant##_md_data_st *b_ctx; \
142
93.7k
 \
143
93.7k
    b_ctx = (struct blake##variant##_md_data_st *)ctx; \
144
93.7k
 \
145
93.7k
    if (!ossl_prov_is_running()) \
146
93.7k
        return 0; \
147
93.7k
 \
148
93.7k
    *outl = b_ctx->ctx.outlen; \
149
93.7k
 \
150
93.7k
    if (outsz == 0) \
151
93.7k
       return 1; \
152
93.7k
 \
153
93.7k
    if (outsz < *outl) { \
154
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
155
0
        return 0; \
156
0
    } \
157
93.7k
 \
158
93.7k
    return ossl_blake##variant##_final(out, ctx); \
159
93.7k
} \
160
 \
161
164
static int blake##variantsize##_get_params(OSSL_PARAM params[]) \
162
164
{ \
163
164
    return ossl_digest_default_get_params(params, BLAKE##VARIANT##_BLOCKBYTES, BLAKE##VARIANT##_OUTBYTES, 0); \
164
164
} \
blake2_prov.c:blake2s256_get_params
Line
Count
Source
161
82
static int blake##variantsize##_get_params(OSSL_PARAM params[]) \
162
82
{ \
163
82
    return ossl_digest_default_get_params(params, BLAKE##VARIANT##_BLOCKBYTES, BLAKE##VARIANT##_OUTBYTES, 0); \
164
82
} \
blake2_prov.c:blake2b512_get_params
Line
Count
Source
161
82
static int blake##variantsize##_get_params(OSSL_PARAM params[]) \
162
82
{ \
163
82
    return ossl_digest_default_get_params(params, BLAKE##VARIANT##_BLOCKBYTES, BLAKE##VARIANT##_OUTBYTES, 0); \
164
82
} \
165
 \
166
const OSSL_DISPATCH ossl_blake##variantsize##_functions[] = { \
167
    {OSSL_FUNC_DIGEST_NEWCTX, (void (*)(void))blake##variantsize##_newctx}, \
168
    {OSSL_FUNC_DIGEST_UPDATE, (void (*)(void))ossl_blake##variant##_update}, \
169
    {OSSL_FUNC_DIGEST_FINAL, (void (*)(void))blake##variantsize##_internal_final}, \
170
    {OSSL_FUNC_DIGEST_FREECTX, (void (*)(void))blake##variantsize##_freectx}, \
171
    {OSSL_FUNC_DIGEST_DUPCTX, (void (*)(void))blake##variantsize##_dupctx}, \
172
    {OSSL_FUNC_DIGEST_GET_PARAMS, (void (*)(void))blake##variantsize##_get_params}, \
173
    {OSSL_FUNC_DIGEST_GETTABLE_PARAMS, \
174
     (void (*)(void))ossl_digest_default_gettable_params}, \
175
    {OSSL_FUNC_DIGEST_INIT, (void (*)(void))blake##variantsize##_internal_init}, \
176
    {OSSL_FUNC_DIGEST_GETTABLE_CTX_PARAMS, \
177
     (void (*)(void))ossl_blake##variant##_gettable_ctx_params}, \
178
    {OSSL_FUNC_DIGEST_SETTABLE_CTX_PARAMS, \
179
     (void (*)(void))ossl_blake##variant##_settable_ctx_params}, \
180
    {OSSL_FUNC_DIGEST_GET_CTX_PARAMS, \
181
     (void (*)(void))ossl_blake##variant##_get_ctx_params}, \
182
    {OSSL_FUNC_DIGEST_SET_CTX_PARAMS, \
183
     (void (*)(void))ossl_blake##variant##_set_ctx_params}, \
184
    {0, NULL} \
185
};
186
187
IMPLEMENT_BLAKE_functions(2s, 2S, 2s256)
188
IMPLEMENT_BLAKE_functions(2b, 2B, 2b512)