Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
stdlib_bigfield< BigField > Member List

This is the complete list of members for stdlib_bigfield< BigField >, including all inherited members.

bool_ct typedefstdlib_bigfield< BigField >private
Builder typedefstdlib_bigfield< BigField >private
byte_array_ct typedefstdlib_bigfield< BigField >private
fq_ct typedefstdlib_bigfield< BigField >private
fq_native typedefstdlib_bigfield< BigField >private
fr_ct typedefstdlib_bigfield< BigField >private
get_random_constant(Builder *builder, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
get_random_constants(Builder *builder, size_t num, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
get_random_element(Builder *builder, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
get_random_element(Builder *builder, InputType type, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
get_random_elements(Builder *builder, InputType type, size_t num, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
get_random_witness(Builder *builder, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
get_random_witnesses(Builder *builder, size_t num, bool reduce_input=false)stdlib_bigfield< BigField >inlinestatic
test_add_and_div()stdlib_bigfield< BigField >inlinestatic
test_add_and_mul(InputType summand_type)stdlib_bigfield< BigField >inlinestatic
test_add_to_lower_limb_regression()stdlib_bigfield< BigField >inlinestatic
test_add_two(InputType a_type, InputType b_type, InputType c_type)stdlib_bigfield< BigField >inlinestatic
test_assert_equal_not_equal()stdlib_bigfield< BigField >inlinestatic
test_assert_is_in_field_fails()stdlib_bigfield< BigField >inlinestatic
test_assert_is_in_field_success()stdlib_bigfield< BigField >inlinestatic
test_assert_less_than_fails()stdlib_bigfield< BigField >inlinestatic
test_assert_less_than_success()stdlib_bigfield< BigField >inlinestatic
test_assert_not_equal_regression()stdlib_bigfield< BigField >inlinestatic
test_assign_operator_generic(InputType a_type, InputType b_type, CircuitOpFunc circuit_op, NativeOpFunc native_op, const char *op_name, size_t num_repetitions=4, bool need_reduced_inputs=false, bool need_reduction_after=false)stdlib_bigfield< BigField >inlinestatic
test_bad_mul()stdlib_bigfield< BigField >inlinestatic
test_basic_tag_logic()stdlib_bigfield< BigField >inlinestatic
test_binary_operator_generic(InputType a_type, InputType b_type, CircuitOpFunc circuit_op, NativeOpFunc native_op, const char *op_name, size_t num_repetitions=10, bool need_reduced_inputs=false, bool need_reduction_after=false, bool do_tags_merge=true)stdlib_bigfield< BigField >inlinestatic
test_byte_array_constructors()stdlib_bigfield< BigField >inlinestatic
test_conditional_assign(InputType a_type, InputType b_type, InputType predicate_type)stdlib_bigfield< BigField >inlinestatic
test_conditional_negate(InputType a_type, InputType predicate_type)stdlib_bigfield< BigField >inlinestatic
test_conditional_select(InputType a_type, InputType b_type, InputType predicate_type)stdlib_bigfield< BigField >inlinestatic
test_conditional_select_regression()stdlib_bigfield< BigField >inlinestatic
test_construct_from_limbs()stdlib_bigfield< BigField >inlinestatic
test_construct_from_limbs_fails()stdlib_bigfield< BigField >inlinestatic
test_constructor_from_two_elements()stdlib_bigfield< BigField >inlinestatic
test_div_without_denominator_check(InputType a_type, InputType b_type)stdlib_bigfield< BigField >inlinestatic
test_division_context()stdlib_bigfield< BigField >inlinestatic
test_division_formula_bug()stdlib_bigfield< BigField >inlinestatic
test_dual_madd()stdlib_bigfield< BigField >inlinestatic
test_equality_operator(InputType a_type, InputType b_type)stdlib_bigfield< BigField >inlinestatic
test_group_operations()stdlib_bigfield< BigField >inlinestatic
test_internal_div_regression()stdlib_bigfield< BigField >inlinestatic
test_internal_div_regression2()stdlib_bigfield< BigField >inlinestatic
test_internal_div_regression3()stdlib_bigfield< BigField >inlinestatic
test_inversion()stdlib_bigfield< BigField >inlinestatic
test_madd(InputType a_type, InputType b_type, InputType c_type)stdlib_bigfield< BigField >inlinestatic
test_msub_div(InputType multiplicand_type, InputType to_sub_type, InputType divisor_type)stdlib_bigfield< BigField >inlinestatic
test_msub_div_ctx_crash_regression()stdlib_bigfield< BigField >inlinestatic
test_mult_madd(InputType left_type, InputType right_type, InputType to_add_type, bool edge_case=false)stdlib_bigfield< BigField >inlinestatic
test_negate(InputType a_type)stdlib_bigfield< BigField >inlinestatic
test_nonnormalized_field_bug_regression()stdlib_bigfield< BigField >inlinestatic
test_pow()stdlib_bigfield< BigField >inlinestatic
test_pow_one()stdlib_bigfield< BigField >inlinestatic
test_quotient_completeness()stdlib_bigfield< BigField >inlinestatic
test_reduce()stdlib_bigfield< BigField >inlinestatic
test_reduce_mod_target_modulus()stdlib_bigfield< BigField >inlinestatic
test_sqr(InputType a_type)stdlib_bigfield< BigField >inlinestatic
test_sqradd(InputType a_type, InputType b_type)stdlib_bigfield< BigField >inlinestatic
test_sub_and_mul(InputType subtrahend_type)stdlib_bigfield< BigField >inlinestatic
test_sum(InputType a_type, bool mixed_inputs=false)stdlib_bigfield< BigField >inlinestatic
test_to_byte_array()stdlib_bigfield< BigField >inlinestatic
test_unsafe_assert_less_than()stdlib_bigfield< BigField >inlinestatic
test_unsafe_assert_less_than_fails()stdlib_bigfield< BigField >inlinestatic
test_unsafe_construct_from_limbs()stdlib_bigfield< BigField >inlinestatic
test_unsafe_evaluate_multiply_add()stdlib_bigfield< BigField >inlinestatic
test_unsafe_evaluate_multiply_add_fails()stdlib_bigfield< BigField >inlinestatic
test_unsafe_multiple_multiply_add()stdlib_bigfield< BigField >inlinestatic
test_unsafe_multiple_multiply_add_fails()stdlib_bigfield< BigField >inlinestatic
witness_ct typedefstdlib_bigfield< BigField >private