Coverage Report

Created: 2026-05-20 07:05

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl/crypto/sm2/sm2_crypt.c
Line
Count
Source
1
/*
2
 * Copyright 2017-2026 The OpenSSL Project Authors. All Rights Reserved.
3
 * Copyright 2017 Ribose Inc. All Rights Reserved.
4
 * Ported from Ribose contributions from Botan.
5
 *
6
 * Licensed under the Apache License 2.0 (the "License").  You may not use
7
 * this file except in compliance with the License.  You can obtain a copy
8
 * in the file LICENSE in the source distribution or at
9
 * https://www.openssl.org/source/license.html
10
 */
11
12
/*
13
 * ECDSA low level APIs are deprecated for public use, but still ok for
14
 * internal use.
15
 */
16
#include "internal/deprecated.h"
17
18
#include "crypto/sm2.h"
19
#include "crypto/sm2err.h"
20
#include "crypto/ec.h" /* ossl_ecdh_kdf_X9_63() */
21
#include <openssl/err.h>
22
#include <openssl/evp.h>
23
#include <openssl/bn.h>
24
#include <openssl/asn1.h>
25
#include <openssl/asn1t.h>
26
#include <string.h>
27
28
typedef struct SM2_Ciphertext_st SM2_Ciphertext;
29
DECLARE_ASN1_FUNCTIONS(SM2_Ciphertext)
30
31
struct SM2_Ciphertext_st {
32
    BIGNUM *C1x;
33
    BIGNUM *C1y;
34
    ASN1_OCTET_STRING *C3;
35
    ASN1_OCTET_STRING *C2;
36
};
37
38
ASN1_SEQUENCE(SM2_Ciphertext) = {
39
    ASN1_SIMPLE(SM2_Ciphertext, C1x, BIGNUM),
40
    ASN1_SIMPLE(SM2_Ciphertext, C1y, BIGNUM),
41
    ASN1_SIMPLE(SM2_Ciphertext, C3, ASN1_OCTET_STRING),
42
    ASN1_SIMPLE(SM2_Ciphertext, C2, ASN1_OCTET_STRING),
43
0
} ASN1_SEQUENCE_END(SM2_Ciphertext)
44
0
45
0
IMPLEMENT_ASN1_FUNCTIONS(SM2_Ciphertext)
46
0
47
0
static int ec_field_size(const EC_GROUP *group)
48
0
{
49
0
    const BIGNUM *p = EC_GROUP_get0_field(group);
50
51
0
    if (p == NULL)
52
0
        return 0;
53
54
0
    return BN_num_bytes(p);
55
0
}
56
57
static int is_all_zeros(const unsigned char *msg, size_t msglen)
58
0
{
59
0
    unsigned char re = 0;
60
0
    size_t i;
61
62
0
    for (i = 0; i < msglen; i++) {
63
0
        re |= msg[i];
64
0
    }
65
66
0
    return re == 0 ? 1 : 0;
67
0
}
68
69
int ossl_sm2_plaintext_size(const unsigned char *ct, size_t ct_size,
70
    size_t *pt_size)
71
0
{
72
0
    struct SM2_Ciphertext_st *sm2_ctext = NULL;
73
74
0
    sm2_ctext = d2i_SM2_Ciphertext(NULL, &ct, (long)ct_size);
75
76
0
    if (sm2_ctext == NULL) {
77
0
        ERR_raise(ERR_LIB_SM2, SM2_R_INVALID_ENCODING);
78
0
        return 0;
79
0
    }
80
81
0
    *pt_size = ASN1_STRING_length(sm2_ctext->C2);
82
0
    SM2_Ciphertext_free(sm2_ctext);
83
84
0
    return 1;
85
0
}
86
87
int ossl_sm2_ciphertext_size(const EC_KEY *key, const EVP_MD *digest,
88
    size_t msg_len, size_t *ct_size)
