Stores the fixed Translator VK commitment that depends only on the circuit size constant CONST_TRANSLATOR_LOG_N. More...

#include <translator_fixed_vk.hpp>

Public Types
using	Commitment = curve::BN254::AffineElement

using	FF = curve::BN254::ScalarField

Static Public Member Functions
static FF	vk_hash ()

static std::vector< Commitment >	get_all ()

Detailed Description

Stores the fixed Translator VK commitment that depends only on the circuit size constant CONST_TRANSLATOR_LOG_N.

Only ordered_extra_range_constraints_numerator needs a VK commitment — all other precomputed selectors are structured multilinear polynomials whose evaluations the verifier computes analytically (see TranslatorSelectorEvaluations::compute), so they never enter PCS. If CONST_TRANSLATOR_LOG_N changes, this commitment and vk_hash must be updated accordingly. Their values can be obtained from the test TranslatorTests::FixedVK.

Definition at line 22 of file translator_fixed_vk.hpp.

Member Typedef Documentation

◆ Commitment

using bb::TranslatorHardcodedVKAndHash::Commitment = curve::BN254::AffineElement

Definition at line 23 of file translator_fixed_vk.hpp.

◆ FF

using bb::TranslatorHardcodedVKAndHash::FF = curve::BN254::ScalarField

Definition at line 24 of file translator_fixed_vk.hpp.

Member Function Documentation

◆ get_all()

static std::vector< Commitment > bb::TranslatorHardcodedVKAndHash::get_all ( )

inlinestatic

Definition at line 29 of file translator_fixed_vk.hpp.

◆ vk_hash()

static FF bb::TranslatorHardcodedVKAndHash::vk_hash ( )

inlinestatic

Definition at line 27 of file translator_fixed_vk.hpp.

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

src/barretenberg/translator_vm/translator_fixed_vk.hpp

Public Types