Inheritance diagram for stdlib_biggroup< TestType >:

Static Public Member Functions
static void	test_basic_tag_logic ()

static void	test_add ()

static void	test_add_points_at_infinity ()

static void	test_standard_form_of_point_at_infinity ()
	Check that converting a point at infinity into standard form ensures the coordinates are zeroes.

static void	test_sub ()

static void	test_sub_points_at_infinity ()

static void	test_dbl ()

static void	test_conditional_negate ()

static void	test_conditional_select ()

static void	test_incomplete_assert_equal_success ()

static void	test_incomplete_assert_equal_failure ()

static void	test_incomplete_assert_equal_edge_cases ()

static void	test_montgomery_ladder ()

static void	test_mul ()

static void	test_short_scalar_mul_2_126 ()

static void	test_short_scalar_mul_128_252 ()

static void	test_short_scalar_mul_infinity ()

static void	test_twin_mul ()

static void	test_triple_mul ()

static void	test_quad_mul ()

static void	test_one ()

static void	test_batch_mul ()

static void	test_batch_mul_edgecase_equivalence ()

static void	test_batch_mul_edge_case_set1 ()

static void	test_batch_mul_edge_case_set2 ()

static void	test_chain_add ()

static void	test_multiple_montgomery_ladder ()

static void	test_compute_naf ()

static void	test_compute_wnaf ()

static void	test_wnaf_batch_mul ()

static void	test_wnaf_batch_mul_edge_cases ()

static void	test_batch_mul_short_scalars ()

static void	test_wnaf_batch_mul_128_bit ()

static void	test_wnaf_batch_4 ()

static void	test_bn254_endo_batch_mul ()

static void	test_mixed_mul_bn254_endo ()

Private Types
using	Curve = typename TestType::Curve

using	element_ct = typename TestType::element_ct

using	scalar_ct = typename TestType::scalar_ct

using	fq = typename Curve::BaseFieldNative

using	fr = typename Curve::ScalarFieldNative

using	g1 = typename Curve::GroupNative

using	affine_element = typename g1::affine_element

using	element = typename g1::element

using	Builder = typename Curve::Builder

using	witness_ct = stdlib::witness_t< Builder >

using	bool_ct = stdlib::bool_t< Builder >

Static Private Attributes
static constexpr auto	EXPECT_CIRCUIT_CORRECTNESS

Detailed Description

template<typename TestType>
class stdlib_biggroup< TestType >

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

Member Typedef Documentation

◆ affine_element

template<typename TestType >

using stdlib_biggroup< TestType >::affine_element = typename g1::affine_element

private

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

◆ bool_ct

template<typename TestType >

using stdlib_biggroup< TestType >::bool_ct = stdlib::bool_t<Builder>

private

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

◆ Builder

template<typename TestType >

using stdlib_biggroup< TestType >::Builder = typename Curve::Builder

private

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

◆ Curve

template<typename TestType >

using stdlib_biggroup< TestType >::Curve = typename TestType::Curve

private

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

◆ element

template<typename TestType >

using stdlib_biggroup< TestType >::element = typename g1::element

private

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

◆ element_ct

template<typename TestType >

using stdlib_biggroup< TestType >::element_ct = typename TestType::element_ct

private

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

◆ fq

template<typename TestType >

using stdlib_biggroup< TestType >::fq = typename Curve::BaseFieldNative

private

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

◆ fr

template<typename TestType >

using stdlib_biggroup< TestType >::fr = typename Curve::ScalarFieldNative

private

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

◆ g1

template<typename TestType >

using stdlib_biggroup< TestType >::g1 = typename Curve::GroupNative

private

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

◆ scalar_ct

template<typename TestType >

using stdlib_biggroup< TestType >::scalar_ct = typename TestType::scalar_ct

private

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

◆ witness_ct

template<typename TestType >

using stdlib_biggroup< TestType >::witness_ct = stdlib::witness_t<Builder>

private

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

Member Function Documentation

◆ test_add()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_add ( )

inlinestatic

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

◆ test_add_points_at_infinity()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_add_points_at_infinity ( )

inlinestatic

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

◆ test_basic_tag_logic()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_basic_tag_logic ( )

inlinestatic

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

◆ test_batch_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_batch_mul ( )

inlinestatic

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

◆ test_batch_mul_edge_case_set1()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_batch_mul_edge_case_set1 ( )

inlinestatic

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

◆ test_batch_mul_edge_case_set2()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_batch_mul_edge_case_set2 ( )

inlinestatic

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

◆ test_batch_mul_edgecase_equivalence()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_batch_mul_edgecase_equivalence ( )

inlinestatic

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

◆ test_batch_mul_short_scalars()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_batch_mul_short_scalars ( )

inlinestatic

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

◆ test_bn254_endo_batch_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_bn254_endo_batch_mul ( )

inlinestatic

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

◆ test_chain_add()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_chain_add ( )

inlinestatic

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

◆ test_compute_naf()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_compute_naf ( )

inlinestatic

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

