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

add_to_lower_limb(const field_t< Builder > &other, const uint256_t &other_maximum_value) const	bb::stdlib::bigfield< Builder, T >
add_two(const bigfield &add_a, const bigfield &add_b) const	bb::stdlib::bigfield< Builder, T >
assert_equal(const bigfield &other, std::string const &msg="bigfield::assert_equal") const	bb::stdlib::bigfield< Builder, T >
assert_is_in_field(std::string const &msg="bigfield::assert_is_in_field") const	bb::stdlib::bigfield< Builder, T >
assert_is_not_equal(const bigfield &other, std::string const &msg="bigfield: prime limb diff is zero, but expected non-zero") const	bb::stdlib::bigfield< Builder, T >
assert_less_than(const uint256_t &upper_limit, std::string const &msg="bigfield::assert_less_than") const	bb::stdlib::bigfield< Builder, T >
bigfield(const field_t< Builder > &low_bits, const field_t< Builder > &high_bits, const bool can_overflow=false, const size_t maximum_bitlength=0)	bb::stdlib::bigfield< Builder, T >
bigfield(Builder *parent_context=nullptr)	bb::stdlib::bigfield< Builder, T >
bigfield(Builder *parent_context, const uint256_t &value)	bb::stdlib::bigfield< Builder, T >
bigfield(const uint256_t &value)	bb::stdlib::bigfield< Builder, T >	inlineexplicit
bigfield(const int value)	bb::stdlib::bigfield< Builder, T >	inline
bigfield(const unsigned long value)	bb::stdlib::bigfield< Builder, T >	inline
bigfield(const unsigned long long value)	bb::stdlib::bigfield< Builder, T >	inline
bigfield(const native value)	bb::stdlib::bigfield< Builder, T >	inline
bigfield(const byte_array< Builder > &bytes)	bb::stdlib::bigfield< Builder, T >
bigfield(const bigfield &other)	bb::stdlib::bigfield< Builder, T >
bigfield(bigfield &&other) noexcept	bb::stdlib::bigfield< Builder, T >
bigfield_test_access	bb::stdlib::bigfield< Builder, T >	friend
binary_basis	bb::stdlib::bigfield< Builder, T >	static
binary_basis_limbs	bb::stdlib::bigfield< Builder, T >	mutable
CoefficientAccumulator typedef	bb::stdlib::bigfield< Builder, T >
compute_maximum_quotient_value(const std::vector< uint512_t > &as, const std::vector< uint512_t > &bs, const std::vector< uint512_t > &to_add)	bb::stdlib::bigfield< Builder, T >	privatestatic
compute_partial_schoolbook_multiplication(const std::array< uint256_t, NUM_LIMBS > &a_limbs, const std::array< uint256_t, NUM_LIMBS > &b_limbs)	bb::stdlib::bigfield< Builder, T >	privatestatic
compute_quotient_remainder_values(const bigfield &a, const bigfield &b, const std::vector< bigfield > &to_add)	bb::stdlib::bigfield< Builder, T >	privatestatic
conditional_assign(const bool_t< Builder > &predicate, const bigfield &lhs, const bigfield &rhs)	bb::stdlib::bigfield< Builder, T >	inlinestatic
conditional_negate(const bool_t< Builder > &predicate) const	bb::stdlib::bigfield< Builder, T >
conditional_select(const bigfield &other, const bool_t< Builder > &predicate) const	bb::stdlib::bigfield< Builder, T >
construct_from_limbs(const field_t< Builder > &a, const field_t< Builder > &b, const field_t< Builder > &c, const field_t< Builder > &d, const bool can_overflow=false)	bb::stdlib::bigfield< Builder, T >	inlinestatic
context	bb::stdlib::bigfield< Builder, T >
convert_constant_to_fixed_witness(Builder *builder)	bb::stdlib::bigfield< Builder, T >	inline
create_from_u512_as_witness(Builder *ctx, const uint512_t &value, const bool can_overflow=false, const size_t maximum_bitlength=0)	bb::stdlib::bigfield< Builder, T >	static
DEFAULT_MAXIMUM_LIMB	bb::stdlib::bigfield< Builder, T >	static
DEFAULT_MAXIMUM_MOST_SIGNIFICANT_LIMB	bb::stdlib::bigfield< Builder, T >	static
DEFAULT_MAXIMUM_REMAINDER	bb::stdlib::bigfield< Builder, T >	inlinestatic
div_check_denominator_nonzero(const std::vector< bigfield > &numerators, const bigfield &denominator)	bb::stdlib::bigfield< Builder, T >	static
div_without_denominator_check(const std::vector< bigfield > &numerators, const bigfield &denominator)	bb::stdlib::bigfield< Builder, T >	static
div_without_denominator_check(const bigfield &denominator)	bb::stdlib::bigfield< Builder, T >
dual_madd(const bigfield &left_a, const bigfield &right_a, const bigfield &left_b, const bigfield &right_b, const std::vector< bigfield > &to_add)	bb::stdlib::bigfield< Builder, T >	static
field_ct typedef	bb::stdlib::bigfield< Builder, T >
fix_witness()	bb::stdlib::bigfield< Builder, T >	inline
from_witness(Builder *ctx, const bb::field< T > &input)	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_binary_basis_limb_maximums()	bb::stdlib::bigfield< Builder, T >	inlineprivate
get_binary_basis_limb_witness_indices() const	bb::stdlib::bigfield< Builder, T >	inlineprivate
get_context() const	bb::stdlib::bigfield< Builder, T >	inline
get_maximum_crt_product()	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_maximum_unreduced_limb_value()	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_maximum_unreduced_value()	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_maximum_value() const	bb::stdlib::bigfield< Builder, T >
get_origin_tag() const	bb::stdlib::bigfield< Builder, T >	inline
get_prohibited_limb_value()	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_prohibited_value()	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_quotient_max_bits(const std::vector< uint1024_t > &remainders_max)	bb::stdlib::bigfield< Builder, T >	inlinestatic
get_quotient_reduction_info(const std::vector< uint512_t > &as_max, const std::vector< uint512_t > &bs_max, const std::vector< bigfield > &to_add, const std::vector< uint1024_t > &remainders_max={ DEFAULT_MAXIMUM_REMAINDER })	bb::stdlib::bigfield< Builder, T >	privatestatic
get_value() const	bb::stdlib::bigfield< Builder, T >
internal_div(const std::vector< bigfield > &numerators, const bigfield &denominator, bool check_for_zero)	bb::stdlib::bigfield< Builder, T >	static
invert() const	bb::stdlib::bigfield< Builder, T >	inline
is_composite	bb::stdlib::bigfield< Builder, T >	static
is_constant() const	bb::stdlib::bigfield< Builder, T >	inline
LOG2_BINARY_MODULUS	bb::stdlib::bigfield< Builder, T >	static
madd(const bigfield &to_mul, const std::vector< bigfield > &to_add) const	bb::stdlib::bigfield< Builder, T >
MAX_ADDITION_LOG	bb::stdlib::bigfield< Builder, T >	static
MAX_UNREDUCED_LIMB_BITS	bb::stdlib::bigfield< Builder, T >	static
MAXIMUM_LIMB_SIZE_THAT_WOULDNT_OVERFLOW	bb::stdlib::bigfield< Builder, T >	static
MAXIMUM_SUMMAND_COUNT	bb::stdlib::bigfield< Builder, T >	static
MAXIMUM_SUMMAND_COUNT_LOG	bb::stdlib::bigfield< Builder, T >	static
modulus	bb::stdlib::bigfield< Builder, T >	static
modulus_u512	bb::stdlib::bigfield< Builder, T >	static
msub_div(const std::vector< bigfield > &mul_left, const std::vector< bigfield > &mul_right, const bigfield &divisor, const std::vector< bigfield > &to_sub, bool enable_divisor_nz_check=true)	bb::stdlib::bigfield< Builder, T >	static
mul_product_overflows_crt_modulus(const uint1024_t &a_max, const uint1024_t &b_max, const std::vector< bigfield > &to_add)	bb::stdlib::bigfield< Builder, T >	inlinestatic
mul_product_overflows_crt_modulus(const std::vector< uint512_t > &as_max, const std::vector< uint512_t > &bs_max, const std::vector< bigfield > &to_add)	bb::stdlib::bigfield< Builder, T >	inlinestatic
mult_madd(const std::vector< bigfield > &mul_left, const std::vector< bigfield > &mul_right, const std::vector< bigfield > &to_add, bool fix_remainder_to_zero=false)	bb::stdlib::bigfield< Builder, T >	static
native typedef	bb::stdlib::bigfield< Builder, T >
neg_modulus_mod_binary_basis_limbs	bb::stdlib::bigfield< Builder, T >	static
neg_modulus_mod_binary_basis_limbs_u256	bb::stdlib::bigfield< Builder, T >	static
negative_prime_modulus_mod_binary_basis	bb::stdlib::bigfield< Builder, T >	static
negative_prime_modulus_mod_native_basis	bb::stdlib::bigfield< Builder, T >	static
NUM_LAST_LIMB_BITS	bb::stdlib::bigfield< Builder, T >	static
NUM_LIMB_BITS	bb::stdlib::bigfield< Builder, T >	static
NUM_LIMBS	bb::stdlib::bigfield< Builder, T >	static
one()	bb::stdlib::bigfield< Builder, T >	inlinestatic
operator*(const bigfield &other) const	bb::stdlib::bigfield< Builder, T >
operator*=(const bigfield &other)	bb::stdlib::bigfield< Builder, T >	inline
operator+(const bigfield &other) const	bb::stdlib::bigfield< Builder, T >
operator+=(const bigfield &other)	bb::stdlib::bigfield< Builder, T >	inline
operator-(const bigfield &other) const	bb::stdlib::bigfield< Builder, T >
operator-() const	bb::stdlib::bigfield< Builder, T >	inline
operator-=(const bigfield &other)	bb::stdlib::bigfield< Builder, T >	inline
operator/(const bigfield &other) const	bb::stdlib::bigfield< Builder, T >
operator/=(const bigfield &other)	bb::stdlib::bigfield< Builder, T >	inline
operator=(const bigfield &other)	bb::stdlib::bigfield< Builder, T >
operator=(bigfield &&other) noexcept	bb::stdlib::bigfield< Builder, T >
operator==(const bigfield &other) const	bb::stdlib::bigfield< Builder, T >
perform_reductions_for_mult_madd(std::vector< bigfield > &mul_left, std::vector< bigfield > &mul_right, const std::vector< bigfield > &to_add)	bb::stdlib::bigfield< Builder, T >	static
pow(const uint32_t exponent) const	bb::stdlib::bigfield< Builder, T >
prime_basis	bb::stdlib::bigfield< Builder, T >	static
prime_basis_limb	bb::stdlib::bigfield< Builder, T >	mutable
PROHIBITED_LIMB_BITS	bb::stdlib::bigfield< Builder, T >	static
PUBLIC_INPUTS_SIZE	bb::stdlib::bigfield< Builder, T >	static
reconstruct_from_public(const std::span< const field_ct, PUBLIC_INPUTS_SIZE > &limbs)	bb::stdlib::bigfield< Builder, T >	inlinestatic
reduce_mod_target_modulus() const	bb::stdlib::bigfield< Builder, T >
reduction_check() const	bb::stdlib::bigfield< Builder, T >	private
sanity_check() const	bb::stdlib::bigfield< Builder, T >	private
self_reduce() const	bb::stdlib::bigfield< Builder, T >
set_free_witness_tag()	bb::stdlib::bigfield< Builder, T >	inline
set_origin_tag(const bb::OriginTag &tag) const	bb::stdlib::bigfield< Builder, T >	inline
set_public() const	bb::stdlib::bigfield< Builder, T >	inline
shift_1	bb::stdlib::bigfield< Builder, T >	static
shift_2	bb::stdlib::bigfield< Builder, T >	static
shift_3	bb::stdlib::bigfield< Builder, T >	static
sqr() const	bb::stdlib::bigfield< Builder, T >
sqradd(const std::vector< bigfield > &to_add) const	bb::stdlib::bigfield< Builder, T >
sum(const std::vector< bigfield > &terms)	bb::stdlib::bigfield< Builder, T >	static
target_basis	bb::stdlib::bigfield< Builder, T >	static
to_byte_array() const	bb::stdlib::bigfield< Builder, T >	inline
TParams typedef	bb::stdlib::bigfield< Builder, T >
unreduced_zero()	bb::stdlib::bigfield< Builder, T >	inlinestatic
unsafe_assert_less_than(const uint256_t &upper_limit, std::string const &msg="bigfield::unsafe_assert_less_than") const	bb::stdlib::bigfield< Builder, T >	private
unsafe_construct_from_limbs(const field_t< Builder > &a, const field_t< Builder > &b, const field_t< Builder > &c, const field_t< Builder > &d, const bool can_overflow=false)	bb::stdlib::bigfield< Builder, T >	inlinestatic
unsafe_construct_from_limbs(const field_t< Builder > &a, const field_t< Builder > &b, const field_t< Builder > &c, const field_t< Builder > &d, const field_t< Builder > &prime_limb, const bool can_overflow=false)	bb::stdlib::bigfield< Builder, T >	inlinestatic
unsafe_evaluate_multiple_multiply_add(const std::vector< bigfield > &input_left, const std::vector< bigfield > &input_right, const std::vector< bigfield > &to_add, const bigfield &input_quotient, const std::vector< bigfield > &input_remainders)	bb::stdlib::bigfield< Builder, T >	privatestatic
unsafe_evaluate_multiply_add(const bigfield &input_left, const bigfield &input_to_mul, const std::vector< bigfield > &to_add, const bigfield &input_quotient, const std::vector< bigfield > &input_remainders)	bb::stdlib::bigfield< Builder, T >	privatestatic
unsafe_evaluate_square_add(const bigfield &left, const std::vector< bigfield > &to_add, const bigfield &quotient, const bigfield &remainder)	bb::stdlib::bigfield< Builder, T >	privatestatic
unset_free_witness_tag()	bb::stdlib::bigfield< Builder, T >	inline
View typedef	bb::stdlib::bigfield< Builder, T >
zero()	bb::stdlib::bigfield< Builder, T >	inlinestatic
~bigfield()=default	bb::stdlib::bigfield< Builder, T >