libcrux-blake2 0.0.6

Formally verified blake2 hash library
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
extern crate alloc;

use alloc::boxed::Box;
use core::marker::PhantomData;

use libcrux_hacl_rs::streaming_types::error_code;

use crate::hacl::hash_blake2b::{
    blake2_params, digest, index, malloc_raw, params_and_key, reset, reset_with_key, state_t,
    update0,
};

use super::{
    ConstDigestLen, ConstKeyLen, ConstKeyLenConstDigestLen, Dynamic, Error, LengthBounds,
    SupportsKeyLen, SupportsOutLen,
};

const PARAM_LEN: usize = 16;
const MAX_LEN: usize = 64;

/// A builder for [`Blake2b`]. `T` determines whether
pub struct Blake2bBuilder<'a, T> {
    key: T,
    personal: &'a [u8; PARAM_LEN],
    salt: &'a [u8; PARAM_LEN],
}

impl<'a> Blake2bBuilder<'a, &'a ()> {
    /// Creates the builder for an unkeyed hasher.
    pub fn new_unkeyed() -> Self {
        Self {
            key: &(),
            personal: &[0; PARAM_LEN],
            salt: &[0; PARAM_LEN],
        }
    }

    /// Constructs the [`Blake2b`] hasher for unkeyed hashes and dynamic digest length.
    pub fn build_var_digest_len(self, digest_length: u8) -> Result<Blake2b<ConstKeyLen<0>>, Error> {
        if digest_length < 1 || digest_length as usize > MAX_LEN {
            return Err(Error::InvalidDigestLength);
        }

        let key_length = 0;

        let kk = index {
            key_length,
            digest_length,
            last_node: false,
        };

        let params = blake2_params {
            digest_length,
            key_length,
            fanout: 1,
            depth: 1,
            leaf_length: 0,
            node_offset: 0,
            node_depth: 0,
            inner_length: 0,
            salt: self.salt,
            personal: self.personal,
        };

        let key = params_and_key {
            fst: &[params],
            snd: &[],
        };

        Ok(Blake2b {
            state: malloc_raw(kk, key),
            _phantom: PhantomData,
        })
    }

    /// Constructs the [`Blake2b`] hasher for unkeyed hashes and constant digest length.
    pub fn build_const_digest_len<const OUT_LEN: usize>(
        self,
    ) -> Blake2b<ConstKeyLenConstDigestLen<0, OUT_LEN>>
    where
        Blake2b<LengthBounds>: SupportsOutLen<OUT_LEN>,
    {
        let digest_length = OUT_LEN as u8;
        let key_length = 0;

        let kk = index {
            key_length,
            digest_length,
            last_node: false,
        };

        let params = blake2_params {
            digest_length,
            key_length,
            fanout: 1,
            depth: 1,
            leaf_length: 0,
            node_offset: 0,
            node_depth: 0,
            inner_length: 0,
            salt: self.salt,
            personal: self.personal,
        };

        let key = params_and_key {
            fst: &[params],
            snd: &[],
        };

        Blake2b {
            state: malloc_raw(kk, key),
            _phantom: PhantomData,
        }
    }
}

impl<'a, const KEY_LEN: usize> Blake2bBuilder<'a, &'a [u8; KEY_LEN]>
where
    Blake2b<LengthBounds>: SupportsKeyLen<KEY_LEN>,
{
    /// Creates the builder for an keyed hasher for keys where the length is known at compile
    /// time.
    pub fn new_keyed_const(key: &'a [u8; KEY_LEN]) -> Self {
        Self {
            key,
            personal: &[0; PARAM_LEN],
            salt: &[0; PARAM_LEN],
        }
    }

    /// Constructs the [`Blake2b`] hasher for hashes with const key length and dynamic digest length.
    pub fn build_var_digest_len(
        self,
        digest_length: u8,
    ) -> Result<Blake2b<ConstKeyLen<KEY_LEN>>, Error> {
        if digest_length < 1 || digest_length as usize > MAX_LEN {
            return Err(Error::InvalidDigestLength);
        }

        // This is safe because it's at most 64, enforced in the constructor.
        let key_length = KEY_LEN as u8;

        let kk = index {
            key_length,
            digest_length,
            last_node: false,
        };

        let params = blake2_params {
            digest_length,
            key_length,
            fanout: 1,
            depth: 1,
            leaf_length: 0,
            node_offset: 0,
            node_depth: 0,
            inner_length: 0,
            salt: self.salt,
            personal: self.personal,
        };

        let key = params_and_key {
            fst: &[params],
            snd: self.key,
        };

        Ok(Blake2b::<ConstKeyLen<KEY_LEN>> {
            state: malloc_raw(kk, key),
            _phantom: PhantomData,
        })
    }

    /// Constructs the [`Blake2b`] hasher for hashes with const key length and constant digest length.
    pub fn build_const_digest_len<const OUT_LEN: usize>(
        self,
    ) -> Blake2b<ConstKeyLenConstDigestLen<KEY_LEN, OUT_LEN>>
    where
        Blake2b<LengthBounds>: SupportsOutLen<OUT_LEN>,
    {
        // These are safe because they both are at most 64, enforced either above or in the
        // constructor.
        let key_length = KEY_LEN as u8;
        let digest_length = OUT_LEN as u8;

        let kk = index {
            key_length,
            digest_length,
            last_node: false,
        };

        let params = blake2_params {
            digest_length,
            key_length,
            fanout: 1,
            depth: 1,
            leaf_length: 0,
            node_offset: 0,
            node_depth: 0,
            inner_length: 0,
            salt: self.salt,
            personal: self.personal,
        };

        let key = params_and_key {
            fst: &[params],
            snd: self.key,
        };

        Blake2b::<ConstKeyLenConstDigestLen<KEY_LEN, OUT_LEN>> {
            state: malloc_raw(kk, key),
            _phantom: PhantomData,
        }
    }
}

