Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::InvalidWitness Class Reference

Public Types

enum class  Target : uint8_t { None , InvalidateConstant , InvalidateWitness }
 

Static Public Member Functions

static std::vector< Target > get_all ()
 
static std::vector< std::string > get_labels ()
 

Detailed Description

template<typename Builder_, typename AcirConstraint_, size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>
class ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::InvalidWitness

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

Member Enumeration Documentation

◆ Target

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>
enum class ArithmeticConstraintsTestingFunctions::InvalidWitness::Target : uint8_t
strong
Enumerator
None 
InvalidateConstant 
InvalidateWitness 

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

Member Function Documentation

◆ get_all()

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>
static std::vector< Target > ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::InvalidWitness::get_all ( )
inlinestatic

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

◆ get_labels()

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>
static std::vector< std::string > ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::InvalidWitness::get_labels ( )
inlinestatic

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

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