89
0
{
90
0
    const int field_size = ec_field_size(EC_KEY_get0_group(key));
91
0
    const int md_size = EVP_MD_get_size(digest);
92
0
    int sz;
93
94
0
    if (field_size == 0 || md_size <= 0 || msg_len > INT_MAX / 2)
95
0
        return 0;
96
97
    /* Integer and string are simple type; set constructed = 0, means primitive and definite length encoding. */
98
0
    sz = 2 * ASN1_object_size(0, field_size + 1, V_ASN1_INTEGER)
99
0
        + ASN1_object_size(0, md_size, V_ASN1_OCTET_STRING)
100
0
        + ASN1_object_size(0, (int)msg_len, V_ASN1_OCTET_STRING);
101
    /* Sequence is structured type; set constructed = 1, means constructed and definite length encoding. */
102
0
    *ct_size = (size_t)ASN1_object_size(1, sz, V_ASN1_SEQUENCE);
103
104
0
    return 1;
105
0
}
106
107
int ossl_sm2_encrypt(const EC_KEY *key,
108
    const EVP_MD *digest,
109
    const uint8_t *msg, size_t msg_len,
110
    uint8_t *ciphertext_buf, size_t *ciphertext_len)
111
0
{
112
0
    int rc = 0, ciphertext_leni;
113
0
    size_t i;
114
0
    BN_CTX *ctx = NULL;
115
0
    BIGNUM *k = NULL;
116
0
    BIGNUM *x1 = NULL;
117
0
    BIGNUM *y1 = NULL;
118
0
    BIGNUM *x2 = NULL;
119
0
    BIGNUM *y2 = NULL;
120
0
    EVP_MD_CTX *hash = EVP_MD_CTX_new();
121
0
    struct SM2_Ciphertext_st ctext_struct;
122
0
    const EC_GROUP *group = EC_KEY_get0_group(key);
123
0
    const BIGNUM *order = EC_GROUP_get0_order(group);
124
0
    const EC_POINT *P = EC_KEY_get0_public_key(key);
125
0
    EC_POINT *kG = NULL;
126
0
    EC_POINT *kP = NULL;
127
0
    uint8_t *msg_mask = NULL;
128
0
    uint8_t *x2y2 = NULL;
129
0
    uint8_t *C3 = NULL;
130
0
    int field_size;
131
0
    const int C3_size = EVP_MD_get_size(digest);
132
0
    EVP_MD *fetched_digest = NULL;
133
0
    OSSL_LIB_CTX *libctx = ossl_ec_key_get_libctx(key);
134
0
    const char *propq = ossl_ec_key_get0_propq(key);
135
136
    /* NULL these before any "goto done" */
137
0
    ctext_struct.C2 = NULL;
138
0
    ctext_struct.C3 = NULL;
139
140
0
    if (msg_len > INT_MAX / 2) {
141
0
        ERR_raise(ERR_LIB_SM2, ERR_R_PASSED_INVALID_ARGUMENT);
142
0
        goto done;
143
0
    }
144
145
0
    if (hash == NULL || C3_size <= 0) {
146
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
147
0
        goto done;
148
0
    }
149
150
0
    field_size = ec_field_size(group);
151
0
    if (field_size == 0) {
152
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
153
0
        goto done;
154
0
    }
155
156
0
    kG = EC_POINT_new(group);
157
0
    kP = EC_POINT_new(group);
158
0
    if (kG == NULL || kP == NULL) {
159
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EC_LIB);
160
0
        goto done;
161
0
    }
162
0
    ctx = BN_CTX_new_ex(libctx);
163
0
    if (ctx == NULL) {
164
0
        ERR_raise(ERR_LIB_SM2, ERR_R_BN_LIB);
165
0
        goto done;
166
0
    }
167
168
0
    BN_CTX_start(ctx);
169
0
    k = BN_CTX_get(ctx);
170
0
    x1 = BN_CTX_get(ctx);
171
0
    x2 = BN_CTX_get(ctx);
172
0
    y1 = BN_CTX_get(ctx);
173
0
    y2 = BN_CTX_get(ctx);
