bb::TranslatorFlavor::VerificationKey Class Reference

The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier. More...

#include <translator_flavor.hpp>

Inheritance diagram for bb::TranslatorFlavor::VerificationKey:

Public Member Functions
	VerificationKey ()
	VerificationKey (const std::shared_ptr< ProvingKey > &proving_key)
Base::DataType	hash_with_origin_tagging (const OriginTag &tag) const override
	Unused function because vk is hardcoded in recursive verifier, so no transcript hashing is needed.
bool	compare (const VerificationKey &other)
Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction >
bool	operator== (const NativeVerificationKey_ &) const=default
bool	compare (const NativeVerificationKey_ &other, RefArray< StringType, NUM_PRECOMPUTED_ENTITIES > commitment_labels) const
virtual	~NativeVerificationKey_ ()=default
	NativeVerificationKey_ ()=default
	NativeVerificationKey_ (const size_t circuit_size, const size_t num_public_inputs)
	NativeVerificationKey_ (const PrecomputedData &precomputed)
	Construct VK from precomputed data by committing to polynomials.
virtual std::vector< DataType >	to_field_elements () const
	Serialize verification key to field elements.
size_t	from_field_elements (const std::span< const DataType > &elements)
	Populate verification key from field elements.
fr	hash () const
	Compute VK hash.
DataType	hash_with_origin_tagging (const Transcript &transcript) const
	An overload that accepts a transcript and extracts the tag internally.
Public Member Functions inherited from bb::ECCVMFlavor::PrecomputedEntities< Commitment >
bool	operator== (const PrecomputedEntities &other) const=default
	DEFINE_FLAVOR_MEMBERS (DataType, lagrange_first, lagrange_second, lagrange_third, lagrange_last)
DataType	get_selectors ()

Private Types
using	Base = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction >

Additional Inherited Members
Public Types inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction >
using	Commitment = typename PrecomputedCommitments::DataType
using	DataType = typename Codec::DataType
Public Types inherited from bb::ECCVMFlavor::PrecomputedEntities< Commitment >
using	DataType = Commitment
Static Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction >
static size_t	calc_num_data_types ()
	Calculate the number of field elements needed for serialization.
Public Attributes inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction >
uint64_t	log_circuit_size
uint64_t	num_public_inputs
uint64_t	pub_inputs_offset

Detailed Description

The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier.

Note

Note the discrepancy with what sort of data is stored here vs in the proving key. We may want to resolve that, and split out separate PrecomputedPolynomials/Commitments data for clarity but also for portability of our circuits.

Definition at line 850 of file translator_flavor.hpp.

Member Typedef Documentation

Base

using bb::TranslatorFlavor::VerificationKey::Base = NativeVerificationKey_<PrecomputedEntities<Commitment>, Codec, HashFunction>

private

Definition at line 851 of file translator_flavor.hpp.

Constructor & Destructor Documentation

VerificationKey() [1/2]

bb::TranslatorFlavor::VerificationKey::VerificationKey ( )

inline

Definition at line 855 of file translator_flavor.hpp.

VerificationKey() [2/2]

bb::TranslatorFlavor::VerificationKey::VerificationKey ( const std::shared_ptr< ProvingKey > &  proving_key )

inline

Definition at line 867 of file translator_flavor.hpp.

Member Function Documentation

compare()

bool bb::TranslatorFlavor::VerificationKey::compare ( const VerificationKey &  other )

inline

Definition at line 891 of file translator_flavor.hpp.

hash_with_origin_tagging()

Base::DataType bb::TranslatorFlavor::VerificationKey::hash_with_origin_tagging ( const OriginTag &  tag ) const

inlineoverridevirtual

Unused function because vk is hardcoded in recursive verifier, so no transcript hashing is needed.

Parameters

domain_separator
tag

Reimplemented from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction >.

Definition at line 885 of file translator_flavor.hpp.

---

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

• src/barretenberg/translator_vm/translator_flavor.hpp