◆ test_compute_wnaf()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_compute_wnaf ( )

inlinestatic

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

◆ test_conditional_negate()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_conditional_negate ( )

inlinestatic

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

◆ test_conditional_select()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_conditional_select ( )

inlinestatic

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

◆ test_dbl()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_dbl ( )

inlinestatic

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

◆ test_incomplete_assert_equal_edge_cases()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_incomplete_assert_equal_edge_cases ( )

inlinestatic

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

◆ test_incomplete_assert_equal_failure()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_incomplete_assert_equal_failure ( )

inlinestatic

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

◆ test_incomplete_assert_equal_success()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_incomplete_assert_equal_success ( )

inlinestatic

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

◆ test_mixed_mul_bn254_endo()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_mixed_mul_bn254_endo ( )

inlinestatic

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

◆ test_montgomery_ladder()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_montgomery_ladder ( )

inlinestatic

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

◆ test_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_mul ( )

inlinestatic

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

◆ test_multiple_montgomery_ladder()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_multiple_montgomery_ladder ( )

inlinestatic

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

◆ test_one()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_one ( )

inlinestatic

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

◆ test_quad_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_quad_mul ( )

inlinestatic

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

◆ test_short_scalar_mul_128_252()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_short_scalar_mul_128_252 ( )

inlinestatic

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

◆ test_short_scalar_mul_2_126()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_short_scalar_mul_2_126 ( )

inlinestatic

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

◆ test_short_scalar_mul_infinity()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_short_scalar_mul_infinity ( )

inlinestatic

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

◆ test_standard_form_of_point_at_infinity()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_standard_form_of_point_at_infinity ( )

inlinestatic

Check that converting a point at infinity into standard form ensures the coordinates are zeroes.

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

◆ test_sub()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_sub ( )

inlinestatic

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

◆ test_sub_points_at_infinity()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_sub_points_at_infinity ( )

inlinestatic

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

◆ test_triple_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_triple_mul ( )

inlinestatic

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

◆ test_twin_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_twin_mul ( )

inlinestatic

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

◆ test_wnaf_batch_4()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_wnaf_batch_4 ( )

inlinestatic

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

◆ test_wnaf_batch_mul()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_wnaf_batch_mul ( )

inlinestatic

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

◆ test_wnaf_batch_mul_128_bit()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_wnaf_batch_mul_128_bit ( )

inlinestatic

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

◆ test_wnaf_batch_mul_edge_cases()

template<typename TestType >

static void stdlib_biggroup< TestType >::test_wnaf_batch_mul_edge_cases ( )

inlinestatic

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

Member Data Documentation

◆ EXPECT_CIRCUIT_CORRECTNESS

template<typename TestType >

constexpr auto stdlib_biggroup< TestType >::EXPECT_CIRCUIT_CORRECTNESS

staticconstexprprivate

Initial value:

= [](Builder& builder, bool expected_result = true) {
        info("num gates = ", builder.get_estimated_num_finalized_gates());
        EXPECT_EQ(CircuitChecker::check(builder), expected_result);
    }

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

The documentation for this class was generated from the following file:

src/barretenberg/stdlib/primitives/biggroup/biggroup.test.cpp

Static Public Member Functions

Private Types

Static Private Attributes

Detailed Description

Member Typedef Documentation

◆ affine_element

◆ bool_ct

◆ Builder

◆ Curve

◆ element

◆ element_ct

◆ fq

◆ fr

◆ g1

◆ scalar_ct

◆ witness_ct

Member Function Documentation

◆ test_add()

◆ test_add_points_at_infinity()

◆ test_basic_tag_logic()

◆ test_batch_mul()

◆ test_batch_mul_edge_case_set1()

◆ test_batch_mul_edge_case_set2()

◆ test_batch_mul_edgecase_equivalence()

◆ test_batch_mul_short_scalars()

◆ test_bn254_endo_batch_mul()

◆ test_chain_add()

◆ test_compute_naf()

◆ test_compute_wnaf()

◆ test_conditional_negate()

◆ test_conditional_select()

◆ test_dbl()

◆ test_incomplete_assert_equal_edge_cases()

◆ test_incomplete_assert_equal_failure()

◆ test_incomplete_assert_equal_success()

◆ test_mixed_mul_bn254_endo()

◆ test_montgomery_ladder()

◆ test_mul()

◆ test_multiple_montgomery_ladder()

◆ test_one()

◆ test_quad_mul()

◆ test_short_scalar_mul_128_252()

◆ test_short_scalar_mul_2_126()

◆ test_short_scalar_mul_infinity()

◆ test_standard_form_of_point_at_infinity()

◆ test_sub()

◆ test_sub_points_at_infinity()

◆ test_triple_mul()

◆ test_twin_mul()

◆ test_wnaf_batch_4()

◆ test_wnaf_batch_mul()

◆ test_wnaf_batch_mul_128_bit()

◆ test_wnaf_batch_mul_edge_cases()

Member Data Documentation

◆ EXPECT_CIRCUIT_CORRECTNESS