Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | Static Public Attributes | List of all members
EcdsaTestingFunctions< Curve > Class Template Reference

Classes

struct  InvalidWitness
 

Public Types

using Builder = Curve::Builder
 
using FrNative = Curve::fr
 
using FqNative = Curve::fq
 
using G1Native = Curve::g1
 
using AcirConstraint = EcdsaConstraint
 

Static Public Member Functions

static ProgramMetadata generate_metadata ()
 
static std::pair< AcirConstraint, WitnessVector > invalidate_witness (AcirConstraint ecdsa_constraints, WitnessVector witness_values, const InvalidWitness::Target &invalid_witness_target)
 
static void generate_constraints (EcdsaConstraint &ecdsa_constraint, WitnessVector &witness_values)
 Generate valid ECDSA constraint with witness predicate equal to true.
 

Static Public Attributes

static constexpr FrNative private_key
 

Detailed Description

template<class Curve>
class EcdsaTestingFunctions< Curve >

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

Member Typedef Documentation

◆ AcirConstraint

template<class Curve >
using EcdsaTestingFunctions< Curve >::AcirConstraint = EcdsaConstraint

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

◆ Builder

template<class Curve >
using EcdsaTestingFunctions< Curve >::Builder = Curve::Builder

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

◆ FqNative

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

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

◆ FrNative

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

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

◆ G1Native

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

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

Member Function Documentation

◆ generate_constraints()

template<class Curve >
static void EcdsaTestingFunctions< Curve >::generate_constraints ( EcdsaConstraint &  ecdsa_constraint,
WitnessVector &  witness_values 
)
inlinestatic

Generate valid ECDSA constraint with witness predicate equal to true.

Definition at line 113 of file ecdsa_constraints.test.cpp.

◆ generate_metadata()

template<class Curve >
static ProgramMetadata EcdsaTestingFunctions< Curve >::generate_metadata ( )
inlinestatic

Definition at line 54 of file ecdsa_constraints.test.cpp.

◆ invalidate_witness()

template<class Curve >
static std::pair< AcirConstraint, WitnessVector > EcdsaTestingFunctions< Curve >::invalidate_witness ( AcirConstraint  ecdsa_constraints,
WitnessVector  witness_values,
const InvalidWitness::Target &  invalid_witness_target 
)
inlinestatic

Definition at line 56 of file ecdsa_constraints.test.cpp.

Member Data Documentation

◆ private_key

template<class Curve >
constexpr FrNative EcdsaTestingFunctions< Curve >::private_key
staticconstexpr
Initial value:
=
FrNative("0xd67abee717b3fc725adf59e2cc8cd916435c348b277dd814a34e3ceb279436c2")

Definition at line 51 of file ecdsa_constraints.test.cpp.

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