1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /* Diffie-Hellman Key Agreement Method [RFC2631]
4 * Copyright (c) 2016, Intel Corporation
5 * Authors: Salvatore Benedetto <salvatore.benedetto@intel.com>
8 #include <linux/module.h>
9 #include <crypto/internal/kpp.h>
10 #include <crypto/kpp.h>
11 #include <crypto/dh.h>
12 #include <linux/fips.h>
13 #include <linux/mpi.h>
16 MPI p
; /* Value is guaranteed to be set. */
17 MPI q
; /* Value is optional. */
18 MPI g
; /* Value is guaranteed to be set. */
19 MPI xa
; /* Value is guaranteed to be set. */
22 static void dh_clear_ctx(struct dh_ctx
*ctx
)
28 memset(ctx
, 0, sizeof(*ctx
));
32 * If base is g we compute the public key
33 * ya = g^xa mod p; [RFC2631 sec 2.1.1]
34 * else if base if the counterpart public key we compute the shared secret
35 * ZZ = yb^xa mod p; [RFC2631 sec 2.1.1]
37 static int _compute_val(const struct dh_ctx
*ctx
, MPI base
, MPI val
)
39 /* val = base^xa mod p */
40 return mpi_powm(val
, base
, ctx
->xa
, ctx
->p
);
43 static inline struct dh_ctx
*dh_get_ctx(struct crypto_kpp
*tfm
)
45 return kpp_tfm_ctx(tfm
);
48 static int dh_check_params_length(unsigned int p_len
)
50 return (p_len
< 1536) ? -EINVAL
: 0;
53 static int dh_set_params(struct dh_ctx
*ctx
, struct dh
*params
)
55 if (dh_check_params_length(params
->p_size
<< 3))
58 ctx
->p
= mpi_read_raw_data(params
->p
, params
->p_size
);
62 if (params
->q
&& params
->q_size
) {
63 ctx
->q
= mpi_read_raw_data(params
->q
, params
->q_size
);
68 ctx
->g
= mpi_read_raw_data(params
->g
, params
->g_size
);
75 static int dh_set_secret(struct crypto_kpp
*tfm
, const void *buf
,
78 struct dh_ctx
*ctx
= dh_get_ctx(tfm
);
81 /* Free the old MPI key if any */
84 if (crypto_dh_decode_key(buf
, len
, ¶ms
) < 0)
87 if (dh_set_params(ctx
, ¶ms
) < 0)
90 ctx
->xa
= mpi_read_raw_data(params
.key
, params
.key_size
);
102 * SP800-56A public key verification:
104 * * If Q is provided as part of the domain paramenters, a full validation
105 * according to SP800-56A section 5.6.2.3.1 is performed.
107 * * If Q is not provided, a partial validation according to SP800-56A section
108 * 5.6.2.3.2 is performed.
110 static int dh_is_pubkey_valid(struct dh_ctx
*ctx
, MPI y
)
112 if (unlikely(!ctx
->p
))
116 * Step 1: Verify that 2 <= y <= p - 2.
118 * The upper limit check is actually y < p instead of y < p - 1
119 * as the mpi_sub_ui function is yet missing.
121 if (mpi_cmp_ui(y
, 1) < 1 || mpi_cmp(y
, ctx
->p
) >= 0)
124 /* Step 2: Verify that 1 = y^q mod p */
126 MPI val
= mpi_alloc(0);
132 ret
= mpi_powm(val
, y
, ctx
->q
, ctx
->p
);
139 ret
= mpi_cmp_ui(val
, 1);
150 static int dh_compute_value(struct kpp_request
*req
)
152 struct crypto_kpp
*tfm
= crypto_kpp_reqtfm(req
);
153 struct dh_ctx
*ctx
= dh_get_ctx(tfm
);
154 MPI base
, val
= mpi_alloc(0);
161 if (unlikely(!ctx
->xa
)) {
167 base
= mpi_read_raw_from_sgl(req
->src
, req
->src_len
);
172 ret
= dh_is_pubkey_valid(ctx
, base
);
179 ret
= _compute_val(ctx
, base
, val
);
184 /* SP800-56A rev3 5.7.1.1 check: Validation of shared secret */
189 if (mpi_cmp_ui(val
, 1) < 1) {
202 ret
= mpi_sub_ui(pone
, ctx
->p
, 1);
203 if (!ret
&& !mpi_cmp(pone
, val
))
211 /* SP800-56A rev 3 5.6.2.1.3 key check */
213 if (dh_is_pubkey_valid(ctx
, val
)) {
220 ret
= mpi_write_to_sgl(val
, req
->dst
, req
->dst_len
, &sign
);
234 static unsigned int dh_max_size(struct crypto_kpp
*tfm
)
236 struct dh_ctx
*ctx
= dh_get_ctx(tfm
);
238 return mpi_get_size(ctx
->p
);
241 static void dh_exit_tfm(struct crypto_kpp
*tfm
)
243 struct dh_ctx
*ctx
= dh_get_ctx(tfm
);
248 static struct kpp_alg dh
= {
249 .set_secret
= dh_set_secret
,
250 .generate_public_key
= dh_compute_value
,
251 .compute_shared_secret
= dh_compute_value
,
252 .max_size
= dh_max_size
,
256 .cra_driver_name
= "dh-generic",
258 .cra_module
= THIS_MODULE
,
259 .cra_ctxsize
= sizeof(struct dh_ctx
),
263 static int dh_init(void)
265 return crypto_register_kpp(&dh
);
268 static void dh_exit(void)
270 crypto_unregister_kpp(&dh
);
273 subsys_initcall(dh_init
);
274 module_exit(dh_exit
);
275 MODULE_ALIAS_CRYPTO("dh");
276 MODULE_LICENSE("GPL");
277 MODULE_DESCRIPTION("DH generic algorithm");