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
RAMTestingFunctions< Builder_, table_size, num_reads, num_writes > Class Template Reference

Classes

class  InvalidWitness
 
struct  WitnessValue
 

Public Types

using AcirConstraint = BlockConstraint
 
using Builder = Builder_
 

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<typename Builder_, size_t table_size, size_t num_reads, size_t num_writes>
class RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >

Definition at line 155 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>
using RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::AcirConstraint = BlockConstraint

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

◆ Builder

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes>
using RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::Builder = Builder_

Definition at line 158 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>
static void RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::generate_constraints ( AcirConstraint &  memory_constraint,
WitnessVector &  witness_values 
)
inlinestatic

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

◆ generate_metadata()

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes>
static ProgramMetadata RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::generate_metadata ( )
inlinestatic

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

◆ invalidate_witness()

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes>
static std::pair< AcirConstraint, WitnessVector > RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::invalidate_witness ( AcirConstraint  memory_constraint,
WitnessVector  witness_values,
const InvalidWitness::Target &  invalid_witness_target 
)
inlinestatic

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

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