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

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

bool_ct typedefstdlib_bigfield_edge_cases< BigField >private
Builder typedefstdlib_bigfield_edge_cases< BigField >private
byte_array_ct typedefstdlib_bigfield_edge_cases< BigField >private
check_invariants(const fq_ct &field_element, const std::string &operation_name)stdlib_bigfield_edge_cases< BigField >inlinestatic
edge_case_valuesstdlib_bigfield_edge_cases< BigField >static
fq_ct typedefstdlib_bigfield_edge_cases< BigField >private
fq_native typedefstdlib_bigfield_edge_cases< BigField >private
fr_ct typedefstdlib_bigfield_edge_cases< BigField >private
get_random_witness(Builder *builder, bool reduce_input=false)stdlib_bigfield_edge_cases< BigField >inlinestatic
reduction_upper_boundstdlib_bigfield_edge_cases< BigField >static
test_assert_equal_edge_case()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_assert_is_in_field()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_assert_is_in_field_fails()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_assert_less_than()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_assert_less_than_fails()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_divide_by_zero_fails()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_invariants_during_binary_operation(BinaryOp binary_op, NativeOp native_op, const std::string &operation_name, const bool skip_zero=false)stdlib_bigfield_edge_cases< BigField >inlinestatic
test_invariants_during_negation()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_invariants_during_squaring()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_larger_than_bigfield_allowed()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_maximum_value_tracking_during_addition()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_reduce_mod_target_modulus()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_reduction_check_works()stdlib_bigfield_edge_cases< BigField >inlinestatic
test_reduction_works_on_limb_overflow()stdlib_bigfield_edge_cases< BigField >inlinestatic
values_larger_than_bigfieldstdlib_bigfield_edge_cases< BigField >inlinestatic
witness_ct typedefstdlib_bigfield_edge_cases< BigField >private