xref: /openbmc/linux/crypto/vmac.c (revision bb29648102335586e9a66289a1d98a0cb392b6e5)
1f1939f7cSShane Wang /*
2*bb296481SEric Biggers  * VMAC: Message Authentication Code using Universal Hashing
3*bb296481SEric Biggers  *
4*bb296481SEric Biggers  * Reference: https://tools.ietf.org/html/draft-krovetz-vmac-01
5*bb296481SEric Biggers  *
6f1939f7cSShane Wang  * Copyright (c) 2009, Intel Corporation.
7*bb296481SEric Biggers  * Copyright (c) 2018, Google Inc.
8f1939f7cSShane Wang  *
9f1939f7cSShane Wang  * This program is free software; you can redistribute it and/or modify it
10f1939f7cSShane Wang  * under the terms and conditions of the GNU General Public License,
11f1939f7cSShane Wang  * version 2, as published by the Free Software Foundation.
12f1939f7cSShane Wang  *
13f1939f7cSShane Wang  * This program is distributed in the hope it will be useful, but WITHOUT
14f1939f7cSShane Wang  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
15f1939f7cSShane Wang  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
16f1939f7cSShane Wang  * more details.
17f1939f7cSShane Wang  *
18f1939f7cSShane Wang  * You should have received a copy of the GNU General Public License along with
19f1939f7cSShane Wang  * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
20f1939f7cSShane Wang  * Place - Suite 330, Boston, MA 02111-1307 USA.
21f1939f7cSShane Wang  */
22f1939f7cSShane Wang 
23*bb296481SEric Biggers /*
24*bb296481SEric Biggers  * Derived from:
25f1939f7cSShane Wang  *	VMAC and VHASH Implementation by Ted Krovetz (tdk@acm.org) and Wei Dai.
26f1939f7cSShane Wang  *	This implementation is herby placed in the public domain.
27f1939f7cSShane Wang  *	The authors offers no warranty. Use at your own risk.
28f1939f7cSShane Wang  *	Last modified: 17 APR 08, 1700 PDT
29*bb296481SEric Biggers  */
30f1939f7cSShane Wang 
31*bb296481SEric Biggers #include <asm/unaligned.h>
32f1939f7cSShane Wang #include <linux/init.h>
33f1939f7cSShane Wang #include <linux/types.h>
34f1939f7cSShane Wang #include <linux/crypto.h>
354bb33cc8SPaul Gortmaker #include <linux/module.h>
36f1939f7cSShane Wang #include <linux/scatterlist.h>
37f1939f7cSShane Wang #include <asm/byteorder.h>
38f1939f7cSShane Wang #include <crypto/scatterwalk.h>
39f1939f7cSShane Wang #include <crypto/internal/hash.h>
40f1939f7cSShane Wang 
41f1939f7cSShane Wang /*
42*bb296481SEric Biggers  * User definable settings.
43*bb296481SEric Biggers  */
44*bb296481SEric Biggers #define VMAC_TAG_LEN	64
45*bb296481SEric Biggers #define VMAC_KEY_SIZE	128/* Must be 128, 192 or 256			*/
46*bb296481SEric Biggers #define VMAC_KEY_LEN	(VMAC_KEY_SIZE/8)
47*bb296481SEric Biggers #define VMAC_NHBYTES	128/* Must 2^i for any 3 < i < 13 Standard = 128*/
48*bb296481SEric Biggers 
49*bb296481SEric Biggers /* per-transform (per-key) context */
50*bb296481SEric Biggers struct vmac_tfm_ctx {
51*bb296481SEric Biggers 	struct crypto_cipher *cipher;
52*bb296481SEric Biggers 	u64 nhkey[(VMAC_NHBYTES/8)+2*(VMAC_TAG_LEN/64-1)];
53*bb296481SEric Biggers 	u64 polykey[2*VMAC_TAG_LEN/64];
54*bb296481SEric Biggers 	u64 l3key[2*VMAC_TAG_LEN/64];
55*bb296481SEric Biggers };
56*bb296481SEric Biggers 
57*bb296481SEric Biggers /* per-request context */
58*bb296481SEric Biggers struct vmac_desc_ctx {
59*bb296481SEric Biggers 	union {
60*bb296481SEric Biggers 		u8 partial[VMAC_NHBYTES];	/* partial block */
61*bb296481SEric Biggers 		__le64 partial_words[VMAC_NHBYTES / 8];
62*bb296481SEric Biggers 	};
63*bb296481SEric Biggers 	unsigned int partial_size;	/* size of the partial block */
64*bb296481SEric Biggers 	bool first_block_processed;
65*bb296481SEric Biggers 	u64 polytmp[2*VMAC_TAG_LEN/64];	/* running total of L2-hash */
66*bb296481SEric Biggers };
67*bb296481SEric Biggers 
68*bb296481SEric Biggers /*
69f1939f7cSShane Wang  * Constants and masks
70f1939f7cSShane Wang  */
71f1939f7cSShane Wang #define UINT64_C(x) x##ULL
7266ce0b0fSJussi Kivilinna static const u64 p64   = UINT64_C(0xfffffffffffffeff);	/* 2^64 - 257 prime  */
7366ce0b0fSJussi Kivilinna static const u64 m62   = UINT64_C(0x3fffffffffffffff);	/* 62-bit mask       */
7466ce0b0fSJussi Kivilinna static const u64 m63   = UINT64_C(0x7fffffffffffffff);	/* 63-bit mask       */
7566ce0b0fSJussi Kivilinna static const u64 m64   = UINT64_C(0xffffffffffffffff);	/* 64-bit mask       */
7666ce0b0fSJussi Kivilinna static const u64 mpoly = UINT64_C(0x1fffffff1fffffff);	/* Poly key mask     */
77f1939f7cSShane Wang 
78304a204eSShane Wang #define pe64_to_cpup le64_to_cpup		/* Prefer little endian */
79304a204eSShane Wang 
80f1939f7cSShane Wang #ifdef __LITTLE_ENDIAN
81f1939f7cSShane Wang #define INDEX_HIGH 1
82f1939f7cSShane Wang #define INDEX_LOW 0
83f1939f7cSShane Wang #else
84f1939f7cSShane Wang #define INDEX_HIGH 0
85f1939f7cSShane Wang #define INDEX_LOW 1
86f1939f7cSShane Wang #endif
87f1939f7cSShane Wang 
88f1939f7cSShane Wang /*
89f1939f7cSShane Wang  * The following routines are used in this implementation. They are
90f1939f7cSShane Wang  * written via macros to simulate zero-overhead call-by-reference.
91f1939f7cSShane Wang  *
92f1939f7cSShane Wang  * MUL64: 64x64->128-bit multiplication
93f1939f7cSShane Wang  * PMUL64: assumes top bits cleared on inputs
94f1939f7cSShane Wang  * ADD128: 128x128->128-bit addition
95f1939f7cSShane Wang  */
96f1939f7cSShane Wang 
97f1939f7cSShane Wang #define ADD128(rh, rl, ih, il)						\
98f1939f7cSShane Wang 	do {								\
99f1939f7cSShane Wang 		u64 _il = (il);						\
100f1939f7cSShane Wang 		(rl) += (_il);						\
101f1939f7cSShane Wang 		if ((rl) < (_il))					\
102f1939f7cSShane Wang 			(rh)++;						\
103f1939f7cSShane Wang 		(rh) += (ih);						\
104f1939f7cSShane Wang 	} while (0)
105f1939f7cSShane Wang 
106f1939f7cSShane Wang #define MUL32(i1, i2)	((u64)(u32)(i1)*(u32)(i2))
107f1939f7cSShane Wang 
108f1939f7cSShane Wang #define PMUL64(rh, rl, i1, i2)	/* Assumes m doesn't overflow */	\
109f1939f7cSShane Wang 	do {								\
110f1939f7cSShane Wang 		u64 _i1 = (i1), _i2 = (i2);				\
111f1939f7cSShane Wang 		u64 m = MUL32(_i1, _i2>>32) + MUL32(_i1>>32, _i2);	\
112f1939f7cSShane Wang 		rh = MUL32(_i1>>32, _i2>>32);				\
113f1939f7cSShane Wang 		rl = MUL32(_i1, _i2);					\
114f1939f7cSShane Wang 		ADD128(rh, rl, (m >> 32), (m << 32));			\
115f1939f7cSShane Wang 	} while (0)
116f1939f7cSShane Wang 
117f1939f7cSShane Wang #define MUL64(rh, rl, i1, i2)						\
118f1939f7cSShane Wang 	do {								\
119f1939f7cSShane Wang 		u64 _i1 = (i1), _i2 = (i2);				\
120f1939f7cSShane Wang 		u64 m1 = MUL32(_i1, _i2>>32);				\
121f1939f7cSShane Wang 		u64 m2 = MUL32(_i1>>32, _i2);				\
122f1939f7cSShane Wang 		rh = MUL32(_i1>>32, _i2>>32);				\
123f1939f7cSShane Wang 		rl = MUL32(_i1, _i2);					\
124f1939f7cSShane Wang 		ADD128(rh, rl, (m1 >> 32), (m1 << 32));			\
125f1939f7cSShane Wang 		ADD128(rh, rl, (m2 >> 32), (m2 << 32));			\
126f1939f7cSShane Wang 	} while (0)
127f1939f7cSShane Wang 
128f1939f7cSShane Wang /*
129f1939f7cSShane Wang  * For highest performance the L1 NH and L2 polynomial hashes should be
13025985edcSLucas De Marchi  * carefully implemented to take advantage of one's target architecture.
131f1939f7cSShane Wang  * Here these two hash functions are defined multiple time; once for
132f1939f7cSShane Wang  * 64-bit architectures, once for 32-bit SSE2 architectures, and once
133f1939f7cSShane Wang  * for the rest (32-bit) architectures.
134f1939f7cSShane Wang  * For each, nh_16 *must* be defined (works on multiples of 16 bytes).
135f1939f7cSShane Wang  * Optionally, nh_vmac_nhbytes can be defined (for multiples of
136f1939f7cSShane Wang  * VMAC_NHBYTES), and nh_16_2 and nh_vmac_nhbytes_2 (versions that do two
137f1939f7cSShane Wang  * NH computations at once).
138f1939f7cSShane Wang  */
139f1939f7cSShane Wang 
140f1939f7cSShane Wang #ifdef CONFIG_64BIT
141f1939f7cSShane Wang 
142f1939f7cSShane Wang #define nh_16(mp, kp, nw, rh, rl)					\
143f1939f7cSShane Wang 	do {								\
144f1939f7cSShane Wang 		int i; u64 th, tl;					\
145f1939f7cSShane Wang 		rh = rl = 0;						\
146f1939f7cSShane Wang 		for (i = 0; i < nw; i += 2) {				\
147304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i)+(kp)[i],	\
148304a204eSShane Wang 				pe64_to_cpup((mp)+i+1)+(kp)[i+1]);	\
149f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
150f1939f7cSShane Wang 		}							\
151f1939f7cSShane Wang 	} while (0)
152f1939f7cSShane Wang 
153f1939f7cSShane Wang #define nh_16_2(mp, kp, nw, rh, rl, rh1, rl1)				\
154f1939f7cSShane Wang 	do {								\
155f1939f7cSShane Wang 		int i; u64 th, tl;					\
156f1939f7cSShane Wang 		rh1 = rl1 = rh = rl = 0;				\
157f1939f7cSShane Wang 		for (i = 0; i < nw; i += 2) {				\
158304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i)+(kp)[i],	\
159304a204eSShane Wang 				pe64_to_cpup((mp)+i+1)+(kp)[i+1]);	\
160f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
161304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i)+(kp)[i+2],	\
162304a204eSShane Wang 				pe64_to_cpup((mp)+i+1)+(kp)[i+3]);	\
163f1939f7cSShane Wang 			ADD128(rh1, rl1, th, tl);			\
164f1939f7cSShane Wang 		}							\
165f1939f7cSShane Wang 	} while (0)
166f1939f7cSShane Wang 
167f1939f7cSShane Wang #if (VMAC_NHBYTES >= 64) /* These versions do 64-bytes of message at a time */
168f1939f7cSShane Wang #define nh_vmac_nhbytes(mp, kp, nw, rh, rl)				\
169f1939f7cSShane Wang 	do {								\
170f1939f7cSShane Wang 		int i; u64 th, tl;					\
171f1939f7cSShane Wang 		rh = rl = 0;						\
172f1939f7cSShane Wang 		for (i = 0; i < nw; i += 8) {				\
173304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i)+(kp)[i],	\
174304a204eSShane Wang 				pe64_to_cpup((mp)+i+1)+(kp)[i+1]);	\
175f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
176304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+2)+(kp)[i+2],	\
177304a204eSShane Wang 				pe64_to_cpup((mp)+i+3)+(kp)[i+3]);	\
178f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
179304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+4)+(kp)[i+4],	\
180304a204eSShane Wang 				pe64_to_cpup((mp)+i+5)+(kp)[i+5]);	\
181f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
182304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+6)+(kp)[i+6],	\
183304a204eSShane Wang 				pe64_to_cpup((mp)+i+7)+(kp)[i+7]);	\
184f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
185f1939f7cSShane Wang 		}							\
186f1939f7cSShane Wang 	} while (0)
187f1939f7cSShane Wang 
188f1939f7cSShane Wang #define nh_vmac_nhbytes_2(mp, kp, nw, rh, rl, rh1, rl1)			\
189f1939f7cSShane Wang 	do {								\
190f1939f7cSShane Wang 		int i; u64 th, tl;					\
191f1939f7cSShane Wang 		rh1 = rl1 = rh = rl = 0;				\
192f1939f7cSShane Wang 		for (i = 0; i < nw; i += 8) {				\
193304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i)+(kp)[i],	\
194304a204eSShane Wang 				pe64_to_cpup((mp)+i+1)+(kp)[i+1]);	\
195f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
196304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i)+(kp)[i+2],	\
197304a204eSShane Wang 				pe64_to_cpup((mp)+i+1)+(kp)[i+3]);	\
198f1939f7cSShane Wang 			ADD128(rh1, rl1, th, tl);			\
199304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+2)+(kp)[i+2],	\
200304a204eSShane Wang 				pe64_to_cpup((mp)+i+3)+(kp)[i+3]);	\
201f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
202304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+2)+(kp)[i+4],	\
203304a204eSShane Wang 				pe64_to_cpup((mp)+i+3)+(kp)[i+5]);	\
204f1939f7cSShane Wang 			ADD128(rh1, rl1, th, tl);			\
205304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+4)+(kp)[i+4],	\
206304a204eSShane Wang 				pe64_to_cpup((mp)+i+5)+(kp)[i+5]);	\
207f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
208304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+4)+(kp)[i+6],	\
209304a204eSShane Wang 				pe64_to_cpup((mp)+i+5)+(kp)[i+7]);	\
210f1939f7cSShane Wang 			ADD128(rh1, rl1, th, tl);			\
211304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+6)+(kp)[i+6],	\
212304a204eSShane Wang 				pe64_to_cpup((mp)+i+7)+(kp)[i+7]);	\
213f1939f7cSShane Wang 			ADD128(rh, rl, th, tl);				\
214304a204eSShane Wang 			MUL64(th, tl, pe64_to_cpup((mp)+i+6)+(kp)[i+8],	\
215304a204eSShane Wang 				pe64_to_cpup((mp)+i+7)+(kp)[i+9]);	\
216f1939f7cSShane Wang 			ADD128(rh1, rl1, th, tl);			\
217f1939f7cSShane Wang 		}							\
218f1939f7cSShane Wang 	} while (0)
219f1939f7cSShane Wang #endif
220f1939f7cSShane Wang 
221f1939f7cSShane Wang #define poly_step(ah, al, kh, kl, mh, ml)				\
222f1939f7cSShane Wang 	do {								\
223f1939f7cSShane Wang 		u64 t1h, t1l, t2h, t2l, t3h, t3l, z = 0;		\
224f1939f7cSShane Wang 		/* compute ab*cd, put bd into result registers */	\
225f1939f7cSShane Wang 		PMUL64(t3h, t3l, al, kh);				\
226f1939f7cSShane Wang 		PMUL64(t2h, t2l, ah, kl);				\
227f1939f7cSShane Wang 		PMUL64(t1h, t1l, ah, 2*kh);				\
228f1939f7cSShane Wang 		PMUL64(ah, al, al, kl);					\
229f1939f7cSShane Wang 		/* add 2 * ac to result */				\
230f1939f7cSShane Wang 		ADD128(ah, al, t1h, t1l);				\
231f1939f7cSShane Wang 		/* add together ad + bc */				\
232f1939f7cSShane Wang 		ADD128(t2h, t2l, t3h, t3l);				\
233f1939f7cSShane Wang 		/* now (ah,al), (t2l,2*t2h) need summing */		\
234f1939f7cSShane Wang 		/* first add the high registers, carrying into t2h */	\
235f1939f7cSShane Wang 		ADD128(t2h, ah, z, t2l);				\
236f1939f7cSShane Wang 		/* double t2h and add top bit of ah */			\
237f1939f7cSShane Wang 		t2h = 2 * t2h + (ah >> 63);				\
238f1939f7cSShane Wang 		ah &= m63;						\
239f1939f7cSShane Wang 		/* now add the low registers */				\
240f1939f7cSShane Wang 		ADD128(ah, al, mh, ml);					\
241f1939f7cSShane Wang 		ADD128(ah, al, z, t2h);					\
242f1939f7cSShane Wang 	} while (0)
243f1939f7cSShane Wang 
244f1939f7cSShane Wang #else /* ! CONFIG_64BIT */
245f1939f7cSShane Wang 
246f1939f7cSShane Wang #ifndef nh_16
247f1939f7cSShane Wang #define nh_16(mp, kp, nw, rh, rl)					\
248f1939f7cSShane Wang 	do {								\
249f1939f7cSShane Wang 		u64 t1, t2, m1, m2, t;					\
250f1939f7cSShane Wang 		int i;							\
251f1939f7cSShane Wang 		rh = rl = t = 0;					\
252f1939f7cSShane Wang 		for (i = 0; i < nw; i += 2)  {				\
253304a204eSShane Wang 			t1 = pe64_to_cpup(mp+i) + kp[i];		\
254304a204eSShane Wang 			t2 = pe64_to_cpup(mp+i+1) + kp[i+1];		\
255f1939f7cSShane Wang 			m2 = MUL32(t1 >> 32, t2);			\
256f1939f7cSShane Wang 			m1 = MUL32(t1, t2 >> 32);			\
257f1939f7cSShane Wang 			ADD128(rh, rl, MUL32(t1 >> 32, t2 >> 32),	\
258f1939f7cSShane Wang 				MUL32(t1, t2));				\
259f1939f7cSShane Wang 			rh += (u64)(u32)(m1 >> 32)			\
260f1939f7cSShane Wang 				+ (u32)(m2 >> 32);			\
261f1939f7cSShane Wang 			t += (u64)(u32)m1 + (u32)m2;			\
262f1939f7cSShane Wang 		}							\
263f1939f7cSShane Wang 		ADD128(rh, rl, (t >> 32), (t << 32));			\
264f1939f7cSShane Wang 	} while (0)
265f1939f7cSShane Wang #endif
266f1939f7cSShane Wang 
267f1939f7cSShane Wang static void poly_step_func(u64 *ahi, u64 *alo,
268f1939f7cSShane Wang 			const u64 *kh, const u64 *kl,
269f1939f7cSShane Wang 			const u64 *mh, const u64 *ml)
270f1939f7cSShane Wang {
271f1939f7cSShane Wang #define a0 (*(((u32 *)alo)+INDEX_LOW))
272f1939f7cSShane Wang #define a1 (*(((u32 *)alo)+INDEX_HIGH))
273f1939f7cSShane Wang #define a2 (*(((u32 *)ahi)+INDEX_LOW))
274f1939f7cSShane Wang #define a3 (*(((u32 *)ahi)+INDEX_HIGH))
275f1939f7cSShane Wang #define k0 (*(((u32 *)kl)+INDEX_LOW))
276f1939f7cSShane Wang #define k1 (*(((u32 *)kl)+INDEX_HIGH))
277f1939f7cSShane Wang #define k2 (*(((u32 *)kh)+INDEX_LOW))
278f1939f7cSShane Wang #define k3 (*(((u32 *)kh)+INDEX_HIGH))
279f1939f7cSShane Wang 
280f1939f7cSShane Wang 	u64 p, q, t;
281f1939f7cSShane Wang 	u32 t2;
282f1939f7cSShane Wang 
283f1939f7cSShane Wang 	p = MUL32(a3, k3);
284f1939f7cSShane Wang 	p += p;
285f1939f7cSShane Wang 	p += *(u64 *)mh;
286f1939f7cSShane Wang 	p += MUL32(a0, k2);
287f1939f7cSShane Wang 	p += MUL32(a1, k1);
288f1939f7cSShane Wang 	p += MUL32(a2, k0);
289f1939f7cSShane Wang 	t = (u32)(p);
290f1939f7cSShane Wang 	p >>= 32;
291f1939f7cSShane Wang 	p += MUL32(a0, k3);
292f1939f7cSShane Wang 	p += MUL32(a1, k2);
293f1939f7cSShane Wang 	p += MUL32(a2, k1);
294f1939f7cSShane Wang 	p += MUL32(a3, k0);
295f1939f7cSShane Wang 	t |= ((u64)((u32)p & 0x7fffffff)) << 32;
296f1939f7cSShane Wang 	p >>= 31;
297f1939f7cSShane Wang 	p += (u64)(((u32 *)ml)[INDEX_LOW]);
298f1939f7cSShane Wang 	p += MUL32(a0, k0);
299f1939f7cSShane Wang 	q =  MUL32(a1, k3);
300f1939f7cSShane Wang 	q += MUL32(a2, k2);
301f1939f7cSShane Wang 	q += MUL32(a3, k1);
302f1939f7cSShane Wang 	q += q;
303f1939f7cSShane Wang 	p += q;
304f1939f7cSShane Wang 	t2 = (u32)(p);
305f1939f7cSShane Wang 	p >>= 32;
306f1939f7cSShane Wang 	p += (u64)(((u32 *)ml)[INDEX_HIGH]);
307f1939f7cSShane Wang 	p += MUL32(a0, k1);
308f1939f7cSShane Wang 	p += MUL32(a1, k0);
309f1939f7cSShane Wang 	q =  MUL32(a2, k3);
310f1939f7cSShane Wang 	q += MUL32(a3, k2);
311f1939f7cSShane Wang 	q += q;
312f1939f7cSShane Wang 	p += q;
313f1939f7cSShane Wang 	*(u64 *)(alo) = (p << 32) | t2;
314f1939f7cSShane Wang 	p >>= 32;
315f1939f7cSShane Wang 	*(u64 *)(ahi) = p + t;
316f1939f7cSShane Wang 
317f1939f7cSShane Wang #undef a0
318f1939f7cSShane Wang #undef a1
319f1939f7cSShane Wang #undef a2
320f1939f7cSShane Wang #undef a3
321f1939f7cSShane Wang #undef k0
322f1939f7cSShane Wang #undef k1
323f1939f7cSShane Wang #undef k2
324f1939f7cSShane Wang #undef k3
325f1939f7cSShane Wang }
326f1939f7cSShane Wang 
327f1939f7cSShane Wang #define poly_step(ah, al, kh, kl, mh, ml)				\
328f1939f7cSShane Wang 	poly_step_func(&(ah), &(al), &(kh), &(kl), &(mh), &(ml))
329f1939f7cSShane Wang 
330f1939f7cSShane Wang #endif  /* end of specialized NH and poly definitions */
331f1939f7cSShane Wang 
332f1939f7cSShane Wang /* At least nh_16 is defined. Defined others as needed here */
333f1939f7cSShane Wang #ifndef nh_16_2
334f1939f7cSShane Wang #define nh_16_2(mp, kp, nw, rh, rl, rh2, rl2)				\
335f1939f7cSShane Wang 	do { 								\
336f1939f7cSShane Wang 		nh_16(mp, kp, nw, rh, rl);				\
337f1939f7cSShane Wang 		nh_16(mp, ((kp)+2), nw, rh2, rl2);			\
338f1939f7cSShane Wang 	} while (0)
339f1939f7cSShane Wang #endif
340f1939f7cSShane Wang #ifndef nh_vmac_nhbytes
341f1939f7cSShane Wang #define nh_vmac_nhbytes(mp, kp, nw, rh, rl)				\
342f1939f7cSShane Wang 	nh_16(mp, kp, nw, rh, rl)
343f1939f7cSShane Wang #endif
344f1939f7cSShane Wang #ifndef nh_vmac_nhbytes_2
345f1939f7cSShane Wang #define nh_vmac_nhbytes_2(mp, kp, nw, rh, rl, rh2, rl2)			\
346f1939f7cSShane Wang 	do {								\
347f1939f7cSShane Wang 		nh_vmac_nhbytes(mp, kp, nw, rh, rl);			\
348f1939f7cSShane Wang 		nh_vmac_nhbytes(mp, ((kp)+2), nw, rh2, rl2);		\
349f1939f7cSShane Wang 	} while (0)
350f1939f7cSShane Wang #endif
351f1939f7cSShane Wang 
352304a204eSShane Wang static u64 l3hash(u64 p1, u64 p2, u64 k1, u64 k2, u64 len)
353f1939f7cSShane Wang {
354f1939f7cSShane Wang 	u64 rh, rl, t, z = 0;
355f1939f7cSShane Wang 
356f1939f7cSShane Wang 	/* fully reduce (p1,p2)+(len,0) mod p127 */
357f1939f7cSShane Wang 	t = p1 >> 63;
358f1939f7cSShane Wang 	p1 &= m63;
359f1939f7cSShane Wang 	ADD128(p1, p2, len, t);
360f1939f7cSShane Wang 	/* At this point, (p1,p2) is at most 2^127+(len<<64) */
361f1939f7cSShane Wang 	t = (p1 > m63) + ((p1 == m63) && (p2 == m64));
362f1939f7cSShane Wang 	ADD128(p1, p2, z, t);
363f1939f7cSShane Wang 	p1 &= m63;
364f1939f7cSShane Wang 
365f1939f7cSShane Wang 	/* compute (p1,p2)/(2^64-2^32) and (p1,p2)%(2^64-2^32) */
366f1939f7cSShane Wang 	t = p1 + (p2 >> 32);
367f1939f7cSShane Wang 	t += (t >> 32);
368f1939f7cSShane Wang 	t += (u32)t > 0xfffffffeu;
369f1939f7cSShane Wang 	p1 += (t >> 32);
370f1939f7cSShane Wang 	p2 += (p1 << 32);
371f1939f7cSShane Wang 
372f1939f7cSShane Wang 	/* compute (p1+k1)%p64 and (p2+k2)%p64 */
373f1939f7cSShane Wang 	p1 += k1;
374f1939f7cSShane Wang 	p1 += (0 - (p1 < k1)) & 257;
375f1939f7cSShane Wang 	p2 += k2;
376f1939f7cSShane Wang 	p2 += (0 - (p2 < k2)) & 257;
377f1939f7cSShane Wang 
378f1939f7cSShane Wang 	/* compute (p1+k1)*(p2+k2)%p64 */
379f1939f7cSShane Wang 	MUL64(rh, rl, p1, p2);
380f1939f7cSShane Wang 	t = rh >> 56;
381f1939f7cSShane Wang 	ADD128(t, rl, z, rh);
382f1939f7cSShane Wang 	rh <<= 8;
383f1939f7cSShane Wang 	ADD128(t, rl, z, rh);
384f1939f7cSShane Wang 	t += t << 8;
385f1939f7cSShane Wang 	rl += t;
386f1939f7cSShane Wang 	rl += (0 - (rl < t)) & 257;
387f1939f7cSShane Wang 	rl += (0 - (rl > p64-1)) & 257;
388f1939f7cSShane Wang 	return rl;
389f1939f7cSShane Wang }
390f1939f7cSShane Wang 
391*bb296481SEric Biggers /* L1 and L2-hash one or more VMAC_NHBYTES-byte blocks */
392*bb296481SEric Biggers static void vhash_blocks(const struct vmac_tfm_ctx *tctx,
393*bb296481SEric Biggers 			 struct vmac_desc_ctx *dctx,
394*bb296481SEric Biggers 			 const __le64 *mptr, unsigned int blocks)
395f1939f7cSShane Wang {
396*bb296481SEric Biggers 	const u64 *kptr = tctx->nhkey;
397*bb296481SEric Biggers 	const u64 pkh = tctx->polykey[0];
398*bb296481SEric Biggers 	const u64 pkl = tctx->polykey[1];
399*bb296481SEric Biggers 	u64 ch = dctx->polytmp[0];
400*bb296481SEric Biggers 	u64 cl = dctx->polytmp[1];
401*bb296481SEric Biggers 	u64 rh, rl;
402f1939f7cSShane Wang 
403*bb296481SEric Biggers 	if (!dctx->first_block_processed) {
404*bb296481SEric Biggers 		dctx->first_block_processed = true;
405f1939f7cSShane Wang 		nh_vmac_nhbytes(mptr, kptr, VMAC_NHBYTES/8, rh, rl);
406f1939f7cSShane Wang 		rh &= m62;
407f1939f7cSShane Wang 		ADD128(ch, cl, rh, rl);
408f1939f7cSShane Wang 		mptr += (VMAC_NHBYTES/sizeof(u64));
409*bb296481SEric Biggers 		blocks--;
410f1939f7cSShane Wang 	}
411f1939f7cSShane Wang 
412*bb296481SEric Biggers 	while (blocks--) {
413f1939f7cSShane Wang 		nh_vmac_nhbytes(mptr, kptr, VMAC_NHBYTES/8, rh, rl);
414f1939f7cSShane Wang 		rh &= m62;
415f1939f7cSShane Wang 		poly_step(ch, cl, pkh, pkl, rh, rl);
416f1939f7cSShane Wang 		mptr += (VMAC_NHBYTES/sizeof(u64));
417f1939f7cSShane Wang 	}
418f1939f7cSShane Wang 
419*bb296481SEric Biggers 	dctx->polytmp[0] = ch;
420*bb296481SEric Biggers 	dctx->polytmp[1] = cl;
421f1939f7cSShane Wang }
422f1939f7cSShane Wang 
423*bb296481SEric Biggers static int vmac_setkey(struct crypto_shash *tfm,
424*bb296481SEric Biggers 		       const u8 *key, unsigned int keylen)
425f1939f7cSShane Wang {
426*bb296481SEric Biggers 	struct vmac_tfm_ctx *tctx = crypto_shash_ctx(tfm);
427*bb296481SEric Biggers 	__be64 out[2];
428*bb296481SEric Biggers 	u8 in[16] = { 0 };
429*bb296481SEric Biggers 	unsigned int i;
430*bb296481SEric Biggers 	int err;
431f1939f7cSShane Wang 
432*bb296481SEric Biggers 	if (keylen != VMAC_KEY_LEN) {
433*bb296481SEric Biggers 		crypto_shash_set_flags(tfm, CRYPTO_TFM_RES_BAD_KEY_LEN);
434*bb296481SEric Biggers 		return -EINVAL;
435f1939f7cSShane Wang 	}
436f1939f7cSShane Wang 
437*bb296481SEric Biggers 	err = crypto_cipher_setkey(tctx->cipher, key, keylen);
438f1939f7cSShane Wang 	if (err)
439f1939f7cSShane Wang 		return err;
440f1939f7cSShane Wang 
441f1939f7cSShane Wang 	/* Fill nh key */
442*bb296481SEric Biggers 	in[0] = 0x80;
443*bb296481SEric Biggers 	for (i = 0; i < ARRAY_SIZE(tctx->nhkey); i += 2) {
444*bb296481SEric Biggers 		crypto_cipher_encrypt_one(tctx->cipher, (u8 *)out, in);
445*bb296481SEric Biggers 		tctx->nhkey[i] = be64_to_cpu(out[0]);
446*bb296481SEric Biggers 		tctx->nhkey[i+1] = be64_to_cpu(out[1]);
447*bb296481SEric Biggers 		in[15]++;
448f1939f7cSShane Wang 	}
449f1939f7cSShane Wang 
450f1939f7cSShane Wang 	/* Fill poly key */
451*bb296481SEric Biggers 	in[0] = 0xC0;
452*bb296481SEric Biggers 	in[15] = 0;
453*bb296481SEric Biggers 	for (i = 0; i < ARRAY_SIZE(tctx->polykey); i += 2) {
454*bb296481SEric Biggers 		crypto_cipher_encrypt_one(tctx->cipher, (u8 *)out, in);
455*bb296481SEric Biggers 		tctx->polykey[i] = be64_to_cpu(out[0]) & mpoly;
456*bb296481SEric Biggers 		tctx->polykey[i+1] = be64_to_cpu(out[1]) & mpoly;
457*bb296481SEric Biggers 		in[15]++;
458f1939f7cSShane Wang 	}
459f1939f7cSShane Wang 
460f1939f7cSShane Wang 	/* Fill ip key */
461*bb296481SEric Biggers 	in[0] = 0xE0;
462*bb296481SEric Biggers 	in[15] = 0;
463*bb296481SEric Biggers 	for (i = 0; i < ARRAY_SIZE(tctx->l3key); i += 2) {
464f1939f7cSShane Wang 		do {
465*bb296481SEric Biggers 			crypto_cipher_encrypt_one(tctx->cipher, (u8 *)out, in);
466*bb296481SEric Biggers 			tctx->l3key[i] = be64_to_cpu(out[0]);
467*bb296481SEric Biggers 			tctx->l3key[i+1] = be64_to_cpu(out[1]);
468*bb296481SEric Biggers 			in[15]++;
469*bb296481SEric Biggers 		} while (tctx->l3key[i] >= p64 || tctx->l3key[i+1] >= p64);
470f1939f7cSShane Wang 	}
471f1939f7cSShane Wang 
472f1939f7cSShane Wang 	return 0;
473f1939f7cSShane Wang }
474f1939f7cSShane Wang 
475*bb296481SEric Biggers static int vmac_init(struct shash_desc *desc)
476f1939f7cSShane Wang {
477*bb296481SEric Biggers 	const struct vmac_tfm_ctx *tctx = crypto_shash_ctx(desc->tfm);
478*bb296481SEric Biggers 	struct vmac_desc_ctx *dctx = shash_desc_ctx(desc);
479f1939f7cSShane Wang 
480*bb296481SEric Biggers 	dctx->partial_size = 0;
481*bb296481SEric Biggers 	dctx->first_block_processed = false;
482*bb296481SEric Biggers 	memcpy(dctx->polytmp, tctx->polykey, sizeof(dctx->polytmp));
483*bb296481SEric Biggers 	return 0;
484ba1ee070SSalman Qazi }
485*bb296481SEric Biggers 
486*bb296481SEric Biggers static int vmac_update(struct shash_desc *desc, const u8 *p, unsigned int len)
487*bb296481SEric Biggers {
488*bb296481SEric Biggers 	const struct vmac_tfm_ctx *tctx = crypto_shash_ctx(desc->tfm);
489*bb296481SEric Biggers 	struct vmac_desc_ctx *dctx = shash_desc_ctx(desc);
490*bb296481SEric Biggers 	unsigned int n;
491*bb296481SEric Biggers 
492*bb296481SEric Biggers 	if (dctx->partial_size) {
493*bb296481SEric Biggers 		n = min(len, VMAC_NHBYTES - dctx->partial_size);
494*bb296481SEric Biggers 		memcpy(&dctx->partial[dctx->partial_size], p, n);
495*bb296481SEric Biggers 		dctx->partial_size += n;
496*bb296481SEric Biggers 		p += n;
497*bb296481SEric Biggers 		len -= n;
498*bb296481SEric Biggers 		if (dctx->partial_size == VMAC_NHBYTES) {
499*bb296481SEric Biggers 			vhash_blocks(tctx, dctx, dctx->partial_words, 1);
500*bb296481SEric Biggers 			dctx->partial_size = 0;
501*bb296481SEric Biggers 		}
502*bb296481SEric Biggers 	}
503*bb296481SEric Biggers 
504*bb296481SEric Biggers 	if (len >= VMAC_NHBYTES) {
505*bb296481SEric Biggers 		n = round_down(len, VMAC_NHBYTES);
506*bb296481SEric Biggers 		/* TODO: 'p' may be misaligned here */
507*bb296481SEric Biggers 		vhash_blocks(tctx, dctx, (const __le64 *)p, n / VMAC_NHBYTES);
508*bb296481SEric Biggers 		p += n;
509*bb296481SEric Biggers 		len -= n;
510*bb296481SEric Biggers 	}
511*bb296481SEric Biggers 
512*bb296481SEric Biggers 	if (len) {
513*bb296481SEric Biggers 		memcpy(dctx->partial, p, len);
514*bb296481SEric Biggers 		dctx->partial_size = len;
515*bb296481SEric Biggers 	}
516*bb296481SEric Biggers 
517*bb296481SEric Biggers 	return 0;
518*bb296481SEric Biggers }
519*bb296481SEric Biggers 
520*bb296481SEric Biggers static u64 vhash_final(const struct vmac_tfm_ctx *tctx,
521*bb296481SEric Biggers 		       struct vmac_desc_ctx *dctx)
522*bb296481SEric Biggers {
523*bb296481SEric Biggers 	unsigned int partial = dctx->partial_size;
524*bb296481SEric Biggers 	u64 ch = dctx->polytmp[0];
525*bb296481SEric Biggers 	u64 cl = dctx->polytmp[1];
526*bb296481SEric Biggers 
527*bb296481SEric Biggers 	/* L1 and L2-hash the final block if needed */
528*bb296481SEric Biggers 	if (partial) {
529*bb296481SEric Biggers 		/* Zero-pad to next 128-bit boundary */
530*bb296481SEric Biggers 		unsigned int n = round_up(partial, 16);
531*bb296481SEric Biggers 		u64 rh, rl;
532*bb296481SEric Biggers 
533*bb296481SEric Biggers 		memset(&dctx->partial[partial], 0, n - partial);
534*bb296481SEric Biggers 		nh_16(dctx->partial_words, tctx->nhkey, n / 8, rh, rl);
535*bb296481SEric Biggers 		rh &= m62;
536*bb296481SEric Biggers 		if (dctx->first_block_processed)
537*bb296481SEric Biggers 			poly_step(ch, cl, tctx->polykey[0], tctx->polykey[1],
538*bb296481SEric Biggers 				  rh, rl);
539*bb296481SEric Biggers 		else
540*bb296481SEric Biggers 			ADD128(ch, cl, rh, rl);
541*bb296481SEric Biggers 	}
542*bb296481SEric Biggers 
543*bb296481SEric Biggers 	/* L3-hash the 128-bit output of L2-hash */
544*bb296481SEric Biggers 	return l3hash(ch, cl, tctx->l3key[0], tctx->l3key[1], partial * 8);
545*bb296481SEric Biggers }
546*bb296481SEric Biggers 
547*bb296481SEric Biggers static int vmac_final(struct shash_desc *desc, u8 *out)
548*bb296481SEric Biggers {
549*bb296481SEric Biggers 	const struct vmac_tfm_ctx *tctx = crypto_shash_ctx(desc->tfm);
550*bb296481SEric Biggers 	struct vmac_desc_ctx *dctx = shash_desc_ctx(desc);
551*bb296481SEric Biggers 	static const u8 nonce[16] = {}; /* TODO: this is insecure */
552*bb296481SEric Biggers 	union {
553*bb296481SEric Biggers 		u8 bytes[16];
554*bb296481SEric Biggers 		__be64 pads[2];
555*bb296481SEric Biggers 	} block;
556*bb296481SEric Biggers 	int index;
557*bb296481SEric Biggers 	u64 hash, pad;
558*bb296481SEric Biggers 
559*bb296481SEric Biggers 	/* Finish calculating the VHASH of the message */
560*bb296481SEric Biggers 	hash = vhash_final(tctx, dctx);
561*bb296481SEric Biggers 
562*bb296481SEric Biggers 	/* Generate pseudorandom pad by encrypting the nonce */
563*bb296481SEric Biggers 	memcpy(&block, nonce, 16);
564*bb296481SEric Biggers 	index = block.bytes[15] & 1;
565*bb296481SEric Biggers 	block.bytes[15] &= ~1;
566*bb296481SEric Biggers 	crypto_cipher_encrypt_one(tctx->cipher, block.bytes, block.bytes);
567*bb296481SEric Biggers 	pad = be64_to_cpu(block.pads[index]);
568*bb296481SEric Biggers 
569*bb296481SEric Biggers 	/* The VMAC is the sum of VHASH and the pseudorandom pad */
570*bb296481SEric Biggers 	put_unaligned_le64(hash + pad, out);
571f1939f7cSShane Wang 	return 0;
572f1939f7cSShane Wang }
573f1939f7cSShane Wang 
574f1939f7cSShane Wang static int vmac_init_tfm(struct crypto_tfm *tfm)
575f1939f7cSShane Wang {
576*bb296481SEric Biggers 	struct crypto_instance *inst = crypto_tfm_alg_instance(tfm);
577f1939f7cSShane Wang 	struct crypto_spawn *spawn = crypto_instance_ctx(inst);
578*bb296481SEric Biggers 	struct vmac_tfm_ctx *tctx = crypto_tfm_ctx(tfm);
579*bb296481SEric Biggers 	struct crypto_cipher *cipher;
580f1939f7cSShane Wang 
581f1939f7cSShane Wang 	cipher = crypto_spawn_cipher(spawn);
582f1939f7cSShane Wang 	if (IS_ERR(cipher))
583f1939f7cSShane Wang 		return PTR_ERR(cipher);
584f1939f7cSShane Wang 
585*bb296481SEric Biggers 	tctx->cipher = cipher;
586f1939f7cSShane Wang 	return 0;
587f1939f7cSShane Wang }
588f1939f7cSShane Wang 
589f1939f7cSShane Wang static void vmac_exit_tfm(struct crypto_tfm *tfm)
590f1939f7cSShane Wang {
591*bb296481SEric Biggers 	struct vmac_tfm_ctx *tctx = crypto_tfm_ctx(tfm);
592*bb296481SEric Biggers 
593*bb296481SEric Biggers 	crypto_free_cipher(tctx->cipher);
594f1939f7cSShane Wang }
595f1939f7cSShane Wang 
596f1939f7cSShane Wang static int vmac_create(struct crypto_template *tmpl, struct rtattr **tb)
597f1939f7cSShane Wang {
598f1939f7cSShane Wang 	struct shash_instance *inst;
599f1939f7cSShane Wang 	struct crypto_alg *alg;
600f1939f7cSShane Wang 	int err;
601f1939f7cSShane Wang 
602f1939f7cSShane Wang 	err = crypto_check_attr_type(tb, CRYPTO_ALG_TYPE_SHASH);
603f1939f7cSShane Wang 	if (err)
604f1939f7cSShane Wang 		return err;
605f1939f7cSShane Wang 
606f1939f7cSShane Wang 	alg = crypto_get_attr_alg(tb, CRYPTO_ALG_TYPE_CIPHER,
607f1939f7cSShane Wang 			CRYPTO_ALG_TYPE_MASK);
608f1939f7cSShane Wang 	if (IS_ERR(alg))
609f1939f7cSShane Wang 		return PTR_ERR(alg);
610f1939f7cSShane Wang 
61173bf20efSEric Biggers 	err = -EINVAL;
61273bf20efSEric Biggers 	if (alg->cra_blocksize != 16)
61373bf20efSEric Biggers 		goto out_put_alg;
61473bf20efSEric Biggers 
615f1939f7cSShane Wang 	inst = shash_alloc_instance("vmac", alg);
616f1939f7cSShane Wang 	err = PTR_ERR(inst);
617f1939f7cSShane Wang 	if (IS_ERR(inst))
618f1939f7cSShane Wang 		goto out_put_alg;
619f1939f7cSShane Wang 
620f1939f7cSShane Wang 	err = crypto_init_spawn(shash_instance_ctx(inst), alg,
621f1939f7cSShane Wang 			shash_crypto_instance(inst),
622f1939f7cSShane Wang 			CRYPTO_ALG_TYPE_MASK);
623f1939f7cSShane Wang 	if (err)
624f1939f7cSShane Wang 		goto out_free_inst;
625f1939f7cSShane Wang 
626f1939f7cSShane Wang 	inst->alg.base.cra_priority = alg->cra_priority;
627f1939f7cSShane Wang 	inst->alg.base.cra_blocksize = alg->cra_blocksize;
628f1939f7cSShane Wang 	inst->alg.base.cra_alignmask = alg->cra_alignmask;
629f1939f7cSShane Wang 
630*bb296481SEric Biggers 	inst->alg.base.cra_ctxsize = sizeof(struct vmac_tfm_ctx);
631f1939f7cSShane Wang 	inst->alg.base.cra_init = vmac_init_tfm;
632f1939f7cSShane Wang 	inst->alg.base.cra_exit = vmac_exit_tfm;
633f1939f7cSShane Wang 
634*bb296481SEric Biggers 	inst->alg.descsize = sizeof(struct vmac_desc_ctx);
635*bb296481SEric Biggers 	inst->alg.digestsize = VMAC_TAG_LEN / 8;
636f1939f7cSShane Wang 	inst->alg.init = vmac_init;
637f1939f7cSShane Wang 	inst->alg.update = vmac_update;
638f1939f7cSShane Wang 	inst->alg.final = vmac_final;
639f1939f7cSShane Wang 	inst->alg.setkey = vmac_setkey;
640f1939f7cSShane Wang 
641f1939f7cSShane Wang 	err = shash_register_instance(tmpl, inst);
642f1939f7cSShane Wang 	if (err) {
643f1939f7cSShane Wang out_free_inst:
644f1939f7cSShane Wang 		shash_free_instance(shash_crypto_instance(inst));
645f1939f7cSShane Wang 	}
646f1939f7cSShane Wang 
647f1939f7cSShane Wang out_put_alg:
648f1939f7cSShane Wang 	crypto_mod_put(alg);
649f1939f7cSShane Wang 	return err;
650f1939f7cSShane Wang }
651f1939f7cSShane Wang 
652f1939f7cSShane Wang static struct crypto_template vmac_tmpl = {
653f1939f7cSShane Wang 	.name = "vmac",
654f1939f7cSShane Wang 	.create = vmac_create,
655f1939f7cSShane Wang 	.free = shash_free_instance,
656f1939f7cSShane Wang 	.module = THIS_MODULE,
657f1939f7cSShane Wang };
658f1939f7cSShane Wang 
659f1939f7cSShane Wang static int __init vmac_module_init(void)
660f1939f7cSShane Wang {
661f1939f7cSShane Wang 	return crypto_register_template(&vmac_tmpl);
662f1939f7cSShane Wang }
663f1939f7cSShane Wang 
664f1939f7cSShane Wang static void __exit vmac_module_exit(void)
665f1939f7cSShane Wang {
666f1939f7cSShane Wang 	crypto_unregister_template(&vmac_tmpl);
667f1939f7cSShane Wang }
668f1939f7cSShane Wang 
669f1939f7cSShane Wang module_init(vmac_module_init);
670f1939f7cSShane Wang module_exit(vmac_module_exit);
671f1939f7cSShane Wang 
672f1939f7cSShane Wang MODULE_LICENSE("GPL");
673f1939f7cSShane Wang MODULE_DESCRIPTION("VMAC hash algorithm");
6744943ba16SKees Cook MODULE_ALIAS_CRYPTO("vmac");
675