#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/ecc/curves/bn254/fq.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "../bool/bool.hpp"
#include "../byte_array/byte_array.hpp"
#include "../field/field.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/uintx/uintx.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256r1.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <gtest/gtest.h>
#include <memory>
#include <utility>

Classes
struct	extract_builder< BigField< Builder, Params > >

struct	extract_fq_params< BigField< Builder, Params > >

class	stdlib_bigfield< BigField >

Macros
#define	BINARY_OP_TEST(op_name, bench_name, op_symbol, repetitions, reduced_inputs, reduction_after)

#define	ASSIGNMENT_OP_TEST(op_name, bench_name, op_symbol, repetitions, reduced_inputs, reduction_after)

Typedefs
template<typename BigField >
using	builder_t = typename extract_builder< BigField >::type

template<typename BigField >
using	params_t = typename extract_fq_params< BigField >::type

using	CircuitTypes = testing::Types< typename bb::stdlib::bn254< UltraCircuitBuilder >::BaseField, typename bb::stdlib::secp256k1< UltraCircuitBuilder >::fq_ct, typename bb::stdlib::secp256k1< UltraCircuitBuilder >::bigfr_ct, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::fq_ct, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::bigfr_ct >

Enumerations
enum struct	InputType { WITNESS , CONSTANT , WITNESS , CONSTANT , WITNESS , CONSTANT }

Functions
constexpr InputType	operator! (InputType type)

	TYPED_TEST_SUITE (stdlib_bigfield, CircuitTypes)

	TYPED_TEST (stdlib_bigfield, assert_not_equal_regression)

	TYPED_TEST (stdlib_bigfield, add_to_lower_limb_regression)

	TYPED_TEST (stdlib_bigfield, badmul)

	TYPED_TEST (stdlib_bigfield, division_formula_regression)

	TYPED_TEST (stdlib_bigfield, basic_tag_logic)

	TYPED_TEST (stdlib_bigfield, test_constructor)

	TYPED_TEST (stdlib_bigfield, test_unsafe_construct_from_limbs)

	TYPED_TEST (stdlib_bigfield, test_construct_from_limbs)

	TYPED_TEST (stdlib_bigfield, test_construct_from_limbs_fails)

	TYPED_TEST (stdlib_bigfield, add_two)

	TYPED_TEST (stdlib_bigfield, add_two_with_constants)

	TYPED_TEST (stdlib_bigfield, sum)

	TYPED_TEST (stdlib_bigfield, sum_with_mixed_inputs)

	TYPED_TEST (stdlib_bigfield, sum_with_constant)

	TYPED_TEST (stdlib_bigfield, mul)

	TYPED_TEST (stdlib_bigfield, mul_with_constant)

	TYPED_TEST (stdlib_bigfield, sub)

	TYPED_TEST (stdlib_bigfield, sub_with_constant)

	TYPED_TEST (stdlib_bigfield, add)

	TYPED_TEST (stdlib_bigfield, add_with_constant)

	TYPED_TEST (stdlib_bigfield, div)

	TYPED_TEST (stdlib_bigfield, div_with_constant)

	TYPED_TEST (stdlib_bigfield, sqr)

	TYPED_TEST (stdlib_bigfield, sqr_with_constant)

	TYPED_TEST (stdlib_bigfield, negate)

	TYPED_TEST (stdlib_bigfield, mul_assignment)

	TYPED_TEST (stdlib_bigfield, mul_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, add_assignment)

	TYPED_TEST (stdlib_bigfield, add_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, sub_assignment)

	TYPED_TEST (stdlib_bigfield, sub_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, div_assignment)

	TYPED_TEST (stdlib_bigfield, div_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, madd)

	TYPED_TEST (stdlib_bigfield, madd_with_constants)

	TYPED_TEST (stdlib_bigfield, sqradd)

	TYPED_TEST (stdlib_bigfield, sqradd_with_constant)

	TYPED_TEST (stdlib_bigfield, mult_madd)

	TYPED_TEST (stdlib_bigfield, mult_madd_with_constants)

	TYPED_TEST (stdlib_bigfield, mult_madd_edge_cases)

	TYPED_TEST (stdlib_bigfield, dual_madd)

	TYPED_TEST (stdlib_bigfield, div_without_denominator_check)

	TYPED_TEST (stdlib_bigfield, div_without_denominator_check_with_constant)

	TYPED_TEST (stdlib_bigfield, add_and_div)

	TYPED_TEST (stdlib_bigfield, add_and_mul)

	TYPED_TEST (stdlib_bigfield, add_and_mul_with_constants)

	TYPED_TEST (stdlib_bigfield, sub_and_mul)

	TYPED_TEST (stdlib_bigfield, sub_and_mul_with_constants)

	TYPED_TEST (stdlib_bigfield, msub_div)

	TYPED_TEST (stdlib_bigfield, msub_div_with_constants)

	TYPED_TEST (stdlib_bigfield, conditional_assign)

	TYPED_TEST (stdlib_bigfield, conditional_assign_with_constants)

	TYPED_TEST (stdlib_bigfield, conditional_select)

	TYPED_TEST (stdlib_bigfield, conditional_select_with_constants)

	TYPED_TEST (stdlib_bigfield, msb_div_ctx_crash_regression)

	TYPED_TEST (stdlib_bigfield, conditional_negate)

	TYPED_TEST (stdlib_bigfield, conditional_negate_with_constants)

	TYPED_TEST (stdlib_bigfield, group_operations)

	TYPED_TEST (stdlib_bigfield, reduce)

	TYPED_TEST (stdlib_bigfield, equality)

	TYPED_TEST (stdlib_bigfield, equality_with_constants)

	TYPED_TEST (stdlib_bigfield, unsafe_assert_less_than)

	TYPED_TEST (stdlib_bigfield, unsafe_assert_less_than_fails)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiply_add)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiply_add_fails)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiple_multiply_add)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiple_multiply_add_fails)

	TYPED_TEST (stdlib_bigfield, assert_is_in_field_success)

	TYPED_TEST (stdlib_bigfield, assert_is_in_field_fails)

	TYPED_TEST (stdlib_bigfield, assert_less_than_success)

	TYPED_TEST (stdlib_bigfield, assert_less_than_fails)

	TYPED_TEST (stdlib_bigfield, reduce_mod_target_modulus)

	TYPED_TEST (stdlib_bigfield, byte_array_constructors)

	TYPED_TEST (stdlib_bigfield, quotient_completeness_regression)

	TYPED_TEST (stdlib_bigfield, conditional_select_regression)

	TYPED_TEST (stdlib_bigfield, division_context)

	TYPED_TEST (stdlib_bigfield, inverse)

	TYPED_TEST (stdlib_bigfield, assert_equal_not_equal)

	TYPED_TEST (stdlib_bigfield, pow)

	TYPED_TEST (stdlib_bigfield, pow_one)

	TYPED_TEST (stdlib_bigfield, nonnormalized_field_bug_regression)

	TYPED_TEST (stdlib_bigfield, internal_div_bug_regression)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_zero_value)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_nonzero_value_false_predicate)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_nonzero_value_true_predicate_fails)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_computed_zero)

