ArduinoLibs
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
BLAKE2s.cpp
1 /*
2  * Copyright (C) 2015 Southern Storm Software, Pty Ltd.
3  *
4  * Permission is hereby granted, free of charge, to any person obtaining a
5  * copy of this software and associated documentation files (the "Software"),
6  * to deal in the Software without restriction, including without limitation
7  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8  * and/or sell copies of the Software, and to permit persons to whom the
9  * Software is furnished to do so, subject to the following conditions:
10  *
11  * The above copyright notice and this permission notice shall be included
12  * in all copies or substantial portions of the Software.
13  *
14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
15  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
19  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
20  * DEALINGS IN THE SOFTWARE.
21  */
22 
23 #include "BLAKE2s.h"
24 #include "Crypto.h"
25 #include "utility/EndianUtil.h"
26 #include "utility/RotateUtil.h"
27 #include "utility/ProgMemUtil.h"
28 #include <string.h>
29 
48 {
49  reset();
50 }
51 
57 {
58  clean(state);
59 }
60 
61 size_t BLAKE2s::hashSize() const
62 {
63  return 32;
64 }
65 
66 size_t BLAKE2s::blockSize() const
67 {
68  return 64;
69 }
70 
71 // Initialization vectors for BLAKE2s.
72 #define BLAKE2s_IV0 0x6A09E667
73 #define BLAKE2s_IV1 0xBB67AE85
74 #define BLAKE2s_IV2 0x3C6EF372
75 #define BLAKE2s_IV3 0xA54FF53A
76 #define BLAKE2s_IV4 0x510E527F
77 #define BLAKE2s_IV5 0x9B05688C
78 #define BLAKE2s_IV6 0x1F83D9AB
79 #define BLAKE2s_IV7 0x5BE0CD19
80 
82 {
83  state.h[0] = BLAKE2s_IV0 ^ 0x01010020; // Default output length of 32.
84  state.h[1] = BLAKE2s_IV1;
85  state.h[2] = BLAKE2s_IV2;
86  state.h[3] = BLAKE2s_IV3;
87  state.h[4] = BLAKE2s_IV4;
88  state.h[5] = BLAKE2s_IV5;
89  state.h[6] = BLAKE2s_IV6;
90  state.h[7] = BLAKE2s_IV7;
91  state.chunkSize = 0;
92  state.length = 0;
93 }
94 
102 void BLAKE2s::reset(uint8_t outputLength)
103 {
104  state.h[0] = BLAKE2s_IV0 ^ 0x01010000 ^ outputLength;
105  state.h[1] = BLAKE2s_IV1;
106  state.h[2] = BLAKE2s_IV2;
107  state.h[3] = BLAKE2s_IV3;
108  state.h[4] = BLAKE2s_IV4;
109  state.h[5] = BLAKE2s_IV5;
110  state.h[6] = BLAKE2s_IV6;
111  state.h[7] = BLAKE2s_IV7;
112  state.chunkSize = 0;
113  state.length = 0;
114 }
115 
116 void BLAKE2s::update(const void *data, size_t len)
117 {
118  // Break the input up into 512-bit chunks and process each in turn.
119  const uint8_t *d = (const uint8_t *)data;
120  while (len > 0) {
121  if (state.chunkSize == 64) {
122  // Previous chunk was full and we know that it wasn't the
123  // last chunk, so we can process it now with f0 set to zero.
124  processChunk(0);
125  state.chunkSize = 0;
126  }
127  uint8_t size = 64 - state.chunkSize;
128  if (size > len)
129  size = len;
130  memcpy(((uint8_t *)state.m) + state.chunkSize, d, size);
131  state.chunkSize += size;
132  state.length += size;
133  len -= size;
134  d += size;
135  }
136 }
137 
138 void BLAKE2s::finalize(void *hash, size_t len)
139 {
140  // Pad the last chunk and hash it with f0 set to all-ones.
141  memset(((uint8_t *)state.m) + state.chunkSize, 0, 64 - state.chunkSize);
142  processChunk(0xFFFFFFFF);
143 
144  // Convert the hash into little-endian in the message buffer.
145  for (uint8_t posn = 0; posn < 8; ++posn)
146  state.m[posn] = htole32(state.h[posn]);
147 
148  // Copy the hash to the caller's return buffer.
149  if (len > 32)
150  len = 32;
151  memcpy(hash, state.m, len);
152 }
153 
155 {
156  clean(state);
157  reset();
158 }
159 
160 void BLAKE2s::resetHMAC(const void *key, size_t keyLen)
161 {
162  formatHMACKey(state.m, key, keyLen, 0x36);
163  state.length += 64;
164  processChunk(0);
165 }
166 
167 void BLAKE2s::finalizeHMAC(const void *key, size_t keyLen, void *hash, size_t hashLen)
168 {
169  uint8_t temp[32];
170  finalize(temp, sizeof(temp));
171  formatHMACKey(state.m, key, keyLen, 0x5C);
172  state.length += 64;
173  processChunk(0);
174  update(temp, sizeof(temp));
175  finalize(hash, hashLen);
176  clean(temp);
177 }
178 
179 // Permutation on the message input state for BLAKE2s.
180 static const uint8_t sigma[10][16] PROGMEM = {
181  { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15},
182  {14, 10, 4, 8, 9, 15, 13, 6, 1, 12, 0, 2, 11, 7, 5, 3},
183  {11, 8, 12, 0, 5, 2, 15, 13, 10, 14, 3, 6, 7, 1, 9, 4},
184  { 7, 9, 3, 1, 13, 12, 11, 14, 2, 6, 5, 10, 4, 0, 15, 8},
185  { 9, 0, 5, 7, 2, 4, 10, 15, 14, 1, 11, 12, 6, 8, 3, 13},
186  { 2, 12, 6, 10, 0, 11, 8, 3, 4, 13, 7, 5, 15, 14, 1, 9},
187  {12, 5, 1, 15, 14, 13, 4, 10, 0, 7, 6, 3, 9, 2, 8, 11},
188  {13, 11, 7, 14, 12, 1, 3, 9, 5, 0, 15, 4, 8, 6, 2, 10},
189  { 6, 15, 14, 9, 11, 3, 0, 8, 12, 2, 13, 7, 1, 4, 10, 5},
190  {10, 2, 8, 4, 7, 6, 1, 5, 15, 11, 9, 14, 3, 12, 13 , 0}
191 };
192 
193 // Perform a BLAKE2s quarter round operation.
194 #define quarterRound(a, b, c, d, i) \
195  do { \
196  uint32_t _b = (b); \
197  uint32_t _a = (a) + _b + state.m[pgm_read_byte(&(sigma[index][2 * (i)]))]; \
198  uint32_t _d = rightRotate16((d) ^ _a); \
199  uint32_t _c = (c) + _d; \
200  _b = rightRotate12(_b ^ _c); \
201  _a += _b + state.m[pgm_read_byte(&(sigma[index][2 * (i) + 1]))]; \
202  (d) = _d = rightRotate8(_d ^ _a); \
203  _c += _d; \
204  (a) = _a; \
205  (b) = rightRotate7(_b ^ _c); \
206  (c) = _c; \
207  } while (0)
208 
209 void BLAKE2s::processChunk(uint32_t f0)
210 {
211  uint8_t index;
212  uint32_t v[16];
213 
214  // Byte-swap the message buffer into little-endian if necessary.
215 #if !defined(CRYPTO_LITTLE_ENDIAN)
216  for (index = 0; index < 16; ++index)
217  state.m[index] = le32toh(state.m[index]);
218 #endif
219 
220  // Format the block to be hashed.
221  memcpy(v, state.h, sizeof(state.h));
222  v[8] = BLAKE2s_IV0;
223  v[9] = BLAKE2s_IV1;
224  v[10] = BLAKE2s_IV2;
225  v[11] = BLAKE2s_IV3;
226  v[12] = BLAKE2s_IV4 ^ (uint32_t)(state.length);
227  v[13] = BLAKE2s_IV5 ^ (uint32_t)(state.length >> 32);
228  v[14] = BLAKE2s_IV6 ^ f0;
229  v[15] = BLAKE2s_IV7;
230 
231  // Perform the 10 BLAKE2s rounds.
232  for (index = 0; index < 10; ++index) {
233  // Column round.
234  quarterRound(v[0], v[4], v[8], v[12], 0);
235  quarterRound(v[1], v[5], v[9], v[13], 1);
236  quarterRound(v[2], v[6], v[10], v[14], 2);
237  quarterRound(v[3], v[7], v[11], v[15], 3);
238 
239  // Diagonal round.
240  quarterRound(v[0], v[5], v[10], v[15], 4);
241  quarterRound(v[1], v[6], v[11], v[12], 5);
242  quarterRound(v[2], v[7], v[8], v[13], 6);
243  quarterRound(v[3], v[4], v[9], v[14], 7);
244  }
245 
246  // Combine the new and old hash values.
247  for (index = 0; index < 8; ++index)
248  state.h[index] ^= (v[index] ^ v[index + 8]);
249 }
virtual ~BLAKE2s()
Destroys this BLAKE2s hash object after clearing sensitive information.
Definition: BLAKE2s.cpp:56
size_t hashSize() const
Size of the hash result from finalize().
Definition: BLAKE2s.cpp:61
void clear()
Clears the hash state, removing all sensitive data, and then resets the hash ready for a new hashing ...
Definition: BLAKE2s.cpp:154
void reset()
Resets the hash ready for a new hashing process.
Definition: BLAKE2s.cpp:81
size_t blockSize() const
Size of the internal block used by the hash algorithm.
Definition: BLAKE2s.cpp:66
void update(const void *data, size_t len)
Updates the hash with more data.
Definition: BLAKE2s.cpp:116
void resetHMAC(const void *key, size_t keyLen)
Resets the hash ready for a new HMAC hashing process.
Definition: BLAKE2s.cpp:160
void finalize(void *hash, size_t len)
Finalizes the hashing process and returns the hash.
Definition: BLAKE2s.cpp:138
void finalizeHMAC(const void *key, size_t keyLen, void *hash, size_t hashLen)
Finalizes the HMAC hashing process and returns the hash.
Definition: BLAKE2s.cpp:167
BLAKE2s()
Constructs a BLAKE2s hash object.
Definition: BLAKE2s.cpp:47
void formatHMACKey(void *block, const void *key, size_t len, uint8_t pad)
Formats a HMAC key into a block.
Definition: Hash.cpp:162