CallDataTestingFunctions< calldata_type, calldata_size, num_reads > Class Template Reference

Classes
class	InvalidWitness

Public Types
using	AcirConstraint = BlockConstraint
using	Builder = MegaCircuitBuilder

Static Public Member Functions
static ProgramMetadata	generate_metadata ()
static void	generate_constraints (AcirConstraint &memory_constraint, WitnessVector &witness_values)
static std::pair< AcirConstraint, WitnessVector >	invalidate_witness (AcirConstraint memory_constraint, WitnessVector witness_values, const InvalidWitness::Target &invalid_witness_target)

Detailed Description

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads>
class CallDataTestingFunctions< calldata_type, calldata_size, num_reads >

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

Member Typedef Documentation

AcirConstraint

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads>

using CallDataTestingFunctions< calldata_type, calldata_size, num_reads >::AcirConstraint = BlockConstraint

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

Builder

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads>

using CallDataTestingFunctions< calldata_type, calldata_size, num_reads >::Builder = MegaCircuitBuilder

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

Member Function Documentation

generate_constraints()

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads>

static void CallDataTestingFunctions< calldata_type, calldata_size, num_reads >::generate_constraints ( AcirConstraint &  memory_constraint, WitnessVector &  witness_values  )

inlinestatic

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

generate_metadata()

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads>

static ProgramMetadata CallDataTestingFunctions< calldata_type, calldata_size, num_reads >::generate_metadata ( )

inlinestatic

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

invalidate_witness()

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads>

static std::pair< AcirConstraint, WitnessVector > CallDataTestingFunctions< calldata_type, calldata_size, num_reads >::invalidate_witness ( AcirConstraint  memory_constraint, WitnessVector  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inlinestatic

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