1*75e34befSEric Biggers // SPDX-License-Identifier: GPL-2.0-or-later 2*75e34befSEric Biggers /* 3*75e34befSEric Biggers * Copyright 2026 Google LLC 4*75e34befSEric Biggers */ 5*75e34befSEric Biggers #include <crypto/gf128hash.h> 6*75e34befSEric Biggers #include "ghash-testvecs.h" 7*75e34befSEric Biggers 8*75e34befSEric Biggers /* 9*75e34befSEric Biggers * A fixed key used when presenting GHASH as an unkeyed hash function in order 10*75e34befSEric Biggers * to reuse hash-test-template.h. At the beginning of the test suite, this is 11*75e34befSEric Biggers * initialized to a key prepared from bytes generated from a fixed seed. 12*75e34befSEric Biggers */ 13*75e34befSEric Biggers static struct ghash_key test_key; 14*75e34befSEric Biggers 15*75e34befSEric Biggers static void ghash_init_withtestkey(struct ghash_ctx *ctx) 16*75e34befSEric Biggers { 17*75e34befSEric Biggers ghash_init(ctx, &test_key); 18*75e34befSEric Biggers } 19*75e34befSEric Biggers 20*75e34befSEric Biggers static void ghash_withtestkey(const u8 *data, size_t len, 21*75e34befSEric Biggers u8 out[GHASH_BLOCK_SIZE]) 22*75e34befSEric Biggers { 23*75e34befSEric Biggers ghash(&test_key, data, len, out); 24*75e34befSEric Biggers } 25*75e34befSEric Biggers 26*75e34befSEric Biggers /* Generate the HASH_KUNIT_CASES using hash-test-template.h. */ 27*75e34befSEric Biggers #define HASH ghash_withtestkey 28*75e34befSEric Biggers #define HASH_CTX ghash_ctx 29*75e34befSEric Biggers #define HASH_SIZE GHASH_BLOCK_SIZE 30*75e34befSEric Biggers #define HASH_INIT ghash_init_withtestkey 31*75e34befSEric Biggers #define HASH_UPDATE ghash_update 32*75e34befSEric Biggers #define HASH_FINAL ghash_final 33*75e34befSEric Biggers #include "hash-test-template.h" 34*75e34befSEric Biggers 35*75e34befSEric Biggers /* 36*75e34befSEric Biggers * Test a key and messages containing all one bits. This is useful to detect 37*75e34befSEric Biggers * overflow bugs in implementations that emulate carryless multiplication using 38*75e34befSEric Biggers * a series of standard multiplications with the bits spread out. 39*75e34befSEric Biggers */ 40*75e34befSEric Biggers static void test_ghash_allones_key_and_message(struct kunit *test) 41*75e34befSEric Biggers { 42*75e34befSEric Biggers struct ghash_key key; 43*75e34befSEric Biggers struct ghash_ctx hashofhashes_ctx; 44*75e34befSEric Biggers u8 hash[GHASH_BLOCK_SIZE]; 45*75e34befSEric Biggers 46*75e34befSEric Biggers static_assert(TEST_BUF_LEN >= 4096); 47*75e34befSEric Biggers memset(test_buf, 0xff, 4096); 48*75e34befSEric Biggers 49*75e34befSEric Biggers ghash_preparekey(&key, test_buf); 50*75e34befSEric Biggers ghash_init(&hashofhashes_ctx, &key); 51*75e34befSEric Biggers for (size_t len = 0; len <= 4096; len += 16) { 52*75e34befSEric Biggers ghash(&key, test_buf, len, hash); 53*75e34befSEric Biggers ghash_update(&hashofhashes_ctx, hash, sizeof(hash)); 54*75e34befSEric Biggers } 55*75e34befSEric Biggers ghash_final(&hashofhashes_ctx, hash); 56*75e34befSEric Biggers KUNIT_ASSERT_MEMEQ(test, hash, ghash_allones_hashofhashes, 57*75e34befSEric Biggers sizeof(hash)); 58*75e34befSEric Biggers } 59*75e34befSEric Biggers 60*75e34befSEric Biggers #define MAX_LEN_FOR_KEY_CHECK 1024 61*75e34befSEric Biggers 62*75e34befSEric Biggers /* 63*75e34befSEric Biggers * Given two prepared keys which should be identical (but may differ in 64*75e34befSEric Biggers * alignment and/or whether they are followed by a guard page or not), verify 65*75e34befSEric Biggers * that they produce consistent results on various data lengths. 66*75e34befSEric Biggers */ 67*75e34befSEric Biggers static void check_key_consistency(struct kunit *test, 68*75e34befSEric Biggers const struct ghash_key *key1, 69*75e34befSEric Biggers const struct ghash_key *key2) 70*75e34befSEric Biggers { 71*75e34befSEric Biggers u8 *data = test_buf; 72*75e34befSEric Biggers u8 hash1[GHASH_BLOCK_SIZE]; 73*75e34befSEric Biggers u8 hash2[GHASH_BLOCK_SIZE]; 74*75e34befSEric Biggers 75*75e34befSEric Biggers rand_bytes(data, MAX_LEN_FOR_KEY_CHECK); 76*75e34befSEric Biggers KUNIT_ASSERT_MEMEQ(test, key1, key2, sizeof(*key1)); 77*75e34befSEric Biggers 78*75e34befSEric Biggers for (int i = 0; i < 100; i++) { 79*75e34befSEric Biggers size_t len = rand_length(MAX_LEN_FOR_KEY_CHECK); 80*75e34befSEric Biggers 81*75e34befSEric Biggers ghash(key1, data, len, hash1); 82*75e34befSEric Biggers ghash(key2, data, len, hash2); 83*75e34befSEric Biggers KUNIT_ASSERT_MEMEQ(test, hash1, hash2, sizeof(hash1)); 84*75e34befSEric Biggers } 85*75e34befSEric Biggers } 86*75e34befSEric Biggers 87*75e34befSEric Biggers /* Test that no buffer overreads occur on either raw_key or ghash_key. */ 88*75e34befSEric Biggers static void test_ghash_with_guarded_key(struct kunit *test) 89*75e34befSEric Biggers { 90*75e34befSEric Biggers u8 raw_key[GHASH_BLOCK_SIZE]; 91*75e34befSEric Biggers u8 *guarded_raw_key = &test_buf[TEST_BUF_LEN - sizeof(raw_key)]; 92*75e34befSEric Biggers struct ghash_key key1, key2; 93*75e34befSEric Biggers struct ghash_key *guarded_key = 94*75e34befSEric Biggers (struct ghash_key *)&test_buf[TEST_BUF_LEN - sizeof(key1)]; 95*75e34befSEric Biggers 96*75e34befSEric Biggers /* Prepare with regular buffers. */ 97*75e34befSEric Biggers rand_bytes(raw_key, sizeof(raw_key)); 98*75e34befSEric Biggers ghash_preparekey(&key1, raw_key); 99*75e34befSEric Biggers 100*75e34befSEric Biggers /* Prepare with guarded raw_key, then check that it works. */ 101*75e34befSEric Biggers memcpy(guarded_raw_key, raw_key, sizeof(raw_key)); 102*75e34befSEric Biggers ghash_preparekey(&key2, guarded_raw_key); 103*75e34befSEric Biggers check_key_consistency(test, &key1, &key2); 104*75e34befSEric Biggers 105*75e34befSEric Biggers /* Prepare guarded ghash_key, then check that it works. */ 106*75e34befSEric Biggers ghash_preparekey(guarded_key, raw_key); 107*75e34befSEric Biggers check_key_consistency(test, &key1, guarded_key); 108*75e34befSEric Biggers } 109*75e34befSEric Biggers 110*75e34befSEric Biggers /* 111*75e34befSEric Biggers * Test that ghash_key only needs to be aligned to 112*75e34befSEric Biggers * __alignof__(struct ghash_key), i.e. 8 bytes. The assembly code may prefer 113*75e34befSEric Biggers * 16-byte or higher alignment, but it mustn't require it. 114*75e34befSEric Biggers */ 115*75e34befSEric Biggers static void test_ghash_with_minimally_aligned_key(struct kunit *test) 116*75e34befSEric Biggers { 117*75e34befSEric Biggers u8 raw_key[GHASH_BLOCK_SIZE]; 118*75e34befSEric Biggers struct ghash_key key; 119*75e34befSEric Biggers struct ghash_key *minaligned_key = 120*75e34befSEric Biggers (struct ghash_key *)&test_buf[MAX_LEN_FOR_KEY_CHECK + 121*75e34befSEric Biggers __alignof__(struct ghash_key)]; 122*75e34befSEric Biggers 123*75e34befSEric Biggers KUNIT_ASSERT_TRUE(test, IS_ALIGNED((uintptr_t)minaligned_key, 124*75e34befSEric Biggers __alignof__(struct ghash_key))); 125*75e34befSEric Biggers KUNIT_ASSERT_TRUE(test, !IS_ALIGNED((uintptr_t)minaligned_key, 126*75e34befSEric Biggers 2 * __alignof__(struct ghash_key))); 127*75e34befSEric Biggers 128*75e34befSEric Biggers rand_bytes(raw_key, sizeof(raw_key)); 129*75e34befSEric Biggers ghash_preparekey(&key, raw_key); 130*75e34befSEric Biggers ghash_preparekey(minaligned_key, raw_key); 131*75e34befSEric Biggers check_key_consistency(test, &key, minaligned_key); 132*75e34befSEric Biggers } 133*75e34befSEric Biggers 134*75e34befSEric Biggers struct ghash_irq_test_state { 135*75e34befSEric Biggers struct ghash_key expected_key; 136*75e34befSEric Biggers u8 raw_key[GHASH_BLOCK_SIZE]; 137*75e34befSEric Biggers }; 138*75e34befSEric Biggers 139*75e34befSEric Biggers static bool ghash_irq_test_func(void *state_) 140*75e34befSEric Biggers { 141*75e34befSEric Biggers struct ghash_irq_test_state *state = state_; 142*75e34befSEric Biggers struct ghash_key key; 143*75e34befSEric Biggers 144*75e34befSEric Biggers ghash_preparekey(&key, state->raw_key); 145*75e34befSEric Biggers return memcmp(&key, &state->expected_key, sizeof(key)) == 0; 146*75e34befSEric Biggers } 147*75e34befSEric Biggers 148*75e34befSEric Biggers /* 149*75e34befSEric Biggers * Test that ghash_preparekey() produces the same output regardless of whether 150*75e34befSEric Biggers * FPU or vector registers are usable when it is called. 151*75e34befSEric Biggers */ 152*75e34befSEric Biggers static void test_ghash_preparekey_in_irqs(struct kunit *test) 153*75e34befSEric Biggers { 154*75e34befSEric Biggers struct ghash_irq_test_state state; 155*75e34befSEric Biggers 156*75e34befSEric Biggers rand_bytes(state.raw_key, sizeof(state.raw_key)); 157*75e34befSEric Biggers ghash_preparekey(&state.expected_key, state.raw_key); 158*75e34befSEric Biggers kunit_run_irq_test(test, ghash_irq_test_func, 200000, &state); 159*75e34befSEric Biggers } 160*75e34befSEric Biggers 161*75e34befSEric Biggers static int ghash_suite_init(struct kunit_suite *suite) 162*75e34befSEric Biggers { 163*75e34befSEric Biggers u8 raw_key[GHASH_BLOCK_SIZE]; 164*75e34befSEric Biggers 165*75e34befSEric Biggers rand_bytes_seeded_from_len(raw_key, sizeof(raw_key)); 166*75e34befSEric Biggers ghash_preparekey(&test_key, raw_key); 167*75e34befSEric Biggers return hash_suite_init(suite); 168*75e34befSEric Biggers } 169*75e34befSEric Biggers 170*75e34befSEric Biggers static void ghash_suite_exit(struct kunit_suite *suite) 171*75e34befSEric Biggers { 172*75e34befSEric Biggers hash_suite_exit(suite); 173*75e34befSEric Biggers } 174*75e34befSEric Biggers 175*75e34befSEric Biggers static struct kunit_case ghash_test_cases[] = { 176*75e34befSEric Biggers HASH_KUNIT_CASES, 177*75e34befSEric Biggers KUNIT_CASE(test_ghash_allones_key_and_message), 178*75e34befSEric Biggers KUNIT_CASE(test_ghash_with_guarded_key), 179*75e34befSEric Biggers KUNIT_CASE(test_ghash_with_minimally_aligned_key), 180*75e34befSEric Biggers KUNIT_CASE(test_ghash_preparekey_in_irqs), 181*75e34befSEric Biggers KUNIT_CASE(benchmark_hash), 182*75e34befSEric Biggers {}, 183*75e34befSEric Biggers }; 184*75e34befSEric Biggers 185*75e34befSEric Biggers static struct kunit_suite ghash_test_suite = { 186*75e34befSEric Biggers .name = "ghash", 187*75e34befSEric Biggers .test_cases = ghash_test_cases, 188*75e34befSEric Biggers .suite_init = ghash_suite_init, 189*75e34befSEric Biggers .suite_exit = ghash_suite_exit, 190*75e34befSEric Biggers }; 191*75e34befSEric Biggers kunit_test_suite(ghash_test_suite); 192*75e34befSEric Biggers 193*75e34befSEric Biggers MODULE_DESCRIPTION("KUnit tests and benchmark for GHASH"); 194*75e34befSEric Biggers MODULE_LICENSE("GPL"); 195