EcdsaConstraintsTest< Curve > Class Template Reference

Inheritance diagram for EcdsaConstraintsTest< Curve >:

Static Protected Member Functions
static void	SetUpTestSuite ()

Additional Inherited Members
Public Types inherited from acir_format::TestClassWithPredicate< EcdsaTestingFunctions< Curve > >
using	Builder = Base::Builder
using	InvalidWitness = Base::InvalidWitness
using	InvalidWitnessTarget = InvalidWitness::Target
using	AcirConstraint = Base::AcirConstraint
Static Public Member Functions inherited from acir_format::TestClassWithPredicate< EcdsaTestingFunctions< Curve > >
static void	update_witness_based_on_predicate (AcirConstraint &constraint, WitnessVector &witness_values, const Predicate< InvalidWitnessTarget > &mode)
	Update the constraint and the witness based on the predicate.
static std::pair< AcirConstraint, WitnessVector >	generate_constraints (const Predicate< InvalidWitnessTarget > &mode)
	Generate constraints and witness values based on the predicate and the invalidation target.
static std::tuple< bool, bool, std::string >	test_constraints (const PredicateTestCase &test_case, const InvalidWitnessTarget &invalid_witness_target)
	General purpose testing function. It generates the test based on the predicate and invalidation target.
static std::vector< size_t >	test_vk_independence ()
	Test vk generation is independent of the witness values supplied.
static void	test_constant_true (InvalidWitnessTarget default_invalid_witness_target)
	Test all cases in which the predicate is a constant holding the value true.
static void	test_witness_true (InvalidWitnessTarget default_invalid_witness_target)
	Test all cases in which the predicate is a witness holding the value true.
static void	test_witness_false ()
	Test all invalid witness cases for the witness false predicate case.
static void	test_witness_false_slow ()
	Test all invalid witness cases for the witness false predicate case (slow comprehensive version).
static std::vector< std::string >	test_invalid_witnesses ()
	Test all invalid witness targets across all predicate cases (comprehensive matrix test).

Detailed Description

template<class Curve>
class EcdsaConstraintsTest< Curve >

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

Member Function Documentation

SetUpTestSuite()

template<class Curve >

static void EcdsaConstraintsTest< Curve >::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 170 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