|
| template<typename T > |
| constexpr size_t | count_leading_zeros (T const &u) |
| |
| template<> |
| constexpr size_t | count_leading_zeros< uint32_t > (uint32_t const &u) |
| |
| template<> |
| constexpr size_t | count_leading_zeros< uint64_t > (uint64_t const &u) |
| |
| template<> |
| constexpr size_t | count_leading_zeros< uint128_t > (uint128_t const &u) |
| |
| template<> |
| constexpr size_t | count_leading_zeros< uint256_t > (uint256_t const &u) |
| |
| constexpr uint32_t | get_msb32 (const uint32_t in) |
| |
| constexpr uint64_t | get_msb64 (const uint64_t in) |
| |
| template<typename T > |
| constexpr T | get_msb (const T in) |
| |
| template<typename T > |
| constexpr T | round_up_power_2 (const T in) |
| |
| template<typename T > |
| T | keep_n_lsb (T const &input, size_t num_bits) |
| |
| constexpr uint64_t | pow64 (const uint64_t input, const uint64_t exponent) |
| |
| constexpr bool | is_power_of_two (uint64_t x) |
| |
| constexpr uint64_t | rotate64 (const uint64_t value, const uint64_t rotation) |
| |
| constexpr uint32_t | rotate32 (const uint32_t value, const uint32_t rotation) |
| |
| std::vector< uint64_t > | slice_input (const uint256_t &input, const uint64_t base, const size_t num_slices) |
| |
| std::vector< uint64_t > | slice_input_using_variable_bases (const uint256_t &input, const std::vector< uint64_t > &bases) |
| |
| template<uint64_t base, uint64_t num_slices> |
| constexpr std::array< uint256_t, num_slices > | get_base_powers () |
| |
| template<uint64_t base> |
| constexpr uint256_t | map_into_sparse_form (const uint64_t input) |
| |
| template<uint64_t base> |
| constexpr uint64_t | map_from_sparse_form (const uint256_t &input) |
| |
| template<typename T > |
| constexpr T | ceil_div (const T &numerator, const T &denominator) |
| | Computes the ceiling of the division of two integral types.
|
| |
| RNG & | get_debug_randomness (bool reset, std::uint_fast64_t seed) |
| |
| RNG & | get_randomness () |
| |
| std::ostream & | operator<< (std::ostream &os, uint256_t const &a) |
| |
| template<typename B > |
| void | read (B &it, uint256_t &value) |
| |
| template<typename B > |
| void | write (B &it, uint256_t const &value) |
| |
| constexpr uint512_t | TEST_MODULUS (uint256_t{ "0x04689e957a1242c84a50189c6d96cadca602072d09eac1013b5458a2275d69b1" }, uint256_t{ "0x0925c4b8763cbf9c599a6f7c0348d21cb00b85511637560626edfa5c34c6b38d" }) |
| |
| template<typename B , typename Params > |
| void | read (B &it, uintx< Params > &value) |
| |
| template<typename B , typename Params > |
| void | write (B &it, uintx< Params > const &value) |
| |
| template<class base_uint > |
| std::ostream & | operator<< (std::ostream &os, uintx< base_uint > const &a) |
| |
uint256_t Copyright Aztec 2020
An unsigned 256 bit integer type.
Constructor and all methods are constexpr. Ideally, uint256_t should be able to be treated like any other literal type.
Not optimized for performance, this code doesn't touch any of our hot paths when constructing proofs.
uintx Copyright Aztec 2020
An unsigned 512 bit integer type.
Constructor and all methods are constexpr. Ideally, uintx should be able to be treated like any other literal type.
Not optimized for performance, this code doesn"t touch any of our hot paths when constructing PLONK proofs
1.9.8