biggroup.test.cpp File Reference

#include "../biggroup/biggroup.hpp"
#include "../bigfield/bigfield.hpp"
#include "../bool/bool.hpp"
#include "../field/field.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <vector>

Go to the source code of this file.

Classes
struct	TestType< _Curve, _use_bigfield >
class	stdlib_biggroup< TestType >

Concepts
concept	HasGoblinBuilder

Typedefs
using	TestTypes = testing::Types< TestType< stdlib::bn254< bb::UltraCircuitBuilder >, UseBigfield::Yes >, TestType< stdlib::bn254< bb::MegaCircuitBuilder >, UseBigfield::No > >

Enumerations
enum	UseBigfield { No , Yes }

Functions
	TYPED_TEST_SUITE (stdlib_biggroup, TestTypes)
	TYPED_TEST (stdlib_biggroup, basic_tag_logic)
	TYPED_TEST (stdlib_biggroup, add)
	TYPED_TEST (stdlib_biggroup, add_points_at_infinity)
	TYPED_TEST (stdlib_biggroup, standard_form_of_point_at_infinity)
	TYPED_TEST (stdlib_biggroup, sub)
	TYPED_TEST (stdlib_biggroup, sub_points_at_infinity)
	TYPED_TEST (stdlib_biggroup, dbl)
	TYPED_TEST (stdlib_biggroup, conditional_negate)
	TYPED_TEST (stdlib_biggroup, conditional_select)
	TYPED_TEST (stdlib_biggroup, incomplete_assert_equal)
	TYPED_TEST (stdlib_biggroup, incomplete_assert_equal_fails)
	TYPED_TEST (stdlib_biggroup, incomplete_assert_equal_edge_cases)
	TYPED_TEST (stdlib_biggroup, montgomery_ladder)
	HEAVY_TYPED_TEST (stdlib_biggroup, mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, short_scalar_mul_2_126_bits)
	HEAVY_TYPED_TEST (stdlib_biggroup, short_scalar_mul_128_252_bits)
	HEAVY_TYPED_TEST (stdlib_biggroup, short_scalar_mul_infinity)
	HEAVY_TYPED_TEST (stdlib_biggroup, twin_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, triple_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, quad_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, one)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_edgecase_equivalence)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_edge_case_set1)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_edge_case_set2)
	HEAVY_TYPED_TEST (stdlib_biggroup, chain_add)
	HEAVY_TYPED_TEST (stdlib_biggroup, multiple_montgomery_ladder)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_naf)
	HEAVY_TYPED_TEST (stdlib_biggroup, wnaf_batch_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, wnaf_batch_mul_edge_cases)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_wnaf)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_short_scalars)
	HEAVY_TYPED_TEST (stdlib_biggroup, wnaf_batch_mul_128_bit)
	HEAVY_TYPED_TEST (stdlib_biggroup, wnaf_batch_4)
	HEAVY_TYPED_TEST (stdlib_biggroup, bn254_endo_batch_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, mixed_mul_bn254_endo)

Typedef Documentation

TestTypes

using TestTypes = testing::Types<TestType<stdlib::bn254<bb::UltraCircuitBuilder>, UseBigfield::Yes>, TestType<stdlib::bn254<bb::MegaCircuitBuilder>, UseBigfield::No> >

Definition at line 1848 of file biggroup.test.cpp.

Enumeration Type Documentation

UseBigfield

enum UseBigfield

Enumerator
No
Yes

Definition at line 1847 of file biggroup.test.cpp.

Function Documentation

HEAVY_TYPED_TEST() [1/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul
	)

Definition at line 1970 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [2/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

Definition at line 1983 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [3/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

Definition at line 1988 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [4/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

Definition at line 1975 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [5/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_short_scalars
	)

Definition at line 2057 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [6/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		bn254_endo_batch_mul
	)

Definition at line 2091 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [7/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

Definition at line 1992 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [8/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

Definition at line 2011 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [9/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_wnaf
	)

Definition at line 2046 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [10/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mixed_mul_bn254_endo
	)

Definition at line 2103 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [11/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

Definition at line 1911 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [12/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

Definition at line 2001 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [13/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

Definition at line 1966 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [14/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		quad_mul
	)

Definition at line 1958 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [15/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_128_252_bits
	)

Definition at line 1924 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [16/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_2_126_bits
	)

Definition at line 1916 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [17/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

Definition at line 1933 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [18/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		triple_mul
	)

Definition at line 1950 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [19/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

Definition at line 1942 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [20/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		wnaf_batch_4
	)

Definition at line 2081 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [21/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		wnaf_batch_mul
	)

Definition at line 2025 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [22/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		wnaf_batch_mul_128_bit
	)

Definition at line 2069 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [23/23]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		wnaf_batch_mul_edge_cases
	)

Definition at line 2035 of file biggroup.test.cpp.

TYPED_TEST() [1/13]

TYPED_TEST	(	stdlib_biggroup	,
		add
	)

Definition at line 1857 of file biggroup.test.cpp.

TYPED_TEST() [2/13]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

Definition at line 1862 of file biggroup.test.cpp.

TYPED_TEST() [3/13]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

Definition at line 1853 of file biggroup.test.cpp.

TYPED_TEST() [4/13]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

Definition at line 1883 of file biggroup.test.cpp.

TYPED_TEST() [5/13]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

Definition at line 1887 of file biggroup.test.cpp.

TYPED_TEST() [6/13]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

Definition at line 1879 of file biggroup.test.cpp.

TYPED_TEST() [7/13]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

Definition at line 1891 of file biggroup.test.cpp.

TYPED_TEST() [8/13]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_edge_cases
	)

Definition at line 1899 of file biggroup.test.cpp.

TYPED_TEST() [9/13]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

Definition at line 1895 of file biggroup.test.cpp.

TYPED_TEST() [10/13]

TYPED_TEST	(	stdlib_biggroup	,
		montgomery_ladder
	)

Definition at line 1903 of file biggroup.test.cpp.

TYPED_TEST() [11/13]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

Definition at line 1866 of file biggroup.test.cpp.

TYPED_TEST() [12/13]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

Definition at line 1870 of file biggroup.test.cpp.

TYPED_TEST() [13/13]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

Definition at line 1874 of file biggroup.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)