BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::InvalidWitness Class Reference

Public Types
enum class	Target : uint8_t {   None , InvalidateConstantFirstHalf , InvalidateWitnessFirstHalf , InvalidateConstantSecondHalf ,   InvalidateWitnessSecondHalf }

Static Public Member Functions
static std::vector< Target >	get_all ()
static std::vector< std::string >	get_labels ()

Detailed Description

template<size_t num_batched_eq>
class BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::InvalidWitness

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

Member Enumeration Documentation

Target

template<size_t num_batched_eq>

enum class BatchedEqCheckConstraintTestingFunctions::InvalidWitness::Target : uint8_t

strong

Enumerator
None
InvalidateConstantFirstHalf
InvalidateWitnessFirstHalf
InvalidateConstantSecondHalf
InvalidateWitnessSecondHalf

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

Member Function Documentation

get_all()

template<size_t num_batched_eq>

static std::vector< Target > BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::InvalidWitness::get_all ( )

inlinestatic

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

get_labels()

template<size_t num_batched_eq>

static std::vector< std::string > BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::InvalidWitness::get_labels ( )

inlinestatic

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