Coverage Report

Created: 2025-08-11 07:04

/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
68.0k
                                                   ossl_unused void *pctx) \
26
68.0k
{ \
27
68.0k
    return known_blake##variant##_ctx_params; \
28
68.0k
} \
ossl_blake2s_gettable_ctx_params
Line
Count
Source
25
1.50k
                                                   ossl_unused void *pctx) \
26
1.50k
{ \
27
1.50k
    return known_blake##variant##_ctx_params; \
28
1.50k
} \
ossl_blake2b_gettable_ctx_params
Line
Count
Source
25
66.5k
                                                   ossl_unused void *pctx) \
26
66.5k
{ \
27
66.5k
    return known_blake##variant##_ctx_params; \
28
66.5k
} \
29
 \
30
const OSSL_PARAM *ossl_blake##variant##_settable_ctx_params(ossl_unused void *ctx, \
31
15
                                                   ossl_unused void *pctx) \
32
15
{ \
33
15
    return known_blake##variant##_ctx_params; \
34
15
} \
ossl_blake2s_settable_ctx_params
Line
Count
Source
31
13
                                                   ossl_unused void *pctx) \
32
13
{ \
33
13
    return known_blake##variant##_ctx_params; \
34
13
} \
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.1k
int ossl_blake##variant##_get_ctx_params(void *vctx, OSSL_PARAM params[]) \
37
35.1k
{ \
38
35.1k
    struct blake##variant##_md_data_st *mdctx = vctx; \
39
35.1k
    OSSL_PARAM *p; \
40
35.1k
 \
41
35.1k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
42
35.1k
 \
43
35.1k
    if (ctx == NULL) \
44
35.1k
        return 0; \
45
35.1k
    if (params == NULL) \
46
35.1k
        return 1; \
47
35.1k
 \
48
35.1k
    p = OSSL_PARAM_locate(params, OSSL_DIGEST_PARAM_SIZE); \
49
35.1k
    if (p != NULL \
50
35.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
35.1k
 \
55
35.1k
    return 1; \
56
35.1k
} \
ossl_blake2s_get_ctx_params
Line
Count
Source
36
871
int ossl_blake##variant##_get_ctx_params(void *vctx, OSSL_PARAM params[]) \
37
871
{ \
38
871
    struct blake##variant##_md_data_st *mdctx = vctx; \
39
871
    OSSL_PARAM *p; \
40
871
 \
41
871
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
42
871
 \
43
871
    if (ctx == NULL) \
44
871
        return 0; \
45
871
    if (params == NULL) \
46
871
        return 1; \
47
871
 \
48
871
    p = OSSL_PARAM_locate(params, OSSL_DIGEST_PARAM_SIZE); \
49
871
    if (p != NULL \
50
871
        && !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
871
 \
55
871
    return 1; \
56
871
} \
ossl_blake2b_get_ctx_params
Line
Count
Source
36
34.2k
int ossl_blake##variant##_get_ctx_params(void *vctx, OSSL_PARAM params[]) \
37
34.2k
{ \
38
34.2k
    struct blake##variant##_md_data_st *mdctx = vctx; \
39
34.2k
    OSSL_PARAM *p; \
40
34.2k
 \
41
34.2k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
42
34.2k
 \
43
34.2k
    if (ctx == NULL) \
44
34.2k
        return 0; \
45
34.2k
    if (params == NULL) \
46
34.2k
        return 1; \
47
34.2k
 \
48
34.2k
    p = OSSL_PARAM_locate(params, OSSL_DIGEST_PARAM_SIZE); \
49
34.2k
    if (p != NULL \
50
34.2k
        && !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.2k
 \
55
34.2k
    return 1; \
56
34.2k
} \
57
 \
58
35.2k
int ossl_blake##variant##_set_ctx_params(void *vctx, const OSSL_PARAM params[]) \
59
35.2k
{ \
60
35.2k
    size_t size; \
61
35.2k
    struct blake##variant##_md_data_st *mdctx = vctx; \
62
35.2k
    const OSSL_PARAM *p; \
63
35.2k
 \
64
35.2k
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
65
35.2k
 \
66
35.2k
    if (ctx == NULL) \
67
35.2k
        return 0; \
68
35.2k
    if (params == NULL) \
69
35.2k
        return 1; \
70
35.2k
 \
71
35.2k
    p = OSSL_PARAM_locate_const(params, OSSL_DIGEST_PARAM_SIZE); \
72
34.0k
    if (p != NULL) { \
73
34.0k
        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
34.0k
        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
34.0k
        ossl_blake##variant##_param_set_digest_length(&mdctx->params, (uint8_t)size); \
82
34.0k
    } \
83
34.0k
 \
84
34.0k
    return 1; \
85
34.0k
} \
ossl_blake2s_set_ctx_params
Line
Count
Source
58
909
int ossl_blake##variant##_set_ctx_params(void *vctx, const OSSL_PARAM params[]) \
59
909
{ \
60
909
    size_t size; \
61
909
    struct blake##variant##_md_data_st *mdctx = vctx; \
62
909
    const OSSL_PARAM *p; \
63
909
 \
64
909
    BLAKE##VARIANT##_CTX *ctx = &mdctx->ctx; \
65
909
 \
66
909
    if (ctx == NULL) \
67
909
        return 0; \
68
909
    if (params == NULL) \
69
909
        return 1; \
70
909
 \
71
909
    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
34.0k
    if (p != NULL) { \
73
34.0k
        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
34.0k
        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
34.0k
        ossl_blake##variant##_param_set_digest_length(&mdctx->params, (uint8_t)size); \
82
34.0k
    } \
83
34.0k
 \
84
34.0k
    return 1; \
85
34.0k
} \
86
 \
87
84.4k
static int ossl_blake##variantsize##_init(void *ctx) \
88
84.4k
{ \
89
84.4k
    struct blake##variant##_md_data_st *mdctx = ctx; \
90
84.4k
    uint8_t digest_length = mdctx->params.digest_length; \
91
84.4k
 \
92
84.4k
    ossl_blake##variant##_param_init(&mdctx->params); \
93
84.4k
    if (digest_length != 0) \
94
84.4k
        mdctx->params.digest_length = digest_length; \
95
84.4k
    return ossl_blake##variant##_init(&mdctx->ctx, &mdctx->params); \
96
84.4k
} \
blake2_prov.c:ossl_blake2s256_init
Line
Count
Source
87
2.38k
static int ossl_blake##variantsize##_init(void *ctx) \
88
2.38k
{ \
89
2.38k
    struct blake##variant##_md_data_st *mdctx = ctx; \
90
2.38k
    uint8_t digest_length = mdctx->params.digest_length; \
91
2.38k
 \
92
2.38k
    ossl_blake##variant##_param_init(&mdctx->params); \
93
2.38k
    if (digest_length != 0) \
94
2.38k
        mdctx->params.digest_length = digest_length; \
95
2.38k
    return ossl_blake##variant##_init(&mdctx->ctx, &mdctx->params); \
96
2.38k
} \
blake2_prov.c:ossl_blake2b512_init
Line
Count
Source
87
82.1k
static int ossl_blake##variantsize##_init(void *ctx) \
88
82.1k
{ \
89
82.1k
    struct blake##variant##_md_data_st *mdctx = ctx; \
90
82.1k
    uint8_t digest_length = mdctx->params.digest_length; \
91
82.1k
 \
92
82.1k
    ossl_blake##variant##_param_init(&mdctx->params); \
93
82.1k
    if (digest_length != 0) \
94
82.1k
        mdctx->params.digest_length = digest_length; \
95
82.1k
    return ossl_blake##variant##_init(&mdctx->ctx, &mdctx->params); \
96
82.1k
} \
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
84.4k
static int blake##variantsize##_internal_init(void *ctx, const OSSL_PARAM params[]) \
106
84.4k
{ \
107
84.4k
    return ossl_prov_is_running() && ossl_blake##variant##_set_ctx_params(ctx, params) \
108
84.4k
        && ossl_blake##variantsize##_init(ctx); \
109
84.4k
} \
blake2_prov.c:blake2s256_internal_init
Line
Count
Source
105
2.38k
static int blake##variantsize##_internal_init(void *ctx, const OSSL_PARAM params[]) \
106
2.38k
{ \
107
2.38k
    return ossl_prov_is_running() && ossl_blake##variant##_set_ctx_params(ctx, params) \
108
2.38k
        && ossl_blake##variantsize##_init(ctx); \
109
2.38k
} \
blake2_prov.c:blake2b512_internal_init
Line
Count
Source
105
82.1k
static int blake##variantsize##_internal_init(void *ctx, const OSSL_PARAM params[]) \
106
82.1k
{ \
107
82.1k
    return ossl_prov_is_running() && ossl_blake##variant##_set_ctx_params(ctx, params) \
108
82.1k
        && ossl_blake##variantsize##_init(ctx); \
109
82.1k
} \
110
 \
111
82.4k
static void *blake##variantsize##_newctx(void *prov_ctx) \
112
82.4k
{ \
113
82.4k
    struct blake##variant##_md_data_st *ctx; \
114
82.4k
 \
115
82.4k
    ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) : NULL; \
116
82.4k
    return ctx; \
117
82.4k
} \
blake2_prov.c:blake2s256_newctx
Line
Count
Source
111
651
static void *blake##variantsize##_newctx(void *prov_ctx) \
112
651
{ \
113
651
    struct blake##variant##_md_data_st *ctx; \
114
651
 \
115
651
    ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) : NULL; \
116
651
    return ctx; \
117
651
} \
blake2_prov.c:blake2b512_newctx
Line
Count
Source
111
81.7k
static void *blake##variantsize##_newctx(void *prov_ctx) \
112
81.7k
{ \
113
81.7k
    struct blake##variant##_md_data_st *ctx; \
114
81.7k
 \
115
81.7k
    ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) : NULL; \
116
81.7k
    return ctx; \
117
81.7k
} \
118
 \
