add_two(const safe_uint_t &add_a, const safe_uint_t &add_b) const | bb::stdlib::safe_uint_t< Builder > | inline |
assert_equal(const safe_uint_t &rhs, std::string const &msg="safe_uint_t::assert_equal") const | bb::stdlib::safe_uint_t< Builder > | inline |
assert_is_not_zero(std::string const &msg="safe_uint_t::assert_is_not_zero") const | bb::stdlib::safe_uint_t< Builder > | |
assert_is_zero(std::string const &msg="safe_uint_t::assert_is_zero") const | bb::stdlib::safe_uint_t< Builder > | |
bool_ct typedef | bb::stdlib::safe_uint_t< Builder > | private |
conditional_assign(const bool_ct &predicate, const safe_uint_t &lhs, const safe_uint_t &rhs) | bb::stdlib::safe_uint_t< Builder > | inlinestatic |
create_constant_witness(Builder *parent_context, bb::fr const &value) | bb::stdlib::safe_uint_t< Builder > | inlinestatic |
current_max | bb::stdlib::safe_uint_t< Builder > | |
divide(const safe_uint_t &other, const size_t quotient_bit_size, const size_t remainder_bit_size, std::string const &description="", const std::function< std::pair< uint256_t, uint256_t >(uint256_t, uint256_t)> &get_quotient=[](uint256_t val, uint256_t divisor) { return std::make_pair((uint256_t)(val/(uint256_t) divisor),(uint256_t)(val %(uint256_t) divisor));}) const | bb::stdlib::safe_uint_t< Builder > | |
field_ct typedef | bb::stdlib::safe_uint_t< Builder > | private |
from_witness_index(Builder *parent_context, const uint32_t witness_index) | bb::stdlib::safe_uint_t< Builder > | static |
get_context() const | bb::stdlib::safe_uint_t< Builder > | inline |
get_origin_tag() const | bb::stdlib::safe_uint_t< Builder > | inline |
get_value() const | bb::stdlib::safe_uint_t< Builder > | |
get_witness_index() const | bb::stdlib::safe_uint_t< Builder > | inline |
is_constant() const | bb::stdlib::safe_uint_t< Builder > | inline |
IS_UNSAFE | bb::stdlib::safe_uint_t< Builder > | static |
is_zero() const | bb::stdlib::safe_uint_t< Builder > | |
madd(const safe_uint_t &to_mul, const safe_uint_t &to_add) const | bb::stdlib::safe_uint_t< Builder > | inline |
MAX_BIT_NUM | bb::stdlib::safe_uint_t< Builder > | static |
MAX_VALUE | bb::stdlib::safe_uint_t< Builder > | static |
normalize() const | bb::stdlib::safe_uint_t< Builder > | |
operator bool_ct() | bb::stdlib::safe_uint_t< Builder > | inlineexplicit |
operator field_ct() | bb::stdlib::safe_uint_t< Builder > | inline |
operator field_ct() const | bb::stdlib::safe_uint_t< Builder > | inline |
operator!=(const safe_uint_t &other) const | bb::stdlib::safe_uint_t< Builder > | |
operator*(const safe_uint_t &other) const | bb::stdlib::safe_uint_t< Builder > | |
operator*=(const safe_uint_t &other) | bb::stdlib::safe_uint_t< Builder > | inline |
operator+(const safe_uint_t &other) const | bb::stdlib::safe_uint_t< Builder > | |
operator+=(const safe_uint_t &other) | bb::stdlib::safe_uint_t< Builder > | inline |
operator-(const safe_uint_t &other) const | bb::stdlib::safe_uint_t< Builder > | |
operator/(const safe_uint_t &other) const | bb::stdlib::safe_uint_t< Builder > | |
operator=(const safe_uint_t &other) | bb::stdlib::safe_uint_t< Builder > | inline |
operator=(safe_uint_t &&other) | bb::stdlib::safe_uint_t< Builder > | inline |
operator==(const safe_uint_t &other) const | bb::stdlib::safe_uint_t< Builder > | |
safe_uint_t(field_ct const &value, const uint256_t ¤t_max, size_t safety) | bb::stdlib::safe_uint_t< Builder > | inlineprivate |
safe_uint_t() | bb::stdlib::safe_uint_t< Builder > | inline |
safe_uint_t(field_ct const &value, size_t bit_num, std::string const &description="unknown") | bb::stdlib::safe_uint_t< Builder > | inline |
safe_uint_t(const bb::fr &const_value) | bb::stdlib::safe_uint_t< Builder > | inline |
safe_uint_t(const uint256_t &const_value) | bb::stdlib::safe_uint_t< Builder > | inline |
safe_uint_t(const unsigned int &const_value) | bb::stdlib::safe_uint_t< Builder > | inline |
safe_uint_t(const safe_uint_t &other) | bb::stdlib::safe_uint_t< Builder > | inline |
safe_uint_t(const bool_ct &other) | bb::stdlib::safe_uint_t< Builder > | inline |
set_free_witness_tag() | bb::stdlib::safe_uint_t< Builder > | inline |
set_origin_tag(OriginTag tag) const | bb::stdlib::safe_uint_t< Builder > | inline |
set_public() const | bb::stdlib::safe_uint_t< Builder > | inline |
slice(const uint8_t msb, const uint8_t lsb) const | bb::stdlib::safe_uint_t< Builder > | |
subtract(const safe_uint_t &other, const size_t difference_bit_size, std::string const &description="") const | bb::stdlib::safe_uint_t< Builder > | |
unset_free_witness_tag() | bb::stdlib::safe_uint_t< Builder > | inline |
value | bb::stdlib::safe_uint_t< Builder > | |