relation_correctness.test.cpp File Reference

#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/honk/library/grand_product_library.hpp"
#include "barretenberg/honk/relation_checker.hpp"
#include "barretenberg/relations/delta_range_constraint_relation.hpp"
#include "barretenberg/relations/ecc_op_queue_relation.hpp"
#include "barretenberg/relations/elliptic_relation.hpp"
#include "barretenberg/relations/logderiv_lookup_relation.hpp"
#include "barretenberg/relations/memory_relation.hpp"
#include "barretenberg/relations/non_native_field_relation.hpp"
#include "barretenberg/relations/permutation_relation.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/ultra_arithmetic_relation.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/fixed_base/fixed_base.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
#include "barretenberg/ultra_honk/witness_computation.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	UltraRelationCorrectnessTests

Functions
void	ensure_non_zero (auto &polynomial)
template<typename Flavor >
void	create_some_add_gates (auto &circuit_builder)
template<typename Flavor >
void	create_some_lookup_gates (auto &circuit_builder)
template<typename Flavor >
void	create_some_delta_range_constraint_gates (auto &circuit_builder)
template<typename Flavor >
void	create_some_RAM_gates (auto &circuit_builder)
template<typename Flavor >
void	create_some_elliptic_curve_addition_gates (auto &circuit_builder)
template<typename Flavor >
void	create_some_ecc_op_queue_gates (auto &circuit_builder)
	TEST_F (UltraRelationCorrectnessTests, Ultra)
	Test the correctness of the Ultra Honk relations.
	TEST_F (UltraRelationCorrectnessTests, Mega)

Function Documentation

create_some_add_gates()

template<typename Flavor >

void create_some_add_gates

(

auto &

circuit_builder

)

Definition at line 31 of file relation_correctness.test.cpp.

create_some_delta_range_constraint_gates()

template<typename Flavor >

void create_some_delta_range_constraint_gates

(

auto &

circuit_builder

)

Definition at line 82 of file relation_correctness.test.cpp.

create_some_ecc_op_queue_gates()

template<typename Flavor >

void create_some_ecc_op_queue_gates

(

auto &

circuit_builder

)

Definition at line 160 of file relation_correctness.test.cpp.

create_some_elliptic_curve_addition_gates()

template<typename Flavor >

void create_some_elliptic_curve_addition_gates

(

auto &

circuit_builder

)

Definition at line 142 of file relation_correctness.test.cpp.

create_some_lookup_gates()

template<typename Flavor >

void create_some_lookup_gates

(

auto &

circuit_builder

)

Definition at line 58 of file relation_correctness.test.cpp.

create_some_RAM_gates()

template<typename Flavor >

void create_some_RAM_gates

(

auto &

circuit_builder

)

Definition at line 93 of file relation_correctness.test.cpp.

ensure_non_zero()

void ensure_non_zero

(

auto &

polynomial

)

Definition at line 22 of file relation_correctness.test.cpp.

TEST_F() [1/2]

TEST_F	(	UltraRelationCorrectnessTests	,
		Mega
	)

Definition at line 221 of file relation_correctness.test.cpp.

TEST_F() [2/2]

TEST_F	(	UltraRelationCorrectnessTests	,
		Ultra
	)

Test the correctness of the Ultra Honk relations.

Check that the constraints encoded by the relations are satisfied by the polynomials produced by the Ultra Honk Composer for a real circuit.

TODO(Kesha): We'll have to update this function once we add zk, since the relation will be incorrect for the first few indices

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