ReturnDataTestingFunctions< returndata_size > Class Template Reference

Classes
class	InvalidWitness

Public Types
using	AcirConstraint = BlockConstraint
using	Builder = MegaCircuitBuilder

Public Member Functions
void	generate_constraints (AcirConstraint &memory_constraint, WitnessVector &witness_values)
void	invalidate_witness (AcirConstraint &memory_constraint, WitnessVector &witness_values, const InvalidWitness::Target &invalid_witness_target)

Detailed Description

template<size_t returndata_size>
class ReturnDataTestingFunctions< returndata_size >

Definition at line 512 of file block_constraint.test.cpp.

Member Typedef Documentation

AcirConstraint

template<size_t returndata_size>

using ReturnDataTestingFunctions< returndata_size >::AcirConstraint = BlockConstraint

Definition at line 514 of file block_constraint.test.cpp.

Builder

template<size_t returndata_size>

using ReturnDataTestingFunctions< returndata_size >::Builder = MegaCircuitBuilder

Definition at line 515 of file block_constraint.test.cpp.

Member Function Documentation

generate_constraints()

template<size_t returndata_size>

void ReturnDataTestingFunctions< returndata_size >::generate_constraints ( AcirConstraint &  memory_constraint, WitnessVector &  witness_values  )

inline

Definition at line 529 of file block_constraint.test.cpp.

invalidate_witness()

template<size_t returndata_size>

void ReturnDataTestingFunctions< returndata_size >::invalidate_witness ( AcirConstraint &  memory_constraint, WitnessVector &  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inline

Definition at line 549 of file block_constraint.test.cpp.

---

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

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