BatchedHonkTranslatorTests Class Reference

Inheritance diagram for BatchedHonkTranslatorTests:

Public Types
using	FF = TranslatorFlavor::FF
using	Fq = TranslatorFlavor::BF
using	G1 = TranslatorFlavor::Commitment
using	Transcript = NativeTranscript

Static Public Member Functions
static void	SetUpTestSuite ()
static void	add_random_ops (std::shared_ptr< ECCOpQueue > &op_queue, size_t count)
static void	add_mixed_ops (std::shared_ptr< ECCOpQueue > &op_queue, size_t count=100)
static std::shared_ptr< TranslatorProvingKey >	build_translator_key (const Fq &batching_challenge_v, const Fq &evaluation_input_x, size_t circuit_size_param=500)
	Build a translator circuit on a fresh op queue with random challenges.
static Fq	get_accumulated_result (const std::shared_ptr< TranslatorProvingKey > &key)
	Read accumulated_result from the translator witness polynomials.
static TranscriptManifest	build_expected_batched_manifest (const size_t mega_zk_log_n, const size_t num_mega_zk_pub_inputs)
	Build the expected transcript manifest for a BatchedHonkTranslator proof.
static std::array< TranslatorFlavor::Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES >	commit_op_queue_wires (const std::shared_ptr< TranslatorProvingKey > &key)
	Commit to the four op-queue wire polynomials.

Detailed Description

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

Member Typedef Documentation

FF

using BatchedHonkTranslatorTests::FF = TranslatorFlavor::FF

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

Fq

using BatchedHonkTranslatorTests::Fq = TranslatorFlavor::BF

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

G1

using BatchedHonkTranslatorTests::G1 = TranslatorFlavor::Commitment

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

Transcript

using BatchedHonkTranslatorTests::Transcript = NativeTranscript

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

Member Function Documentation

add_mixed_ops()

static void BatchedHonkTranslatorTests::add_mixed_ops ( std::shared_ptr< ECCOpQueue > &  op_queue, size_t  count = 100  )

inlinestatic

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

add_random_ops()

static void BatchedHonkTranslatorTests::add_random_ops ( std::shared_ptr< ECCOpQueue > &  op_queue, size_t  count  )

inlinestatic

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

build_expected_batched_manifest()

static TranscriptManifest BatchedHonkTranslatorTests::build_expected_batched_manifest ( const size_t  mega_zk_log_n, const size_t  num_mega_zk_pub_inputs  )

inlinestatic

Build the expected transcript manifest for a BatchedHonkTranslator proof.

The manifest structure (27 rounds, 0-26): Round 0: MegaZK Oink — vk_hash, public inputs, masking commitment, wire/databus commitments → eta Round 1: lookup counts/tags/W_4 → beta, gamma Round 2: logderiv inverses + Z_PERM + translator Oink (vk_hash, masking, 10 wires) → beta, gamma Round 3: translator Z_PERM → Sumcheck:alpha + 17 gate challenges Round 4: Libra masking commitment + Sum → Libra:Challenge Rounds 5..4+JOINT_LOG_N: joint sumcheck rounds (one per round); MegaZK evals sent before the first virtual round univariate (round 5+mega_zk_log_n); minicircuit evals sent in round 5+LOG_MINI_CIRCUIT_SIZE Round 5+JOINT_LOG_N: MegaZK evals (if mega_zk_log_n==JOINT_LOG_N) + translator evals

• Libra stuff → rho Round 6+JOINT_LOG_N: Gemini fold commitments → Gemini:r Round 7+JOINT_LOG_N: Gemini evals + Libra evals → Shplonk:nu Round 8+JOINT_LOG_N: Shplonk:Q → Shplonk:z Round 9+JOINT_LOG_N: KZG:W

Parameters

mega_zk_log_n	log₂(circuit_size) of the MegaZK instance
num_mega_zk_pub_inputs	number of MegaZK public inputs

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

build_translator_key()

static std::shared_ptr< TranslatorProvingKey > BatchedHonkTranslatorTests::build_translator_key ( const Fq &  batching_challenge_v, const Fq &  evaluation_input_x, size_t  circuit_size_param = 500  )

inlinestatic

Build a translator circuit on a fresh op queue with random challenges.

Mirrors TranslatorTests::generate_test_circuit. No ECCVM: challenges are random.

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

commit_op_queue_wires()

static std::array< TranslatorFlavor::Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > BatchedHonkTranslatorTests::commit_op_queue_wires ( const std::shared_ptr< TranslatorProvingKey > &  key )

inlinestatic

Commit to the four op-queue wire polynomials.

Mirrors the merge protocol's job; called after the commitment key is initialised.

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

get_accumulated_result()

static Fq BatchedHonkTranslatorTests::get_accumulated_result ( const std::shared_ptr< TranslatorProvingKey > &  key )

inlinestatic

Read accumulated_result from the translator witness polynomials.

Must be called after TranslatorProver has been constructed (which initialises the commitment key).

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

SetUpTestSuite()

static void BatchedHonkTranslatorTests::SetUpTestSuite ( )

inlinestatic

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

---

The documentation for this class was generated from the following file:

• src/barretenberg/chonk/batched_honk_translator/batched_honk_translator.test.cpp