1 // SPDX-License-Identifier: GPL-2.0 OR MIT
2 /*
3 * Copyright (C) 2015-2019 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved.
4 *
5 * This is an implementation of the BLAKE2s hash and PRF functions.
6 *
7 * Information: https://blake2.net/
8 *
9 */
10
11 #include <crypto/blake2s.h>
12 #include <linux/bug.h>
13 #include <linux/export.h>
14 #include <linux/kernel.h>
15 #include <linux/module.h>
16 #include <linux/string.h>
17 #include <linux/types.h>
18
19 static const u8 blake2s_sigma[10][16] = {
20 { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 },
21 { 14, 10, 4, 8, 9, 15, 13, 6, 1, 12, 0, 2, 11, 7, 5, 3 },
22 { 11, 8, 12, 0, 5, 2, 15, 13, 10, 14, 3, 6, 7, 1, 9, 4 },
23 { 7, 9, 3, 1, 13, 12, 11, 14, 2, 6, 5, 10, 4, 0, 15, 8 },
24 { 9, 0, 5, 7, 2, 4, 10, 15, 14, 1, 11, 12, 6, 8, 3, 13 },
25 { 2, 12, 6, 10, 0, 11, 8, 3, 4, 13, 7, 5, 15, 14, 1, 9 },
26 { 12, 5, 1, 15, 14, 13, 4, 10, 0, 7, 6, 3, 9, 2, 8, 11 },
27 { 13, 11, 7, 14, 12, 1, 3, 9, 5, 0, 15, 4, 8, 6, 2, 10 },
28 { 6, 15, 14, 9, 11, 3, 0, 8, 12, 2, 13, 7, 1, 4, 10, 5 },
29 { 10, 2, 8, 4, 7, 6, 1, 5, 15, 11, 9, 14, 3, 12, 13, 0 },
30 };
31
blake2s_increment_counter(struct blake2s_state * state,const u32 inc)32 static inline void blake2s_increment_counter(struct blake2s_state *state,
33 const u32 inc)
34 {
35 state->t[0] += inc;
36 state->t[1] += (state->t[0] < inc);
37 }
38
39 static void __maybe_unused
blake2s_compress_generic(struct blake2s_state * state,const u8 * block,size_t nblocks,const u32 inc)40 blake2s_compress_generic(struct blake2s_state *state, const u8 *block,
41 size_t nblocks, const u32 inc)
42 {
43 u32 m[16];
44 u32 v[16];
45 int i;
46
47 WARN_ON(IS_ENABLED(DEBUG) &&
48 (nblocks > 1 && inc != BLAKE2S_BLOCK_SIZE));
49
50 while (nblocks > 0) {
51 blake2s_increment_counter(state, inc);
52 memcpy(m, block, BLAKE2S_BLOCK_SIZE);
53 le32_to_cpu_array(m, ARRAY_SIZE(m));
54 memcpy(v, state->h, 32);
55 v[ 8] = BLAKE2S_IV0;
56 v[ 9] = BLAKE2S_IV1;
57 v[10] = BLAKE2S_IV2;
58 v[11] = BLAKE2S_IV3;
59 v[12] = BLAKE2S_IV4 ^ state->t[0];
60 v[13] = BLAKE2S_IV5 ^ state->t[1];
61 v[14] = BLAKE2S_IV6 ^ state->f[0];
62 v[15] = BLAKE2S_IV7 ^ state->f[1];
63
64 #define G(r, i, a, b, c, d) do { \
65 a += b + m[blake2s_sigma[r][2 * i + 0]]; \
66 d = ror32(d ^ a, 16); \
67 c += d; \
68 b = ror32(b ^ c, 12); \
69 a += b + m[blake2s_sigma[r][2 * i + 1]]; \
70 d = ror32(d ^ a, 8); \
71 c += d; \
72 b = ror32(b ^ c, 7); \
73 } while (0)
74
75 #define ROUND(r) do { \
76 G(r, 0, v[0], v[ 4], v[ 8], v[12]); \
77 G(r, 1, v[1], v[ 5], v[ 9], v[13]); \
78 G(r, 2, v[2], v[ 6], v[10], v[14]); \
79 G(r, 3, v[3], v[ 7], v[11], v[15]); \
80 G(r, 4, v[0], v[ 5], v[10], v[15]); \
81 G(r, 5, v[1], v[ 6], v[11], v[12]); \
82 G(r, 6, v[2], v[ 7], v[ 8], v[13]); \
83 G(r, 7, v[3], v[ 4], v[ 9], v[14]); \
84 } while (0)
85 ROUND(0);
86 ROUND(1);
87 ROUND(2);
88 ROUND(3);
89 ROUND(4);
90 ROUND(5);
91 ROUND(6);
92 ROUND(7);
93 ROUND(8);
94 ROUND(9);
95
96 #undef G
97 #undef ROUND
98
99 for (i = 0; i < 8; ++i)
100 state->h[i] ^= v[i] ^ v[i + 8];
101
102 block += BLAKE2S_BLOCK_SIZE;
103 --nblocks;
104 }
105 }
106
107 #ifdef CONFIG_CRYPTO_LIB_BLAKE2S_ARCH
108 #include "blake2s.h" /* $(SRCARCH)/blake2s.h */
109 #else
110 #define blake2s_compress blake2s_compress_generic
111 #endif
112
blake2s_set_lastblock(struct blake2s_state * state)113 static inline void blake2s_set_lastblock(struct blake2s_state *state)
114 {
115 state->f[0] = -1;
116 }
117
blake2s_update(struct blake2s_state * state,const u8 * in,size_t inlen)118 void blake2s_update(struct blake2s_state *state, const u8 *in, size_t inlen)
119 {
120 const size_t fill = BLAKE2S_BLOCK_SIZE - state->buflen;
121
122 if (unlikely(!inlen))
123 return;
124 if (inlen > fill) {
125 memcpy(state->buf + state->buflen, in, fill);
126 blake2s_compress(state, state->buf, 1, BLAKE2S_BLOCK_SIZE);
127 state->buflen = 0;
128 in += fill;
129 inlen -= fill;
130 }
131 if (inlen > BLAKE2S_BLOCK_SIZE) {
132 const size_t nblocks = DIV_ROUND_UP(inlen, BLAKE2S_BLOCK_SIZE);
133 blake2s_compress(state, in, nblocks - 1, BLAKE2S_BLOCK_SIZE);
134 in += BLAKE2S_BLOCK_SIZE * (nblocks - 1);
135 inlen -= BLAKE2S_BLOCK_SIZE * (nblocks - 1);
136 }
137 memcpy(state->buf + state->buflen, in, inlen);
138 state->buflen += inlen;
139 }
140 EXPORT_SYMBOL(blake2s_update);
141
blake2s_final(struct blake2s_state * state,u8 * out)142 void blake2s_final(struct blake2s_state *state, u8 *out)
143 {
144 WARN_ON(IS_ENABLED(DEBUG) && !out);
145 blake2s_set_lastblock(state);
146 memset(state->buf + state->buflen, 0,
147 BLAKE2S_BLOCK_SIZE - state->buflen); /* Padding */
148 blake2s_compress(state, state->buf, 1, state->buflen);
149 cpu_to_le32_array(state->h, ARRAY_SIZE(state->h));
150 memcpy(out, state->h, state->outlen);
151 memzero_explicit(state, sizeof(*state));
152 }
153 EXPORT_SYMBOL(blake2s_final);
154
155 #ifdef blake2s_mod_init_arch
blake2s_mod_init(void)156 static int __init blake2s_mod_init(void)
157 {
158 blake2s_mod_init_arch();
159 return 0;
160 }
161 subsys_initcall(blake2s_mod_init);
162 #endif
163
164 MODULE_DESCRIPTION("BLAKE2s hash function");
165 MODULE_AUTHOR("Jason A. Donenfeld <Jason@zx2c4.com>");
166