QuadConstraintTest< ArithmeticConstraintParams_ > Class Template Reference

Inheritance diagram for QuadConstraintTest< ArithmeticConstraintParams_ >:

Static Protected Member Functions
static void	SetUpTestSuite ()

Additional Inherited Members
Public Types inherited from acir_format::TestClass< ArithmeticConstraintsTestingFunctions< ArithmeticConstraintParams_::Builder, ArithmeticConstraintParams_::AcirConstraint, ArithmeticConstraintParams_::NUM_MULTIPLICATION_TERMS, ArithmeticConstraintParams_::NUM_LINEAR_TERMS, ArithmeticConstraintParams_::OVERLAP_MUL_AND_LINEAR, ArithmeticConstraintParams_::OVERLAP_LINEAR > >
using	Builder = Base::Builder
using	AcirConstraint = Base::AcirConstraint
using	InvalidWitness = Base::InvalidWitness
using	InvalidWitnessTarget = Base::InvalidWitness::Target
Static Public Member Functions inherited from acir_format::TestClass< ArithmeticConstraintsTestingFunctions< ArithmeticConstraintParams_::Builder, ArithmeticConstraintParams_::AcirConstraint, ArithmeticConstraintParams_::NUM_MULTIPLICATION_TERMS, ArithmeticConstraintParams_::NUM_LINEAR_TERMS, ArithmeticConstraintParams_::OVERLAP_MUL_AND_LINEAR, ArithmeticConstraintParams_::OVERLAP_LINEAR > >
static std::pair< AcirConstraint, WitnessVector >	generate_constraints (const InvalidWitnessTarget &invalid_witness_target=InvalidWitnessTarget::None)
	Generate constraints and witness values based on the invalidation target.
static std::tuple< bool, bool, std::string >	test_constraints (const InvalidWitnessTarget &invalid_witness_target)
	General purpose testing function. It generates the test based on the predicate and invalidation target.
static size_t	test_vk_independence ()
	Test vk generation is independent of the witness values supplied.
static std::vector< std::string >	test_tampering ()
	Test all invalid witness targets.

Detailed Description

template<typename ArithmeticConstraintParams_>
class QuadConstraintTest< ArithmeticConstraintParams_ >

Definition at line 321 of file arithmetic_constraints.test.cpp.

Member Function Documentation

SetUpTestSuite()

template<typename ArithmeticConstraintParams_ >

static void QuadConstraintTest< ArithmeticConstraintParams_ >::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 330 of file arithmetic_constraints.test.cpp.

---

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

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