crypto.blake2.blake2s source code

1 module crypto.blake2.blake2s;
2 
3 // only supported sse2
4 // to do: sse3, sse4, avx
5 
6 import core.stdc..string: memset, memcpy;
7 import inteli.types;
8 
9 import crypto.blake2.impl;
10 import crypto.blake2.blake2s_round;
11 import crypto.utils;
12 
13 
14 static this()
15 {
16     import core.cpuid: sse2;
17     assert(sse2(), "Requires support for SSE2 processor commands");
18 }
19 
20 
21 immutable B128 = 16;
22 immutable B256 = 32;
23 
24 nothrow @nogc
25 {
26 
27     enum CONSTANT
28     {
29         BLOCKBYTES    = 64,
30         OUTBYTES      = 32,
31         KEYBYTES      = 32,
32         SALTBYTES     = 8,
33         PERSONALBYTES = 8
34     }
35 
36     struct State
37     {
38         uint[8] h;
39         uint[2] t;
40         uint[2] f;
41         ubyte[CONSTANT.BLOCKBYTES] buf;
42         size_t   buflen;
43         size_t   outlen;
44         ubyte    lastNode;
45     }
46 
47     State state;
48 
49 
50     struct Param
51     {
52         align(1):
53 
54         ubyte       digestLength; /* 1 */
55         ubyte       keyLength;    /* 2 */
56         ubyte       fanout;       /* 3 */
57         ubyte       depth;        /* 4 */
58         uint        leafLength;   /* 8 */
59         uint        nodeOffset;   /* 12 */
60         ushort      xofLength;    /* 14 */
61         ubyte       nodeDepth;    /* 15 */
62         ubyte       innerLength;  /* 16 */
63         //ubyte[0]   reserved;
64         ubyte[CONSTANT.SALTBYTES]     salt;     /* 24 */
65         ubyte[CONSTANT.PERSONALBYTES] personal; /* 32 */
66     }
67 
68     private Param param;
69 
70     private immutable uint[8] IV =
71     [
72         0x6A09E667, 0xBB67AE85, 0x3C6EF372, 0xA54FF53A,
73         0x510E527F, 0x9B05688C, 0x1F83D9AB, 0x5BE0CD19
74     ];
75 
76     private void setLastnode(State *S)
77     {
78         S.f[1] = uint.max;
79     }
80     private int isLastblock(const State *S)
81     {
82         return S.f[0] != 0;
83     }
84 
85     private void setLastblock(State *S)
86     {
87         if ( S.lastNode ) setLastnode(S );
88 
89         S.f[0] = uint.max;
90     }
91 
92     private void incrementCounter(State *S, in uint inc)
93     {
94         ulong t = ( cast(ulong)S.t[1] << 32 ) | S.t[0];
95         t += inc;
96         S.t[0] = cast(uint)( t >>  0 );
97         S.t[1] = cast(uint)( t >> 32 );
98     }
99 
100 
101     private void compress(State *S, const ubyte[CONSTANT.BLOCKBYTES] block)
102     {
103         import inteli.emmintrin;
104 
105         //__m128i row1, row2, row3, row4;
106         //__m128i buf1, buf2, buf3, buf4;
107         __m128i[4] rows;
108         __m128i[4] bufs;
109         __m128i ff0, ff1;
110 
111         const(uint)[16] m = [
112             load32(block.ptr +  0 * uint.sizeof),
113             load32(block.ptr +  1 * uint.sizeof),
114             load32(block.ptr +  2 * uint.sizeof),
115             load32(block.ptr +  3 * uint.sizeof),
116             load32(block.ptr +  4 * uint.sizeof),
117             load32(block.ptr +  5 * uint.sizeof),
118             load32(block.ptr +  6 * uint.sizeof),
119             load32(block.ptr +  7 * uint.sizeof),
120             load32(block.ptr +  8 * uint.sizeof),
121             load32(block.ptr +  9 * uint.sizeof),
122             load32(block.ptr + 10 * uint.sizeof),
123             load32(block.ptr + 11 * uint.sizeof),
124             load32(block.ptr + 12 * uint.sizeof),
125             load32(block.ptr + 13 * uint.sizeof),
126             load32(block.ptr + 14 * uint.sizeof),
127             load32(block.ptr + 15 * uint.sizeof)
128         ];
129 
130         rows[0] = ff0 = LOADU(cast(__m128i*)(&S.h[0]) );
131         rows[1] = ff1 = LOADU(cast(__m128i*)(&S.h[4]) );
132         rows[2] = _mm_loadu_si128( cast(const(__m128i)*)&IV[0] );
133         rows[3] = _mm_xor_si128( _mm_loadu_si128( cast(const(__m128i)*)&IV[4] ), LOADU( cast(const(__m128i)*)&S.t[0] ) );
134 
135         // fix issue #18 https://github.com/shove70/crypto/issues/18
136         version(LDC)
137         {
138             mixin(tmplRound!0);
139             mixin(tmplRound!1);
140             mixin(tmplRound!2);
141             mixin(tmplRound!3);
142             mixin(tmplRound!4);
143             mixin(tmplRound!5);
144             mixin(tmplRound!6);
145             mixin(tmplRound!7);
146             mixin(tmplRound!8);
147             mixin(tmplRound!9);
148         }
149         else
150         {
151             for (int i = 0; i < 10; i++)
152             {
153                 round(m, i, rows, bufs);
154             }
155         }
156 
157         STOREU( cast(__m128i*)(&S.h[0]), _mm_xor_si128( ff0, _mm_xor_si128( rows[0], rows[2] ) ) );
158         STOREU( cast(__m128i*)(&S.h[4]), _mm_xor_si128( ff1, _mm_xor_si128( rows[1], rows[3] ) ) );
159     }
160 
161 
162     /* init xors IV with input parameter block */
163     int blake2sInitParam(State *S, const Param *P)
164     {
165         size_t i;
166         /*blake2s_init0( S ); */
167         auto v = cast( const(ubyte)* )( IV );
168         auto p = cast( const(ubyte)* )( P );
169         auto h = cast( ubyte* )( S.h );
170         /* IV XOR ParamBlock */
171         memset (S, 0, state.sizeof );
172 
173         for ( i = 0; i < CONSTANT.OUTBYTES; ++i ) h[i] = v[i] ^ p[i];
174 
175         S.outlen = P.digestLength;
176         return 0;
177     }
178 
179     /* Some sort of default parameter block initialization, for sequential blake2s */
180     int blake2sInit(State *S, in size_t outlen)
181     {
182         Param P;
183 
184         assert( !(!outlen || outlen > CONSTANT.OUTBYTES), "Invalid outlen length" );
185         if ( !outlen || outlen > CONSTANT.OUTBYTES ) return -1;
186 
187         P.digestLength = cast(ubyte)outlen;
188         P.keyLength    = 0;
189         P.fanout       = 1;
190         P.depth        = 1;
191         store32(&P.leafLength, 0 );
192         store32(&P.nodeOffset, 0 );
193         store32(&P.xofLength, 0 );
194         P.nodeDepth    = 0;
195         P.innerLength  = 0;
196         //memset(P.reserved.ptr, 0, P.reserved.sizeof );
197         memset(P.salt.ptr,     0, P.salt.sizeof );
198         memset(P.personal.ptr, 0, P.personal.sizeof );
199 
200         return blake2sInitParam(S, &P );
201     }
202 
203     int blake2sInitKey(State *S, in size_t outlen, const(void) *key, in size_t keylen)
204     {
205         Param P;
206 
207         assert( !(!outlen || outlen > CONSTANT.OUTBYTES), "Invalid outlen length" );
208         if ( !outlen || outlen > CONSTANT.OUTBYTES ) return -1;
209         assert( !(!keylen || keylen > CONSTANT.KEYBYTES), "Invalid keylen length" );
210         if ( !keylen || keylen > CONSTANT.KEYBYTES ) return -1;
211 
212         P.digestLength = cast(ubyte)outlen;
213         P.keyLength    = cast(ubyte)keylen;
214         P.fanout       = 1;
215         P.depth        = 1;
216         store32(&P.leafLength, 0 );
217         store32(&P.nodeOffset, 0 );
218         store32(&P.xofLength, 0 );
219         P.nodeDepth    = 0;
220         P.innerLength  = 0;
221         /*memset(P.reserved.ptr, 0, P.reserved.sizeof );*/
222         memset(P.salt.ptr,     0, P.salt.sizeof );
223         memset(P.personal.ptr, 0, P.personal.sizeof );
224 
225         if ( blake2sInitParam(S, &P ) < 0 ) return -1;
226 
227         ubyte[CONSTANT.BLOCKBYTES] block;
228         memset(block.ptr, 0, CONSTANT.BLOCKBYTES );
229         memcpy(block.ptr, key, keylen );
230         blake2sUpdate(S, block.ptr, CONSTANT.BLOCKBYTES );
231         secureZeroMemory(block.ptr, CONSTANT.BLOCKBYTES ); /* Burn the key from stack */
232 
233         return 0;
234     }
235 
236     int blake2sUpdate(State *S, const(void) *pin, size_t inlen)
237     {
238         auto bpin = cast(const(ubyte)*)pin;
239         if ( inlen > 0 )
240         {
241             size_t left = S.buflen;
242             size_t fill = CONSTANT.BLOCKBYTES - left;
243             if ( inlen > fill )
244             {
245                 S.buflen = 0;
246                 memcpy(S.buf.ptr + left, bpin, fill ); /* Fill buffer */
247                 incrementCounter(S, CONSTANT.BLOCKBYTES );
248                 compress(S, S.buf ); /* Compress */
249                 bpin += fill;
250                 inlen -= fill;
251                 while(inlen > CONSTANT.BLOCKBYTES)
252                 {
253                     incrementCounter(S, CONSTANT.BLOCKBYTES);
254                     compress(S, bpin[0..CONSTANT.BLOCKBYTES] );
255                     bpin += CONSTANT.BLOCKBYTES;
256                     inlen -= CONSTANT.BLOCKBYTES;
257                 }
258             }
259             memcpy(S.buf.ptr + S.buflen, bpin, inlen );
260             S.buflen += inlen;
261         }
262         return 0;
263     }
264 
265     int blake2sFinal(State *S, void *pout, in size_t outlen)
266     {
267         ubyte[CONSTANT.OUTBYTES] buffer;
268         size_t i;
269 
270         assert( !(pout == null || outlen < S.outlen), "Invalid pout or outlen length" );
271         if ( pout == null || outlen < S.outlen ) return -1;
272 
273         assert( !isLastblock(S), "Invalid block. It is the last" );
274         if ( isLastblock(S) ) return -1;
275 
276         incrementCounter(S, cast(uint)S.buflen );
277         setLastblock(S );
278         memset(S.buf.ptr + S.buflen, 0, CONSTANT.BLOCKBYTES - S.buflen ); /* Padding */
279         compress(S, S.buf );
280 
281         for( i = 0; i < 8; ++i ) /* Output full hash to temp buffer */
282             store32( buffer.ptr + S.h[i].sizeof * i, S.h[i] );
283 
284         memcpy( pout, buffer.ptr, S.outlen );
285         secureZeroMemory( buffer.ptr, buffer.sizeof );
286         return 0;
287     }
288 
289 
290     int blake2s(void *pout, in size_t outlen, const(void) *pin, size_t inlen, const(void) *key, in size_t keylen)
291     {
292         State S;
293 
294         /* Verify parameters */
295         assert( !(null == pin && inlen > 0), "Invalid input" );
296         if ( null == pin && inlen > 0 ) return -1;
297 
298         assert( !(null == pout), "Invalid output" );
299         if ( null == pout ) return -1;
300 
301         assert( !(null == key && keylen > 0), "Invalid key" );
302         if ( null == key && keylen > 0 ) return -1;
303 
304         assert( !(!outlen || outlen > CONSTANT.OUTBYTES), "Invalid output length" );
305         if( !outlen || outlen > CONSTANT.OUTBYTES ) return -1;
306 
307         assert( !(keylen > CONSTANT.KEYBYTES), "Invalid key length" );
308         if( keylen > CONSTANT.KEYBYTES ) return -1;
309 
310         if ( keylen )
311         {
312             if ( blake2sInitKey(&S, outlen, key, keylen ) < 0 ) return -1;
313         }
314         else
315         {
316             if ( blake2sInit(&S, outlen ) < 0 ) return -1;
317         }
318 
319         blake2sUpdate( &S, pin, inlen );
320         blake2sFinal( &S, pout, outlen );
321         return 0;
322     }
323 
324     int blake2s (ubyte* hash, in int size, in ubyte[] input, in ubyte[] key = null)
325     {
326         return blake2s( hash, size, input.ptr, input.length, key.ptr, key.length );
327     }
328 }
329 
330 int blake2s (int size = B256)(out ubyte[] hash, in ubyte[] input, in ubyte[] key = null)
331 {
332     hash = new ubyte[size];
333     return blake2s( hash.ptr, size, input.ptr, input.length, key.ptr, key.length );
334 }
335 
336 
337 unittest
338 {
339     import crypto.hex;
340     import std.base64;
341     import std.digest.crc;
342     import std.stdio: writeln;
343 
344     ubyte[CONSTANT.KEYBYTES] key;
345     for( int i = 0; i < CONSTANT.KEYBYTES; i++ )
346         key[i] = cast(ubyte)i;
347 
348     // hashes is taken from https://blake2.net/blake2s-test.txt
349     const hashes = [
350         "48a8997da407876b3d79c0d92325ad3b89cbb754d86ab71aee047ad345fd2c49",
351         "40d15fee7c328830166ac3f918650f807e7e01e177258cdc0a39b11f598066f1",
352         "6bb71300644cd3991b26ccd4d274acd1adeab8b1d7914546c1198bbe9fc9d803",
353         "1d220dbe2ee134661fdf6d9e74b41704710556f2f6e5a091b227697445dbea6b",
354         "f6c3fbadb4cc687a0064a5be6e791bec63b868ad62fba61b3757ef9ca52e05b2",
355         "49c1f21188dfd769aea0e911dd6b41f14dab109d2b85977aa3088b5c707e8598",
356         "fdd8993dcd43f696d44f3cea0ff35345234ec8ee083eb3cada017c7f78c17143",
357         "e6c8125637438d0905b749f46560ac89fd471cf8692e28fab982f73f019b83a9",
358         "19fc8ca6979d60e6edd3b4541e2f967ced740df6ec1eaebbfe813832e96b2974",
359         "a6ad777ce881b52bb5a4421ab6cdd2dfba13e963652d4d6d122aee46548c14a7",
360         "f5c4b2ba1a00781b13aba0425242c69cb1552f3f71a9a3bb22b4a6b4277b46dd",
361         "e33c4c9bd0cc7e45c80e65c77fa5997fec7002738541509e68a9423891e822a3",
362         "fba16169b2c3ee105be6e1e650e5cbf40746b6753d036ab55179014ad7ef6651",
363         "f5c4bec6d62fc608bf41cc115f16d61c7efd3ff6c65692bbe0afffb1fede7475",
364         "a4862e76db847f05ba17ede5da4e7f91b5925cf1ad4ba12732c3995742a5cd6e",
365         "65f4b860cd15b38ef814a1a804314a55be953caa65fd758ad989ff34a41c1eea",
366         "19ba234f0a4f38637d1839f9d9f76ad91c8522307143c97d5f93f69274cec9a7",
367         "1a67186ca4a5cb8e65fca0e2ecbc5ddc14ae381bb8bffeb9e0a103449e3ef03c",
368         "afbea317b5a2e89c0bd90ccf5d7fd0ed57fe585e4be3271b0a6bf0f5786b0f26",
369         "f1b01558ce541262f5ec34299d6fb4090009e3434be2f49105cf46af4d2d4124",
370         "13a0a0c86335635eaa74ca2d5d488c797bbb4f47dc07105015ed6a1f3309efce",
371         "1580afeebebb346f94d59fe62da0b79237ead7b1491f5667a90e45edf6ca8b03",
372         "20be1a875b38c573dd7faaa0de489d655c11efb6a552698e07a2d331b5f655c3",
373         "be1fe3c4c04018c54c4a0f6b9a2ed3c53abe3a9f76b4d26de56fc9ae95059a99",
374         "e3e3ace537eb3edd8463d9ad3582e13cf86533ffde43d668dd2e93bbdbd7195a",
375         "110c50c0bf2c6e7aeb7e435d92d132ab6655168e78a2decdec3330777684d9c1",
376         "e9ba8f505c9c80c08666a701f3367e6cc665f34b22e73c3c0417eb1c2206082f",
377         "26cd66fca02379c76df12317052bcafd6cd8c3a7b890d805f36c49989782433a",
378         "213f3596d6e3a5d0e9932cd2159146015e2abc949f4729ee2632fe1edb78d337",
379         "1015d70108e03be1c702fe97253607d14aee591f2413ea6787427b6459ff219a",
380         "3ca989de10cfe609909472c8d35610805b2f977734cf652cc64b3bfc882d5d89",
381         "b6156f72d380ee9ea6acd190464f2307a5c179ef01fd71f99f2d0f7a57360aea",
382         "c03bc642b20959cbe133a0303e0c1abff3e31ec8e1a328ec8565c36decff5265",
383         "2c3e08176f760c6264c3a2cd66fec6c3d78de43fc192457b2a4a660a1e0eb22b",
384         "f738c02f3c1b190c512b1a32deabf353728e0e9ab034490e3c3409946a97aeec",
385         "8b1880df301cc963418811088964839287ff7fe31c49ea6ebd9e48bdeee497c5",
386         "1e75cb21c60989020375f1a7a242839f0b0b68973a4c2a05cf7555ed5aaec4c1",
387         "62bf8a9c32a5bccf290b6c474d75b2a2a4093f1a9e27139433a8f2b3bce7b8d7",
388         "166c8350d3173b5e702b783dfd33c66ee0432742e9b92b997fd23c60dc6756ca",
389         "044a14d822a90cacf2f5a101428adc8f4109386ccb158bf905c8618b8ee24ec3",
390         "387d397ea43a994be84d2d544afbe481a2000f55252696bba2c50c8ebd101347",
391         "56f8ccf1f86409b46ce36166ae9165138441577589db08cbc5f66ca29743b9fd",
392         "9706c092b04d91f53dff91fa37b7493d28b576b5d710469df79401662236fc03",
393         "877968686c068ce2f7e2adcff68bf8748edf3cf862cfb4d3947a3106958054e3",
394         "8817e5719879acf7024787eccdb271035566cfa333e049407c0178ccc57a5b9f",
395         "8938249e4b50cadaccdf5b18621326cbb15253e33a20f5636e995d72478de472",
396         "f164abba4963a44d107257e3232d90aca5e66a1408248c51741e991db5227756",
397         "d05563e2b1cba0c4a2a1e8bde3a1a0d9f5b40c85a070d6f5fb21066ead5d0601",
398         "03fbb16384f0a3866f4c3117877666efbf124597564b293d4aab0d269fabddfa",
399         "5fa8486ac0e52964d1881bbe338eb54be2f719549224892057b4da04ba8b3475",
400         "cdfabcee46911111236a31708b2539d71fc211d9b09c0d8530a11e1dbf6eed01",
401         "4f82de03b9504793b82a07a0bdcdff314d759e7b62d26b784946b0d36f916f52",
402         "259ec7f173bcc76a0994c967b4f5f024c56057fb79c965c4fae41875f06a0e4c",
403         "193cc8e7c3e08bb30f5437aa27ade1f142369b246a675b2383e6da9b49a9809e",
404         "5c10896f0e2856b2a2eee0fe4a2c1633565d18f0e93e1fab26c373e8f829654d",
405         "f16012d93f28851a1eb989f5d0b43f3f39ca73c9a62d5181bff237536bd348c3",
406         "2966b3cfae1e44ea996dc5d686cf25fa053fb6f67201b9e46eade85d0ad6b806",
407         "ddb8782485e900bc60bcf4c33a6fd585680cc683d516efa03eb9985fad8715fb",
408         "4c4d6e71aea05786413148fc7a786b0ecaf582cff1209f5a809fba8504ce662c",
409         "fb4c5e86d7b2229b99b8ba6d94c247ef964aa3a2bae8edc77569f28dbbff2d4e",
410         "e94f526de9019633ecd54ac6120f23958d7718f1e7717bf329211a4faeed4e6d",
411         "cbd6660a10db3f23f7a03d4b9d4044c7932b2801ac89d60bc9eb92d65a46c2a0",
412         "8818bbd3db4dc123b25cbba5f54c2bc4b3fcf9bf7d7a7709f4ae588b267c4ece",
413         "c65382513f07460da39833cb666c5ed82e61b9e998f4b0c4287cee56c3cc9bcd",
414         "8975b0577fd35566d750b362b0897a26c399136df07bababbde6203ff2954ed4",
415         "21fe0ceb0052be7fb0f004187cacd7de67fa6eb0938d927677f2398c132317a8",
416         "2ef73f3c26f12d93889f3c78b6a66c1d52b649dc9e856e2c172ea7c58ac2b5e3",
417         "388a3cd56d73867abb5f8401492b6e2681eb69851e767fd84210a56076fb3dd3",
418         "af533e022fc9439e4e3cb838ecd18692232adf6fe9839526d3c3dd1b71910b1a",
419         "751c09d41a9343882a81cd13ee40818d12eb44c6c7f40df16e4aea8fab91972a",
420         "5b73ddb68d9d2b0aa265a07988d6b88ae9aac582af83032f8a9b21a2e1b7bf18",
421         "3da29126c7c5d7f43e64242a79feaa4ef3459cdeccc898ed59a97f6ec93b9dab",
422         "566dc920293da5cb4fe0aa8abda8bbf56f552313bff19046641e3615c1e3ed3f",
423         "4115bea02f73f97f629e5c5590720c01e7e449ae2a6697d4d2783321303692f9",
424         "4ce08f4762468a7670012164878d68340c52a35e66c1884d5c864889abc96677",
425         "81ea0b7804124e0c22ea5fc71104a2afcb52a1fa816f3ecb7dcb5d9dea1786d0",
426         "fe362733b05f6bedaf9379d7f7936ede209b1f8323c3922549d9e73681b5db7b",
427         "eff37d30dfd20359be4e73fdf40d27734b3df90a97a55ed745297294ca85d09f",
428         "172ffc67153d12e0ca76a8b6cd5d4731885b39ce0cac93a8972a18006c8b8baf",
429         "c47957f1cc88e83ef9445839709a480a036bed5f88ac0fcc8e1e703ffaac132c",
430         "30f3548370cfdceda5c37b569b6175e799eef1a62aaa943245ae7669c227a7b5",
431         "c95dcb3cf1f27d0eef2f25d2413870904a877c4a56c2de1e83e2bc2ae2e46821",
432         "d5d0b5d705434cd46b185749f66bfb5836dcdf6ee549a2b7a4aee7f58007caaf",
433         "bbc124a712f15d07c300e05b668389a439c91777f721f8320c1c9078066d2c7e",
434         "a451b48c35a6c7854cfaae60262e76990816382ac0667e5a5c9e1b46c4342ddf",
435         "b0d150fb55e778d01147f0b5d89d99ecb20ff07e5e6760d6b645eb5b654c622b",
436         "34f737c0ab219951eee89a9f8dac299c9d4c38f33fa494c5c6eefc92b6db08bc",
437         "1a62cc3a00800dcbd99891080c1e098458193a8cc9f970ea99fbeff00318c289",
438         "cfce55ebafc840d7ae48281c7fd57ec8b482d4b704437495495ac414cf4a374b",
439         "6746facf71146d999dabd05d093ae586648d1ee28e72617b99d0f0086e1e45bf",
440         "571ced283b3f23b4e750bf12a2caf1781847bd890e43603cdc5976102b7bb11b",
441         "cfcb765b048e35022c5d089d26e85a36b005a2b80493d03a144e09f409b6afd1",
442         "4050c7a27705bb27f42089b299f3cbe5054ead68727e8ef9318ce6f25cd6f31d",
443         "184070bd5d265fbdc142cd1c5cd0d7e414e70369a266d627c8fba84fa5e84c34",
444         "9edda9a4443902a9588c0d0ccc62b930218479a6841e6fe7d43003f04b1fd643",
445         "e412feef7908324a6da1841629f35d3d358642019310ec57c614836b63d30763",
446         "1a2b8edff3f9acc1554fcbae3cf1d6298c6462e22e5eb0259684f835012bd13f",
447         "288c4ad9b9409762ea07c24a41f04f69a7d74bee2d95435374bde946d7241c7b",
448         "805691bb286748cfb591d3aebe7e6f4e4dc6e2808c65143cc004e4eb6fd09d43",
449         "d4ac8d3a0afc6cfa7b460ae3001baeb36dadb37da07d2e8ac91822df348aed3d",
450         "c376617014d20158bced3d3ba552b6eccf84e62aa3eb650e90029c84d13eea69",
451         "c41f09f43cecae7293d6007ca0a357087d5ae59be500c1cd5b289ee810c7b082",
452         "03d1ced1fba5c39155c44b7765cb760c78708dcfc80b0bd8ade3a56da8830b29",
453         "09bde6f152218dc92c41d7f45387e63e5869d807ec70b821405dbd884b7fcf4b",
454         "71c9036e18179b90b37d39e9f05eb89cc5fc341fd7c477d0d7493285faca08a4",
455         "5916833ebb05cd919ca7fe83b692d3205bef72392b2cf6bb0a6d43f994f95f11",
456         "f63aab3ec641b3b024964c2b437c04f6043c4c7e0279239995401958f86bbe54",
457         "f172b180bfb09740493120b6326cbdc561e477def9bbcfd28cc8c1c5e3379a31",
458         "cb9b89cc18381dd9141ade588654d4e6a231d5bf49d4d59ac27d869cbe100cf3",
459         "7bd8815046fdd810a923e1984aaebdcdf84d87c8992d68b5eeb460f93eb3c8d7",
460         "607be66862fd08ee5b19facac09dfdbcd40c312101d66e6ebd2b841f1b9a9325",
461         "9fe03bbe69ab1834f5219b0da88a08b30a66c5913f0151963c360560db0387b3",
462         "90a83585717b75f0e9b725e055eeeeb9e7a028ea7e6cbc07b20917ec0363e38c",
463         "336ea0530f4a7469126e0218587ebbde3358a0b31c29d200f7dc7eb15c6aadd8",
464         "a79e76dc0abca4396f0747cd7b748df913007626b1d659da0c1f78b9303d01a3",
465         "44e78a773756e0951519504d7038d28d0213a37e0ce375371757bc996311e3b8",
466         "77ac012a3f754dcfeab5eb996be9cd2d1f96111b6e49f3994df181f28569d825",
467         "ce5a10db6fccdaf140aaa4ded6250a9c06e9222bc9f9f3658a4aff935f2b9f3a",
468         "ecc203a7fe2be4abd55bb53e6e673572e0078da8cd375ef430cc97f9f80083af",
469         "14a5186de9d7a18b0412b8563e51cc5433840b4a129a8ff963b33a3c4afe8ebb",
470         "13f8ef95cb86e6a638931c8e107673eb76ba10d7c2cd70b9d9920bbeed929409",
471         "0b338f4ee12f2dfcb78713377941e0b0632152581d1332516e4a2cab1942cca4",
472         "eaab0ec37b3b8ab796e9f57238de14a264a076f3887d86e29bb5906db5a00e02",
473         "23cb68b8c0e6dc26dc27766ddc0a13a99438fd55617aa4095d8f969720c872df",
474         "091d8ee30d6f2968d46b687dd65292665742de0bb83dcc0004c72ce10007a549",
475         "7f507abc6d19ba00c065a876ec5657868882d18a221bc46c7a6912541f5bc7ba",
476         "a0607c24e14e8c223db0d70b4d30ee88014d603f437e9e02aa7dafa3cdfbad94",
477         "ddbfea75cc467882eb3483ce5e2e756a4f4701b76b445519e89f22d60fa86e06",
478         "0c311f38c35a4fb90d651c289d486856cd1413df9b0677f53ece2cd9e477c60a",
479         "46a73a8dd3e70f59d3942c01df599def783c9da82fd83222cd662b53dce7dbdf",
480         "ad038ff9b14de84a801e4e621ce5df029dd93520d0c2fa38bff176a8b1d1698c",
481         "ab70c5dfbd1ea817fed0cd067293abf319e5d7901c2141d5d99b23f03a38e748",
482         "1fffda67932b73c8ecaf009a3491a026953babfe1f663b0697c3c4ae8b2e7dcb",
483         "b0d2cc19472dd57f2b17efc03c8d58c2283dbb19da572f7755855aa9794317a0",
484         "a0d19a6ee33979c325510e276622df41f71583d07501b87071129a0ad94732a5",
485         "724642a7032d1062b89e52bea34b75df7d8fe772d9fe3c93ddf3c4545ab5a99b",
486         "ade5eaa7e61f672d587ea03dae7d7b55229c01d06bc0a5701436cbd18366a626",
487         "013b31ebd228fcdda51fabb03bb02d60ac20ca215aafa83bdd855e3755a35f0b",
488         "332ed40bb10dde3c954a75d7b8999d4b26a1c063c1dc6e32c1d91bab7bbb7d16",
489         "c7a197b3a05b566bcc9facd20e441d6f6c2860ac9651cd51d6b9d2cdeeea0390",
490         "bd9cf64ea8953c037108e6f654914f3958b68e29c16700dc184d94a21708ff60",
491         "8835b0ac021151df716474ce27ce4d3c15f0b2dab48003cf3f3efd0945106b9a",
492         "3bfefa3301aa55c080190cffda8eae51d9af488b4c1f24c3d9a75242fd8ea01d",
493         "08284d14993cd47d53ebaecf0df0478cc182c89c00e1859c84851686ddf2c1b7",
494         "1ed7ef9f04c2ac8db6a864db131087f27065098e69c3fe78718d9b947f4a39d0",
495         "c161f2dcd57e9c1439b31a9dd43d8f3d7dd8f0eb7cfac6fb25a0f28e306f0661",
496         "c01969ad34c52caf3dc4d80d19735c29731ac6e7a92085ab9250c48dea48a3fc",
497         "1720b3655619d2a52b3521ae0e49e345cb3389ebd6208acaf9f13fdacca8be49",
498         "756288361c83e24c617cf95c905b22d017cdc86f0bf1d658f4756c7379873b7f",
499         "e7d0eda3452693b752abcda1b55e276f82698f5f1605403eff830bea0071a394",
500         "2c82ecaa6b84803e044af63118afe544687cb6e6c7df49ed762dfd7c8693a1bc",
501         "6136cbf4b441056fa1e2722498125d6ded45e17b52143959c7f4d4e395218ac2",
502         "721d3245aafef27f6a624f47954b6c255079526ffa25e9ff77e5dcff473b1597",
503         "9dd2fbd8cef16c353c0ac21191d509eb28dd9e3e0d8cea5d26ca839393851c3a",
504         "b2394ceacdebf21bf9df2ced98e58f1c3a4bbbff660dd900f62202d6785cc46e",
505         "57089f222749ad7871765f062b114f43ba20ec56422a8b1e3f87192c0ea718c6",
506         "e49a9459961cd33cdf4aae1b1078a5dea7c040e0fea340c93a724872fc4af806",
507         "ede67f720effd2ca9c88994152d0201dee6b0a2d2c077aca6dae29f73f8b6309",
508         "e0f434bf22e3088039c21f719ffc67f0f2cb5e98a7a0194c76e96bf4e8e17e61",
509         "277c04e2853484a4eba910ad336d01b477b67cc200c59f3c8d77eef8494f29cd",
510         "156d5747d0c99c7f27097d7b7e002b2e185cb72d8dd7eb424a0321528161219f",
511         "20ddd1ed9b1ca803946d64a83ae4659da67fba7a1a3eddb1e103c0f5e03e3a2c",
512         "f0af604d3dabbf9a0f2a7d3dda6bd38bba72c6d09be494fcef713ff10189b6e6",
513         "9802bb87def4cc10c4a5fd49aa58dfe2f3fddb46b4708814ead81d23ba95139b",
514         "4f8ce1e51d2fe7f24043a904d898ebfc91975418753413aa099b795ecb35cedb",
515         "bddc6514d7ee6ace0a4ac1d0e068112288cbcf560454642705630177cba608bd",
516         "d635994f6291517b0281ffdd496afa862712e5b3c4e52e4cd5fdae8c0e72fb08",
517         "878d9ca600cf87e769cc305c1b35255186615a73a0da613b5f1c98dbf81283ea",
518         "a64ebe5dc185de9fdde7607b6998702eb23456184957307d2fa72e87a47702d6",
519         "ce50eab7b5eb52bdc9ad8e5a480ab780ca9320e44360b1fe37e03f2f7ad7de01",
520         "eeddb7c0db6e30abe66d79e327511e61fcebbc29f159b40a86b046ecf0513823",
521         "787fc93440c1ec96b5ad01c16cf77916a1405f9426356ec921d8dff3ea63b7e0",
522         "7f0d5eab47eefda696c0bf0fbf86ab216fce461e9303aba6ac374120e890e8df",
523         "b68004b42f14ad029f4c2e03b1d5eb76d57160e26476d21131bef20ada7d27f4",
524         "b0c4eb18ae250b51a41382ead92d0dc7455f9379fc9884428e4770608db0faec",
525         "f92b7a870c059f4d46464c824ec96355140bdce681322cc3a992ff103e3fea52",
526         "5364312614813398cc525d4c4e146edeb371265fba19133a2c3d2159298a1742",
527         "f6620e68d37fb2af5000fc28e23b832297ecd8bce99e8be4d04e85309e3d3374",
528         "5316a27969d7fe04ff27b283961bffc3bf5dfb32fb6a89d101c6c3b1937c2871",
529         "81d1664fdf3cb33c24eebac0bd64244b77c4abea90bbe8b5ee0b2aafcf2d6a53",
530         "345782f295b0880352e924a0467b5fbc3e8f3bfbc3c7e48b67091fb5e80a9442",
531         "794111ea6cd65e311f74ee41d476cb632ce1e4b051dc1d9e9d061a19e1d0bb49",
532         "2a85daf6138816b99bf8d08ba2114b7ab07975a78420c1a3b06a777c22dd8bcb",
533         "89b0d5f289ec16401a069a960d0b093e625da3cf41ee29b59b930c5820145455",
534         "d0fdcb543943fc27d20864f52181471b942cc77ca675bcb30df31d358ef7b1eb",
535         "b17ea8d77063c709d4dc6b879413c343e3790e9e62ca85b7900b086f6b75c672",
536         "e71a3e2c274db842d92114f217e2c0eac8b45093fdfd9df4ca7162394862d501",
537         "c0476759ab7aa333234f6b44f5fd858390ec23694c622cb986e769c78edd733e",
538         "9ab8eabb1416434d85391341d56993c55458167d4418b19a0f2ad8b79a83a75b",
539         "7992d0bbb15e23826f443e00505d68d3ed7372995a5c3e498654102fbcd0964e",
540         "c021b30085151435df33b007ccecc69df1269f39ba25092bed59d932ac0fdc28",
541         "91a25ec0ec0d9a567f89c4bfe1a65a0e432d07064b4190e27dfb81901fd3139b",
542         "5950d39a23e1545f301270aa1a12f2e6c453776e4d6355de425cc153f9818867",
543         "d79f14720c610af179a3765d4b7c0968f977962dbf655b521272b6f1e194488e",
544         "e9531bfc8b02995aeaa75ba27031fadbcbf4a0dab8961d9296cd7e84d25d6006",
545         "34e9c26a01d7f16181b454a9d1623c233cb99d31c694656e9413aca3e918692f",
546         "d9d7422f437bd439ddd4d883dae2a08350173414be78155133fff1964c3d7972",
547         "4aee0c7aaf075414ff1793ead7eaca601775c615dbd60b640b0a9f0ce505d435",
548         "6bfdd15459c83b99f096bfb49ee87b063d69c1974c6928acfcfb4099f8c4ef67",
549         "9fd1c408fd75c336193a2a14d94f6af5adf050b80387b4b010fb29f4cc72707c",
550         "13c88480a5d00d6c8c7ad2110d76a82d9b70f4fa6696d4e5dd42a066dcaf9920",
551         "820e725ee25fe8fd3a8d5abe4c46c3ba889de6fa9191aa22ba67d5705421542b",
552         "32d93a0eb02f42fbbcaf2bad0085b282e46046a4df7ad10657c9d6476375b93e",
553         "adc5187905b1669cd8ec9c721e1953786b9d89a9bae30780f1e1eab24a00523c",
554         "e90756ff7f9ad810b239a10ced2cf9b2284354c1f8c7e0accc2461dc796d6e89",
555         "1251f76e56978481875359801db589a0b22f86d8d634dc04506f322ed78f17e8",
556         "3afa899fd980e73ecb7f4d8b8f291dc9af796bc65d27f974c6f193c9191a09fd",
557         "aa305be26e5deddc3c1010cbc213f95f051c785c5b431e6a7cd048f161787528",
558         "8ea1884ff32e9d10f039b407d0d44e7e670abd884aeee0fb757ae94eaa97373d",
559         "d482b2155d4dec6b4736a1f1617b53aaa37310277d3fef0c37ad41768fc235b4",
560         "4d413971387e7a8898a8dc2a27500778539ea214a2dfe9b3d7e8ebdce5cf3db3",
561         "696e5d46e6c57e8796e4735d08916e0b7929b3cf298c296d22e9d3019653371c",
562         "1f5647c1d3b088228885865c8940908bf40d1a8272821973b160008e7a3ce2eb",
563         "b6e76c330f021a5bda65875010b0edf09126c0f510ea849048192003aef4c61c",
564         "3cd952a0beada41abb424ce47f94b42be64e1ffb0fd0782276807946d0d0bc55",
565         "98d92677439b41b7bb513312afb92bcc8ee968b2e3b238cecb9b0f34c9bb63d0",
566         "ecbca2cf08ae57d517ad16158a32bfa7dc0382eaeda128e91886734c24a0b29d",
567         "942cc7c0b52e2b16a4b89fa4fc7e0bf609e29a08c1a8543452b77c7bfd11bb28",
568         "8a065d8b61a0dffb170d5627735a76b0e9506037808cba16c345007c9f79cf8f",
569         "1b9fa19714659c78ff413871849215361029ac802b1cbcd54e408bd87287f81f",
570         "8dab071bcd6c7292a9ef727b4ae0d86713301da8618d9a48adce55f303a869a1",
571         "8253e3e7c7b684b9cb2beb014ce330ff3d99d17abbdbabe4f4d674ded53ffc6b",
572         "f195f321e9e3d6bd7d074504dd2ab0e6241f92e784b1aa271ff648b1cab6d7f6",
573         "27e4cc72090f241266476a7c09495f2db153d5bcbd761903ef79275ec56b2ed8",
574         "899c2405788e25b99a1846355e646d77cf400083415f7dc5afe69d6e17c00023",
575         "a59b78c4905744076bfee894de707d4f120b5c6893ea0400297d0bb834727632",
576         "59dc78b105649707a2bb4419c48f005400d3973de3736610230435b10424b24f",
577         "c0149d1d7e7a6353a6d906efe728f2f329fe14a4149a3ea77609bc42b975ddfa",
578         "a32f241474a6c16932e9243be0cf09bcdc7e0ca0e7a6a1b9b1a0f01e41502377",
579         "b239b2e4f81841361c1339f68e2c359f929af9ad9f34e01aab4631ad6d5500b0",
580         "85fb419c7002a3e0b4b6ea093b4c1ac6936645b65dac5ac15a8528b7b94c1754",
581         "9619720625f190b93a3fad186ab314189633c0d3a01e6f9bc8c4a8f82f383dbf",
582         "7d620d90fe69fa469a6538388970a1aa09bb48a2d59b347b97e8ce71f48c7f46",
583         "294383568596fb37c75bbacd979c5ff6f20a556bf8879cc72924855df9b8240e",
584         "16b18ab314359c2b833c1c6986d48c55a9fc97cde9a3c1f10a3177140f73f738",
585         "8cbbdd14bc33f04cf45813e4a153a273d36adad5ce71f499eeb87fb8ac63b729",
586         "69c9a498db174ecaefcc5a3ac9fdedf0f813a5bec727f1e775babdec7718816e",
587         "b462c3be40448f1d4f80626254e535b08bc9cdcff599a768578d4b2881a8e3f0",
588         "553e9d9c5f360ac0b74a7d44e5a391dad4ced03e0c24183b7e8ecabdf1715a64",
589         "7a7c55a56fa9ae51e655e01975d8a6ff4ae9e4b486fcbe4eac044588f245ebea",
590         "2afdf3c82abc4867f5de111286c2b3be7d6e48657ba923cfbf101a6dfcf9db9a",
591         "41037d2edcdce0c49b7fb4a6aa0999ca66976c7483afe631d4eda283144f6dfc",
592         "c4466f8497ca2eeb4583a0b08e9d9ac74395709fda109d24f2e4462196779c5d",
593         "75f609338aa67d969a2ae2a2362b2da9d77c695dfd1df7224a6901db932c3364",
594         "68606ceb989d5488fc7cf649f3d7c272ef055da1a93faecd55fe06f6967098ca",
595         "44346bdeb7e052f6255048f0d9b42c425bab9c3dd24168212c3ecf1ebf34e6ae",
596         "8e9cf6e1f366471f2ac7d2ee9b5e6266fda71f8f2e4109f2237ed5f8813fc718",
597         "84bbeb8406d250951f8c1b3e86a7c010082921833dfd9555a2f909b1086eb4b8",
598         "ee666f3eef0f7e2a9c222958c97eaf35f51ced393d714485ab09a069340fdf88",
599         "c153d34a65c47b4a62c5cacf24010975d0356b2f32c8f5da530d338816ad5de6",
600         "9fc5450109e1b779f6c7ae79d56c27635c8dd426c5a9d54e2578db989b8c3b4e",
601         "d12bf3732ef4af5c22fa90356af8fc50fcb40f8f2ea5c8594737a3b3d5abdbd7",
602         "11030b9289bba5af65260672ab6fee88b87420acef4a1789a2073b7ec2f2a09e",
603         "69cb192b8444005c8c0ceb12c846860768188cda0aec27a9c8a55cdee2123632",
604         "db444c15597b5f1a03d1f9edd16e4a9f43a667cc275175dfa2b704e3bb1a9b83",
605         "3fb735061abc519dfe979e54c1ee5bfad0a9d858b3315bad34bde999efd724dd"
606     ];
607     auto buf = new ubyte[hashes.length];
608 
609 
610     for( int i = 0; i < hashes.length; ++i )
611     {
612         ubyte[] test;
613         buf[i] = cast(ubyte)i;
614         assert(blake2s(test, buf[0..i], key) == 0);
615         assert(test == hexBytes(hashes[i]));
616     }
617 
618 
619     for(int step = 1; step < CONSTANT.BLOCKBYTES; ++step)
620     {
621         for (int i = 0; i < hashes.length; ++i)
622         {
623             ubyte[CONSTANT.OUTBYTES] test;
624             State S;
625             ubyte * p = buf.ptr;
626             size_t mlen = i;
627 
628             assert(blake2sInitKey(&S, CONSTANT.OUTBYTES, &key, CONSTANT.KEYBYTES) == 0);
629 
630             while (mlen >= step) {
631                 assert(blake2sUpdate(&S, p, step) == 0);
632                 mlen -= step;
633                 p += step;
634             }
635             assert(blake2sUpdate(&S, p, mlen) == 0);
636             assert(blake2sFinal(&S, &test, CONSTANT.OUTBYTES) == 0);
637             assert(test == hexBytes(hashes[i]));
638         }
639     }
640 
641     writeln("Unit tests of \"blake2s\" have been run successfully.");
642 }