stdlib_biggroup_goblin< Curve > Class Template Reference

Inheritance diagram for stdlib_biggroup_goblin< Curve >:

Static Public Member Functions
static void	test_goblin_style_batch_mul ()
	Test goblin-style batch mul.
static void	test_goblin_style_batch_mul_to_zero ()
static void	test_goblin_style_sub ()
	Test goblin-style sub.
static void	test_goblin_style_neg ()
	Check goblin-style negate works as intended, including with points at infinity.

Private Types
using	element_ct = typename Curve::Element
using	scalar_ct = typename Curve::ScalarField
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

Static Private Attributes
static constexpr auto	EXPECT_CIRCUIT_CORRECTNESS

Detailed Description

template<typename Curve>
class stdlib_biggroup_goblin< Curve >

Definition at line 19 of file biggroup_goblin.test.cpp.

Member Typedef Documentation

affine_element

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::affine_element = typename g1::affine_element

private

Definition at line 26 of file biggroup_goblin.test.cpp.

Builder

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::Builder = typename Curve::Builder

private

Definition at line 29 of file biggroup_goblin.test.cpp.

element

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::element = typename g1::element

private

Definition at line 27 of file biggroup_goblin.test.cpp.

element_ct

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::element_ct = typename Curve::Element

private

Definition at line 20 of file biggroup_goblin.test.cpp.

fq

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::fq = typename Curve::BaseFieldNative

private

Definition at line 23 of file biggroup_goblin.test.cpp.

fr

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::fr = typename Curve::ScalarFieldNative

private

Definition at line 24 of file biggroup_goblin.test.cpp.

g1

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::g1 = typename Curve::GroupNative

private

Definition at line 25 of file biggroup_goblin.test.cpp.

scalar_ct

template<typename Curve >

using stdlib_biggroup_goblin< Curve >::scalar_ct = typename Curve::ScalarField

private

Definition at line 21 of file biggroup_goblin.test.cpp.

Member Function Documentation

test_goblin_style_batch_mul()

template<typename Curve >

static void stdlib_biggroup_goblin< Curve >::test_goblin_style_batch_mul ( )

inlinestatic

Test goblin-style batch mul.

Check that 1) Goblin-style batch mul returns correct value, and 2) resulting circuit is correct

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

test_goblin_style_batch_mul_to_zero()

template<typename Curve >

static void stdlib_biggroup_goblin< Curve >::test_goblin_style_batch_mul_to_zero ( )

inlinestatic

Definition at line 86 of file biggroup_goblin.test.cpp.

test_goblin_style_neg()

template<typename Curve >

static void stdlib_biggroup_goblin< Curve >::test_goblin_style_neg ( )

inlinestatic

Check goblin-style negate works as intended, including with points at infinity.

Definition at line 161 of file biggroup_goblin.test.cpp.

test_goblin_style_sub()

template<typename Curve >

static void stdlib_biggroup_goblin< Curve >::test_goblin_style_sub ( )

inlinestatic

Test goblin-style sub.

Check that 1) Goblin-style batch sub returns correct value (esp. when infinities involved), and 2) resulting circuit is correct

Definition at line 119 of file biggroup_goblin.test.cpp.

Member Data Documentation

EXPECT_CIRCUIT_CORRECTNESS

template<typename Curve >

constexpr auto stdlib_biggroup_goblin< Curve >::EXPECT_CIRCUIT_CORRECTNESS

staticconstexprprivate

Initial value:

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

Definition at line 31 of file biggroup_goblin.test.cpp.

---

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

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