Inheritance diagram for stdlib_field< Builder >:

Public Member Functions
void	test_assert_equal_with_gate_count ()

void	test_validate_context ()

void	test_validate_container_context ()

Static Public Member Functions
static void	test_constructor_from_witness ()

static void	test_add ()

static void	create_range_constraint ()

static void	test_bool_conversion ()

static void	test_bool_conversion_regression ()
	Test that bool is converted correctly.

static void	test_conditional_assign ()

static void	test_conditional_assign_regression ()
	Test that conditional assign doesn't produce a new witness if lhs and rhs are constant.

static void	test_multiplicative_constant_regression ()
	Test that multiplicative_constant of constants is no longer affected by any arithimetic operation.

static void	test_assert_equal ()
	Demonstrate current behavior of assert_equal.

static void	test_add_mul_with_constants ()

static void	test_div ()

static void	test_div_edge_cases ()

static void	test_invert ()

static void	test_invert_zero ()

static void	test_postfix_increment ()

static void	test_prefix_increment ()

static void	test_field_fibbonaci ()

static void	test_field_pythagorean ()

static void	test_equality ()

static void	test_equality_false ()

static void	test_equality_with_constants ()

static void	test_larger_circuit ()

static void	test_is_zero ()

static void	test_assert_is_not_zero ()

static void	test_madd ()

static void	test_madd_add_two_gate_count ()

static void	test_conditional_negate ()

static void	test_two_bit_table ()

static void	test_split_at ()

static void	test_three_bit_table ()

static void	test_assert_is_in_set ()

static void	test_assert_is_in_set_fails ()

static void	test_pow ()

static void	test_pow_exponent_out_of_range ()

static void	test_copy_as_new_witness ()

static void	test_assert_is_zero ()

static void	test_accumulate ()

static void	test_fix_witness ()

static void	test_ranged_less_than ()

static void	test_ranged_less_than_max_num_bits ()

static void	test_add_two ()

static void	test_origin_tag_consistency ()

Private Types
using	bool_ct = stdlib::bool_t< Builder >

using	field_ct = stdlib::field_t< Builder >

using	witness_ct = stdlib::witness_t< Builder >

using	public_witness_ct = stdlib::public_witness_t< Builder >

Static Private Member Functions
static uint64_t	fidget (Builder &builder)

static void	build_test_circuit (Builder &builder, size_t num_gates)

Detailed Description

template<typename Builder>
class stdlib_field< Builder >

Definition at line 21 of file field.test.cpp.

Member Typedef Documentation

◆ bool_ct

template<typename Builder >

using stdlib_field< Builder >::bool_ct = stdlib::bool_t<Builder>

private

Definition at line 22 of file field.test.cpp.

◆ field_ct

template<typename Builder >

using stdlib_field< Builder >::field_ct = stdlib::field_t<Builder>

private

Definition at line 23 of file field.test.cpp.

◆ public_witness_ct

template<typename Builder >

using stdlib_field< Builder >::public_witness_ct = stdlib::public_witness_t<Builder>

private

Definition at line 25 of file field.test.cpp.

◆ witness_ct

template<typename Builder >

using stdlib_field< Builder >::witness_ct = stdlib::witness_t<Builder>

private

Definition at line 24 of file field.test.cpp.

Member Function Documentation

◆ build_test_circuit()

template<typename Builder >

static void stdlib_field< Builder >::build_test_circuit	(	Builder &	builder,
		size_t	num_gates
	)

inlinestaticprivate

Definition at line 62 of file field.test.cpp.

◆ create_range_constraint()

template<typename Builder >

static void stdlib_field< Builder >::create_range_constraint ( )

inlinestatic

Definition at line 120 of file field.test.cpp.

◆ fidget()

template<typename Builder >

static uint64_t stdlib_field< Builder >::fidget ( Builder & builder )

inlinestaticprivate

Definition at line 27 of file field.test.cpp.

◆ test_accumulate()

template<typename Builder >

static void stdlib_field< Builder >::test_accumulate ( )

inlinestatic

Definition at line 1162 of file field.test.cpp.

◆ test_add()

template<typename Builder >

static void stdlib_field< Builder >::test_add ( )

inlinestatic

Definition at line 87 of file field.test.cpp.

◆ test_add_mul_with_constants()

template<typename Builder >

static void stdlib_field< Builder >::test_add_mul_with_constants ( )

inlinestatic

Definition at line 423 of file field.test.cpp.

◆ test_add_two()

template<typename Builder >

static void stdlib_field< Builder >::test_add_two ( )

inlinestatic

Definition at line 1302 of file field.test.cpp.

◆ test_assert_equal()

template<typename Builder >

static void stdlib_field< Builder >::test_assert_equal ( )

inlinestatic

Demonstrate current behavior of assert_equal.

