Barretenberg
The ZK-SNARK library at the core of Aztec
|
This is the complete list of members for bb::field< Params_ >, including all inherited members.
__copy(const field &a, field &r) noexcept | bb::field< Params_ > | inlinestatic |
__swap(field &src, field &dest) noexcept | bb::field< Params_ > | inlinestatic |
add(const field &other) const noexcept | bb::field< Params_ > | |
addc(uint64_t a, uint64_t b, uint64_t carry_in, uint64_t &carry_out) noexcept | bb::field< Params_ > | static |
batch_invert(std::span< field > coeffs) noexcept | bb::field< Params_ > | static |
batch_invert(field *coeffs, size_t n) noexcept | bb::field< Params_ > | static |
CoefficientAccumulator typedef | bb::field< Params_ > | |
compute_coset_generators() noexcept | bb::field< Params_ > | static |
conditionally_subtract_from_double_modulus(const uint64_t predicate) const noexcept | bb::field< Params_ > | inline |
coset_generator() | bb::field< Params_ > | inlinestatic |
COSET_GENERATOR_SIZE | bb::field< Params_ > | static |
cube_root_of_unity() | bb::field< Params_ > | inlinestatic |
data | bb::field< Params_ > | |
external_coset_generator() | bb::field< Params_ > | inlinestatic |
field()=default | bb::field< Params_ > | |
field(const numeric::uint256_t &input) noexcept | bb::field< Params_ > | inline |
field(const uint128_t &input) noexcept | bb::field< Params_ > | inline |
field(const unsigned long input) noexcept | bb::field< Params_ > | inline |
field(const unsigned int input) noexcept | bb::field< Params_ > | inline |
field(const unsigned long long input) noexcept | bb::field< Params_ > | inline |
field(const int input) noexcept | bb::field< Params_ > | inline |
field(const uint64_t a, const uint64_t b, const uint64_t c, const uint64_t d) noexcept | bb::field< Params_ > | inline |
field(const uint512_t &input) noexcept | bb::field< Params_ > | inlineexplicit |
field(std::string input) noexcept | bb::field< Params_ > | inlineexplicit |
field(const field &other) noexcept=default | bb::field< Params_ > | |
field(field &&other) noexcept=default | bb::field< Params_ > | |
from_montgomery_form() const noexcept | bb::field< Params_ > | |
get_root_of_unity(size_t subgroup_size) noexcept | bb::field< Params_ > | static |
in_buf typedef | bb::field< Params_ > | |
invert() const noexcept | bb::field< Params_ > | |
is_msb_set() const noexcept | bb::field< Params_ > | |
is_msb_set_word() const noexcept | bb::field< Params_ > | |
is_zero() const noexcept | bb::field< Params_ > | |
mac(uint64_t a, uint64_t b, uint64_t c, uint64_t carry_in, uint64_t &carry_out) noexcept | bb::field< Params_ > | static |
mac(uint64_t a, uint64_t b, uint64_t c, uint64_t carry_in, uint64_t &out, uint64_t &carry_out) noexcept | bb::field< Params_ > | static |
mac_discard_lo(uint64_t a, uint64_t b, uint64_t c) noexcept | bb::field< Params_ > | static |
mac_mini(uint64_t a, uint64_t b, uint64_t c, uint64_t &out) noexcept | bb::field< Params_ > | static |
mac_mini(uint64_t a, uint64_t b, uint64_t c, uint64_t &out, uint64_t &carry_out) noexcept | bb::field< Params_ > | static |
modulus | bb::field< Params_ > | static |
modulus_minus_two | bb::field< Params_ > | static |
montgomery_mul(const field &other) const noexcept | bb::field< Params_ > | |
montgomery_mul_big(const field &other) const noexcept | bb::field< Params_ > | |
montgomery_square() const noexcept | bb::field< Params_ > | |
msgpack_pack(auto &packer) const | bb::field< Params_ > | |
msgpack_schema(auto &packer) const | bb::field< Params_ > | inline |
msgpack_unpack(auto o) | bb::field< Params_ > | |
mul_512(const field &other) const noexcept | bb::field< Params_ > | |
mul_wide(uint64_t a, uint64_t b) noexcept | bb::field< Params_ > | static |
multiplicative_generator() noexcept | bb::field< Params_ > | static |
neg_one() | bb::field< Params_ > | inlinestatic |
not_modulus | bb::field< Params_ > | static |
one() | bb::field< Params_ > | inlinestatic |
operator bool() const | bb::field< Params_ > | inlineexplicit |
operator uint128_t() const | bb::field< Params_ > | inlineexplicit |
operator uint16_t() const | bb::field< Params_ > | inlineexplicit |
operator uint256_t() const noexcept | bb::field< Params_ > | inline |
operator uint32_t() const | bb::field< Params_ > | inlineexplicit |
operator uint64_t() const | bb::field< Params_ > | inlineexplicit |
operator uint8_t() const | bb::field< Params_ > | inlineexplicit |
operator!=(const field &other) const noexcept | bb::field< Params_ > | |
operator*(const field &other) const noexcept | bb::field< Params_ > | |
operator*=(const field &other) &noexcept | bb::field< Params_ > | |
operator+(const field &other) const noexcept | bb::field< Params_ > | |
operator++() noexcept | bb::field< Params_ > | |
operator++(int) noexcept | bb::field< Params_ > | |
operator+=(const field &other) &noexcept | bb::field< Params_ > | |
operator-(const field &other) const noexcept | bb::field< Params_ > | |
operator-() const noexcept | bb::field< Params_ > | |
operator-=(const field &other) &noexcept | bb::field< Params_ > | |
operator/(const field &other) const noexcept | bb::field< Params_ > | |
operator/=(const field &other) &noexcept | bb::field< Params_ > | |
operator<(const field &other) const noexcept | bb::field< Params_ > | |
operator<< | bb::field< Params_ > | friend |
operator=(const field &other) &noexcept=default | bb::field< Params_ > | |
operator=(field &&other) &noexcept=default | bb::field< Params_ > | |
operator==(const field &other) const noexcept | bb::field< Params_ > | |
operator>(const field &other) const noexcept | bb::field< Params_ > | |
out_buf typedef | bb::field< Params_ > | |
Params typedef | bb::field< Params_ > | |
pow(const uint256_t &exponent) const noexcept | bb::field< Params_ > | |
pow(uint64_t exponent) const noexcept | bb::field< Params_ > | |
primitive_root_log_size() noexcept | bb::field< Params_ > | static |
PUBLIC_INPUTS_SIZE | bb::field< Params_ > | static |
r_squared_uint | bb::field< Params_ > | static |
random_element(numeric::RNG *engine=nullptr) noexcept | bb::field< Params_ > | static |
reconstruct_from_public(const std::span< const field< V >, PUBLIC_INPUTS_SIZE > &limbs) | bb::field< Params_ > | static |
reduce() const noexcept | bb::field< Params_ > | |
reduce_once() const noexcept | bb::field< Params_ > | |
sbb(uint64_t a, uint64_t b, uint64_t borrow_in, uint64_t &borrow_out) noexcept | bb::field< Params_ > | static |
self_conditional_negate(uint64_t predicate) &noexcept | bb::field< Params_ > | |
self_from_montgomery_form() &noexcept | bb::field< Params_ > | |
self_neg() &noexcept | bb::field< Params_ > | |
self_reduce_once() &noexcept | bb::field< Params_ > | |
self_set_msb() &noexcept | bb::field< Params_ > | |
self_sqr() &noexcept | bb::field< Params_ > | |
self_to_montgomery_form() &noexcept | bb::field< Params_ > | |
serialize_from_buffer(const uint8_t *buffer) | bb::field< Params_ > | inlinestatic |
serialize_to_buffer(const field &value, uint8_t *buffer) | bb::field< Params_ > | inlinestatic |
split_into_endomorphism_scalars(const field &k, field &k1, field &k2) | bb::field< Params_ > | inlinestatic |
split_into_endomorphism_scalars(const field &k) | bb::field< Params_ > | inlinestatic |
split_into_endomorphism_scalars_384(const field &input, field &k1_out, field &k2_out) | bb::field< Params_ > | inlinestatic |
sqr() const noexcept | bb::field< Params_ > | |
sqr_512() const noexcept | bb::field< Params_ > | |
sqrt() const noexcept | bb::field< Params_ > | |
sqrt() const noexcept | bb::field< Params_ > | |
square_accumulate(uint64_t a, uint64_t b, uint64_t c, uint64_t carry_in_lo, uint64_t carry_in_hi, uint64_t &carry_lo, uint64_t &carry_hi) noexcept | bb::field< Params_ > | static |
subtract(const field &other) const noexcept | bb::field< Params_ > | |
subtract_coarse(const field &other) const noexcept | bb::field< Params_ > | |
tag_coset_generator() | bb::field< Params_ > | inlinestatic |
to_buffer() const | bb::field< Params_ > | inline |
to_montgomery_form() const noexcept | bb::field< Params_ > | |
tonelli_shanks_sqrt() const noexcept | bb::field< Params_ > | |
twice_modulus | bb::field< Params_ > | static |
twice_not_modulus | bb::field< Params_ > | static |
uint256_t_no_montgomery_conversion() const noexcept | bb::field< Params_ > | inline |
vec_in_buf typedef | bb::field< Params_ > | |
vec_out_buf typedef | bb::field< Params_ > | |
View typedef | bb::field< Params_ > | |
wasm_convert(const uint64_t *data) | bb::field< Params_ > | static |
wasm_madd(uint64_t &left_limb, const std::array< uint64_t, WASM_NUM_LIMBS > &right_limbs, uint64_t &result_0, uint64_t &result_1, uint64_t &result_2, uint64_t &result_3, uint64_t &result_4, uint64_t &result_5, uint64_t &result_6, uint64_t &result_7, uint64_t &result_8) | bb::field< Params_ > | static |
wasm_modulus | bb::field< Params_ > | static |
wasm_r_inv | bb::field< Params_ > | static |
wasm_reduce(uint64_t &result_0, uint64_t &result_1, uint64_t &result_2, uint64_t &result_3, uint64_t &result_4, uint64_t &result_5, uint64_t &result_6, uint64_t &result_7, uint64_t &result_8) | bb::field< Params_ > | static |
wasm_reduce_yuval(uint64_t &result_0, uint64_t &result_1, uint64_t &result_2, uint64_t &result_3, uint64_t &result_4, uint64_t &result_5, uint64_t &result_6, uint64_t &result_7, uint64_t &result_8, uint64_t &result_9) | bb::field< Params_ > | static |
zero() | bb::field< Params_ > | inlinestatic |
~field() noexcept=default | bb::field< Params_ > |