1403c0413SConrad Meyer /*- 2403c0413SConrad Meyer * SPDX-License-Identifier: BSD-2-Clause-FreeBSD 3403c0413SConrad Meyer * 4403c0413SConrad Meyer * Copyright (c) 2019 Conrad Meyer <cem@FreeBSD.org> 5403c0413SConrad Meyer * All rights reserved. 6403c0413SConrad Meyer * 7403c0413SConrad Meyer * Redistribution and use in source and binary forms, with or without 8403c0413SConrad Meyer * modification, are permitted provided that the following conditions 9403c0413SConrad Meyer * are met: 10403c0413SConrad Meyer * 1. Redistributions of source code must retain the above copyright 11403c0413SConrad Meyer * notice, this list of conditions and the following disclaimer. 12403c0413SConrad Meyer * 2. Redistributions in binary form must reproduce the above copyright 13403c0413SConrad Meyer * notice, this list of conditions and the following disclaimer in the 14403c0413SConrad Meyer * documentation and/or other materials provided with the distribution. 15403c0413SConrad Meyer * 16403c0413SConrad Meyer * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 17403c0413SConrad Meyer * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 18403c0413SConrad Meyer * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 19403c0413SConrad Meyer * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 20403c0413SConrad Meyer * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21403c0413SConrad Meyer * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 22403c0413SConrad Meyer * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 23403c0413SConrad Meyer * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 24403c0413SConrad Meyer * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 25403c0413SConrad Meyer * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 26403c0413SConrad Meyer * SUCH DAMAGE. 27403c0413SConrad Meyer */ 28403c0413SConrad Meyer 29403c0413SConrad Meyer #include <sys/cdefs.h> 30403c0413SConrad Meyer __FBSDID("$FreeBSD$"); 31403c0413SConrad Meyer 32403c0413SConrad Meyer #include <sys/param.h> 33403c0413SConrad Meyer #include <sys/random.h> 34403c0413SConrad Meyer 35403c0413SConrad Meyer #include <errno.h> 36403c0413SConrad Meyer #include <stdint.h> 37403c0413SConrad Meyer #include <stdio.h> 38403c0413SConrad Meyer #include <stdbool.h> 39403c0413SConrad Meyer 40403c0413SConrad Meyer #include <crypto/chacha20/chacha.h> 41403c0413SConrad Meyer #include <crypto/rijndael/rijndael-api-fst.h> 42403c0413SConrad Meyer #include <crypto/sha2/sha256.h> 43403c0413SConrad Meyer 44403c0413SConrad Meyer #include <dev/random/hash.h> 45403c0413SConrad Meyer #include <dev/random/uint128.h> 46403c0413SConrad Meyer 47403c0413SConrad Meyer #include <atf-c.h> 48403c0413SConrad Meyer 49403c0413SConrad Meyer static void 50403c0413SConrad Meyer vec_u32_tole128(uint8_t dst[static 16], const uint32_t src[static 4]) 51403c0413SConrad Meyer { 52403c0413SConrad Meyer le32enc(dst, src[0]); 53403c0413SConrad Meyer le32enc(&dst[4], src[1]); 54403c0413SConrad Meyer le32enc(&dst[8], src[2]); 55403c0413SConrad Meyer le32enc(&dst[12], src[3]); 56403c0413SConrad Meyer } 57403c0413SConrad Meyer 58403c0413SConrad Meyer static void 59403c0413SConrad Meyer le128_to_vec_u32(uint32_t dst[static 4], const uint8_t src[static 16]) 60403c0413SConrad Meyer { 61403c0413SConrad Meyer dst[0] = le32dec(src); 62403c0413SConrad Meyer dst[1] = le32dec(&src[4]); 63403c0413SConrad Meyer dst[2] = le32dec(&src[8]); 64403c0413SConrad Meyer dst[3] = le32dec(&src[12]); 65403c0413SConrad Meyer } 66403c0413SConrad Meyer 67403c0413SConrad Meyer static void 68403c0413SConrad Meyer formatu128(char buf[static 52], uint128_t x) 69403c0413SConrad Meyer { 70403c0413SConrad Meyer uint8_t le128x[16]; 71403c0413SConrad Meyer uint32_t vx[4]; 72403c0413SConrad Meyer size_t sz, i; 73403c0413SConrad Meyer int rc; 74403c0413SConrad Meyer 75403c0413SConrad Meyer le128enc(le128x, x); 76403c0413SConrad Meyer le128_to_vec_u32(vx, le128x); 77403c0413SConrad Meyer 78403c0413SConrad Meyer sz = 52; 79403c0413SConrad Meyer for (i = 0; i < 4; i++) { 80403c0413SConrad Meyer rc = snprintf(buf, sz, "0x%x ", vx[i]); 81403c0413SConrad Meyer ATF_REQUIRE(rc > 0 && (size_t)rc < sz); 82403c0413SConrad Meyer 83403c0413SConrad Meyer buf += rc; 84403c0413SConrad Meyer sz -= rc; 85403c0413SConrad Meyer } 86403c0413SConrad Meyer /* Delete last trailing space */ 87403c0413SConrad Meyer buf[-1] = '\0'; 88403c0413SConrad Meyer } 89403c0413SConrad Meyer 90403c0413SConrad Meyer static void 91403c0413SConrad Meyer u128_check_equality(uint128_t a, uint128_t b, const char *descr) 92403c0413SConrad Meyer { 93403c0413SConrad Meyer char fmtbufa[52], fmtbufb[52]; 94403c0413SConrad Meyer 95403c0413SConrad Meyer formatu128(fmtbufa, a); 96403c0413SConrad Meyer formatu128(fmtbufb, b); 97403c0413SConrad Meyer 98403c0413SConrad Meyer ATF_CHECK_MSG(uint128_equals(a, b), 99403c0413SConrad Meyer "Expected: [%s] != Actual: [%s]: %s", fmtbufa, fmtbufb, descr); 100403c0413SConrad Meyer } 101403c0413SConrad Meyer 102403c0413SConrad Meyer ATF_TC_WITHOUT_HEAD(uint128_inc); 103403c0413SConrad Meyer ATF_TC_BODY(uint128_inc, tc) 104403c0413SConrad Meyer { 105403c0413SConrad Meyer static const struct u128_inc_tc { 106403c0413SConrad Meyer uint32_t input[4]; 107403c0413SConrad Meyer uint32_t expected[4]; 108403c0413SConrad Meyer const char *descr; 109403c0413SConrad Meyer } tests[] = { 110403c0413SConrad Meyer { 111403c0413SConrad Meyer .input = { 0, 0, 0, 0 }, 112403c0413SConrad Meyer .expected = { 1, 0, 0, 0 }, 113403c0413SConrad Meyer .descr = "0 -> 1", 114403c0413SConrad Meyer }, 115403c0413SConrad Meyer { 116403c0413SConrad Meyer .input = { 1, 0, 0, 0 }, 117403c0413SConrad Meyer .expected = { 2, 0, 0, 0 }, 118403c0413SConrad Meyer .descr = "0 -> 2", 119403c0413SConrad Meyer }, 120403c0413SConrad Meyer { 121403c0413SConrad Meyer .input = { 0xff, 0, 0, 0 }, 122403c0413SConrad Meyer .expected = { 0x100, 0, 0, 0 }, 123403c0413SConrad Meyer .descr = "0xff -> 0x100 (byte carry)", 124403c0413SConrad Meyer }, 125403c0413SConrad Meyer { 126403c0413SConrad Meyer .input = { UINT32_MAX, 0, 0, 0 }, 127403c0413SConrad Meyer .expected = { 0, 1, 0, 0 }, 128403c0413SConrad Meyer .descr = "2^32 - 1 -> 2^32 (word carry)", 129403c0413SConrad Meyer }, 130403c0413SConrad Meyer { 131403c0413SConrad Meyer .input = { UINT32_MAX, UINT32_MAX, 0, 0 }, 132403c0413SConrad Meyer .expected = { 0, 0, 1, 0 }, 133403c0413SConrad Meyer .descr = "2^64 - 1 -> 2^64 (u128t_word0 carry)", 134403c0413SConrad Meyer }, 135403c0413SConrad Meyer { 136403c0413SConrad Meyer .input = { UINT32_MAX, UINT32_MAX, UINT32_MAX, 0 }, 137403c0413SConrad Meyer .expected = { 0, 0, 0, 1 }, 138403c0413SConrad Meyer .descr = "2^96 - 1 -> 2^96 (word carry)", 139403c0413SConrad Meyer }, 140403c0413SConrad Meyer }; 141403c0413SConrad Meyer uint8_t inputle[16], expectedle[16]; 142403c0413SConrad Meyer uint128_t a; 143403c0413SConrad Meyer size_t i; 144403c0413SConrad Meyer 145403c0413SConrad Meyer for (i = 0; i < nitems(tests); i++) { 146403c0413SConrad Meyer vec_u32_tole128(inputle, tests[i].input); 147403c0413SConrad Meyer vec_u32_tole128(expectedle, tests[i].expected); 148403c0413SConrad Meyer 149403c0413SConrad Meyer a = le128dec(inputle); 150403c0413SConrad Meyer uint128_increment(&a); 151403c0413SConrad Meyer u128_check_equality(le128dec(expectedle), a, tests[i].descr); 152403c0413SConrad Meyer } 153403c0413SConrad Meyer } 154403c0413SConrad Meyer 155403c0413SConrad Meyer /* 156403c0413SConrad Meyer * Test assumptions about Chacha incrementing counter in the same way as 157403c0413SConrad Meyer * uint128.h 158403c0413SConrad Meyer */ 159403c0413SConrad Meyer ATF_TC_WITHOUT_HEAD(uint128_chacha_ctr); 160403c0413SConrad Meyer ATF_TC_BODY(uint128_chacha_ctr, tc) 161403c0413SConrad Meyer { 162403c0413SConrad Meyer static const struct u128_chacha_tc { 163403c0413SConrad Meyer uint32_t input[4]; 164403c0413SConrad Meyer uint32_t expected[4]; 165403c0413SConrad Meyer const char *descr; 166403c0413SConrad Meyer } tests[] = { 167403c0413SConrad Meyer { 168403c0413SConrad Meyer .input = { 0, 0, 0, 0 }, 169403c0413SConrad Meyer .expected = { 1, 0, 0, 0 }, 170403c0413SConrad Meyer .descr = "Single block", 171403c0413SConrad Meyer }, 172403c0413SConrad Meyer { 173403c0413SConrad Meyer .input = { 1, 0, 0, 0 }, 174403c0413SConrad Meyer .expected = { 2, 0, 0, 0 }, 175403c0413SConrad Meyer .descr = "0 -> 2", 176403c0413SConrad Meyer }, 177403c0413SConrad Meyer { 178403c0413SConrad Meyer .input = { 0xff, 0, 0, 0 }, 179403c0413SConrad Meyer .expected = { 0x100, 0, 0, 0 }, 180403c0413SConrad Meyer .descr = "0xff -> 0x100 (byte carry)", 181403c0413SConrad Meyer }, 182403c0413SConrad Meyer { 183403c0413SConrad Meyer .input = { UINT32_MAX, 0, 0, 0 }, 184403c0413SConrad Meyer .expected = { 0, 1, 0, 0 }, 185403c0413SConrad Meyer .descr = "2^32 - 1 -> 2^32 (word carry)", 186403c0413SConrad Meyer }, 187403c0413SConrad Meyer { 188403c0413SConrad Meyer .input = { UINT32_MAX, UINT32_MAX, 0, 0 }, 189403c0413SConrad Meyer .expected = { 0, 0, 1, 0 }, 190403c0413SConrad Meyer .descr = "2^64 - 1 -> 2^64 (u128t_word0 carry)", 191403c0413SConrad Meyer }, 192403c0413SConrad Meyer { 193403c0413SConrad Meyer .input = { UINT32_MAX, UINT32_MAX, UINT32_MAX, 0 }, 194403c0413SConrad Meyer .expected = { 0, 0, 0, 1 }, 195403c0413SConrad Meyer .descr = "2^96 - 1 -> 2^96 (word carry)", 196403c0413SConrad Meyer }, 197403c0413SConrad Meyer }; 198403c0413SConrad Meyer union randomdev_key context; 199403c0413SConrad Meyer uint8_t inputle[16], expectedle[16], trash[CHACHA_BLOCKLEN]; 200403c0413SConrad Meyer uint8_t notrandomkey[RANDOM_KEYSIZE] = { 0 }; 201403c0413SConrad Meyer uint128_t a; 202403c0413SConrad Meyer size_t i; 203403c0413SConrad Meyer 204403c0413SConrad Meyer random_chachamode = true; 205403c0413SConrad Meyer randomdev_encrypt_init(&context, notrandomkey); 206403c0413SConrad Meyer 207403c0413SConrad Meyer for (i = 0; i < nitems(tests); i++) { 208403c0413SConrad Meyer vec_u32_tole128(inputle, tests[i].input); 209403c0413SConrad Meyer vec_u32_tole128(expectedle, tests[i].expected); 210403c0413SConrad Meyer 211403c0413SConrad Meyer a = le128dec(inputle); 212*d0d71d81SConrad Meyer randomdev_keystream(&context, &a, trash, sizeof(trash)); 213403c0413SConrad Meyer u128_check_equality(le128dec(expectedle), a, tests[i].descr); 214403c0413SConrad Meyer } 215403c0413SConrad Meyer 216403c0413SConrad Meyer } 217403c0413SConrad Meyer 218403c0413SConrad Meyer ATF_TP_ADD_TCS(tp) 219403c0413SConrad Meyer { 220403c0413SConrad Meyer 221403c0413SConrad Meyer ATF_TP_ADD_TC(tp, uint128_inc); 222403c0413SConrad Meyer ATF_TP_ADD_TC(tp, uint128_chacha_ctr); 223403c0413SConrad Meyer return (atf_no_error()); 224403c0413SConrad Meyer } 225