Macro Definition Documentation

◆ ASSIGNMENT_OP_TEST

#define ASSIGNMENT_OP_TEST	(	op_name,
		bench_name,
		op_symbol,
		repetitions,
		reduced_inputs,
		reduction_after
	)

Value:

    static void test_##op_name(InputType a_type, InputType b_type)                                                     \
    {                                                                                                                  \
        test_assign_operator_generic(                                                                                  \
            a_type,                                                                                                    \
            b_type,                                                                                                    \
            [](fq_ct& a, const fq_ct& b) { a op_symbol## = b; },                                                       \
            [](const fq_native& a, const fq_native& b) { return a op_symbol b; },                                      \
            #bench_name,                                                                                               \
            repetitions,                                                                                               \
            reduced_inputs,                                                                                            \
            reduction_after);                                                                                          \
    }

Definition at line 612 of file bigfield.test.cpp.

◆ BINARY_OP_TEST

#define BINARY_OP_TEST	(	op_name,
		bench_name,
		op_symbol,
		repetitions,
		reduced_inputs,
		reduction_after
	)

Value:

    static void test_##op_name(InputType a_type, InputType b_type)                                                     \
    {                                                                                                                  \
        test_binary_operator_generic(                                                                                  \
            a_type,                                                                                                    \
            b_type,                                                                                                    \
            [](const fq_ct& a, const fq_ct& b) { return a op_symbol b; },                                              \
            [](const fq_native& a, const fq_native& b) { return a op_symbol b; },                                      \
            #bench_name,                                                                                               \
            repetitions,                                                                                               \
            reduced_inputs,                                                                                            \
            reduction_after);                                                                                          \
    }

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

Typedef Documentation

◆ builder_t

template<typename BigField >

using builder_t = typename extract_builder<BigField>::type

Definition at line 52 of file bigfield.test.cpp.

◆ CircuitTypes

