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/hash/poseidon2/poseidon2.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/fixed_base/fixed_base.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/witness_computation_test_utils.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 > requires IsMegaFlavor<Flavor>
void	create_some_ecc_op_queue_gates (auto &circuit_builder)
template<typename Flavor > requires HasDataBus<Flavor>
void	create_some_databus_gates (auto &builder)
template<typename Flavor >
void	create_some_non_native_field_gates (auto &builder)
template<typename Flavor >
void	create_some_poseidon2_gates (auto &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 34 of file relation_correctness.test.cpp.

create_some_databus_gates()

template<typename Flavor >
requires HasDataBus<Flavor>

void create_some_databus_gates

(

auto &

builder

)

Definition at line 178 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 85 of file relation_correctness.test.cpp.

create_some_ecc_op_queue_gates()

template<typename Flavor >
requires IsMegaFlavor<Flavor>

void create_some_ecc_op_queue_gates

(

auto &

circuit_builder

)

Definition at line 164 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 145 of file relation_correctness.test.cpp.

create_some_lookup_gates()

template<typename Flavor >

void create_some_lookup_gates

(

auto &

circuit_builder

)

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

create_some_non_native_field_gates()

template<typename Flavor >

void create_some_non_native_field_gates

(

auto &

builder

)

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

create_some_poseidon2_gates()

template<typename Flavor >

void create_some_poseidon2_gates

(

auto &

builder

)

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

create_some_RAM_gates()

template<typename Flavor >

void create_some_RAM_gates

(

auto &

circuit_builder

)

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

ensure_non_zero()

void ensure_non_zero

(

auto &

polynomial

)

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

TEST_F() [1/2]

TEST_F	(	UltraRelationCorrectnessTests	,
		Mega
	)

Definition at line 268 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 233 of file relation_correctness.test.cpp.