Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
DatabusLookupRelationConsistency Class Reference
Inheritance diagram for DatabusLookupRelationConsistency:

Public Types

using Relation = DatabusLookupRelationImpl< FF >
 

Static Public Member Functions

static void validate_relation_execution (const std::array< FF, NUM_SUBRELATIONS > &expected_values, const DatabusInputElements &input_elements, const RelationParameters< FF > &parameters)
 Validate that the relation's accumulate function produces expected values.
 

Static Public Attributes

static constexpr size_t NUM_SUBRELATIONS = 9
 

Detailed Description

Member Typedef Documentation

◆ Relation

Member Function Documentation

◆ validate_relation_execution()

static void DatabusLookupRelationConsistency::validate_relation_execution ( const std::array< FF, NUM_SUBRELATIONS > &  expected_values,
const DatabusInputElements input_elements,
const RelationParameters< FF > &  parameters 
)
inlinestatic

Validate that the relation's accumulate function produces expected values.

Definition at line 121 of file databus_lookup_relation_consistency.test.cpp.

Member Data Documentation

◆ NUM_SUBRELATIONS

constexpr size_t DatabusLookupRelationConsistency::NUM_SUBRELATIONS = 9
staticconstexpr

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