using CircuitTypes = testing::Types<typename bb::stdlib::bn254<UltraCircuitBuilder>::BaseField, typename bb::stdlib::secp256k1<UltraCircuitBuilder>::fq_ct, typename bb::stdlib::secp256k1<UltraCircuitBuilder>::bigfr_ct, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::fq_ct, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::bigfr_ct>

Definition at line 2137 of file bigfield.test.cpp.

◆ params_t

template<typename BigField >

using params_t = typename extract_fq_params<BigField>::type

Definition at line 53 of file bigfield.test.cpp.

Enumeration Type Documentation

◆ InputType

enum struct InputType

strong

Enumerator
WITNESS
CONSTANT
WITNESS
CONSTANT
WITNESS
CONSTANT

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

Function Documentation

◆ operator!()

constexpr InputType operator! ( InputType type )

constexpr

Definition at line 33 of file bigfield.test.cpp.

◆ TYPED_TEST() [1/86]

TYPED_TEST	(	stdlib_bigfield	,
		add
	)

Definition at line 2229 of file bigfield.test.cpp.

◆ TYPED_TEST() [2/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_div
	)

Definition at line 2358 of file bigfield.test.cpp.

◆ TYPED_TEST() [3/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul
	)

Definition at line 2362 of file bigfield.test.cpp.

◆ TYPED_TEST() [4/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul_with_constants
	)

Definition at line 2366 of file bigfield.test.cpp.

◆ TYPED_TEST() [5/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment
	)

Definition at line 2271 of file bigfield.test.cpp.

◆ TYPED_TEST() [6/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment_with_constant
	)

Definition at line 2275 of file bigfield.test.cpp.

◆ TYPED_TEST() [7/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_to_lower_limb_regression
	)

Definition at line 2150 of file bigfield.test.cpp.

◆ TYPED_TEST() [8/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_two
	)

Definition at line 2183 of file bigfield.test.cpp.

◆ TYPED_TEST() [9/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_two_with_constants
	)

Definition at line 2187 of file bigfield.test.cpp.

◆ TYPED_TEST() [10/86]

TYPED_TEST	(	stdlib_bigfield	,
		add_with_constant
	)

Definition at line 2233 of file bigfield.test.cpp.

◆ TYPED_TEST() [11/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_equal_not_equal
	)

Definition at line 2530 of file bigfield.test.cpp.

◆ TYPED_TEST() [12/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_fails
	)

Definition at line 2490 of file bigfield.test.cpp.

◆ TYPED_TEST() [13/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_success
	)

Definition at line 2486 of file bigfield.test.cpp.

◆ TYPED_TEST() [14/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_fails
	)

Definition at line 2498 of file bigfield.test.cpp.

◆ TYPED_TEST() [15/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_success
	)

Definition at line 2494 of file bigfield.test.cpp.

◆ TYPED_TEST() [16/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_not_equal_regression
	)

Definition at line 2145 of file bigfield.test.cpp.

◆ TYPED_TEST() [17/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_computed_zero
	)

Definition at line 2589 of file bigfield.test.cpp.

◆ TYPED_TEST() [18/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_false_predicate
	)

Definition at line 2570 of file bigfield.test.cpp.

◆ TYPED_TEST() [19/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_true_predicate_fails
	)

Definition at line 2579 of file bigfield.test.cpp.

◆ TYPED_TEST() [20/86]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_zero_value
	)

Definition at line 2557 of file bigfield.test.cpp.

◆ TYPED_TEST() [21/86]

TYPED_TEST	(	stdlib_bigfield	,
		badmul
	)

Definition at line 2154 of file bigfield.test.cpp.

◆ TYPED_TEST() [22/86]

TYPED_TEST	(	stdlib_bigfield	,
		basic_tag_logic
	)

Definition at line 2163 of file bigfield.test.cpp.

◆ TYPED_TEST() [23/86]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructors
	)

Definition at line 2506 of file bigfield.test.cpp.

◆ TYPED_TEST() [24/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign
	)

Definition at line 2398 of file bigfield.test.cpp.

◆ TYPED_TEST() [25/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign_with_constants
	)

Definition at line 2402 of file bigfield.test.cpp.

◆ TYPED_TEST() [26/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate
	)

Definition at line 2428 of file bigfield.test.cpp.

◆ TYPED_TEST() [27/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate_with_constants
	)

Definition at line 2432 of file bigfield.test.cpp.

◆ TYPED_TEST() [28/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select
	)

Definition at line 2411 of file bigfield.test.cpp.

◆ TYPED_TEST() [29/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_regression
	)

