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 // Permutation on the message input state for BLAKE2s.
161 static const uint8_t sigma[10][16] PROGMEM = {
162  { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15},
163  {14, 10, 4, 8, 9, 15, 13, 6, 1, 12, 0, 2, 11, 7, 5, 3},
164  {11, 8, 12, 0, 5, 2, 15, 13, 10, 14, 3, 6, 7, 1, 9, 4},
165  { 7, 9, 3, 1, 13, 12, 11, 14, 2, 6, 5, 10, 4, 0, 15, 8},
166  { 9, 0, 5, 7, 2, 4, 10, 15, 14, 1, 11, 12, 6, 8, 3, 13},
167  { 2, 12, 6, 10, 0, 11, 8, 3, 4, 13, 7, 5, 15, 14, 1, 9},
168  {12, 5, 1, 15, 14, 13, 4, 10, 0, 7, 6, 3, 9, 2, 8, 11},
169  {13, 11, 7, 14, 12, 1, 3, 9, 5, 0, 15, 4, 8, 6, 2, 10},
170  { 6, 15, 14, 9, 11, 3, 0, 8, 12, 2, 13, 7, 1, 4, 10, 5},
171  {10, 2, 8, 4, 7, 6, 1, 5, 15, 11, 9, 14, 3, 12, 13 , 0}
172 };
173 
174 // Perform a BLAKE2s quarter round operation.
175 #define quarterRound(a, b, c, d, i) \
176  do { \
177  uint32_t _b = (b); \
178  uint32_t _a = (a) + _b + state.m[pgm_read_byte(&(sigma[index][2 * (i)]))]; \
179  uint32_t _d = rightRotate16((d) ^ _a); \
180  uint32_t _c = (c) + _d; \
181  _b = rightRotate12(_b ^ _c); \
182  _a += _b + state.m[pgm_read_byte(&(sigma[index][2 * (i) + 1]))]; \
183  (d) = _d = rightRotate8(_d ^ _a); \
184  _c += _d; \
185  (a) = _a; \
186  (b) = rightRotate7(_b ^ _c); \
187  (c) = _c; \
188  } while (0)
189 
190 void BLAKE2s::processChunk(uint32_t f0)
191 {
192  uint8_t index;
193 
194  // Byte-swap the message buffer into little-endian if necessary.
195 #if !defined(CRYPTO_LITTLE_ENDIAN)
196  for (index = 0; index < 16; ++index)
197  state.m[index] = le32toh(state.m[index]);
198 #endif
199 
200  // Format the block to be hashed.
201  memcpy(state.v, state.h, sizeof(state.h));
202  state.v[8] = BLAKE2s_IV0;
203  state.v[9] = BLAKE2s_IV1;
204  state.v[10] = BLAKE2s_IV2;
205  state.v[11] = BLAKE2s_IV3;
206  state.v[12] = BLAKE2s_IV4 ^ (uint32_t)(state.length);
207  state.v[13] = BLAKE2s_IV5 ^ (uint32_t)(state.length >> 32);
208  state.v[14] = BLAKE2s_IV6 ^ f0;
209  state.v[15] = BLAKE2s_IV7;
210 
211  // Perform the 10 BLAKE2s rounds.
212  for (index = 0; index < 10; ++index) {
213  // Column round.
214  quarterRound(state.v[0], state.v[4], state.v[8], state.v[12], 0);
215  quarterRound(state.v[1], state.v[5], state.v[9], state.v[13], 1);
216  quarterRound(state.v[2], state.v[6], state.v[10], state.v[14], 2);
217  quarterRound(state.v[3], state.v[7], state.v[11], state.v[15], 3);
218 
219  // Diagonal round.
220  quarterRound(state.v[0], state.v[5], state.v[10], state.v[15], 4);
221  quarterRound(state.v[1], state.v[6], state.v[11], state.v[12], 5);
222  quarterRound(state.v[2], state.v[7], state.v[8], state.v[13], 6);
223  quarterRound(state.v[3], state.v[4], state.v[9], state.v[14], 7);
224  }
225 
226  // Combine the new and old hash values.
227  for (index = 0; index < 8; ++index)
228  state.h[index] ^= (state.v[index] ^ state.v[index + 8]);
229 }
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 finalize(void *hash, size_t len)
Finalizes the hashing process and returns the hash.
Definition: BLAKE2s.cpp:138
BLAKE2s()
Constructs a BLAKE2s hash object.
Definition: BLAKE2s.cpp:47