diff options
author | Mitya Selivanov <automainint@guattari.tech> | 2022-12-09 14:36:38 +0100 |
---|---|---|
committer | Mitya Selivanov <automainint@guattari.tech> | 2022-12-09 14:36:38 +0100 |
commit | 5391a2681f812e773ddc97088183312d3eaa74f0 (patch) | |
tree | 66ba4008a975435cc0543950d8ac2393617b59a1 /source | |
parent | 1963d9c64dd0a9a14394e30244d64b82501ddc1f (diff) | |
download | kit-5391a2681f812e773ddc97088183312d3eaa74f0.zip |
Big integer math
Diffstat (limited to 'source')
-rw-r--r-- | source/kit/CMakeLists.txt | 3 | ||||
-rw-r--r-- | source/kit/bigint.c | 1 | ||||
-rw-r--r-- | source/kit/bigint.h | 252 | ||||
-rw-r--r-- | source/test/unittests/CMakeLists.txt | 4 | ||||
-rw-r--r-- | source/test/unittests/bigint.test.c | 47 |
5 files changed, 304 insertions, 3 deletions
diff --git a/source/kit/CMakeLists.txt b/source/kit/CMakeLists.txt index d6a079a..5954992 100644 --- a/source/kit/CMakeLists.txt +++ b/source/kit/CMakeLists.txt @@ -1,7 +1,7 @@ target_sources( ${KIT_LIBRARY} PRIVATE - input_buffer.c status.c threads.win32.c time.c + input_buffer.c bigint.c status.c threads.win32.c time.c atomic.win32.c threads.posix.c condition_variable.c move_back.c input_stream.c lower_bound.c file.c string_ref.c async_function.c allocator.c array_ref.c dynamic_array.c mutex.c mersenne_twister_64.c @@ -13,6 +13,7 @@ target_sources( $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/allocator.h> $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/string_ref.h> $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/threads.h> + $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/bigint.h> $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/dynamic_array.h> $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/condition_variable.h> $<BUILD_INTERFACE:${CMAKE_CURRENT_LIST_DIR}/async_function.h> diff --git a/source/kit/bigint.c b/source/kit/bigint.c new file mode 100644 index 0000000..6a516ce --- /dev/null +++ b/source/kit/bigint.c @@ -0,0 +1 @@ +#include "bigint.h" diff --git a/source/kit/bigint.h b/source/kit/bigint.h new file mode 100644 index 0000000..2ad7514 --- /dev/null +++ b/source/kit/bigint.h @@ -0,0 +1,252 @@ +#ifndef KIT_BIGINT_H +#define KIT_BIGINT_H + +#include "string_ref.h" +#include <assert.h> +#include <string.h> + +#ifdef __cplusplus +extern "C" { +#endif + +#ifndef KIT_BIGINT_SIZE +# define KIT_BIGINT_SIZE 64 +#endif + +#define KIT_UWORD_MAX ((uint_fast32_t) -1) +#define KIT_UWORD_SIZE sizeof(uint_fast32_t) + +static_assert(sizeof(uint8_t) == 1, "uint8_t size should be 1 byte"); +static_assert(sizeof(uint32_t) == 4, + "uint32_t size should be 4 bytes"); +static_assert(sizeof(uint64_t) == 8, + "uint64_t size should be 8 bytes"); +static_assert(KIT_BIGINT_SIZE > 0 && (KIT_BIGINT_SIZE % 8) == 0, + "Invalid big integer size"); + +typedef struct { + union { + struct { + uint8_t v8[KIT_BIGINT_SIZE]; + }; + struct { + uint32_t v32[KIT_BIGINT_SIZE / 4]; + }; + struct { + uint64_t v64[KIT_BIGINT_SIZE / 8]; + }; + struct { + uint_fast32_t v[KIT_BIGINT_SIZE / KIT_UWORD_SIZE]; + }; + }; +} kit_bigint_t; + +typedef uint_fast32_t kit_uword_t; +typedef uint_fast8_t kit_bit_t; + +#ifdef __GNUC__ +# pragma GCC diagnostic push +# pragma GCC diagnostic ignored "-Wunused-function" +# pragma GCC diagnostic ignored "-Wunknown-pragmas" +# pragma GCC push_options +# pragma GCC optimize("O3") +#endif + +static uint8_t kit_hex_digit(char const hex) { + if (hex >= '0' && hex <= '9') + return hex - '0'; + if (hex >= 'a' && hex <= 'f') + return hex - 'a'; + if (hex >= 'A' && hex <= 'F') + return hex - 'A'; + return 0; +} + +static uint8_t kit_base58_digit(char const c) { + static const uint8_t BASE58_DIGITS[] = { + ['1'] = 0, ['2'] = 1, ['3'] = 2, ['4'] = 3, ['5'] = 4, + ['6'] = 5, ['7'] = 6, ['8'] = 7, ['9'] = 8, ['A'] = 9, + ['B'] = 10, ['C'] = 11, ['D'] = 12, ['E'] = 13, ['F'] = 14, + ['G'] = 15, ['H'] = 16, ['J'] = 17, ['K'] = 18, ['L'] = 19, + ['M'] = 20, ['N'] = 21, ['P'] = 22, ['Q'] = 23, ['R'] = 24, + ['S'] = 25, ['T'] = 26, ['U'] = 27, ['V'] = 28, ['W'] = 29, + ['X'] = 30, ['Y'] = 31, ['Z'] = 32, ['a'] = 33, ['b'] = 34, + ['c'] = 35, ['d'] = 36, ['e'] = 37, ['f'] = 38, ['g'] = 39, + ['h'] = 40, ['i'] = 41, ['j'] = 42, ['k'] = 43, ['m'] = 44, + ['n'] = 45, ['o'] = 46, ['p'] = 47, ['q'] = 48, ['r'] = 49, + ['s'] = 50, ['t'] = 51, ['u'] = 52, ['v'] = 53, ['w'] = 54, + ['x'] = 55, ['y'] = 56, ['z'] = 57 + }; + return c >= '\0' && c < (sizeof BASE58_DIGITS) + ? BASE58_DIGITS[(size_t) (unsigned char) c] + : 0; +} + +static kit_bigint_t kit_bi_uword(kit_uword_t const x) { + kit_bigint_t z; + memset(z.v8, 0, KIT_BIGINT_SIZE); + z.v[0] = x; + return z; +} + +static kit_bigint_t kit_bi_uint64(uint64_t const x) { + kit_bigint_t z; + memset(z.v8, 0, KIT_BIGINT_SIZE); + z.v64[0] = x; + return z; +} + +static kit_bigint_t kit_bi_hex(kit_str_t const hex) { + kit_bigint_t z; + memset(z.v8, 0, KIT_BIGINT_SIZE); + + for (ptrdiff_t i = 0; i < hex.size && i / 2 < KIT_BIGINT_SIZE; + i++) { + uint8_t const digit = kit_hex_digit(hex.values[hex.size - i - 1]); + z.v8[i / 2] |= ((i % 2) == 0) ? digit : (digit << 4); + } + + return z; +} + +static int kit_bi_equal(kit_bigint_t const x, kit_bigint_t const y) { + return kit_ar_equal_bytes(1, KIT_BIGINT_SIZE, x.v8, 1, + KIT_BIGINT_SIZE, y.v8); +} + +static kit_bit_t kit_bi_carry(kit_uword_t const x, + kit_uword_t const y, + kit_bit_t const carry) { + assert(carry == 0 || carry == 1); + return KIT_UWORD_MAX - x < y || KIT_UWORD_MAX - x - y < carry ? 1 + : 0; +} + +static kit_bigint_t kit_bi_add(kit_bigint_t const x, + kit_bigint_t const y) { + kit_bigint_t z; + kit_bit_t carry = 0; + + for (ptrdiff_t i = 0; i < KIT_BIGINT_SIZE / KIT_UWORD_SIZE; i++) { + z.v[i] = x.v[i] + y.v[i] + carry; + carry = kit_bi_carry(x.v[i], y.v[i], carry); + } + + return z; +} + +static kit_bigint_t kit_bi_neg(kit_bigint_t const x) { + kit_bigint_t y; + kit_bit_t carry = 1; + + for (ptrdiff_t i = 0; i < KIT_BIGINT_SIZE / KIT_UWORD_SIZE; i++) { + y.v[i] = (x.v[i] ^ KIT_UWORD_MAX) + carry; + carry = kit_bi_carry(x.v[i] ^ KIT_UWORD_MAX, 0, carry); + } + + return y; +} + +static kit_bigint_t kit_bi_sub(kit_bigint_t const x, + kit_bigint_t const y) { + kit_bigint_t z; + kit_bit_t carry = 1; + + for (ptrdiff_t i = 0; i < KIT_BIGINT_SIZE / KIT_UWORD_SIZE; i++) { + z.v[i] = x.v[i] + (y.v[i] ^ KIT_UWORD_MAX) + carry; + carry = kit_bi_carry(x.v[i], (y.v[i] ^ KIT_UWORD_MAX), carry); + } + + return z; +} + +static kit_bigint_t kit_bi_mul_uint32(kit_bigint_t const x, + uint32_t const y) { + kit_bigint_t z; + memset(z.v8, 0, KIT_BIGINT_SIZE); + + if (y != 0) + for (ptrdiff_t i = 0; i < KIT_BIGINT_SIZE / 4; i++) { + if (x.v32[i] == 0) + continue; + + uint64_t carry = ((uint64_t) x.v32[i]) * ((uint64_t) y); + + for (ptrdiff_t k = i; k < KIT_BIGINT_SIZE / 4 && carry != 0; + k++) { + uint64_t const sum = ((uint64_t) z.v32[k]) + carry; + z.v32[k] = ((uint32_t) (sum & 0xffffffffull)); + carry = sum >> 32; + } + } + + return z; +} + +static kit_bigint_t kit_bi_mul(kit_bigint_t const x, + kit_bigint_t const y) { + kit_bigint_t z; + memset(z.v8, 0, KIT_BIGINT_SIZE); + + for (ptrdiff_t i = 0; i < KIT_BIGINT_SIZE / 4; i++) { + if (x.v32[i] == 0) + continue; + + for (ptrdiff_t j = 0; i + j < KIT_BIGINT_SIZE / 4; j++) { + if (y.v32[i] == 0) + continue; + + uint64_t carry = ((uint64_t) x.v32[i]) * ((uint64_t) y.v32[j]); + + for (ptrdiff_t k = i + j; k < KIT_BIGINT_SIZE / 4 && carry != 0; + k++) { + uint64_t const sum = ((uint64_t) z.v32[k]) + carry; + z.v32[k] = ((uint32_t) (sum & 0xffffffffull)); + carry = sum >> 32; + } + } + } + + return z; +} + +static kit_bigint_t kit_bi_base58(kit_str_t const base58) { + kit_bigint_t z = kit_bi_uword(0); + kit_bigint_t factor = kit_bi_uword(1); + + for (ptrdiff_t i = 0; i < base58.size; i++) { + uint32_t const digit = kit_base58_digit( + base58.values[base58.size - i - 1]); + z = kit_bi_add(z, kit_bi_mul_uint32(factor, digit)); + factor = kit_bi_mul_uint32(factor, 58); + } + + return z; +} + +#ifdef __GNUC__ +# pragma GCC pop_options +# pragma GCC diagnostic pop +#endif + +#ifndef KIT_DISABLE_SHORT_NAMES +# define bigint_t kit_bigint_t +# define hex_digit kit_hex_digit +# define base58_digit kit_base58_digit +# define bi_uword kit_bi_uword +# define bi_uint64 kit_bi_uint64 +# define bi_hex kit_bi_hex +# define bi_base58 kit_bi_base58 +# define bi_equal kit_bi_equal +# define bi_carry kit_bi_carry +# define bi_add kit_bi_add +# define bi_neg kit_bi_neg +# define bi_sub kit_bi_sub +# define bi_mul kit_bi_mul +#endif + +#ifdef __cplusplus +} +#endif + +#endif diff --git a/source/test/unittests/CMakeLists.txt b/source/test/unittests/CMakeLists.txt index fe4c902..261b69e 100644 --- a/source/test/unittests/CMakeLists.txt +++ b/source/test/unittests/CMakeLists.txt @@ -1,8 +1,8 @@ target_sources( ${KIT_TEST_SUITE} PRIVATE - async_function.test.c mutex.test.c test_duration.test.c - main.test.c string_ref.test.c atomic.test.c thread.test.c + async_function.test.c bigint.test.c mutex.test.c + test_duration.test.c main.test.c string_ref.test.c atomic.test.c thread.test.c array_ref.test.c input_stream.test.c lower_bound.test.c condition_variable.test.c mersenne_twister_64.test.c input_buffer.test.c move_back.test.c dynamic_array.test.c file.test.c) diff --git a/source/test/unittests/bigint.test.c b/source/test/unittests/bigint.test.c new file mode 100644 index 0000000..7df2fcc --- /dev/null +++ b/source/test/unittests/bigint.test.c @@ -0,0 +1,47 @@ +#include "../../kit/bigint.h" + +#define KIT_TEST_FILE bigint +#include "../../kit_test/test.h" + +#include <stdio.h> + +TEST("bigint hex add") { + SZ(foo, "4242424242424242424242424242424242424242"); + SZ(bar, "1111111111111111111111111111111111111111"); + SZ(sum, "5353535353535353535353535353535353535353"); + + REQUIRE(bi_equal(bi_add(bi_hex(foo), bi_hex(bar)), bi_hex(sum))); +} + +TEST("bigint hex sub") { + SZ(foo, "4242424242424242424242424242424242424242"); + SZ(bar, "1111111111111111111111111111111111111111"); + SZ(dif, "3131313131313131313131313131313131313131"); + + REQUIRE(bi_equal(bi_sub(bi_hex(foo), bi_hex(bar)), bi_hex(dif))); +} + +TEST("bigint base58") { + SZ(foo, "31"); + + REQUIRE(bi_equal(bi_base58(foo), bi_uword(58 * 2))); +} + +TEST("bigint base58 add") { + SZ(foo, "4242424242424242424242424242424242424242"); + SZ(bar, "2222222222222222222222222222222222222222"); + SZ(sum, "5353535353535353535353535353535353535353"); + + REQUIRE(bi_equal(bi_add(bi_base58(foo), bi_base58(bar)), + bi_base58(sum))); +} + +TEST("bigint base58 sub") { + SZ(foo, "42"); + SZ(bar, "22"); + SZ(dif, "31"); + + REQUIRE(bi_equal(bi_sub(bi_base58(foo), bi_base58(bar)), + bi_base58(dif))); +} + |