barretenberg
Loading...
Searching...
No Matches
proof_system::plonk::stdlib::field_t< Builder > Member List

This is the complete list of members for proof_system::plonk::stdlib::field_t< Builder >, including all inherited members.

accumulate(const std::vector< field_t > &to_add)proof_system::plonk::stdlib::field_t< Builder >static
add_two(const field_t &add_a, const field_t &add_b) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
additive_constantproof_system::plonk::stdlib::field_t< Builder >mutable
assert_equal(const field_t &rhs, std::string const &msg="field_t::assert_equal") constproof_system::plonk::stdlib::field_t< Builder >
assert_is_in_set(const std::vector< field_t > &set, std::string const &msg="field_t::assert_not_in_set") const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
assert_is_not_zero(std::string const &msg="field_t::assert_is_not_zero") const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
assert_is_zero(std::string const &msg="field_t::assert_is_zero") const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
assert_not_equal(const field_t &rhs, std::string const &msg="field_t::assert_not_equal") const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
conditional_assign(const bool_t< Builder > &predicate, const field_t &lhs, const field_t &rhs) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
conditional_negate(const bool_t< Builder > &predicate) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
context (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >mutable
convert_constant_to_fixed_witness(Builder *ctx)proof_system::plonk::stdlib::field_t< Builder >inline
copy_as_new_witness(Builder &context, field_t const &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inlinestatic
coset_generator(const size_t generator_idx) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inlinestatic
create_range_constraint(size_t num_bits, std::string const &msg="field_t::range_constraint") const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
decompose_into_bits(size_t num_bits=256, std::function< witness_t< Builder >(Builder *ctx, uint64_t, uint256_t)> get_bit=[](Builder *ctx, uint64_t j, const uint256_t &val) { return witness_t< Builder >(ctx, val.get_bit(j));}) constproof_system::plonk::stdlib::field_t< Builder >
divide_no_zero_check(const field_t &other) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
evaluate_linear_identity(const field_t &a, const field_t &b, const field_t &c, const field_t &d) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
evaluate_polynomial_identity(const field_t &a, const field_t &b, const field_t &c, const field_t &d) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
external_coset_generator() (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inlinestatic
field_t(Builder *parent_context=nullptr) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
field_t(Builder *parent_context, const barretenberg::fr &value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
field_t(const int value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const unsigned long long value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const unsigned int value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const unsigned long value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const barretenberg::fr &value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const uint256_t &value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const witness_t< Builder > &value) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
field_t(const field_t &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(field_t &&other) noexcept (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
field_t(const bool_t< Builder > &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
fix_witness()proof_system::plonk::stdlib::field_t< Builder >inline
from_witness(Builder *ctx, const barretenberg::fr &input) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inlinestatic
from_witness_index(Builder *parent_context, uint32_t witness_index) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
get_context() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
get_value() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
get_witness_index() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
invert() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
is_composite (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
is_constant() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
is_zero() constproof_system::plonk::stdlib::field_t< Builder >
madd(const field_t &to_mul, const field_t &to_add) constproof_system::plonk::stdlib::field_t< Builder >
modulus (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
multiplicative_constant (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >mutable
normalize() constproof_system::plonk::stdlib::field_t< Builder >
operator bool_t< Builder >() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >explicit
operator!=(const field_t &other) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
operator*(const field_t &other) constproof_system::plonk::stdlib::field_t< Builder >
operator*=(const field_t &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator+(const field_t &other) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
operator++() (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator++(const int) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator+=(const field_t &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator-(const field_t &other) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
operator-() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator-=(const field_t &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator/(const field_t &other) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
operator/=(const field_t &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator=(const field_t &other) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator=(field_t &&other) noexcept (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
operator==(const field_t &other) const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
pow(const field_t &exponent) constproof_system::plonk::stdlib::field_t< Builder >
preprocess_three_bit_table(const field_t &T0, const field_t &T1, const field_t &T2, const field_t &T3, const field_t &T4, const field_t &T5, const field_t &T6, const field_t &T7) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
preprocess_two_bit_table(const field_t &T0, const field_t &T1, const field_t &T2, const field_t &T3) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
ranged_less_than(const field_t< Builder > &other) constproof_system::plonk::stdlib::field_t< Builder >inline
select_from_three_bit_table(const std::array< field_t, 8 > &table, const bool_t< Builder > &t2, const bool_t< Builder > &t1, const bool_t< Builder > &t0) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
select_from_two_bit_table(const std::array< field_t, 4 > &table, const bool_t< Builder > &t1, const bool_t< Builder > &t0) (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >static
set_public() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
slice(uint8_t msb, uint8_t lsb) constproof_system::plonk::stdlib::field_t< Builder >
sqr() const (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >inline
View typedef (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >
witness_indexproof_system::plonk::stdlib::field_t< Builder >mutable
~field_t()=default (defined in proof_system::plonk::stdlib::field_t< Builder >)proof_system::plonk::stdlib::field_t< Builder >