119
83.4k
static void blake##variantsize##_freectx(void *vctx) \
120
83.4k
{ \
121
83.4k
    struct blake##variant##_md_data_st *ctx; \
122
83.4k
 \
123
83.4k
    ctx = (struct blake##variant##_md_data_st *)vctx; \
124
83.4k
    OPENSSL_clear_free(ctx, sizeof(*ctx)); \
125
83.4k
} \
blake2_prov.c:blake2s256_freectx
Line
Count
Source
119
1.58k
static void blake##variantsize##_freectx(void *vctx) \
120
1.58k
{ \
121
1.58k
    struct blake##variant##_md_data_st *ctx; \
122
1.58k
 \
123
1.58k
    ctx = (struct blake##variant##_md_data_st *)vctx; \
124
1.58k
    OPENSSL_clear_free(ctx, sizeof(*ctx)); \
125
1.58k
} \
blake2_prov.c:blake2b512_freectx
Line
Count
Source
119
81.9k
static void blake##variantsize##_freectx(void *vctx) \
120
81.9k
{ \
121
81.9k
    struct blake##variant##_md_data_st *ctx; \
122
81.9k
 \
123
81.9k
    ctx = (struct blake##variant##_md_data_st *)vctx; \
124
81.9k
    OPENSSL_clear_free(ctx, sizeof(*ctx)); \
125
81.9k
} \
126
 \
127
1.05k
static void *blake##variantsize##_dupctx(void *ctx) \
128
1.05k
{ \
129
1.05k
    struct blake##variant##_md_data_st *in, *ret; \
130
1.05k
 \
131
1.05k
    in = (struct blake##variant##_md_data_st *)ctx; \
132
1.05k
    ret = ossl_prov_is_running()? OPENSSL_malloc(sizeof(*ret)) : NULL; \
133
1.05k
    if (ret != NULL) \
134
1.05k
        *ret = *in; \
135
1.05k
    return ret; \
136
1.05k
} \
blake2_prov.c:blake2s256_dupctx
Line
Count
Source
127
935
static void *blake##variantsize##_dupctx(void *ctx) \
128
935
{ \
129
935
    struct blake##variant##_md_data_st *in, *ret; \
130
935
 \
131
935
    in = (struct blake##variant##_md_data_st *)ctx; \
132
935
    ret = ossl_prov_is_running()? OPENSSL_malloc(sizeof(*ret)) : NULL; \
133
935
    if (ret != NULL) \
134
935
        *ret = *in; \
135
935
    return ret; \
136
935
} \
blake2_prov.c:blake2b512_dupctx
Line
Count
Source
127
122
static void *blake##variantsize##_dupctx(void *ctx) \
128
122
{ \
129
122
    struct blake##variant##_md_data_st *in, *ret; \
130
122
 \
131
122
    in = (struct blake##variant##_md_data_st *)ctx; \
132
122
    ret = ossl_prov_is_running()? OPENSSL_malloc(sizeof(*ret)) : NULL; \
133
122
    if (ret != NULL) \
134
122
        *ret = *in; \
135
122
    return ret; \
136
122
} \
137
 \
138
static int blake##variantsize##_internal_final(void *ctx, unsigned char *out, \
139
84.3k
                                     size_t *outl, size_t outsz) \
140
84.3k
{ \
141
84.3k
    struct blake##variant##_md_data_st *b_ctx; \
142
84.3k
 \
143
84.3k
    b_ctx = (struct blake##variant##_md_data_st *)ctx; \
144
84.3k
 \
145
84.3k
    if (!ossl_prov_is_running()) \
146
84.3k
        return 0; \
147
84.3k
 \
148
84.3k
    *outl = b_ctx->ctx.outlen; \
149
84.3k
 \
150
84.3k
    if (outsz == 0) \
151
84.3k
       return 1; \
152
84.3k
 \
153
84.3k
    if (outsz < *outl) { \
154
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
155
0
        return 0; \
156
0
    } \
157
84.3k
 \
158
84.3k
    return ossl_blake##variant##_final(out, ctx); \
159
84.3k
} \
blake2_prov.c:blake2s256_internal_final
Line
Count
Source
139
2.28k
                                     size_t *outl, size_t outsz) \
140
2.28k
{ \
141
2.28k
    struct blake##variant##_md_data_st *b_ctx; \
142
2.28k
 \
143
2.28k
    b_ctx = (struct blake##variant##_md_data_st *)ctx; \
144
2.28k
 \
145
2.28k
    if (!ossl_prov_is_running()) \
146
2.28k
        return 0; \
147
2.28k
 \
148
2.28k
    *outl = b_ctx->ctx.outlen; \
149
2.28k
 \
150
2.28k
    if (outsz == 0) \
151
2.28k
       return 1; \
152
2.28k
 \
153
2.28k
    if (outsz < *outl) { \
154
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
155
0
        return 0; \
156
0
    } \
157
2.28k
 \
158
2.28k
    return ossl_blake##variant##_final(out, ctx); \
159
2.28k
} \
blake2_prov.c:blake2b512_internal_final
Line
Count
Source
139
82.0k
                                     size_t *outl, size_t outsz) \
140
82.0k
{ \
141
82.0k
    struct blake##variant##_md_data_st *b_ctx; \
142
82.0k
 \
143
82.0k
    b_ctx = (struct blake##variant##_md_data_st *)ctx; \
144
82.0k
 \
145
82.0k
    if (!ossl_prov_is_running()) \
146
82.0k
        return 0; \
147
82.0k
 \
148
82.0k
    *outl = b_ctx->ctx.outlen; \
149
82.0k
 \
150
82.0k
    if (outsz == 0) \
151
82.0k
       return 1; \
152
82.0k
 \
153
82.0k
    if (outsz < *outl) { \
154
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST_SIZE); \
155
0
        return 0; \
156
0
    } \
157
82.0k
 \
158
82.0k
    return ossl_blake##variant##_final(out, ctx); \
159
82.0k
} \
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)