field.test.cpp File Reference

#include "field.hpp"
#include "../bool/bool.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/streams.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include <gtest/gtest.h>
#include <utility>

Go to the source code of this file.

Classes
class	stdlib_field< Builder >

Typedefs
using	CircuitTypes = testing::Types< bb::UltraCircuitBuilder >

Functions
template<class T >
void	ignore_unused (T &)
	TYPED_TEST_SUITE (stdlib_field, CircuitTypes)
	TYPED_TEST (stdlib_field, test_accumulate)
	TYPED_TEST (stdlib_field, test_add)
	TYPED_TEST (stdlib_field, test_add_mul_with_constants)
	TYPED_TEST (stdlib_field, test_add_two)
	TYPED_TEST (stdlib_field, test_assert_equal)
	TYPED_TEST (stdlib_field, test_assert_equal_gate_count)
	TYPED_TEST (stdlib_field, test_assert_is_in_set)
	TYPED_TEST (stdlib_field, test_assert_is_in_set_fails)
	TYPED_TEST (stdlib_field, test_assert_is_zero)
	TYPED_TEST (stdlib_field, test_assert_is_not_zero)
	TYPED_TEST (stdlib_field, test_bool_conversion)
	TYPED_TEST (stdlib_field, test_bool_conversion_regression)
	TYPED_TEST (stdlib_field, test_conditional_assign)
	TYPED_TEST (stdlib_field, test_conditional_assign_regression)
	TYPED_TEST (stdlib_field, test_conditional_negate)
	TYPED_TEST (stdlib_field, test_constructor_from_witness)
	TYPED_TEST (stdlib_field, test_copy_as_new_witness)
	TYPED_TEST (stdlib_field, test_create_range_constraint)
	TYPED_TEST (stdlib_field, test_div)
	TYPED_TEST (stdlib_field, test_div_edge_cases)
	TYPED_TEST (stdlib_field, test_equality)
	TYPED_TEST (stdlib_field, test_equality_false)
	TYPED_TEST (stdlib_field, test_equality_with_constants)
	TYPED_TEST (stdlib_field, test_field_fibbonaci)
	TYPED_TEST (stdlib_field, test_field_pythagorean)
	TYPED_TEST (stdlib_field, test_fix_witness)
	TYPED_TEST (stdlib_field, test_invert)
	TYPED_TEST (stdlib_field, test_invert_zero)
	TYPED_TEST (stdlib_field, test_is_zero)
	TYPED_TEST (stdlib_field, test_larger_circuit)
	TYPED_TEST (stdlib_field, test_madd)
	TYPED_TEST (stdlib_field, test_madd_add_two_gate_count)
	TYPED_TEST (stdlib_field, test_multiplicative_constant_regression)
	TYPED_TEST (stdlib_field, test_origin_tag_consistency)
	TYPED_TEST (stdlib_field, test_postfix_increment)
	TYPED_TEST (stdlib_field, test_pow_op_queue)
	TYPED_TEST (stdlib_field, test_pow_32)
	TYPED_TEST (stdlib_field, test_pow_witness_exponent_out_of_range_op_queue)
	TYPED_TEST (stdlib_field, test_pow_witness_exponent_out_of_range_32)
	TYPED_TEST (stdlib_field, test_pow_constant_exponent_out_of_range_op_queue)
	TYPED_TEST (stdlib_field, test_pow_constant_exponent_out_of_range_32)
	TYPED_TEST (stdlib_field, test_prefix_increment)
	TYPED_TEST (stdlib_field, test_ranged_less_than)
	TYPED_TEST (stdlib_field, test_ranged_less_than_max_num_bits)
	TYPED_TEST (stdlib_field, test_split_at)
	TYPED_TEST (stdlib_field, test_three_bit_table)
	TYPED_TEST (stdlib_field, test_two_bit_table)
	TYPED_TEST (stdlib_field, test_validate_context)
	TYPED_TEST (stdlib_field, test_validate_container_context)

Typedef Documentation

CircuitTypes

using CircuitTypes = testing::Types<bb::UltraCircuitBuilder>

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

Function Documentation

ignore_unused()

template<class T >

void ignore_unused

(

T &

)

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

TYPED_TEST() [1/49]

TYPED_TEST	(	stdlib_field	,
		test_accumulate
	)

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

TYPED_TEST() [2/49]

TYPED_TEST	(	stdlib_field	,
		test_add
	)

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

TYPED_TEST() [3/49]

TYPED_TEST	(	stdlib_field	,
		test_add_mul_with_constants
	)

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

TYPED_TEST() [4/49]

TYPED_TEST	(	stdlib_field	,
		test_add_two
	)

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

TYPED_TEST() [5/49]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal
	)

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

TYPED_TEST() [6/49]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal_gate_count
	)

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

TYPED_TEST() [7/49]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set
	)

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

