Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | List of all members
CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops > 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<CallDataType calldata_type, size_t calldata_size, size_t num_reads, bool perform_constant_ops>
class CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >

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

Member Typedef Documentation

◆ AcirConstraint

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads, bool perform_constant_ops>
using CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >::AcirConstraint = BlockConstraint

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

◆ Builder

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads, bool perform_constant_ops>
using CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >::Builder = MegaCircuitBuilder

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

Member Function Documentation

◆ generate_constraints()

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads, bool perform_constant_ops>
void CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >::generate_constraints ( AcirConstraint &  memory_constraint,
WitnessVector &  witness_values 
)
inline

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

◆ invalidate_witness()

template<CallDataType calldata_type, size_t calldata_size, size_t num_reads, bool perform_constant_ops>
void CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >::invalidate_witness ( AcirConstraint &  memory_constraint,
WitnessVector &  witness_values,
const InvalidWitness::Target &  invalid_witness_target 
)
inline

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

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