Definition at line 2515 of file bigfield.test.cpp.

◆ TYPED_TEST() [30/86]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_with_constants
	)

Definition at line 2415 of file bigfield.test.cpp.

◆ TYPED_TEST() [31/86]

TYPED_TEST	(	stdlib_bigfield	,
		div
	)

Definition at line 2239 of file bigfield.test.cpp.

◆ TYPED_TEST() [32/86]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment
	)

Definition at line 2291 of file bigfield.test.cpp.

◆ TYPED_TEST() [33/86]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment_with_constant
	)

Definition at line 2295 of file bigfield.test.cpp.

◆ TYPED_TEST() [34/86]

TYPED_TEST	(	stdlib_bigfield	,
		div_with_constant
	)

Definition at line 2243 of file bigfield.test.cpp.

◆ TYPED_TEST() [35/86]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check
	)

Definition at line 2348 of file bigfield.test.cpp.

◆ TYPED_TEST() [36/86]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check_with_constant
	)

Definition at line 2352 of file bigfield.test.cpp.

◆ TYPED_TEST() [37/86]

TYPED_TEST	(	stdlib_bigfield	,
		division_context
	)

Definition at line 2520 of file bigfield.test.cpp.

◆ TYPED_TEST() [38/86]

TYPED_TEST	(	stdlib_bigfield	,
		division_formula_regression
	)

Definition at line 2159 of file bigfield.test.cpp.

◆ TYPED_TEST() [39/86]

TYPED_TEST	(	stdlib_bigfield	,
		dual_madd
	)

Definition at line 2344 of file bigfield.test.cpp.

◆ TYPED_TEST() [40/86]

TYPED_TEST	(	stdlib_bigfield	,
		equality
	)

Definition at line 2450 of file bigfield.test.cpp.

◆ TYPED_TEST() [41/86]

TYPED_TEST	(	stdlib_bigfield	,
		equality_with_constants
	)

Definition at line 2454 of file bigfield.test.cpp.

◆ TYPED_TEST() [42/86]

TYPED_TEST	(	stdlib_bigfield	,
		group_operations
	)

Definition at line 2438 of file bigfield.test.cpp.

◆ TYPED_TEST() [43/86]

TYPED_TEST	(	stdlib_bigfield	,
		internal_div_bug_regression
	)

Definition at line 2549 of file bigfield.test.cpp.

◆ TYPED_TEST() [44/86]

TYPED_TEST	(	stdlib_bigfield	,
		inverse
	)

Definition at line 2525 of file bigfield.test.cpp.

◆ TYPED_TEST() [45/86]

TYPED_TEST	(	stdlib_bigfield	,
		madd
	)

Definition at line 2301 of file bigfield.test.cpp.

◆ TYPED_TEST() [46/86]

TYPED_TEST	(	stdlib_bigfield	,
		madd_with_constants
	)

Definition at line 2305 of file bigfield.test.cpp.

◆ TYPED_TEST() [47/86]

TYPED_TEST	(	stdlib_bigfield	,
		msb_div_ctx_crash_regression
	)

Definition at line 2424 of file bigfield.test.cpp.

◆ TYPED_TEST() [48/86]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div
	)

Definition at line 2378 of file bigfield.test.cpp.

◆ TYPED_TEST() [49/86]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div_with_constants
	)

Definition at line 2383 of file bigfield.test.cpp.

◆ TYPED_TEST() [50/86]

TYPED_TEST	(	stdlib_bigfield	,
		mul
	)

Definition at line 2209 of file bigfield.test.cpp.

◆ TYPED_TEST() [51/86]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment
	)

Definition at line 2261 of file bigfield.test.cpp.

◆ TYPED_TEST() [52/86]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment_with_constant
	)

Definition at line 2265 of file bigfield.test.cpp.

◆ TYPED_TEST() [53/86]

TYPED_TEST	(	stdlib_bigfield	,
		mul_with_constant
	)

Definition at line 2213 of file bigfield.test.cpp.

◆ TYPED_TEST() [54/86]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd
	)

Definition at line 2326 of file bigfield.test.cpp.

◆ TYPED_TEST() [55/86]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_edge_cases
	)

Definition at line 2337 of file bigfield.test.cpp.

◆ TYPED_TEST() [56/86]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_with_constants
	)

Definition at line 2330 of file bigfield.test.cpp.

◆ TYPED_TEST() [57/86]

TYPED_TEST	(	stdlib_bigfield	,
		negate
	)

Definition at line 2257 of file bigfield.test.cpp.

