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 void	invalidate_witness (EcdsaConstraint &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 19 of file ecdsa_constraints.test.cpp.

Member Typedef Documentation

AcirConstraint

template<class Curve >

using EcdsaTestingFunctions< Curve >::AcirConstraint = EcdsaConstraint

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

Builder

template<class Curve >

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

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

FqNative

template<class Curve >

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

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

FrNative

template<class Curve >

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

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

G1Native

template<class Curve >

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

Definition at line 24 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 109 of file ecdsa_constraints.test.cpp.

invalidate_witness()

template<class Curve >

static void EcdsaTestingFunctions< Curve >::invalidate_witness ( EcdsaConstraint &  ecdsa_constraints, WitnessVector &  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inlinestatic

Definition at line 55 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 52 of file ecdsa_constraints.test.cpp.

---

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

• src/barretenberg/dsl/acir_format/ecdsa_constraints.test.cpp