1 //! `HMAC-SHA-256` `HMAC-SHA-256` is conjectured to meet the standard notion of
2 //! unforgeability.
3 
4 use ffi::{
5     crypto_auth_hmacsha256, crypto_auth_hmacsha256_BYTES, crypto_auth_hmacsha256_KEYBYTES,
6     crypto_auth_hmacsha256_final, crypto_auth_hmacsha256_init, crypto_auth_hmacsha256_state,
7     crypto_auth_hmacsha256_update, crypto_auth_hmacsha256_verify,
8 };
9 
10 auth_module!(
11     crypto_auth_hmacsha256,
12     crypto_auth_hmacsha256_verify,
13     crypto_auth_hmacsha256_KEYBYTES as usize,
14     crypto_auth_hmacsha256_BYTES as usize
15 );
16 
17 auth_state!(
18     crypto_auth_hmacsha256_state,
19     crypto_auth_hmacsha256_init,
20     crypto_auth_hmacsha256_update,
21     crypto_auth_hmacsha256_final,
22     crypto_auth_hmacsha256_BYTES as usize
23 );
24 
25 #[cfg(test)]
26 mod test {
27     use super::*;
28 
29     #[test]
test_vector_1()30     fn test_vector_1() {
31         // corresponding to tests/auth2.c from NaCl
32         let key = Key([
33             0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e,
34             0x0f, 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18, 0x19, 0x1a, 0x1b, 0x1c,
35             0x1d, 0x1e, 0x1f, 0x20,
36         ]);
37         let c = [
38             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
39             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
40             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
41             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
42         ];
43         let a_expected = Tag([
44             0x37, 0x2e, 0xfc, 0xf9, 0xb4, 0x0b, 0x35, 0xc2, 0x11, 0x5b, 0x13, 0x46, 0x90, 0x3d,
45             0x2e, 0xf4, 0x2f, 0xce, 0xd4, 0x6f, 0x08, 0x46, 0xe7, 0x25, 0x7b, 0xb1, 0x56, 0xd3,
46             0xd7, 0xb3, 0x0d, 0x3f,
47         ]);
48         let a = authenticate(&c, &key);
49         assert!(a == a_expected);
50     }
51 
52     #[test]
test_vector_state_1()53     fn test_vector_state_1() {
54         // corresponding to tests/auth2.c from NaCl
55         let key = [
56             0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e,
57             0x0f, 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18, 0x19, 0x1a, 0x1b, 0x1c,
58             0x1d, 0x1e, 0x1f, 0x20,
59         ];
60         let c = [
61             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
62             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
63             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
64             0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd, 0xcd,
65         ];
66         let a_expected = Tag([
67             0x37, 0x2e, 0xfc, 0xf9, 0xb4, 0x0b, 0x35, 0xc2, 0x11, 0x5b, 0x13, 0x46, 0x90, 0x3d,
68             0x2e, 0xf4, 0x2f, 0xce, 0xd4, 0x6f, 0x08, 0x46, 0xe7, 0x25, 0x7b, 0xb1, 0x56, 0xd3,
69             0xd7, 0xb3, 0x0d, 0x3f,
70         ]);
71         let mut state = State::init(&key);
72         state.update(&c);
73         let a = state.finalize();
74         assert!(a == a_expected);
75     }
76 }
77