stdlibBiggroupSecp256r1< Curve > Class Template Reference

Inheritance diagram for stdlibBiggroupSecp256r1< Curve >:

Public Types
using	element_ct = typename Curve::Group
using	scalar_ct = typename Curve::ScalarField
using	fr = typename Curve::ScalarFieldNative
using	g1 = typename Curve::GroupNative
using	affine_element = typename g1::affine_element
using	Builder = typename Curve::Builder

Static Public Member Functions
static void	test_fixed_base_mul_secp256r1 ()
static void	test_fixed_base_mul_secp256r1_single_call_gate_count ()
static void	test_ecdsa_mul_secp256r1_gate_count ()
static void	test_ecdsa_mul_secp256r1_u1_zero ()

Static Public Attributes
static constexpr auto	EXPECT_CIRCUIT_CORRECTNESS

Detailed Description

template<typename Curve>
class stdlibBiggroupSecp256r1< Curve >

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

Member Typedef Documentation

affine_element

template<typename Curve >

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

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

Builder

template<typename Curve >

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

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

element_ct

template<typename Curve >

using stdlibBiggroupSecp256r1< Curve >::element_ct = typename Curve::Group

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

fr

template<typename Curve >

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

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

g1

template<typename Curve >

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

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

scalar_ct

template<typename Curve >

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

Definition at line 22 of file biggroup_secp256r1.test.cpp.

Member Function Documentation

test_ecdsa_mul_secp256r1_gate_count()

template<typename Curve >

static void stdlibBiggroupSecp256r1< Curve >::test_ecdsa_mul_secp256r1_gate_count ( )

inlinestatic

Definition at line 71 of file biggroup_secp256r1.test.cpp.

test_ecdsa_mul_secp256r1_u1_zero()

template<typename Curve >

static void stdlibBiggroupSecp256r1< Curve >::test_ecdsa_mul_secp256r1_u1_zero ( )

inlinestatic

Definition at line 90 of file biggroup_secp256r1.test.cpp.

test_fixed_base_mul_secp256r1()

template<typename Curve >

static void stdlibBiggroupSecp256r1< Curve >::test_fixed_base_mul_secp256r1 ( )

inlinestatic

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

test_fixed_base_mul_secp256r1_single_call_gate_count()

template<typename Curve >

static void stdlibBiggroupSecp256r1< Curve >::test_fixed_base_mul_secp256r1_single_call_gate_count ( )

inlinestatic

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

Member Data Documentation

EXPECT_CIRCUIT_CORRECTNESS

template<typename Curve >

constexpr auto stdlibBiggroupSecp256r1< Curve >::EXPECT_CIRCUIT_CORRECTNESS

staticconstexpr

Initial value:

= [](Builder& builder, bool expected_result = true) {
        Builder copy = builder;
        copy.finalize_circuit();
        const size_t num_gates = copy.get_num_finalized_gates();
        const size_t tables_size = copy.get_tables_size();
        info("num gates = ", num_gates, ", tables_size = ", tables_size, ", max = ", std::max(num_gates, tables_size));
        EXPECT_EQ(CircuitChecker::check(builder), expected_result);
    }

Definition at line 30 of file biggroup_secp256r1.test.cpp.

---

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

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