batched_honk_translator.test.cpp File Reference

Tests for BatchedHonkTranslatorProver and BatchedHonkTranslatorVerifier_. More...

#include "batched_honk_translator_prover.hpp"
#include "batched_honk_translator_verifier.hpp"
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/honk/proof_length.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/transcript/transcript_manifest.hpp"
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
#include "barretenberg/translator_vm/translator_prover.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	BatchedHonkTranslatorTests

Functions
	TEST_F (BatchedHonkTranslatorTests, ProveAndVerify)
	TEST_F (BatchedHonkTranslatorTests, VerifierManifestConsistency)
	TEST_F (BatchedHonkTranslatorTests, ProverManifestConsistency)
	TEST_F (BatchedHonkTranslatorTests, ProveAndVerifySmallHiding)

Detailed Description

Tests for BatchedHonkTranslatorProver and BatchedHonkTranslatorVerifier_.

Sets up a minimal-but-realistic proving environment:

• A standalone TranslatorCircuitBuilder (op_queue with mixed ECC ops, random translation challenges).
• A simple MegaZK circuit for the hiding kernel (independent op_queue).

The ECCVM and merge proofs are intentionally omitted; the translation challenges (batching_challenge_v, evaluation_input_x) are drawn uniformly at random and the accumulated_result is read directly from the translator witness polynomials. This suffices to test that the batched sumcheck + Shplemini/KZG mechanism is sound.

Definition in file batched_honk_translator.test.cpp.

Function Documentation

TEST_F() [1/4]

TEST_F	(	BatchedHonkTranslatorTests	,
		ProveAndVerify
	)

Definition at line 284 of file batched_honk_translator.test.cpp.

TEST_F() [2/4]

TEST_F	(	BatchedHonkTranslatorTests	,
		ProveAndVerifySmallHiding
	)

Definition at line 446 of file batched_honk_translator.test.cpp.

TEST_F() [3/4]

TEST_F	(	BatchedHonkTranslatorTests	,
		ProverManifestConsistency
	)

Definition at line 404 of file batched_honk_translator.test.cpp.

TEST_F() [4/4]

TEST_F	(	BatchedHonkTranslatorTests	,
		VerifierManifestConsistency
	)

Definition at line 349 of file batched_honk_translator.test.cpp.