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 22 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 23 of file field.test.cpp.

◆ field_ct

template<typename Builder >

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

private

Definition at line 24 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 26 of file field.test.cpp.

◆ witness_ct

template<typename Builder >

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

private

Definition at line 25 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 63 of file field.test.cpp.

◆ create_range_constraint()

template<typename Builder >

static void stdlib_field< Builder >::create_range_constraint ( )

inlinestatic

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

◆ fidget()

template<typename Builder >

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

inlinestaticprivate

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

◆ test_accumulate()

template<typename Builder >

static void stdlib_field< Builder >::test_accumulate ( )

inlinestatic

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

◆ test_add()

template<typename Builder >

static void stdlib_field< Builder >::test_add ( )

inlinestatic

Definition at line 88 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 424 of file field.test.cpp.

◆ test_add_two()

template<typename Builder >

static void stdlib_field< Builder >::test_add_two ( )

inlinestatic

Definition at line 1303 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 294 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 353 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 1012 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 1030 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 740 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 1137 of file field.test.cpp.

◆ test_bool_conversion()

template<typename Builder >

static void stdlib_field< Builder >::test_bool_conversion ( )

inlinestatic

Definition at line 149 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 185 of file field.test.cpp.

◆ test_conditional_assign()

template<typename Builder >

static void stdlib_field< Builder >::test_conditional_assign ( )

inlinestatic

Definition at line 192 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 245 of file field.test.cpp.

◆ test_conditional_negate()

template<typename Builder >

static void stdlib_field< Builder >::test_conditional_negate ( )

inlinestatic

Definition at line 863 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 78 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 1115 of file field.test.cpp.

◆ test_div()

template<typename Builder >

static void stdlib_field< Builder >::test_div ( )

inlinestatic

Definition at line 437 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 474 of file field.test.cpp.

◆ test_equality()

template<typename Builder >

static void stdlib_field< Builder >::test_equality ( )

inlinestatic

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

◆ test_equality_false()

template<typename Builder >

static void stdlib_field< Builder >::test_equality_false ( )

inlinestatic

Definition at line 641 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 662 of file field.test.cpp.

◆ test_field_fibbonaci()

template<typename Builder >

static void stdlib_field< Builder >::test_field_fibbonaci ( )

inlinestatic

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

◆ test_field_pythagorean()

template<typename Builder >

static void stdlib_field< Builder >::test_field_pythagorean ( )

inlinestatic

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

◆ test_fix_witness()

template<typename Builder >

static void stdlib_field< Builder >::test_fix_witness ( )

inlinestatic

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

◆ test_invert()

template<typename Builder >

static void stdlib_field< Builder >::test_invert ( )

inlinestatic

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

◆ test_invert_zero()

template<typename Builder >

static void stdlib_field< Builder >::test_invert_zero ( )

inlinestatic

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

◆ test_is_zero()

template<typename Builder >

static void stdlib_field< Builder >::test_is_zero ( )

inlinestatic

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

◆ test_larger_circuit()

template<typename Builder >

static void stdlib_field< Builder >::test_larger_circuit ( )

inlinestatic

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

◆ test_madd()

template<typename Builder >

static void stdlib_field< Builder >::test_madd ( )

inlinestatic

Definition at line 775 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 823 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 275 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 1321 of file field.test.cpp.

◆ test_postfix_increment()

template<typename Builder >

static void stdlib_field< Builder >::test_postfix_increment ( )

inlinestatic

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

◆ test_pow()

template<typename Builder >

static void stdlib_field< Builder >::test_pow ( )

inlinestatic

Definition at line 1049 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 1099 of file field.test.cpp.

◆ test_prefix_increment()

template<typename Builder >

static void stdlib_field< Builder >::test_prefix_increment ( )

inlinestatic

Definition at line 560 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 1239 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 1283 of file field.test.cpp.

◆ test_split_at()

template<typename Builder >

static void stdlib_field< Builder >::test_split_at ( )

inlinestatic

Definition at line 923 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 973 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 896 of file field.test.cpp.

◆ test_validate_container_context()

template<typename Builder >

void stdlib_field< Builder >::test_validate_container_context ( )

inline

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

◆ test_validate_context()

template<typename Builder >

void stdlib_field< Builder >::test_validate_context ( )

inline

Definition at line 1452 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()