| add_to_lower_limb(const field_t< Builder > &other, uint256_t other_maximum_value) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| assert_equal(const bigfield &other) const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| assert_is_in_field() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| assert_is_not_equal(const bigfield &other) const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| assert_less_than(const uint256_t upper_limit) const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| bad_mul(const bigfield &other) const | proof_system::plonk::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) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| bigfield(Builder *parent_context=nullptr) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| bigfield(Builder *parent_context, const uint256_t &value) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| bigfield(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) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| bigfield(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) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| bigfield(const byte_array< Builder > &bytes) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| bigfield(const bigfield &other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| bigfield(bigfield &&other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| binary_basis (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| binary_basis_limbs (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | mutable |
| conditional_negate(const bool_t< Builder > &predicate) const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| conditional_select(const bigfield &other, const bool_t< Builder > &predicate) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| context (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| convert_constant_to_fixed_witness(Builder *builder) | proof_system::plonk::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) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| DEFAULT_MAXIMUM_LIMB (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| DEFAULT_MAXIMUM_MOST_SIGNIFICANT_LIMB (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| DEFAULT_MAXIMUM_REMAINDER (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| div_check_denominator_nonzero(const std::vector< bigfield > &numerators, const bigfield &denominator) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| div_without_denominator_check(const std::vector< bigfield > &numerators, const bigfield &denominator) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| dual_madd(const bigfield &left_a, const bigfield &right_a, const bigfield &left_b, const bigfield &right_b, const std::vector< bigfield > &to_add) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| fix_witness() | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| from_witness(Builder *ctx, const barretenberg::field< T > &input) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| get_context() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| get_maximum_crt_product() (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| get_maximum_unreduced_limb_value() (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| get_maximum_unreduced_value(const size_t num_products=1) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| get_maximum_value() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| get_quotient_max_bits(const std::vector< uint1024_t > &remainders_max) | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| get_value() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| internal_div(const std::vector< bigfield > &numerators, const bigfield &denominator, bool check_for_zero) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| is_composite (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| is_constant() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| LOG2_BINARY_MODULUS (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| madd(const bigfield &to_mul, const std::vector< bigfield > &to_add) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| MAX_ADDITION_LOG (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| MAX_UNREDUCED_LIMB_SIZE (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| modulus (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| modulus_u512 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::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=false) | proof_system::plonk::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) | proof_system::plonk::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) | proof_system::plonk::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) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| native typedef (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| neg_modulus_limbs (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| neg_modulus_limbs_u256 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| negative_prime_modulus (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| negative_prime_modulus_mod_binary_basis (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| NUM_LAST_LIMB_BITS (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| NUM_LIMB_BITS (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| one() | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| operator*(const bigfield &other) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| operator*=(const bigfield &other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| operator+(const bigfield &other) const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| operator+=(const bigfield &other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| operator-(const bigfield &other) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| operator-() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| operator-=(const bigfield &other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| operator/(const bigfield &other) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| operator/=(const bigfield &other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| operator=(const bigfield &other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| operator=(bigfield &&other) (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::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) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| prime_basis (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| prime_basis_limb (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | mutable |
| prime_basis_maximum_limb (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| self_reduce() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| shift_1 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| shift_2 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| shift_3 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| shift_right_1 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| shift_right_2 (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| sqr() const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| sqradd(const std::vector< bigfield > &to_add) const | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| sum(const std::vector< bigfield > &terms) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| target_basis (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | static |
| to_byte_array() const (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | inline |
| TParams typedef (defined in proof_system::plonk::stdlib::bigfield< Builder, T >) | proof_system::plonk::stdlib::bigfield< Builder, T > | |
| unreduced_zero() | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
| zero() | proof_system::plonk::stdlib::bigfield< Builder, T > | inlinestatic |
