#include <flavor.hpp>

Inheritance diagram for bb::avm2::AvmFlavor::VerificationKey:

Public Member Functions
	VerificationKey ()=default

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

	VerificationKey (std::array< Commitment, NUM_PRECOMPUTED_COMMITMENTS > const &precomputed_cmts)

fr	hash_with_origin_tagging (const std::string &domain_separator, Transcript &transcript) const override
	Unimplemented because AVM VK is hardcoded so hash does not need to be computed. Rather, we just add the provided VK hash directly to the transcript.

Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA >
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)

virtual std::vector< typename Transcript::DataType >	to_field_elements () const
	Serialize verification key to field elements.

size_t	from_field_elements (const std::span< const typename Transcript::DataType > &elements)
	Populate verification key from field elements.

fr	hash () const
	Compute VK hash.

virtual Transcript::DataType	hash_with_origin_tagging (const std::string &domain_separator, Transcript &transcript) const
	Tag VK components and hash.

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 ()

Static Public Attributes
static constexpr size_t	NUM_PRECOMPUTED_COMMITMENTS = NUM_PRECOMPUTED_ENTITIES

Additional Inherited Members
Public Types inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA >
using	Commitment = typename PrecomputedCommitments::DataType

Public Types inherited from bb::ECCVMFlavor::PrecomputedEntities< Commitment >
using	DataType = Commitment

Static Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA >
static size_t	calc_num_data_types ()
	Calculate the number of field elements needed for serialization.

Public Attributes inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA >
uint64_t	log_circuit_size

uint64_t	num_public_inputs

uint64_t	pub_inputs_offset

Detailed Description

Definition at line 224 of file flavor.hpp.

Constructor & Destructor Documentation

◆ VerificationKey() [1/3]

bb::avm2::AvmFlavor::VerificationKey::VerificationKey ( )

default

◆ VerificationKey() [2/3]

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

inline

Definition at line 231 of file flavor.hpp.

◆ VerificationKey() [3/3]

bb::avm2::AvmFlavor::VerificationKey::VerificationKey ( std::array< Commitment, NUM_PRECOMPUTED_COMMITMENTS > const & precomputed_cmts )

inline

Definition at line 239 of file flavor.hpp.

Member Function Documentation

◆ hash_with_origin_tagging()

fr bb::avm2::AvmFlavor::VerificationKey::hash_with_origin_tagging	(	const std::string &	domain_separator,
		Transcript &	transcript
	)		const

inlineoverride

Unimplemented because AVM VK is hardcoded so hash does not need to be computed. Rather, we just add the provided VK hash directly to the transcript.

Definition at line 251 of file flavor.hpp.

Member Data Documentation

◆ NUM_PRECOMPUTED_COMMITMENTS

constexpr size_t bb::avm2::AvmFlavor::VerificationKey::NUM_PRECOMPUTED_COMMITMENTS = NUM_PRECOMPUTED_ENTITIES

staticconstexpr

Definition at line 227 of file flavor.hpp.

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

src/barretenberg/vm2/constraining/flavor.hpp

Public Member Functions

Static Public Attributes

Additional Inherited Members