Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
hmac.test.cpp
Go to the documentation of this file.
1#include "hmac.hpp"
2#include <gtest/gtest.h>
3
4#include "../hashers/hashers.hpp"
5
6#include <array>
7#include <cstddef>
8#include <stdint.h>
9#include <vector>
10
11using namespace bb;
12using namespace bb::crypto;
13
14std::array<uint8_t, 32> hex_to_bytes(const std::string& hex)
15{
16 std::array<uint8_t, 32> bytes;
17 for (unsigned int i = 0; i < hex.length(); i += 2) {
18 std::string byteString = hex.substr(i, 2);
19 uint8_t byte = (uint8_t)strtol(byteString.c_str(), nullptr, 16);
20 bytes[i >> 1] = byte;
21 }
22 return bytes;
23}
24
25struct TestData {
26 std::string key;
27 std::string message;
28 std::string expected;
29};
30
31TEST(hmac, ValidateHMAC)
32{
33 // Test vectors from RFC4231, https://tools.ietf.org/html/rfc4231#section-4
34 // Formatted test vectors from https://github.com/h5p9sl/hmac_sha256/blob/master/tests/tests.cpp
36 // Key Data HMAC
37 {
38 "\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b\x0b"
39 "\x0b\x0b\x0b",
40 "\x48\x69\x20\x54\x68\x65\x72\x65",
41 "b0344c61d8db38535ca8afceaf0bf12b881dc200c9833da726e9376c2e32cff7",
42 },
43 {
44 /* Test with a key shorter than the length of the HMAC output. */
45 "\x4a\x65\x66\x65",
46 "\x77\x68\x61\x74\x20\x64\x6f\x20\x79\x61\x20\x77\x61\x6e\x74\x20\x66"
47 "\x6f\x72\x20\x6e\x6f\x74\x68\x69\x6e\x67\x3f",
48 "5bdcc146bf60754e6a042426089575c75a003f089d2739839dec58b964ec3843",
49 },
50 {
51 /* Test with a combined length of key and data that is larger than 64
52 bytes (= block-size of SHA-224 and SHA-256). */
53 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
54 "\xaa\xaa\xaa",
55 "\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd"
56 "\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd"
57 "\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd",
58 "773ea91e36800e46854db8ebd09181a72959098b3ef8c122d9635514ced565fe",
59 },
60 {
61 /* Test with a combined length of key and data that is larger than 64
62 bytes (= block-size of SHA-224 and SHA-256). */
63 "\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f\x10\x11"
64 "\x12\x13\x14\x15\x16\x17\x18\x19",
65 "\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd"
66 "\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd"
67 "\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd\xcd",
68 "82558a389a443c0ea4cc819899f2083a85f0faa3e578f8077a2e3ff46729665b",
69 },
70 {
71 /* Test with a key larger than 128 bytes (= block-size of SHA-384 and
72 SHA-512). */
73 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
74 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
75 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
76 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
77 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
78 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
79 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
80 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa",
81 "\x54\x65\x73\x74\x20\x55\x73\x69\x6e\x67\x20\x4c\x61\x72\x67\x65\x72"
82 "\x20\x54\x68\x61\x6e\x20\x42\x6c\x6f\x63\x6b\x2d\x53\x69\x7a\x65\x20"
83 "\x4b\x65\x79\x20\x2d\x20\x48\x61\x73\x68\x20\x4b\x65\x79\x20\x46\x69"
84 "\x72\x73\x74",
85 "60e431591ee0b67f0d8a26aacbf5b77f8e0bc6213728c5140546040f0ee37f54",
86 },
87 {
88 /* Test with a key and data that is larger than 128 bytes (=
89 block-size of SHA-384 and SHA-512). */
90 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
91 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
92 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
93 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
94 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
95 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
96 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa"
97 "\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa\xaa",
98 "\x54\x68\x69\x73\x20\x69\x73\x20\x61\x20\x74\x65\x73\x74\x20\x75\x73"
99 "\x69\x6e\x67\x20\x61\x20\x6c\x61\x72\x67\x65\x72\x20\x74\x68\x61\x6e"
100 "\x20\x62\x6c\x6f\x63\x6b\x2d\x73\x69\x7a\x65\x20\x6b\x65\x79\x20\x61"
101 "\x6e\x64\x20\x61\x20\x6c\x61\x72\x67\x65\x72\x20\x74\x68\x61\x6e\x20"
102 "\x62\x6c\x6f\x63\x6b\x2d\x73\x69\x7a\x65\x20\x64\x61\x74\x61\x2e\x20"
103 "\x54\x68\x65\x20\x6b\x65\x79\x20\x6e\x65\x65\x64\x73\x20\x74\x6f\x20"
104 "\x62\x65\x20\x68\x61\x73\x68\x65\x64\x20\x62\x65\x66\x6f\x72\x65\x20"
105 "\x62\x65\x69\x6e\x67\x20\x75\x73\x65\x64\x20\x62\x79\x20\x74\x68\x65"
106 "\x20\x48\x4d\x41\x43\x20\x61\x6c\x67\x6f\x72\x69\x74\x68\x6d\x2e",
107 "9b09ffa71b942fcb27635fbcd5b0e944bfdc63644f0713938a7f51535c3a35e2",
108 }
109 };
110
111 for (const auto& [key_string, message, expected] : test_vectors) {
112 std::array<uint8_t, 32> result = hmac<Sha256Hasher>(message, key_string);
113
114 EXPECT_EQ(result, hex_to_bytes(expected));
115 }
116}
test_vector test_vectors[]
std::array< uint8_t, 32 > hex_to_bytes(const std::string &hex)
Definition hmac.test.cpp:14
std::array< uint8_t, Hash::OUTPUT_SIZE > hmac(const MessageContainer &message, const KeyContainer &key)
Compute an HMAC given a secret key and a message.
Definition hmac.hpp:29
Entry point for Barretenberg command-line interface.
TEST(MegaCircuitBuilder, CopyConstructor)
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
std::string message
Definition hmac.test.cpp:27
std::string expected
Definition hmac.test.cpp:28
std::string key
Definition hmac.test.cpp:26