Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::stdlib::safe_uint_t< Builder > Member List

This is the complete list of members for bb::stdlib::safe_uint_t< Builder >, including all inherited members.

add_two(const safe_uint_t &add_a, const safe_uint_t &add_b) constbb::stdlib::safe_uint_t< Builder >inline
assert_equal(const safe_uint_t &rhs, std::string const &msg="safe_uint_t::assert_equal") constbb::stdlib::safe_uint_t< Builder >inline
assert_is_not_zero(std::string const &msg="safe_uint_t::assert_is_not_zero") constbb::stdlib::safe_uint_t< Builder >
assert_is_zero(std::string const &msg="safe_uint_t::assert_is_zero") constbb::stdlib::safe_uint_t< Builder >
bool_ct typedefbb::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_maxbb::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));}) constbb::stdlib::safe_uint_t< Builder >
field_ct typedefbb::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() constbb::stdlib::safe_uint_t< Builder >inline
get_origin_tag() constbb::stdlib::safe_uint_t< Builder >inline
get_value() constbb::stdlib::safe_uint_t< Builder >
get_witness_index() constbb::stdlib::safe_uint_t< Builder >inline
is_constant() constbb::stdlib::safe_uint_t< Builder >inline
IS_UNSAFEbb::stdlib::safe_uint_t< Builder >static
is_zero() constbb::stdlib::safe_uint_t< Builder >
madd(const safe_uint_t &to_mul, const safe_uint_t &to_add) constbb::stdlib::safe_uint_t< Builder >inline
MAX_BIT_NUMbb::stdlib::safe_uint_t< Builder >static
MAX_VALUEbb::stdlib::safe_uint_t< Builder >static
normalize() constbb::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() constbb::stdlib::safe_uint_t< Builder >inline
operator!=(const safe_uint_t &other) constbb::stdlib::safe_uint_t< Builder >
operator*(const safe_uint_t &other) constbb::stdlib::safe_uint_t< Builder >
operator*=(const safe_uint_t &other)bb::stdlib::safe_uint_t< Builder >inline
operator+(const safe_uint_t &other) constbb::stdlib::safe_uint_t< Builder >
operator+=(const safe_uint_t &other)bb::stdlib::safe_uint_t< Builder >inline
operator-(const safe_uint_t &other) constbb::stdlib::safe_uint_t< Builder >
operator/(const safe_uint_t &other) constbb::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) constbb::stdlib::safe_uint_t< Builder >
safe_uint_t(field_ct const &value, const uint256_t &current_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) constbb::stdlib::safe_uint_t< Builder >inline
set_public() constbb::stdlib::safe_uint_t< Builder >inline
slice(const uint8_t msb, const uint8_t lsb) constbb::stdlib::safe_uint_t< Builder >
subtract(const safe_uint_t &other, const size_t difference_bit_size, std::string const &description="") constbb::stdlib::safe_uint_t< Builder >
unset_free_witness_tag()bb::stdlib::safe_uint_t< Builder >inline
valuebb::stdlib::safe_uint_t< Builder >