Definition at line 293 of file field.test.cpp.

◆ test_assert_equal_with_gate_count()

template<typename Builder >

void stdlib_field< Builder >::test_assert_equal_with_gate_count ( )

inline

Definition at line 352 of file field.test.cpp.

◆ test_assert_is_in_set()

template<typename Builder >

static void stdlib_field< Builder >::test_assert_is_in_set ( )

inlinestatic

Definition at line 1011 of file field.test.cpp.

◆ test_assert_is_in_set_fails()

template<typename Builder >

static void stdlib_field< Builder >::test_assert_is_in_set_fails ( )

inlinestatic

Definition at line 1029 of file field.test.cpp.

◆ test_assert_is_not_zero()

template<typename Builder >

static void stdlib_field< Builder >::test_assert_is_not_zero ( )

inlinestatic

Definition at line 739 of file field.test.cpp.

◆ test_assert_is_zero()

template<typename Builder >

static void stdlib_field< Builder >::test_assert_is_zero ( )

inlinestatic

Definition at line 1136 of file field.test.cpp.

◆ test_bool_conversion()

template<typename Builder >

static void stdlib_field< Builder >::test_bool_conversion ( )

inlinestatic

Definition at line 148 of file field.test.cpp.

◆ test_bool_conversion_regression()

template<typename Builder >

static void stdlib_field< Builder >::test_bool_conversion_regression ( )

inlinestatic

Test that bool is converted correctly.

Definition at line 184 of file field.test.cpp.

◆ test_conditional_assign()

template<typename Builder >

static void stdlib_field< Builder >::test_conditional_assign ( )

inlinestatic

Definition at line 191 of file field.test.cpp.

◆ test_conditional_assign_regression()

template<typename Builder >

static void stdlib_field< Builder >::test_conditional_assign_regression ( )

inlinestatic

Test that conditional assign doesn't produce a new witness if lhs and rhs are constant.

Definition at line 244 of file field.test.cpp.

◆ test_conditional_negate()

template<typename Builder >

static void stdlib_field< Builder >::test_conditional_negate ( )

inlinestatic

Definition at line 862 of file field.test.cpp.

◆ test_constructor_from_witness()

template<typename Builder >

static void stdlib_field< Builder >::test_constructor_from_witness ( )

inlinestatic

Definition at line 77 of file field.test.cpp.

◆ test_copy_as_new_witness()

template<typename Builder >

static void stdlib_field< Builder >::test_copy_as_new_witness ( )

inlinestatic

Definition at line 1114 of file field.test.cpp.

◆ test_div()

template<typename Builder >

static void stdlib_field< Builder >::test_div ( )

inlinestatic

Definition at line 436 of file field.test.cpp.

◆ test_div_edge_cases()

template<typename Builder >

static void stdlib_field< Builder >::test_div_edge_cases ( )

inlinestatic

Definition at line 473 of file field.test.cpp.

◆ test_equality()

template<typename Builder >

static void stdlib_field< Builder >::test_equality ( )

inlinestatic

Definition at line 616 of file field.test.cpp.

◆ test_equality_false()

template<typename Builder >

static void stdlib_field< Builder >::test_equality_false ( )

inlinestatic

Definition at line 640 of file field.test.cpp.

◆ test_equality_with_constants()

template<typename Builder >

static void stdlib_field< Builder >::test_equality_with_constants ( )

inlinestatic

Definition at line 661 of file field.test.cpp.

◆ test_field_fibbonaci()

template<typename Builder >

static void stdlib_field< Builder >::test_field_fibbonaci ( )

inlinestatic

Definition at line 574 of file field.test.cpp.

◆ test_field_pythagorean()

template<typename Builder >

static void stdlib_field< Builder >::test_field_pythagorean ( )

inlinestatic

Definition at line 594 of file field.test.cpp.

◆ test_fix_witness()

template<typename Builder >

static void stdlib_field< Builder >::test_fix_witness ( )

inlinestatic

Definition at line 1228 of file field.test.cpp.

◆ test_invert()

template<typename Builder >

static void stdlib_field< Builder >::test_invert ( )

inlinestatic

Definition at line 511 of file field.test.cpp.

◆ test_invert_zero()

template<typename Builder >

static void stdlib_field< Builder >::test_invert_zero ( )

inlinestatic

Definition at line 529 of file field.test.cpp.

◆ test_is_zero()

template<typename Builder >

static void stdlib_field< Builder >::test_is_zero ( )

inlinestatic

Definition at line 692 of file field.test.cpp.

◆ test_larger_circuit()

template<typename Builder >

static void stdlib_field< Builder >::test_larger_circuit ( )

inlinestatic

Definition at line 681 of file field.test.cpp.

◆ test_madd()

template<typename Builder >

static void stdlib_field< Builder >::test_madd ( )