impl<'a> Blake2bBuilder<'a, &'a [u8]> {
    /// Creates the builder for an keyed hasher for keys where the length is not known at compile
    /// time.
    pub fn new_keyed_dynamic(key: &'a [u8]) -> Result<Self, Error> {
        if key.len() > MAX_LEN {
            return Err(Error::InvalidKeyLength);
        }

        Ok(Self {
            key,
            personal: &[0; PARAM_LEN],
            salt: &[0; PARAM_LEN],
        })
    }

    /// Constructs the fully dynamic [`Blake2b`] hasher.
    pub fn build_var_digest_len(self, digest_length: u8) -> Result<Blake2b<Dynamic>, Error> {
        if digest_length < 1 || digest_length as usize > MAX_LEN {
            return Err(Error::InvalidDigestLength);
        }

        // This is safe because it's at most 64, enforced in the constructor.
        let key_length = self.key.len() as u8;

        let kk = index {
            key_length,
            digest_length,
            last_node: false,
        };

        let params = blake2_params {
            digest_length,
            key_length,
            fanout: 1,
            depth: 1,
            leaf_length: 0,
            node_offset: 0,
            node_depth: 0,
            inner_length: 0,
            salt: self.salt,
            personal: self.personal,
        };

        let key = params_and_key {
            fst: &[params],
            snd: self.key,
        };

        Ok(Blake2b {
            state: malloc_raw(kk, key),
            _phantom: PhantomData,
        })
    }

    /// Constructs the [`Blake2b`] hasher with dynamic key length and constant digest length.
    pub fn build_const_digest_len<const OUT_LEN: usize>(self) -> Blake2b<ConstDigestLen<OUT_LEN>>
    where
        Blake2b<LengthBounds>: SupportsOutLen<OUT_LEN>,
    {
        // these are safe because they both are at most 64
        let key_length = self.key.len() as u8;
        let digest_length = OUT_LEN as u8;

        let kk = index {
            key_length,
            digest_length,
            last_node: false,
        };

        let params = blake2_params {
            digest_length,
            key_length,
            fanout: 1,
            depth: 1,
            leaf_length: 0,
            node_offset: 0,
            node_depth: 0,
            inner_length: 0,
            salt: self.salt,
            personal: self.personal,
        };

        let key = params_and_key {
            fst: &[params],
            snd: self.key,
        };

        Blake2b {
            state: malloc_raw(kk, key),
            _phantom: PhantomData,
        }
    }
}

impl<'a, T> Blake2bBuilder<'a, T> {
    /// Sets the personalization bytes to be used in the hasher.
    pub fn with_personalization(self, personal: &'a [u8; PARAM_LEN]) -> Self {
        Self { personal, ..self }
    }

    /// Sets the salt to be used in the hasher.
    pub fn with_salt(self, salt: &'a [u8; PARAM_LEN]) -> Self {
        Self { salt, ..self }
    }
}

/// A hasher struct for the Blake2b (optionally keyed) hash function.
pub struct Blake2b<T> {
    state: Box<[state_t]>,
    _phantom: PhantomData<T>,
}

impl<T> Blake2b<T> {
    /// Updates the hash state by adding the bytes from `chunk` to the hashed data.
    pub fn update(&mut self, chunk: &[u8]) -> Result<(), Error> {
        if chunk.len() > (u32::MAX as usize) {
            return Err(Error::InvalidChunkLength);
        }

        match update0(self.state.as_mut(), chunk, chunk.len() as u32) {
            error_code::Success => Ok(()),
            error_code::MaximumLengthExceeded => Err(Error::MaximumLengthExceeded),
            _ => Err(Error::Unexpected),
        }
    }
}