174
175
0
    if (y2 == NULL) {
176
0
        ERR_raise(ERR_LIB_SM2, ERR_R_BN_LIB);
177
0
        goto done;
178
0
    }
179
180
0
    x2y2 = OPENSSL_calloc(2, field_size);
181
0
    C3 = OPENSSL_zalloc(C3_size);
182
183
0
    if (x2y2 == NULL || C3 == NULL)
184
0
        goto done;
185
186
0
    memset(ciphertext_buf, 0, *ciphertext_len);
187
188
0
    msg_mask = OPENSSL_zalloc(msg_len);
189
0
    if (msg_mask == NULL)
190
0
        goto done;
191
192
0
again:
193
0
    if (!BN_priv_rand_range_ex(k, order, 0, ctx)) {
194
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
195
0
        goto done;
196
0
    }
197
198
0
    if (!EC_POINT_mul(group, kG, k, NULL, NULL, ctx)
199
0
        || !EC_POINT_get_affine_coordinates(group, kG, x1, y1, ctx)
200
0
        || !EC_POINT_mul(group, kP, NULL, P, k, ctx)
201
0
        || !EC_POINT_get_affine_coordinates(group, kP, x2, y2, ctx)) {
202
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EC_LIB);
203
0
        goto done;
204
0
    }
205
206
0
    if (BN_bn2binpad(x2, x2y2, field_size) < 0
207
0
        || BN_bn2binpad(y2, x2y2 + field_size, field_size) < 0) {
208
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
209
0
        goto done;
210
0
    }
211
212
    /* X9.63 with no salt happens to match the KDF used in SM2 */
213
0
    if (!ossl_ecdh_kdf_X9_63(msg_mask, msg_len, x2y2, 2 * field_size, NULL, 0,
214
0
            digest, libctx, propq)) {
215
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EVP_LIB);
216
0
        goto done;
217
0
    }
218
219
0
    if (is_all_zeros(msg_mask, msg_len)) {
220
0
        memset(x2y2, 0, 2 * field_size);
221
0
        goto again;
222
0
    }
223
224
0
    for (i = 0; i != msg_len; ++i)
225
0
        msg_mask[i] ^= msg[i];
226
227
0
    fetched_digest = EVP_MD_fetch(libctx, EVP_MD_get0_name(digest), propq);
228
0
    if (fetched_digest == NULL) {
229
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
230
0
        goto done;
231
0
    }
232
0
    if (EVP_DigestInit(hash, fetched_digest) == 0
233
0
        || EVP_DigestUpdate(hash, x2y2, field_size) == 0
234
0
        || EVP_DigestUpdate(hash, msg, msg_len) == 0
235
0
        || EVP_DigestUpdate(hash, x2y2 + field_size, field_size) == 0
236
0
        || EVP_DigestFinal(hash, C3, NULL) == 0) {
237
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EVP_LIB);
238
0
        goto done;
239
0
    }
240
241
0
    ctext_struct.C1x = x1;
242
0
    ctext_struct.C1y = y1;
243
0
    ctext_struct.C3 = ASN1_OCTET_STRING_new();
244
0
    ctext_struct.C2 = ASN1_OCTET_STRING_new();
245
246
0
    if (ctext_struct.C3 == NULL || ctext_struct.C2 == NULL) {
247
0
        ERR_raise(ERR_LIB_SM2, ERR_R_ASN1_LIB);
248
0
        goto done;
249
0
    }
250
0
    if (!ASN1_OCTET_STRING_set(ctext_struct.C3, C3, C3_size)
251
0
        || !ASN1_OCTET_STRING_set(ctext_struct.C2, msg_mask, (int)msg_len)) {
252
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
253
0
        goto done;
254
0
    }
255
256
0
    ciphertext_leni = i2d_SM2_Ciphertext(&ctext_struct, NULL);
257
    /* Ensure cast to size_t is safe */
258
0
    if (ciphertext_leni < 0) {
259
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
260
0
        goto done;
261
0
    }