inlinestatic

Definition at line 774 of file field.test.cpp.

◆ test_madd_add_two_gate_count()

template<typename Builder >

static void stdlib_field< Builder >::test_madd_add_two_gate_count ( )

inlinestatic

Definition at line 822 of file field.test.cpp.

◆ test_multiplicative_constant_regression()

template<typename Builder >

static void stdlib_field< Builder >::test_multiplicative_constant_regression ( )

inlinestatic

Test that multiplicative_constant of constants is no longer affected by any arithimetic operation.

Definition at line 274 of file field.test.cpp.

◆ test_origin_tag_consistency()

template<typename Builder >

static void stdlib_field< Builder >::test_origin_tag_consistency ( )

inlinestatic

Definition at line 1320 of file field.test.cpp.

◆ test_postfix_increment()

template<typename Builder >

static void stdlib_field< Builder >::test_postfix_increment ( )

inlinestatic

Definition at line 544 of file field.test.cpp.

◆ test_pow()

template<typename Builder >

static void stdlib_field< Builder >::test_pow ( )

inlinestatic

Definition at line 1048 of file field.test.cpp.

◆ test_pow_exponent_out_of_range()

template<typename Builder >

static void stdlib_field< Builder >::test_pow_exponent_out_of_range ( )

inlinestatic

Definition at line 1098 of file field.test.cpp.

◆ test_prefix_increment()

template<typename Builder >

static void stdlib_field< Builder >::test_prefix_increment ( )

inlinestatic

Definition at line 559 of file field.test.cpp.

◆ test_ranged_less_than()

template<typename Builder >

static void stdlib_field< Builder >::test_ranged_less_than ( )

inlinestatic

Definition at line 1238 of file field.test.cpp.

◆ test_ranged_less_than_max_num_bits()

template<typename Builder >

static void stdlib_field< Builder >::test_ranged_less_than_max_num_bits ( )

inlinestatic

Definition at line 1282 of file field.test.cpp.

◆ test_split_at()

template<typename Builder >

static void stdlib_field< Builder >::test_split_at ( )

inlinestatic

Definition at line 922 of file field.test.cpp.

◆ test_three_bit_table()

template<typename Builder >

static void stdlib_field< Builder >::test_three_bit_table ( )

inlinestatic

Definition at line 972 of file field.test.cpp.

◆ test_two_bit_table()

template<typename Builder >

static void stdlib_field< Builder >::test_two_bit_table ( )

inlinestatic

Definition at line 895 of file field.test.cpp.

◆ test_validate_container_context()

template<typename Builder >

void stdlib_field< Builder >::test_validate_container_context ( )

inline

Definition at line 1515 of file field.test.cpp.

◆ test_validate_context()

template<typename Builder >

void stdlib_field< Builder >::test_validate_context ( )

inline

Definition at line 1451 of file field.test.cpp.

The documentation for this class was generated from the following file:

src/barretenberg/stdlib/primitives/field/field.test.cpp

Public Member Functions

Static Public Member Functions

Private Types

Static Private Member Functions

Detailed Description

Member Typedef Documentation

◆ bool_ct

◆ field_ct

◆ public_witness_ct

◆ witness_ct

Member Function Documentation

◆ build_test_circuit()

◆ create_range_constraint()

◆ fidget()

◆ test_accumulate()

◆ test_add()

◆ test_add_mul_with_constants()

◆ test_add_two()

◆ test_assert_equal()

◆ test_assert_equal_with_gate_count()

◆ test_assert_is_in_set()

◆ test_assert_is_in_set_fails()

◆ test_assert_is_not_zero()

◆ test_assert_is_zero()

◆ test_bool_conversion()

◆ test_bool_conversion_regression()

◆ test_conditional_assign()

◆ test_conditional_assign_regression()

◆ test_conditional_negate()

◆ test_constructor_from_witness()

◆ test_copy_as_new_witness()

◆ test_div()

◆ test_div_edge_cases()

◆ test_equality()

◆ test_equality_false()

◆ test_equality_with_constants()

◆ test_field_fibbonaci()

◆ test_field_pythagorean()

◆ test_fix_witness()

◆ test_invert()

◆ test_invert_zero()

◆ test_is_zero()

◆ test_larger_circuit()

◆ test_madd()

◆ test_madd_add_two_gate_count()

◆ test_multiplicative_constant_regression()

◆ test_origin_tag_consistency()

◆ test_postfix_increment()

◆ test_pow()

◆ test_pow_exponent_out_of_range()

◆ test_prefix_increment()

◆ test_ranged_less_than()

◆ test_ranged_less_than_max_num_bits()

◆ test_split_at()

◆ test_three_bit_table()

◆ test_two_bit_table()

◆ test_validate_container_context()

◆ test_validate_context()