translator.test.cpp File Reference

#include "barretenberg/circuit_checker/translator_circuit_checker.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/sumcheck/sumcheck_round.hpp"
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
#include "barretenberg/translator_vm/translator_prover.hpp"
#include "barretenberg/translator_vm/translator_verifier.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST_F (TranslatorTests, ProofLengthCheck)
	Check that size of a Translator proof matches the corresponding constant.
	TEST_F (TranslatorTests, Basic)
	Test simple circuit with public inputs.
	TEST_F (TranslatorTests, FixedVK)
	Ensure that the fixed VK from the default constructor agrees with those computed manually for an arbitrary circuit.

Function Documentation

TEST_F() [1/3]

TEST_F	(	TranslatorTests	,
		Basic
	)

Test simple circuit with public inputs.

Definition at line 79 of file translator.test.cpp.

TEST_F() [2/3]

TEST_F	(	TranslatorTests	,
		FixedVK
	)

Ensure that the fixed VK from the default constructor agrees with those computed manually for an arbitrary circuit.

Note

If this test fails, it may be because the constant CONST_TRANSLATOR_LOG_N has changed and the fixed VK commitments in TranslatorFixedVKCommitments must be updated accordingly. Their values can be taken right from the output of this test.

Definition at line 114 of file translator.test.cpp.

TEST_F() [3/3]

TEST_F	(	TranslatorTests	,
		ProofLengthCheck
	)

Check that size of a Translator proof matches the corresponding constant.

If this test FAILS, then the following (non-exhaustive) list should probably be updated as well:

• Proof length formula in translator_flavor.hpp, etc...
• translator_transcript.test.cpp
• constants in yarn-project in: constants.nr, constants.gen.ts, ConstantsGen.sol

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