relation_correctness.test.cpp File Reference

#include "barretenberg/common/thread.hpp"
#include "barretenberg/honk/library/grand_product_library.hpp"
#include "barretenberg/honk/relation_checker.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"
#include "barretenberg/translator_vm/translator_proving_key.hpp"
#include <gtest/gtest.h>
#include <unordered_set>

Go to the source code of this file.

Classes
class	TranslatorRelationCorrectnessTests

Functions
	TEST_F (TranslatorRelationCorrectnessTests, DeltaRangeConstraint)
	TEST_F (TranslatorRelationCorrectnessTests, TranslatorExtraRelationsCorrectness)
	Test the correctness of TranslatorFlavor's extra relations (TranslatorOpcodeConstraintRelation and TranslatorAccumulatorTransferRelation)
	TEST_F (TranslatorRelationCorrectnessTests, Decomposition)
	Test the correctness of TranslatorFlavor's Decomposition Relation.
	TEST_F (TranslatorRelationCorrectnessTests, NonNative)
	Test the correctness of TranslatorFlavor's NonNativeField Relation.
	TEST_F (TranslatorRelationCorrectnessTests, ZeroKnowledgePermutation)
	TEST_F (TranslatorRelationCorrectnessTests, ZeroKnowledgeDeltaRange)

Function Documentation

TEST_F() [1/6]

TEST_F	(	TranslatorRelationCorrectnessTests	,
		Decomposition
	)

Test the correctness of TranslatorFlavor's Decomposition Relation.

Decompose a standard 68-bit limb of binary into 5 14-bit limbs and the 6th limb that is the same as the 5th but shifted by 2 bits

Decompose a standard 50-bit top limb into 4 14-bit limbs and the 5th limb that is the same as 5th, but shifted by 6 bits

Decompose the 60-bit top limb of z1 or z2 into 5 14-bit limbs and a 6th limb which is equal to the 5th, but shifted by 10 bits.

Decompose the 52-bit top limb of quotient into 4 14-bit limbs and the 5th limb that is the same as 5th, but shifted by 4 bits

Decompose relation wide limb into 6 14-bit limbs

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

TEST_F() [2/6]

TEST_F	(	TranslatorRelationCorrectnessTests	,
		DeltaRangeConstraint
	)

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

TEST_F() [3/6]

TEST_F	(	TranslatorRelationCorrectnessTests	,
		NonNative
	)

Test the correctness of TranslatorFlavor's NonNativeField Relation.

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

TEST_F() [4/6]

TEST_F	(	TranslatorRelationCorrectnessTests	,
		TranslatorExtraRelationsCorrectness
	)

Test the correctness of TranslatorFlavor's extra relations (TranslatorOpcodeConstraintRelation and TranslatorAccumulatorTransferRelation)

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

TEST_F() [5/6]

TEST_F	(	TranslatorRelationCorrectnessTests	,
		ZeroKnowledgeDeltaRange
	)

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

TEST_F() [6/6]

TEST_F	(	TranslatorRelationCorrectnessTests	,
		ZeroKnowledgePermutation
	)

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