1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0+
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Elliptic Curve (Russian) Digital Signature Algorithm for Cryptographic API
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Copyright (c) 2019 Vitaly Chikunov <vt@altlinux.org>
6*4882a593Smuzhiyun *
7*4882a593Smuzhiyun * References:
8*4882a593Smuzhiyun * GOST 34.10-2018, GOST R 34.10-2012, RFC 7091, ISO/IEC 14888-3:2018.
9*4882a593Smuzhiyun *
10*4882a593Smuzhiyun * Historical references:
11*4882a593Smuzhiyun * GOST R 34.10-2001, RFC 4357, ISO/IEC 14888-3:2006/Amd 1:2010.
12*4882a593Smuzhiyun *
13*4882a593Smuzhiyun * This program is free software; you can redistribute it and/or modify it
14*4882a593Smuzhiyun * under the terms of the GNU General Public License as published by the Free
15*4882a593Smuzhiyun * Software Foundation; either version 2 of the License, or (at your option)
16*4882a593Smuzhiyun * any later version.
17*4882a593Smuzhiyun */
18*4882a593Smuzhiyun
19*4882a593Smuzhiyun #include <linux/module.h>
20*4882a593Smuzhiyun #include <linux/crypto.h>
21*4882a593Smuzhiyun #include <crypto/streebog.h>
22*4882a593Smuzhiyun #include <crypto/internal/akcipher.h>
23*4882a593Smuzhiyun #include <crypto/akcipher.h>
24*4882a593Smuzhiyun #include <linux/oid_registry.h>
25*4882a593Smuzhiyun #include <linux/scatterlist.h>
26*4882a593Smuzhiyun #include "ecrdsa_params.asn1.h"
27*4882a593Smuzhiyun #include "ecrdsa_pub_key.asn1.h"
28*4882a593Smuzhiyun #include "ecc.h"
29*4882a593Smuzhiyun #include "ecrdsa_defs.h"
30*4882a593Smuzhiyun
31*4882a593Smuzhiyun #define ECRDSA_MAX_SIG_SIZE (2 * 512 / 8)
32*4882a593Smuzhiyun #define ECRDSA_MAX_DIGITS (512 / 64)
33*4882a593Smuzhiyun
34*4882a593Smuzhiyun struct ecrdsa_ctx {
35*4882a593Smuzhiyun enum OID algo_oid; /* overall public key oid */
36*4882a593Smuzhiyun enum OID curve_oid; /* parameter */
37*4882a593Smuzhiyun enum OID digest_oid; /* parameter */
38*4882a593Smuzhiyun const struct ecc_curve *curve; /* curve from oid */
39*4882a593Smuzhiyun unsigned int digest_len; /* parameter (bytes) */
40*4882a593Smuzhiyun const char *digest; /* digest name from oid */
41*4882a593Smuzhiyun unsigned int key_len; /* @key length (bytes) */
42*4882a593Smuzhiyun const char *key; /* raw public key */
43*4882a593Smuzhiyun struct ecc_point pub_key;
44*4882a593Smuzhiyun u64 _pubp[2][ECRDSA_MAX_DIGITS]; /* point storage for @pub_key */
45*4882a593Smuzhiyun };
46*4882a593Smuzhiyun
get_curve_by_oid(enum OID oid)47*4882a593Smuzhiyun static const struct ecc_curve *get_curve_by_oid(enum OID oid)
48*4882a593Smuzhiyun {
49*4882a593Smuzhiyun switch (oid) {
50*4882a593Smuzhiyun case OID_gostCPSignA:
51*4882a593Smuzhiyun case OID_gostTC26Sign256B:
52*4882a593Smuzhiyun return &gost_cp256a;
53*4882a593Smuzhiyun case OID_gostCPSignB:
54*4882a593Smuzhiyun case OID_gostTC26Sign256C:
55*4882a593Smuzhiyun return &gost_cp256b;
56*4882a593Smuzhiyun case OID_gostCPSignC:
57*4882a593Smuzhiyun case OID_gostTC26Sign256D:
58*4882a593Smuzhiyun return &gost_cp256c;
59*4882a593Smuzhiyun case OID_gostTC26Sign512A:
60*4882a593Smuzhiyun return &gost_tc512a;
61*4882a593Smuzhiyun case OID_gostTC26Sign512B:
62*4882a593Smuzhiyun return &gost_tc512b;
63*4882a593Smuzhiyun /* The following two aren't implemented: */
64*4882a593Smuzhiyun case OID_gostTC26Sign256A:
65*4882a593Smuzhiyun case OID_gostTC26Sign512C:
66*4882a593Smuzhiyun default:
67*4882a593Smuzhiyun return NULL;
68*4882a593Smuzhiyun }
69*4882a593Smuzhiyun }
70*4882a593Smuzhiyun
ecrdsa_verify(struct akcipher_request * req)71*4882a593Smuzhiyun static int ecrdsa_verify(struct akcipher_request *req)
72*4882a593Smuzhiyun {
73*4882a593Smuzhiyun struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
74*4882a593Smuzhiyun struct ecrdsa_ctx *ctx = akcipher_tfm_ctx(tfm);
75*4882a593Smuzhiyun unsigned char sig[ECRDSA_MAX_SIG_SIZE];
76*4882a593Smuzhiyun unsigned char digest[STREEBOG512_DIGEST_SIZE];
77*4882a593Smuzhiyun unsigned int ndigits = req->dst_len / sizeof(u64);
78*4882a593Smuzhiyun u64 r[ECRDSA_MAX_DIGITS]; /* witness (r) */
79*4882a593Smuzhiyun u64 _r[ECRDSA_MAX_DIGITS]; /* -r */
80*4882a593Smuzhiyun u64 s[ECRDSA_MAX_DIGITS]; /* second part of sig (s) */
81*4882a593Smuzhiyun u64 e[ECRDSA_MAX_DIGITS]; /* h \mod q */
82*4882a593Smuzhiyun u64 *v = e; /* e^{-1} \mod q */
83*4882a593Smuzhiyun u64 z1[ECRDSA_MAX_DIGITS];
84*4882a593Smuzhiyun u64 *z2 = _r;
85*4882a593Smuzhiyun struct ecc_point cc = ECC_POINT_INIT(s, e, ndigits); /* reuse s, e */
86*4882a593Smuzhiyun
87*4882a593Smuzhiyun /*
88*4882a593Smuzhiyun * Digest value, digest algorithm, and curve (modulus) should have the
89*4882a593Smuzhiyun * same length (256 or 512 bits), public key and signature should be
90*4882a593Smuzhiyun * twice bigger.
91*4882a593Smuzhiyun */
92*4882a593Smuzhiyun if (!ctx->curve ||
93*4882a593Smuzhiyun !ctx->digest ||
94*4882a593Smuzhiyun !req->src ||
95*4882a593Smuzhiyun !ctx->pub_key.x ||
96*4882a593Smuzhiyun req->dst_len != ctx->digest_len ||
97*4882a593Smuzhiyun req->dst_len != ctx->curve->g.ndigits * sizeof(u64) ||
98*4882a593Smuzhiyun ctx->pub_key.ndigits != ctx->curve->g.ndigits ||
99*4882a593Smuzhiyun req->dst_len * 2 != req->src_len ||
100*4882a593Smuzhiyun WARN_ON(req->src_len > sizeof(sig)) ||
101*4882a593Smuzhiyun WARN_ON(req->dst_len > sizeof(digest)))
102*4882a593Smuzhiyun return -EBADMSG;
103*4882a593Smuzhiyun
104*4882a593Smuzhiyun sg_copy_to_buffer(req->src, sg_nents_for_len(req->src, req->src_len),
105*4882a593Smuzhiyun sig, req->src_len);
106*4882a593Smuzhiyun sg_pcopy_to_buffer(req->src,
107*4882a593Smuzhiyun sg_nents_for_len(req->src,
108*4882a593Smuzhiyun req->src_len + req->dst_len),
109*4882a593Smuzhiyun digest, req->dst_len, req->src_len);
110*4882a593Smuzhiyun
111*4882a593Smuzhiyun vli_from_be64(s, sig, ndigits);
112*4882a593Smuzhiyun vli_from_be64(r, sig + ndigits * sizeof(u64), ndigits);
113*4882a593Smuzhiyun
114*4882a593Smuzhiyun /* Step 1: verify that 0 < r < q, 0 < s < q */
115*4882a593Smuzhiyun if (vli_is_zero(r, ndigits) ||
116*4882a593Smuzhiyun vli_cmp(r, ctx->curve->n, ndigits) >= 0 ||
117*4882a593Smuzhiyun vli_is_zero(s, ndigits) ||
118*4882a593Smuzhiyun vli_cmp(s, ctx->curve->n, ndigits) >= 0)
119*4882a593Smuzhiyun return -EKEYREJECTED;
120*4882a593Smuzhiyun
121*4882a593Smuzhiyun /* Step 2: calculate hash (h) of the message (passed as input) */
122*4882a593Smuzhiyun /* Step 3: calculate e = h \mod q */
123*4882a593Smuzhiyun vli_from_le64(e, digest, ndigits);
124*4882a593Smuzhiyun if (vli_cmp(e, ctx->curve->n, ndigits) >= 0)
125*4882a593Smuzhiyun vli_sub(e, e, ctx->curve->n, ndigits);
126*4882a593Smuzhiyun if (vli_is_zero(e, ndigits))
127*4882a593Smuzhiyun e[0] = 1;
128*4882a593Smuzhiyun
129*4882a593Smuzhiyun /* Step 4: calculate v = e^{-1} \mod q */
130*4882a593Smuzhiyun vli_mod_inv(v, e, ctx->curve->n, ndigits);
131*4882a593Smuzhiyun
132*4882a593Smuzhiyun /* Step 5: calculate z_1 = sv \mod q, z_2 = -rv \mod q */
133*4882a593Smuzhiyun vli_mod_mult_slow(z1, s, v, ctx->curve->n, ndigits);
134*4882a593Smuzhiyun vli_sub(_r, ctx->curve->n, r, ndigits);
135*4882a593Smuzhiyun vli_mod_mult_slow(z2, _r, v, ctx->curve->n, ndigits);
136*4882a593Smuzhiyun
137*4882a593Smuzhiyun /* Step 6: calculate point C = z_1P + z_2Q, and R = x_c \mod q */
138*4882a593Smuzhiyun ecc_point_mult_shamir(&cc, z1, &ctx->curve->g, z2, &ctx->pub_key,
139*4882a593Smuzhiyun ctx->curve);
140*4882a593Smuzhiyun if (vli_cmp(cc.x, ctx->curve->n, ndigits) >= 0)
141*4882a593Smuzhiyun vli_sub(cc.x, cc.x, ctx->curve->n, ndigits);
142*4882a593Smuzhiyun
143*4882a593Smuzhiyun /* Step 7: if R == r signature is valid */
144*4882a593Smuzhiyun if (!vli_cmp(cc.x, r, ndigits))
145*4882a593Smuzhiyun return 0;
146*4882a593Smuzhiyun else
147*4882a593Smuzhiyun return -EKEYREJECTED;
148*4882a593Smuzhiyun }
149*4882a593Smuzhiyun
ecrdsa_param_curve(void * context,size_t hdrlen,unsigned char tag,const void * value,size_t vlen)150*4882a593Smuzhiyun int ecrdsa_param_curve(void *context, size_t hdrlen, unsigned char tag,
151*4882a593Smuzhiyun const void *value, size_t vlen)
152*4882a593Smuzhiyun {
153*4882a593Smuzhiyun struct ecrdsa_ctx *ctx = context;
154*4882a593Smuzhiyun
155*4882a593Smuzhiyun ctx->curve_oid = look_up_OID(value, vlen);
156*4882a593Smuzhiyun if (!ctx->curve_oid)
157*4882a593Smuzhiyun return -EINVAL;
158*4882a593Smuzhiyun ctx->curve = get_curve_by_oid(ctx->curve_oid);
159*4882a593Smuzhiyun return 0;
160*4882a593Smuzhiyun }
161*4882a593Smuzhiyun
162*4882a593Smuzhiyun /* Optional. If present should match expected digest algo OID. */
ecrdsa_param_digest(void * context,size_t hdrlen,unsigned char tag,const void * value,size_t vlen)163*4882a593Smuzhiyun int ecrdsa_param_digest(void *context, size_t hdrlen, unsigned char tag,
164*4882a593Smuzhiyun const void *value, size_t vlen)
165*4882a593Smuzhiyun {
166*4882a593Smuzhiyun struct ecrdsa_ctx *ctx = context;
167*4882a593Smuzhiyun int digest_oid = look_up_OID(value, vlen);
168*4882a593Smuzhiyun
169*4882a593Smuzhiyun if (digest_oid != ctx->digest_oid)
170*4882a593Smuzhiyun return -EINVAL;
171*4882a593Smuzhiyun return 0;
172*4882a593Smuzhiyun }
173*4882a593Smuzhiyun
ecrdsa_parse_pub_key(void * context,size_t hdrlen,unsigned char tag,const void * value,size_t vlen)174*4882a593Smuzhiyun int ecrdsa_parse_pub_key(void *context, size_t hdrlen, unsigned char tag,
175*4882a593Smuzhiyun const void *value, size_t vlen)
176*4882a593Smuzhiyun {
177*4882a593Smuzhiyun struct ecrdsa_ctx *ctx = context;
178*4882a593Smuzhiyun
179*4882a593Smuzhiyun ctx->key = value;
180*4882a593Smuzhiyun ctx->key_len = vlen;
181*4882a593Smuzhiyun return 0;
182*4882a593Smuzhiyun }
183*4882a593Smuzhiyun
ecrdsa_unpack_u32(u32 * dst,void * src)184*4882a593Smuzhiyun static u8 *ecrdsa_unpack_u32(u32 *dst, void *src)
185*4882a593Smuzhiyun {
186*4882a593Smuzhiyun memcpy(dst, src, sizeof(u32));
187*4882a593Smuzhiyun return src + sizeof(u32);
188*4882a593Smuzhiyun }
189*4882a593Smuzhiyun
190*4882a593Smuzhiyun /* Parse BER encoded subjectPublicKey. */
ecrdsa_set_pub_key(struct crypto_akcipher * tfm,const void * key,unsigned int keylen)191*4882a593Smuzhiyun static int ecrdsa_set_pub_key(struct crypto_akcipher *tfm, const void *key,
192*4882a593Smuzhiyun unsigned int keylen)
193*4882a593Smuzhiyun {
194*4882a593Smuzhiyun struct ecrdsa_ctx *ctx = akcipher_tfm_ctx(tfm);
195*4882a593Smuzhiyun unsigned int ndigits;
196*4882a593Smuzhiyun u32 algo, paramlen;
197*4882a593Smuzhiyun u8 *params;
198*4882a593Smuzhiyun int err;
199*4882a593Smuzhiyun
200*4882a593Smuzhiyun err = asn1_ber_decoder(&ecrdsa_pub_key_decoder, ctx, key, keylen);
201*4882a593Smuzhiyun if (err < 0)
202*4882a593Smuzhiyun return err;
203*4882a593Smuzhiyun
204*4882a593Smuzhiyun /* Key parameters is in the key after keylen. */
205*4882a593Smuzhiyun params = ecrdsa_unpack_u32(¶mlen,
206*4882a593Smuzhiyun ecrdsa_unpack_u32(&algo, (u8 *)key + keylen));
207*4882a593Smuzhiyun
208*4882a593Smuzhiyun if (algo == OID_gost2012PKey256) {
209*4882a593Smuzhiyun ctx->digest = "streebog256";
210*4882a593Smuzhiyun ctx->digest_oid = OID_gost2012Digest256;
211*4882a593Smuzhiyun ctx->digest_len = 256 / 8;
212*4882a593Smuzhiyun } else if (algo == OID_gost2012PKey512) {
213*4882a593Smuzhiyun ctx->digest = "streebog512";
214*4882a593Smuzhiyun ctx->digest_oid = OID_gost2012Digest512;
215*4882a593Smuzhiyun ctx->digest_len = 512 / 8;
216*4882a593Smuzhiyun } else
217*4882a593Smuzhiyun return -ENOPKG;
218*4882a593Smuzhiyun ctx->algo_oid = algo;
219*4882a593Smuzhiyun
220*4882a593Smuzhiyun /* Parse SubjectPublicKeyInfo.AlgorithmIdentifier.parameters. */
221*4882a593Smuzhiyun err = asn1_ber_decoder(&ecrdsa_params_decoder, ctx, params, paramlen);
222*4882a593Smuzhiyun if (err < 0)
223*4882a593Smuzhiyun return err;
224*4882a593Smuzhiyun /*
225*4882a593Smuzhiyun * Sizes of algo (set in digest_len) and curve should match
226*4882a593Smuzhiyun * each other.
227*4882a593Smuzhiyun */
228*4882a593Smuzhiyun if (!ctx->curve ||
229*4882a593Smuzhiyun ctx->curve->g.ndigits * sizeof(u64) != ctx->digest_len)
230*4882a593Smuzhiyun return -ENOPKG;
231*4882a593Smuzhiyun /*
232*4882a593Smuzhiyun * Key is two 256- or 512-bit coordinates which should match
233*4882a593Smuzhiyun * curve size.
234*4882a593Smuzhiyun */
235*4882a593Smuzhiyun if ((ctx->key_len != (2 * 256 / 8) &&
236*4882a593Smuzhiyun ctx->key_len != (2 * 512 / 8)) ||
237*4882a593Smuzhiyun ctx->key_len != ctx->curve->g.ndigits * sizeof(u64) * 2)
238*4882a593Smuzhiyun return -ENOPKG;
239*4882a593Smuzhiyun
240*4882a593Smuzhiyun ndigits = ctx->key_len / sizeof(u64) / 2;
241*4882a593Smuzhiyun ctx->pub_key = ECC_POINT_INIT(ctx->_pubp[0], ctx->_pubp[1], ndigits);
242*4882a593Smuzhiyun vli_from_le64(ctx->pub_key.x, ctx->key, ndigits);
243*4882a593Smuzhiyun vli_from_le64(ctx->pub_key.y, ctx->key + ndigits * sizeof(u64),
244*4882a593Smuzhiyun ndigits);
245*4882a593Smuzhiyun
246*4882a593Smuzhiyun if (ecc_is_pubkey_valid_partial(ctx->curve, &ctx->pub_key))
247*4882a593Smuzhiyun return -EKEYREJECTED;
248*4882a593Smuzhiyun
249*4882a593Smuzhiyun return 0;
250*4882a593Smuzhiyun }
251*4882a593Smuzhiyun
ecrdsa_max_size(struct crypto_akcipher * tfm)252*4882a593Smuzhiyun static unsigned int ecrdsa_max_size(struct crypto_akcipher *tfm)
253*4882a593Smuzhiyun {
254*4882a593Smuzhiyun struct ecrdsa_ctx *ctx = akcipher_tfm_ctx(tfm);
255*4882a593Smuzhiyun
256*4882a593Smuzhiyun /*
257*4882a593Smuzhiyun * Verify doesn't need any output, so it's just informational
258*4882a593Smuzhiyun * for keyctl to determine the key bit size.
259*4882a593Smuzhiyun */
260*4882a593Smuzhiyun return ctx->pub_key.ndigits * sizeof(u64);
261*4882a593Smuzhiyun }
262*4882a593Smuzhiyun
ecrdsa_exit_tfm(struct crypto_akcipher * tfm)263*4882a593Smuzhiyun static void ecrdsa_exit_tfm(struct crypto_akcipher *tfm)
264*4882a593Smuzhiyun {
265*4882a593Smuzhiyun }
266*4882a593Smuzhiyun
267*4882a593Smuzhiyun static struct akcipher_alg ecrdsa_alg = {
268*4882a593Smuzhiyun .verify = ecrdsa_verify,
269*4882a593Smuzhiyun .set_pub_key = ecrdsa_set_pub_key,
270*4882a593Smuzhiyun .max_size = ecrdsa_max_size,
271*4882a593Smuzhiyun .exit = ecrdsa_exit_tfm,
272*4882a593Smuzhiyun .base = {
273*4882a593Smuzhiyun .cra_name = "ecrdsa",
274*4882a593Smuzhiyun .cra_driver_name = "ecrdsa-generic",
275*4882a593Smuzhiyun .cra_priority = 100,
276*4882a593Smuzhiyun .cra_module = THIS_MODULE,
277*4882a593Smuzhiyun .cra_ctxsize = sizeof(struct ecrdsa_ctx),
278*4882a593Smuzhiyun },
279*4882a593Smuzhiyun };
280*4882a593Smuzhiyun
ecrdsa_mod_init(void)281*4882a593Smuzhiyun static int __init ecrdsa_mod_init(void)
282*4882a593Smuzhiyun {
283*4882a593Smuzhiyun return crypto_register_akcipher(&ecrdsa_alg);
284*4882a593Smuzhiyun }
285*4882a593Smuzhiyun
ecrdsa_mod_fini(void)286*4882a593Smuzhiyun static void __exit ecrdsa_mod_fini(void)
287*4882a593Smuzhiyun {
288*4882a593Smuzhiyun crypto_unregister_akcipher(&ecrdsa_alg);
289*4882a593Smuzhiyun }
290*4882a593Smuzhiyun
291*4882a593Smuzhiyun module_init(ecrdsa_mod_init);
292*4882a593Smuzhiyun module_exit(ecrdsa_mod_fini);
293*4882a593Smuzhiyun
294*4882a593Smuzhiyun MODULE_LICENSE("GPL");
295*4882a593Smuzhiyun MODULE_AUTHOR("Vitaly Chikunov <vt@altlinux.org>");
296*4882a593Smuzhiyun MODULE_DESCRIPTION("EC-RDSA generic algorithm");
297*4882a593Smuzhiyun MODULE_ALIAS_CRYPTO("ecrdsa-generic");
298