EcdsaTests< Curve > Class Template Reference

Inheritance diagram for EcdsaTests< Curve >:

Public Types
enum class	TamperingMode : std::uint8_t {   XCoordinateOverflow , YCoordinateOverflow , InvalidR , InvalidS ,   HighS , ZeroR , ZeroS , InfinityScalarMul ,   InvalidPubKey , InfinityPubKey , None }
using	Builder = Curve::Builder
using	CurveType = std::conditional_t< Curve::type==bb::CurveType::SECP256K1, bb::curve::SECP256K1, bb::curve::SECP256R1 >
using	FrNative = Curve::ScalarFieldNative
using	FqNative = Curve::BaseFieldNative
using	G1Native = Curve::GroupNative
using	Fr = Curve::ScalarField
using	Fq = Curve::BaseField
using	G1 = Curve::Group
using	bool_t = stdlib::bool_t< Builder >

Public Member Functions
std::pair< ecdsa_key_pair< FrNative, G1Native >, ecdsa_signature >	generate_dummy_ecdsa_data (std::string message_string, bool random_signature)
void	tampering (std::string message_string, ecdsa_key_pair< FrNative, G1Native > &account, ecdsa_signature &signature, TamperingMode mode)
std::pair< G1, stdlib::ecdsa_signature< Builder > >	create_stdlib_ecdsa_data (Builder &builder, const ecdsa_key_pair< FrNative, G1Native > &account, const ecdsa_signature &signature, const TamperingMode mode)
void	ecdsa_verification_circuit (Builder &builder, const stdlib::byte_array< Builder > &hashed_message, const ecdsa_key_pair< FrNative, G1Native > &account, const ecdsa_signature &signature, const bool signature_verification_result, const bool expected_circuit_result, const TamperingMode mode)
void	test_verify_signature (bool random_signature, TamperingMode mode)
void	test_signature_generator (bool is_minus_generator, bool signature_result, bool expected_circuit_result)
void	test_signature_double_generator ()
void	test_wycherproof (std::vector< stdlib::WycherproofTest< CurveType > > tests)
	Construct tests based on data fetched from the Wycherproof project.

Static Public Attributes
static constexpr FrNative	private_key

Detailed Description

template<class Curve>
class EcdsaTests< Curve >

Definition at line 18 of file ecdsa.test.cpp.

Member Typedef Documentation

bool_t

template<class Curve >

using EcdsaTests< Curve >::bool_t = stdlib::bool_t<Builder>

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

Builder

template<class Curve >

using EcdsaTests< Curve >::Builder = Curve::Builder

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

CurveType

template<class Curve >

using EcdsaTests< Curve >::CurveType = std::conditional_t<Curve::type == bb::CurveType::SECP256K1, bb::curve::SECP256K1, bb::curve::SECP256R1>

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

Fq

template<class Curve >

using EcdsaTests< Curve >::Fq = Curve::BaseField

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

FqNative

template<class Curve >

using EcdsaTests< Curve >::FqNative = Curve::BaseFieldNative

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

Fr

template<class Curve >

using EcdsaTests< Curve >::Fr = Curve::ScalarField

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

FrNative

template<class Curve >

using EcdsaTests< Curve >::FrNative = Curve::ScalarFieldNative

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

G1

template<class Curve >

using EcdsaTests< Curve >::G1 = Curve::Group

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

G1Native

template<class Curve >

using EcdsaTests< Curve >::G1Native = Curve::GroupNative

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

Member Enumeration Documentation

TamperingMode

template<class Curve >

enum class EcdsaTests::TamperingMode : std::uint8_t

strong

Enumerator
XCoordinateOverflow
YCoordinateOverflow
InvalidR
InvalidS
HighS
ZeroR
ZeroS
InfinityScalarMul
InvalidPubKey
InfinityPubKey
None

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

Member Function Documentation

create_stdlib_ecdsa_data()

template<class Curve >

std::pair< G1, stdlib::ecdsa_signature< Builder > > EcdsaTests< Curve >::create_stdlib_ecdsa_data ( Builder &  builder, const ecdsa_key_pair< FrNative, G1Native > &  account, const ecdsa_signature &  signature, const TamperingMode  mode  )

inline

Definition at line 174 of file ecdsa.test.cpp.

ecdsa_verification_circuit()

template<class Curve >

void EcdsaTests< Curve >::ecdsa_verification_circuit ( Builder &  builder, const stdlib::byte_array< Builder > &  hashed_message, const ecdsa_key_pair< FrNative, G1Native > &  account, const ecdsa_signature &  signature, const bool  signature_verification_result, const bool  expected_circuit_result, const TamperingMode  mode  )

inline

Definition at line 234 of file ecdsa.test.cpp.

generate_dummy_ecdsa_data()

template<class Curve >

std::pair< ecdsa_key_pair< FrNative, G1Native >, ecdsa_signature > EcdsaTests< Curve >::generate_dummy_ecdsa_data ( std::string  message_string, bool  random_signature  )

inline

Definition at line 53 of file ecdsa.test.cpp.

tampering()

template<class Curve >

void EcdsaTests< Curve >::tampering ( std::string  message_string, ecdsa_key_pair< FrNative, G1Native > &  account, ecdsa_signature &  signature, TamperingMode  mode  )

inline

Definition at line 72 of file ecdsa.test.cpp.

test_signature_double_generator()

template<class Curve >

void EcdsaTests< Curve >::test_signature_double_generator ( )

inline

Definition at line 329 of file ecdsa.test.cpp.

test_signature_generator()

template<class Curve >

void EcdsaTests< Curve >::test_signature_generator ( bool  is_minus_generator, bool  signature_result, bool  expected_circuit_result  )

inline

Definition at line 289 of file ecdsa.test.cpp.

test_verify_signature()

template<class Curve >

void EcdsaTests< Curve >::test_verify_signature ( bool  random_signature, TamperingMode  mode  )

inline

Definition at line 260 of file ecdsa.test.cpp.

test_wycherproof()

template<class Curve >

void EcdsaTests< Curve >::test_wycherproof ( std::vector< stdlib::WycherproofTest< CurveType > >  tests )

inline

Construct tests based on data fetched from the Wycherproof project.

Parameters

tests

Definition at line 366 of file ecdsa.test.cpp.

Member Data Documentation

private_key

template<class Curve >

constexpr FrNative EcdsaTests< Curve >::private_key

staticconstexpr

Initial value:

=
        FrNative("0xd67abee717b3fc725adf59e2cc8cd916435c348b277dd814a34e3ceb279436c2")

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

---

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

• src/barretenberg/stdlib/encryption/ecdsa/ecdsa.test.cpp