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/transcript/transcript_manifest.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.

Classes
class	TranslatorTests

Typedefs
using	CircuitBuilder = TranslatorFlavor::CircuitBuilder
using	Transcript = TranslatorFlavor::Transcript
using	OpQueue = ECCOpQueue

Functions
TranslatorFlavor::VerificationKey	create_vk_from_proving_key (const std::shared_ptr< TranslatorFlavor::ProvingKey > &proving_key)
TranslatorFlavor::FF	compute_translator_vk_hash ()
	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, BasicAvmMode)
	Test Translator operates correctly for AVM i.e. when we only run Goblin on a single table of ecc ops and we should not expect random ops to appear at the end of Translator trace.
	TEST_F (TranslatorTests, FixedVK)
	Ensure that the fixed VK from the default constructor agrees with those computed manually for an arbitrary circuit.
	TEST_F (TranslatorTests, TranscriptPinned)
	Pin the Translator transcript manifest.

Typedef Documentation

CircuitBuilder

using CircuitBuilder = TranslatorFlavor::CircuitBuilder

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

OpQueue

using OpQueue = ECCOpQueue

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

Transcript

using Transcript = TranslatorFlavor::Transcript

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

Function Documentation

compute_translator_vk_hash()

TranslatorFlavor::FF compute_translator_vk_hash

(

)

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

create_vk_from_proving_key()

TranslatorFlavor::VerificationKey create_vk_from_proving_key

(

const std::shared_ptr< TranslatorFlavor::ProvingKey > &

proving_key

)

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

TEST_F() [1/5]

TEST_F	(	TranslatorTests	,
		Basic
	)

Test simple circuit with public inputs.

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

TEST_F() [2/5]

TEST_F	(	TranslatorTests	,
		BasicAvmMode
	)

Test Translator operates correctly for AVM i.e. when we only run Goblin on a single table of ecc ops and we should not expect random ops to appear at the end of Translator trace.

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

TEST_F() [3/5]

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 TranslatorHardcodedVKAndHash must be updated accordingly. Their values can be taken right from the output of this test.

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

TEST_F() [4/5]

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 285 of file translator.test.cpp.

TEST_F() [5/5]

TEST_F	(	TranslatorTests	,
		TranscriptPinned
	)

Pin the Translator transcript manifest.

Verifies that the verifier transcript matches the expected hardcoded structure. Prover correctness follows by transitivity (prover/verifier must match for verification to succeed).

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