RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops > Class Template Reference

Classes
class	InvalidWitness
struct	WitnessValue

Public Types
using	AcirConstraint = BlockConstraint
using	Builder = Builder_

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)

Public Attributes
std::vector< WitnessValue >	read_values

Detailed Description

template<typename Builder_, size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>
class RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >

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

Member Typedef Documentation

AcirConstraint

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

using RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::AcirConstraint = BlockConstraint

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

Builder

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

using RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::Builder = Builder_

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

Member Function Documentation

generate_constraints()

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

void RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::generate_constraints ( AcirConstraint &  memory_constraint, WitnessVector &  witness_values  )

inline

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

invalidate_witness()

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

void RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::invalidate_witness ( AcirConstraint &  memory_constraint, WitnessVector &  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inline

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

Member Data Documentation

read_values

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

std::vector<WitnessValue> RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::read_values

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