Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | List of all members
BatchedEqCheckConstraintTestingFunctions< num_batched_eq > Class Template Reference

Classes

class  InvalidWitness
 

Public Types

using Builder = MegaCircuitBuilder
 
using AcirConstraint = std::vector< BatchedEqCheckConstraint >
 

Static Public Member Functions

static ProgramMetadata generate_metadata ()
 
static void generate_constraints (AcirConstraint &constraint, WitnessVector &witness_values)
 
static std::pair< AcirConstraint, WitnessVector > invalidate_witness (AcirConstraint constraint, WitnessVector witness_values, const typename InvalidWitness::Target &target)
 

Detailed Description

template<size_t num_batched_eq>
class BatchedEqCheckConstraintTestingFunctions< num_batched_eq >

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

Member Typedef Documentation

◆ AcirConstraint

template<size_t num_batched_eq>
using BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::AcirConstraint = std::vector<BatchedEqCheckConstraint>

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

◆ Builder

template<size_t num_batched_eq>
using BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::Builder = MegaCircuitBuilder

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

Member Function Documentation

◆ generate_constraints()

template<size_t num_batched_eq>
static void BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::generate_constraints ( AcirConstraint &  constraint,
WitnessVector &  witness_values 
)
inlinestatic

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

◆ generate_metadata()

template<size_t num_batched_eq>
static ProgramMetadata BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::generate_metadata ( )
inlinestatic

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

◆ invalidate_witness()

template<size_t num_batched_eq>
static std::pair< AcirConstraint, WitnessVector > BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::invalidate_witness ( AcirConstraint  constraint,
WitnessVector  witness_values,
const typename InvalidWitness::Target &  target 
)
inlinestatic

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

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