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