stdlibBiggroupSecp256k1< Curve > Class Template Reference

Inheritance diagram for stdlibBiggroupSecp256k1< Curve >:

Public Types
using	element_ct = typename Curve::g1_bigfr_ct
using	scalar_ct = typename Curve::bigfr_ct
using	fq = typename Curve::fq
using	fr = typename Curve::fr
using	g1 = typename Curve::g1
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 >

Public Member Functions
template<size_t wnaf_size>
void	test_get_staggered_wnaf_fragment_value ()

Static Public Member Functions
static void	test_wnaf_secp256k1 ()
static void	test_wnaf_secp256k1_stagger_out_of_range_fails ()
static void	test_wnaf_secp256k1_scalar_exceeding_modulus_regression_1 ()
static void	test_wnaf_secp256k1_scalar_exceeding_modulus_regression_2 ()
static void	test_wnaf_8bit_secp256k1 ()
static void	test_ecdsa_mul_secp256k1 ()
static void	test_secp256k1_ecdsa_mul_skew_handling_regression ()
static void	test_secp256k1_ecdsa_mul_stagger_regression ()

Static Public Attributes
static constexpr auto	EXPECT_CIRCUIT_CORRECTNESS

Detailed Description

template<typename Curve>
class stdlibBiggroupSecp256k1< Curve >

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

Member Typedef Documentation

affine_element

template<typename Curve >

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

Definition at line 32 of file biggroup_secp256k1.test.cpp.

bool_ct

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::bool_ct = stdlib::bool_t<Builder>

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

Builder

template<typename Curve >

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

Definition at line 35 of file biggroup_secp256k1.test.cpp.

element

template<typename Curve >

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

Definition at line 33 of file biggroup_secp256k1.test.cpp.

element_ct

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::element_ct = typename Curve::g1_bigfr_ct

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

fq

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::fq = typename Curve::fq

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

fr

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::fr = typename Curve::fr

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

g1

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::g1 = typename Curve::g1

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

scalar_ct

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::scalar_ct = typename Curve::bigfr_ct

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

witness_ct

template<typename Curve >

using stdlibBiggroupSecp256k1< Curve >::witness_ct = stdlib::witness_t<Builder>

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

Member Function Documentation

test_ecdsa_mul_secp256k1()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_ecdsa_mul_secp256k1 ( )

inlinestatic

Definition at line 247 of file biggroup_secp256k1.test.cpp.

test_get_staggered_wnaf_fragment_value()

template<typename Curve >

template<size_t wnaf_size>

void stdlibBiggroupSecp256k1< Curve >::test_get_staggered_wnaf_fragment_value ( )

inline

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

test_secp256k1_ecdsa_mul_skew_handling_regression()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_secp256k1_ecdsa_mul_skew_handling_regression ( )

inlinestatic

Definition at line 280 of file biggroup_secp256k1.test.cpp.

test_secp256k1_ecdsa_mul_stagger_regression()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_secp256k1_ecdsa_mul_stagger_regression ( )

inlinestatic

Definition at line 343 of file biggroup_secp256k1.test.cpp.

test_wnaf_8bit_secp256k1()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_wnaf_8bit_secp256k1 ( )

inlinestatic

Definition at line 217 of file biggroup_secp256k1.test.cpp.

test_wnaf_secp256k1()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_wnaf_secp256k1 ( )

inlinestatic

Definition at line 112 of file biggroup_secp256k1.test.cpp.

test_wnaf_secp256k1_scalar_exceeding_modulus_regression_1()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_wnaf_secp256k1_scalar_exceeding_modulus_regression_1 ( )

inlinestatic

Definition at line 163 of file biggroup_secp256k1.test.cpp.

test_wnaf_secp256k1_scalar_exceeding_modulus_regression_2()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_wnaf_secp256k1_scalar_exceeding_modulus_regression_2 ( )

inlinestatic

Definition at line 191 of file biggroup_secp256k1.test.cpp.

test_wnaf_secp256k1_stagger_out_of_range_fails()

template<typename Curve >

static void stdlibBiggroupSecp256k1< Curve >::test_wnaf_secp256k1_stagger_out_of_range_fails ( )

inlinestatic

Definition at line 143 of file biggroup_secp256k1.test.cpp.

Member Data Documentation

EXPECT_CIRCUIT_CORRECTNESS

template<typename Curve >

constexpr auto stdlibBiggroupSecp256k1< Curve >::EXPECT_CIRCUIT_CORRECTNESS

staticconstexpr

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 39 of file biggroup_secp256k1.test.cpp.

---

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

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