impl<const KEY_LEN: usize> Blake2b<ConstKeyLen<KEY_LEN>> {
    /// Compute the hash for the current hash state and write it to `dst`.
    ///
    /// Returns a `Result` that contains the length of the digest on success.
    pub fn finalize(&self, dst: &mut [u8]) -> Result<usize, Error> {
        let digest_len = self.state[0].block_state.snd;
        if dst.len() < digest_len as usize {
            return Err(Error::InvalidDigestLength);
        }

        Ok(digest(&self.state, dst) as usize)
    }
}

impl Blake2b<Dynamic> {
    /// Compute the hash for the current hash state and write it to `dst`.
    ///
    /// Returns a `Result` that contains the length of the digest on success.
    pub fn finalize(&self, dst: &mut [u8]) -> Result<usize, Error> {
        let digest_len = self.state[0].block_state.snd;
        if dst.len() < digest_len as usize {
            return Err(Error::InvalidDigestLength);
        }

        Ok(digest(&self.state, dst) as usize)
    }
}

impl<const KEY_LEN: usize, const OUT_LEN: usize>
    Blake2b<ConstKeyLenConstDigestLen<KEY_LEN, OUT_LEN>>
{
    /// Compute the hash for the current hash state and write it to `dst`.
    pub fn finalize(&self, dst: &mut [u8; OUT_LEN]) {
        digest(&self.state, dst);
    }
}

impl<const OUT_LEN: usize> Blake2b<ConstDigestLen<OUT_LEN>> {
    /// Compute the hash for the current hash state and write it to `dst`.
    pub fn finalize(&self, dst: &mut [u8; OUT_LEN]) {
        digest(&self.state, dst);
    }
}

impl<const KEY_LEN: usize, const OUT_LEN: usize>
    Blake2b<ConstKeyLenConstDigestLen<KEY_LEN, OUT_LEN>>
{
    /// Reset the hash state and update the key to the contents of `key`.
    pub fn reset_with_key(&mut self, key: &[u8; KEY_LEN]) {
        reset_with_key(&mut self.state, key);
    }
}

impl<const KEY_LEN: usize> Blake2b<ConstKeyLen<KEY_LEN>> {
    /// Reset the hash state and update the key to the contents of `key`.
    pub fn reset_with_key(&mut self, key: &[u8; KEY_LEN]) {
        reset_with_key(&mut self.state, key);
    }
}

impl<const OUT_LEN: usize> Blake2b<ConstDigestLen<OUT_LEN>> {
    /// Reset the hash state and update the key to the contents of `key`.
    pub fn reset_with_key(&mut self, key: &[u8]) -> Result<(), Error> {
        // check that the key length matches
        if self.state.as_ref()[0].block_state.fst as usize != key.len() {
            return Err(Error::InvalidKeyLength);
        }

        reset_with_key(&mut self.state, key);
        Ok(())
    }
}

impl Blake2b<Dynamic> {
    /// Reset the hash state and update the key to the contents of `key`.
    pub fn reset_with_key(&mut self, key: &[u8]) -> Result<(), Error> {
        // check that the key length matches
        if self.state[0].block_state.fst as usize != key.len() {
            return Err(Error::InvalidKeyLength);
        }

        reset_with_key(&mut self.state, key);
        Ok(())
    }
}

impl Blake2b<ConstKeyLen<0>> {
    /// Reset the hash state.
    pub fn reset(&mut self) {
        reset(&mut self.state)
    }
}

impl<const OUT_LEN: usize> Blake2b<ConstKeyLenConstDigestLen<0, OUT_LEN>> {
    /// Reset the hash state.
    pub fn reset(&mut self) {
        reset(&mut self.state)
    }
}

impl<const OUT_LEN: usize> Blake2b<ConstDigestLen<OUT_LEN>> {
    /// Reset the hash state.
    pub fn reset(&mut self) -> Result<(), Error> {
        // check that the key length matches
        if self.state.as_ref()[0].block_state.fst != 0 {
            return Err(Error::InvalidKeyLength);
        }

        reset(&mut self.state);
        Ok(())
    }
}

impl Blake2b<Dynamic> {
    /// Reset the hash state.
    pub fn reset(&mut self) -> Result<(), Error> {
        // check that the key length matches
        if self.state.as_ref()[0].block_state.fst != 0 {
            return Err(Error::InvalidKeyLength);
        }

        reset(&mut self.state);
        Ok(())
    }
}