262
263
0
    if (*ciphertext_len < (size_t)ciphertext_leni) {
264
0
        ERR_raise(ERR_LIB_SM2, SM2_R_BUFFER_TOO_SMALL);
265
0
        goto done;
266
0
    }
267
268
0
    ciphertext_leni = i2d_SM2_Ciphertext(&ctext_struct, &ciphertext_buf);
269
0
    if (ciphertext_leni < 0) {
270
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
271
0
        goto done;
272
0
    }
273
0
    *ciphertext_len = (size_t)ciphertext_leni;
274
275
0
    rc = 1;
276
277
0
done:
278
0
    EVP_MD_free(fetched_digest);
279
0
    ASN1_OCTET_STRING_free(ctext_struct.C2);
280
0
    ASN1_OCTET_STRING_free(ctext_struct.C3);
281
0
    OPENSSL_free(msg_mask);
282
0
    OPENSSL_free(x2y2);
283
0
    OPENSSL_free(C3);
284
0
    EVP_MD_CTX_free(hash);
285
0
    BN_CTX_end(ctx);
286
0
    BN_CTX_free(ctx);
287
0
    EC_POINT_free(kG);
288
0
    EC_POINT_free(kP);
289
0
    return rc;
290
0
}
291
292
int ossl_sm2_decrypt(const EC_KEY *key,
293
    const EVP_MD *digest,
294
    const uint8_t *ciphertext, size_t ciphertext_len,
295
    uint8_t *ptext_buf, size_t *ptext_len)
296
0
{
297
0
    int rc = 0;
298
0
    int i;
299
0
    BN_CTX *ctx = NULL;
300
0
    const EC_GROUP *group = EC_KEY_get0_group(key);
301
0
    EC_POINT *C1 = NULL;
302
0
    struct SM2_Ciphertext_st *sm2_ctext = NULL;
303
0
    BIGNUM *x2 = NULL;
304
0
    BIGNUM *y2 = NULL;
305
0
    uint8_t *x2y2 = NULL;
306
0
    uint8_t *computed_C3 = NULL;
307
0
    const int field_size = ec_field_size(group);
308
0
    const int hash_size = EVP_MD_get_size(digest);
309
0
    uint8_t *msg_mask = NULL;
310
0
    const uint8_t *C2 = NULL;
311
0
    const uint8_t *C3 = NULL;
312
0
    int msg_len = 0;
313
0
    EVP_MD_CTX *hash = NULL;
314
0
    OSSL_LIB_CTX *libctx = ossl_ec_key_get_libctx(key);
315
0
    const char *propq = ossl_ec_key_get0_propq(key);
316
317
0
    if (field_size == 0 || hash_size <= 0 || ciphertext_len > LONG_MAX)
318
0
        goto done;
319
320
0
    memset(ptext_buf, 0xFF, *ptext_len);
321
322
0
    sm2_ctext = d2i_SM2_Ciphertext(NULL, &ciphertext, (long)ciphertext_len);
323
324
0
    if (sm2_ctext == NULL) {
325
0
        ERR_raise(ERR_LIB_SM2, SM2_R_ASN1_ERROR);
326
0
        goto done;
327
0
    }
328
329
0
    if (ASN1_STRING_length(sm2_ctext->C3) != hash_size) {
330
0
        ERR_raise(ERR_LIB_SM2, SM2_R_INVALID_ENCODING);
331
0
        goto done;
332
0
    }
333
334
0
    C2 = ASN1_STRING_get0_data(sm2_ctext->C2);
335
0
    C3 = ASN1_STRING_get0_data(sm2_ctext->C3);
336
0
    msg_len = ASN1_STRING_length(sm2_ctext->C2);
337
0
    if (*ptext_len < (size_t)msg_len) {
338
0
        ERR_raise(ERR_LIB_SM2, SM2_R_BUFFER_TOO_SMALL);
339
0
        goto done;
340
0
    }
341
342
0
    ctx = BN_CTX_new_ex(libctx);
343
0
    if (ctx == NULL) {
344
0
        ERR_raise(ERR_LIB_SM2, ERR_R_BN_LIB);
345
0
        goto done;
346
0
    }
347
348
0
    BN_CTX_start(ctx);
349
0
    x2 = BN_CTX_get(ctx);
350
0
    y2 = BN_CTX_get(ctx);
351
352
0
    if (y2 == NULL) {
353
0
        ERR_raise(ERR_LIB_SM2, ERR_R_BN_LIB);
354
0
        goto done;
355
0
    }
356
357
0
    msg_mask = OPENSSL_zalloc(msg_len);
358
0
    x2y2 = OPENSSL_calloc(2, field_size);
359
0
    computed_C3 = OPENSSL_zalloc(hash_size);
360
361
0
    if (msg_mask == NULL || x2y2 == NULL || computed_C3 == NULL)
362
0
        goto done;
363
364
0
    C1 = EC_POINT_new(group);
365
0
    if (C1 == NULL) {
366
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EC_LIB);
367
0
        goto done;
368
0
    }
