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 = KernelCalldataRelation
 

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)
 

Static Public Attributes

static constexpr size_t NUM_SUBRELATIONS = 4
 

Detailed Description

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

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

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

Member Data Documentation

◆ NUM_SUBRELATIONS

constexpr size_t DatabusLookupRelationConsistency::NUM_SUBRELATIONS = 4
staticconstexpr

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


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