Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Attributes | List of all members
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::fr
 
using FqNative = Curve::fq
 
using G1Native = Curve::g1
 
using Fr = Curve::bigfr_ct
 
using Fq = Curve::fq_ct
 
using G1 = Curve::g1_bigfr_ct
 
using bool_t = Curve::bool_ct
 

Public Member Functions

std::pair< ecdsa_key_pair< FrNative, G1Native >, ecdsa_signature > generate_dummy_ecdsa_data (std::string message_string, bool random_signature)
 
std::string 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)
 
size_t 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 circuit_checker_result, const std::string failure_msg, const TamperingMode mode)
 
size_t test_verify_signature (bool random_signature, TamperingMode mode)
 
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 = Curve::bool_ct

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::fq_ct

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

◆ FqNative

template<class Curve >
using EcdsaTests< Curve >::FqNative = Curve::fq

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

◆ Fr

template<class Curve >
using EcdsaTests< Curve >::Fr = Curve::bigfr_ct

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

◆ FrNative

template<class Curve >
using EcdsaTests< Curve >::FrNative = Curve::fr

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

◆ G1

template<class Curve >
using EcdsaTests< Curve >::G1 = Curve::g1_bigfr_ct

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

◆ G1Native

template<class Curve >
using EcdsaTests< Curve >::G1Native = Curve::g1

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 200 of file ecdsa.test.cpp.

◆ ecdsa_verification_circuit()

template<class Curve >
size_t 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  circuit_checker_result,
const std::string  failure_msg,
const TamperingMode  mode 
)
inline

Definition at line 237 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 >
std::string 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_verify_signature()

template<class Curve >
size_t EcdsaTests< Curve >::test_verify_signature ( bool  random_signature,
TamperingMode  mode 
)
inline

Definition at line 274 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 316 of file ecdsa.test.cpp.

Member Data Documentation

◆ private_key

template<class Curve >
constexpr FrNative EcdsaTests< Curve >::private_key
staticconstexpr
Initial value:
=
FrNative("0xd67abee717b3fc725adf59e2cc8cd916435c348b277dd814a34e3ceb279436c2")
EcdsaTests::FrNative
Curve::fr FrNative
Definition ecdsa.test.cpp:25

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

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