369
370
0
    if (!EC_POINT_set_affine_coordinates(group, C1, sm2_ctext->C1x,
371
0
            sm2_ctext->C1y, ctx)
372
0
        || !EC_POINT_mul(group, C1, NULL, C1, EC_KEY_get0_private_key(key),
373
0
            ctx)
374
0
        || !EC_POINT_get_affine_coordinates(group, C1, x2, y2, ctx)) {
375
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EC_LIB);
376
0
        goto done;
377
0
    }
378
379
0
    if (BN_bn2binpad(x2, x2y2, field_size) < 0
380
0
        || BN_bn2binpad(y2, x2y2 + field_size, field_size) < 0
381
0
        || !ossl_ecdh_kdf_X9_63(msg_mask, msg_len, x2y2, 2 * field_size,
382
0
            NULL, 0, digest, libctx, propq)) {
383
0
        ERR_raise(ERR_LIB_SM2, ERR_R_INTERNAL_ERROR);
384
0
        goto done;
385
0
    }
386
387
0
    if (is_all_zeros(msg_mask, msg_len)) {
388
0
        ERR_raise(ERR_LIB_SM2, SM2_R_INVALID_ENCODING);
389
0
        goto done;
390
0
    }
391
392
0
    for (i = 0; i != msg_len; ++i)
393
0
        ptext_buf[i] = C2[i] ^ msg_mask[i];
394
395
0
    hash = EVP_MD_CTX_new();
396
0
    if (hash == NULL) {
397
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EVP_LIB);
398
0
        goto done;
399
0
    }
400
401
0
    if (!EVP_DigestInit(hash, digest)
402
0
        || !EVP_DigestUpdate(hash, x2y2, field_size)
403
0
        || !EVP_DigestUpdate(hash, ptext_buf, msg_len)
404
0
        || !EVP_DigestUpdate(hash, x2y2 + field_size, field_size)
405
0
        || !EVP_DigestFinal(hash, computed_C3, NULL)) {
406
0
        ERR_raise(ERR_LIB_SM2, ERR_R_EVP_LIB);
407
0
        goto done;
408
0
    }
409
410
0
    if (CRYPTO_memcmp(computed_C3, C3, hash_size) != 0) {
411
0
        ERR_raise(ERR_LIB_SM2, SM2_R_INVALID_DIGEST);
412
0
        goto done;
413
0
    }
414
415
0
    rc = 1;
416
0
    *ptext_len = msg_len;
417
418
0
done:
419
0
    if (rc == 0)
420
0
        memset(ptext_buf, 0, *ptext_len);
421
422
0
    OPENSSL_free(msg_mask);
423
0
    OPENSSL_free(x2y2);
424
0
    OPENSSL_free(computed_C3);
425
0
    EC_POINT_free(C1);
426
0
    BN_CTX_end(ctx);
427
0
    BN_CTX_free(ctx);
428
0
    SM2_Ciphertext_free(sm2_ctext);
429
0
    EVP_MD_CTX_free(hash);
430
431
0
    return rc;
432
0
}