TYPED_TEST() [8/49]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set_fails
	)

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

TYPED_TEST() [9/49]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_not_zero
	)

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

TYPED_TEST() [10/49]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_zero
	)

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

TYPED_TEST() [11/49]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion
	)

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

TYPED_TEST() [12/49]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion_regression
	)

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

TYPED_TEST() [13/49]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign
	)

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

TYPED_TEST() [14/49]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign_regression
	)

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

TYPED_TEST() [15/49]

TYPED_TEST	(	stdlib_field	,
		test_conditional_negate
	)

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

TYPED_TEST() [16/49]

TYPED_TEST	(	stdlib_field	,
		test_constructor_from_witness
	)

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

TYPED_TEST() [17/49]

TYPED_TEST	(	stdlib_field	,
		test_copy_as_new_witness
	)

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

TYPED_TEST() [18/49]

TYPED_TEST	(	stdlib_field	,
		test_create_range_constraint
	)

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

TYPED_TEST() [19/49]

TYPED_TEST	(	stdlib_field	,
		test_div
	)

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

TYPED_TEST() [20/49]

TYPED_TEST	(	stdlib_field	,
		test_div_edge_cases
	)

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

TYPED_TEST() [21/49]

TYPED_TEST	(	stdlib_field	,
		test_equality
	)

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

TYPED_TEST() [22/49]

TYPED_TEST	(	stdlib_field	,
		test_equality_false
	)

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

TYPED_TEST() [23/49]

TYPED_TEST	(	stdlib_field	,
		test_equality_with_constants
	)

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

TYPED_TEST() [24/49]

TYPED_TEST	(	stdlib_field	,
		test_field_fibbonaci
	)

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

TYPED_TEST() [25/49]

TYPED_TEST	(	stdlib_field	,
		test_field_pythagorean
	)

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

TYPED_TEST() [26/49]

TYPED_TEST	(	stdlib_field	,
		test_fix_witness
	)

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

TYPED_TEST() [27/49]

TYPED_TEST	(	stdlib_field	,
		test_invert
	)

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

TYPED_TEST() [28/49]

TYPED_TEST	(	stdlib_field	,
		test_invert_zero
	)

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

TYPED_TEST() [29/49]

TYPED_TEST	(	stdlib_field	,
		test_is_zero
	)

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

TYPED_TEST() [30/49]

TYPED_TEST	(	stdlib_field	,
		test_larger_circuit
	)

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

TYPED_TEST() [31/49]

TYPED_TEST	(	stdlib_field	,
		test_madd
	)

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

TYPED_TEST() [32/49]

TYPED_TEST	(	stdlib_field	,
		test_madd_add_two_gate_count
	)

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

TYPED_TEST() [33/49]

TYPED_TEST	(	stdlib_field	,
		test_multiplicative_constant_regression
	)

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

TYPED_TEST() [34/49]

TYPED_TEST	(	stdlib_field	,
		test_origin_tag_consistency
	)

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

TYPED_TEST() [35/49]

TYPED_TEST	(	stdlib_field	,
		test_postfix_increment
	)

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

TYPED_TEST() [36/49]

TYPED_TEST	(	stdlib_field	,
		test_pow_32
	)

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

TYPED_TEST() [37/49]

TYPED_TEST	(	stdlib_field	,
		test_pow_constant_exponent_out_of_range_32
	)

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

TYPED_TEST() [38/49]

TYPED_TEST	(	stdlib_field	,
		test_pow_constant_exponent_out_of_range_op_queue
	)

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

TYPED_TEST() [39/49]

TYPED_TEST	(	stdlib_field	,
		test_pow_op_queue
	)

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

TYPED_TEST() [40/49]

TYPED_TEST	(	stdlib_field	,
		test_pow_witness_exponent_out_of_range_32
	)

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

TYPED_TEST() [41/49]

TYPED_TEST	(	stdlib_field	,
		test_pow_witness_exponent_out_of_range_op_queue
	)

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

TYPED_TEST() [42/49]

TYPED_TEST	(	stdlib_field	,
		test_prefix_increment
	)

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

TYPED_TEST() [43/49]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than
	)

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

TYPED_TEST() [44/49]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than_max_num_bits
	)

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

TYPED_TEST() [45/49]

TYPED_TEST	(	stdlib_field	,
		test_split_at
	)

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

TYPED_TEST() [46/49]

TYPED_TEST	(	stdlib_field	,
		test_three_bit_table
	)

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

TYPED_TEST() [47/49]

TYPED_TEST	(	stdlib_field	,
		test_two_bit_table
	)

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

TYPED_TEST() [48/49]

TYPED_TEST	(	stdlib_field	,
		test_validate_container_context
	)

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

TYPED_TEST() [49/49]

TYPED_TEST	(	stdlib_field	,
		test_validate_context
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_field	,
		CircuitTypes
	)