bigfield.test.cpp File Reference

#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>

Go to the source code of this file.

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 >::BaseField, typename bb::stdlib::secp256k1< UltraCircuitBuilder >::ScalarField, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::BaseField, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::ScalarField >

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, byte_array_constructor_boundary_values)
	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)
	TYPED_TEST (stdlib_bigfield, less_than_works)

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 703 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 609 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>::BaseField, typename bb::stdlib::secp256k1<UltraCircuitBuilder>::ScalarField, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::BaseField, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::ScalarField>

Definition at line 2190 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/88]

TYPED_TEST	(	stdlib_bigfield	,
		add
	)

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

TYPED_TEST() [2/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_div
	)

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

TYPED_TEST() [3/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul
	)

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

TYPED_TEST() [4/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul_with_constants
	)

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

TYPED_TEST() [5/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment
	)

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

TYPED_TEST() [6/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment_with_constant
	)

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

TYPED_TEST() [7/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_to_lower_limb_regression
	)

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

TYPED_TEST() [8/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_two
	)

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

TYPED_TEST() [9/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_two_with_constants
	)

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

TYPED_TEST() [10/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_with_constant
	)

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

TYPED_TEST() [11/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_equal_not_equal
	)

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

TYPED_TEST() [12/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_fails
	)

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

TYPED_TEST() [13/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_success
	)

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

TYPED_TEST() [14/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_fails
	)

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

TYPED_TEST() [15/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_success
	)

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

TYPED_TEST() [16/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_not_equal_regression
	)

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

TYPED_TEST() [17/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_computed_zero
	)

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

TYPED_TEST() [18/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_false_predicate
	)

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

TYPED_TEST() [19/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_true_predicate_fails
	)

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

TYPED_TEST() [20/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_zero_value
	)

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

TYPED_TEST() [21/88]

TYPED_TEST	(	stdlib_bigfield	,
		badmul
	)

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

TYPED_TEST() [22/88]

TYPED_TEST	(	stdlib_bigfield	,
		basic_tag_logic
	)

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

TYPED_TEST() [23/88]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructor_boundary_values
	)

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

TYPED_TEST() [24/88]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructors
	)

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

TYPED_TEST() [25/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign
	)

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

TYPED_TEST() [26/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign_with_constants
	)

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

TYPED_TEST() [27/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate
	)

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

TYPED_TEST() [28/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [29/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select
	)

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

TYPED_TEST() [30/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_regression
	)

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

TYPED_TEST() [31/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [32/88]

TYPED_TEST	(	stdlib_bigfield	,
		div
	)

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

TYPED_TEST() [33/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment
	)

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

TYPED_TEST() [34/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment_with_constant
	)

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

TYPED_TEST() [35/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_with_constant
	)

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

TYPED_TEST() [36/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check
	)

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

TYPED_TEST() [37/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check_with_constant
	)

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

TYPED_TEST() [38/88]

TYPED_TEST	(	stdlib_bigfield	,
		division_context
	)

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

TYPED_TEST() [39/88]

TYPED_TEST	(	stdlib_bigfield	,
		division_formula_regression
	)

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

TYPED_TEST() [40/88]

TYPED_TEST	(	stdlib_bigfield	,
		dual_madd
	)

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

TYPED_TEST() [41/88]

TYPED_TEST	(	stdlib_bigfield	,
		equality
	)

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

TYPED_TEST() [42/88]

TYPED_TEST	(	stdlib_bigfield	,
		equality_with_constants
	)

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

TYPED_TEST() [43/88]

TYPED_TEST	(	stdlib_bigfield	,
		group_operations
	)

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

TYPED_TEST() [44/88]

TYPED_TEST	(	stdlib_bigfield	,
		internal_div_bug_regression
	)

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

TYPED_TEST() [45/88]

TYPED_TEST	(	stdlib_bigfield	,
		inverse
	)

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

TYPED_TEST() [46/88]

TYPED_TEST	(	stdlib_bigfield	,
		less_than_works
	)

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

TYPED_TEST() [47/88]

TYPED_TEST	(	stdlib_bigfield	,
		madd
	)

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

TYPED_TEST() [48/88]

TYPED_TEST	(	stdlib_bigfield	,
		madd_with_constants
	)

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

TYPED_TEST() [49/88]

TYPED_TEST	(	stdlib_bigfield	,
		msb_div_ctx_crash_regression
	)

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

TYPED_TEST() [50/88]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div
	)

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

TYPED_TEST() [51/88]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div_with_constants
	)

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

TYPED_TEST() [52/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul
	)

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

TYPED_TEST() [53/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment
	)

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

TYPED_TEST() [54/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment_with_constant
	)

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

TYPED_TEST() [55/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul_with_constant
	)

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

TYPED_TEST() [56/88]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd
	)

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

TYPED_TEST() [57/88]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_edge_cases
	)

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

TYPED_TEST() [58/88]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_with_constants
	)

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

TYPED_TEST() [59/88]

TYPED_TEST	(	stdlib_bigfield	,
		negate
	)

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

TYPED_TEST() [60/88]

TYPED_TEST	(	stdlib_bigfield	,
		nonnormalized_field_bug_regression
	)

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

TYPED_TEST() [61/88]

TYPED_TEST	(	stdlib_bigfield	,
		pow
	)

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

TYPED_TEST() [62/88]

TYPED_TEST	(	stdlib_bigfield	,
		pow_one
	)

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

TYPED_TEST() [63/88]

TYPED_TEST	(	stdlib_bigfield	,
		quotient_completeness_regression
	)

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

TYPED_TEST() [64/88]

TYPED_TEST	(	stdlib_bigfield	,
		reduce
	)

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

TYPED_TEST() [65/88]

TYPED_TEST	(	stdlib_bigfield	,
		reduce_mod_target_modulus
	)

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

TYPED_TEST() [66/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqr
	)

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

TYPED_TEST() [67/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqr_with_constant
	)

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

TYPED_TEST() [68/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd
	)

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

TYPED_TEST() [69/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd_with_constant
	)

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

TYPED_TEST() [70/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub
	)

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

TYPED_TEST() [71/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul
	)

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

TYPED_TEST() [72/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul_with_constants
	)

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

TYPED_TEST() [73/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment
	)

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

TYPED_TEST() [74/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment_with_constant
	)

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

TYPED_TEST() [75/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_with_constant
	)

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

TYPED_TEST() [76/88]

TYPED_TEST	(	stdlib_bigfield	,
		sum
	)

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

TYPED_TEST() [77/88]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_constant
	)

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

TYPED_TEST() [78/88]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_mixed_inputs
	)

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

TYPED_TEST() [79/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs
	)

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

TYPED_TEST() [80/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs_fails
	)

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

TYPED_TEST() [81/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_constructor
	)

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

TYPED_TEST() [82/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_unsafe_construct_from_limbs
	)

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

TYPED_TEST() [83/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than
	)

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

TYPED_TEST() [84/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than_fails
	)

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

TYPED_TEST() [85/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add
	)

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

TYPED_TEST() [86/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add_fails
	)

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

TYPED_TEST() [87/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add
	)

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

TYPED_TEST() [88/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add_fails
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_bigfield	,
		CircuitTypes
	)