◆ TYPED_TEST() [58/86]

TYPED_TEST	(	stdlib_bigfield	,
		nonnormalized_field_bug_regression
	)

Definition at line 2544 of file bigfield.test.cpp.

◆ TYPED_TEST() [59/86]

TYPED_TEST	(	stdlib_bigfield	,
		pow
	)

Definition at line 2535 of file bigfield.test.cpp.

◆ TYPED_TEST() [60/86]

TYPED_TEST	(	stdlib_bigfield	,
		pow_one
	)

Definition at line 2540 of file bigfield.test.cpp.

◆ TYPED_TEST() [61/86]

TYPED_TEST	(	stdlib_bigfield	,
		quotient_completeness_regression
	)

Definition at line 2510 of file bigfield.test.cpp.

◆ TYPED_TEST() [62/86]

TYPED_TEST	(	stdlib_bigfield	,
		reduce
	)

Definition at line 2446 of file bigfield.test.cpp.

◆ TYPED_TEST() [63/86]

TYPED_TEST	(	stdlib_bigfield	,
		reduce_mod_target_modulus
	)

Definition at line 2502 of file bigfield.test.cpp.

◆ TYPED_TEST() [64/86]

TYPED_TEST	(	stdlib_bigfield	,
		sqr
	)

Definition at line 2249 of file bigfield.test.cpp.

◆ TYPED_TEST() [65/86]

TYPED_TEST	(	stdlib_bigfield	,
		sqr_with_constant
	)

Definition at line 2253 of file bigfield.test.cpp.

◆ TYPED_TEST() [66/86]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd
	)

Definition at line 2316 of file bigfield.test.cpp.

◆ TYPED_TEST() [67/86]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd_with_constant
	)

Definition at line 2320 of file bigfield.test.cpp.

◆ TYPED_TEST() [68/86]

TYPED_TEST	(	stdlib_bigfield	,
		sub
	)

Definition at line 2219 of file bigfield.test.cpp.

◆ TYPED_TEST() [69/86]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul
	)

Definition at line 2370 of file bigfield.test.cpp.

◆ TYPED_TEST() [70/86]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul_with_constants
	)

Definition at line 2374 of file bigfield.test.cpp.

◆ TYPED_TEST() [71/86]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment
	)

Definition at line 2281 of file bigfield.test.cpp.

◆ TYPED_TEST() [72/86]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment_with_constant
	)

Definition at line 2285 of file bigfield.test.cpp.

◆ TYPED_TEST() [73/86]

TYPED_TEST	(	stdlib_bigfield	,
		sub_with_constant
	)

Definition at line 2223 of file bigfield.test.cpp.

◆ TYPED_TEST() [74/86]

TYPED_TEST	(	stdlib_bigfield	,
		sum
	)

Definition at line 2197 of file bigfield.test.cpp.

◆ TYPED_TEST() [75/86]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_constant
	)

Definition at line 2205 of file bigfield.test.cpp.

◆ TYPED_TEST() [76/86]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_mixed_inputs
	)

Definition at line 2201 of file bigfield.test.cpp.

◆ TYPED_TEST() [77/86]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs
	)

Definition at line 2175 of file bigfield.test.cpp.

◆ TYPED_TEST() [78/86]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs_fails
	)

Definition at line 2179 of file bigfield.test.cpp.

◆ TYPED_TEST() [79/86]

TYPED_TEST	(	stdlib_bigfield	,
		test_constructor
	)

Definition at line 2167 of file bigfield.test.cpp.

◆ TYPED_TEST() [80/86]

TYPED_TEST	(	stdlib_bigfield	,
		test_unsafe_construct_from_limbs
	)

Definition at line 2171 of file bigfield.test.cpp.

◆ TYPED_TEST() [81/86]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than
	)

Definition at line 2461 of file bigfield.test.cpp.

◆ TYPED_TEST() [82/86]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than_fails
	)

Definition at line 2465 of file bigfield.test.cpp.

◆ TYPED_TEST() [83/86]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add
	)

Definition at line 2477 of file bigfield.test.cpp.

◆ TYPED_TEST() [84/86]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add_fails
	)

Definition at line 2481 of file bigfield.test.cpp.

◆ TYPED_TEST() [85/86]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add
	)

Definition at line 2469 of file bigfield.test.cpp.

◆ TYPED_TEST() [86/86]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add_fails
	)

Definition at line 2473 of file bigfield.test.cpp.

◆ TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_bigfield	,
		CircuitTypes
	)

Classes

Macros

Typedefs

Enumerations

Functions