bb::MegaFlavor::VerificationKey Class Reference

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

#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor::VerificationKey:

Public Types
using	MSGPACK_NO_STATIC_CHECK = std::true_type
Public Types inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript >
using	Commitment = typename PrecomputedCommitments::DataType
Public Types inherited from bb::ECCVMFlavor::PrecomputedEntities< Commitment >
using	DataType = Commitment

Public Member Functions
	VerificationKey ()=default
	VerificationKey (const size_t circuit_size, const size_t num_public_inputs)
	VerificationKey (const VerificationKey &vk)=default
void	set_metadata (const MetaData &metadata)
	VerificationKey (const PrecomputedData &precomputed)
	MSGPACK_FIELDS (log_circuit_size, num_public_inputs, pub_inputs_offset, q_m, q_c, q_l, q_r, q_o, q_4, q_busread, q_lookup, q_arith, q_delta_range, q_elliptic, q_memory, q_nnf, q_poseidon2_external, q_poseidon2_internal, sigma_1, sigma_2, sigma_3, sigma_4, id_1, id_2, id_3, id_4, table_1, table_2, table_3, table_4, lagrange_first, lagrange_last, lagrange_ecc_op, databus_id)
Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript >
bool	operator== (const NativeVerificationKey_ &) const=default
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.
fr	hash () const
	A model function to show how to compute the VK hash(without the Transcript abstracting things away)
virtual Transcript::DataType	hash_through_transcript (const std::string &domain_separator, Transcript &transcript) const
	Hashes the vk using the transcript's independent buffer and returns the 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_last)
DataType	get_selectors ()

Static Public Attributes
static constexpr size_t	VERIFICATION_KEY_LENGTH

Additional Inherited Members
Public Attributes inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript >
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-witness) 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.

Todo:

TODO(https://github.com/AztecProtocol/barretenberg/issues/876)

Definition at line 440 of file mega_flavor.hpp.

Member Typedef Documentation

MSGPACK_NO_STATIC_CHECK

using bb::MegaFlavor::VerificationKey::MSGPACK_NO_STATIC_CHECK = std::true_type

Definition at line 472 of file mega_flavor.hpp.

Constructor & Destructor Documentation

VerificationKey() [1/4]

bb::MegaFlavor::VerificationKey::VerificationKey ( )

default

VerificationKey() [2/4]

bb::MegaFlavor::VerificationKey::VerificationKey ( const size_t  circuit_size, const size_t  num_public_inputs  )

inline

Definition at line 448 of file mega_flavor.hpp.

VerificationKey() [3/4]

bb::MegaFlavor::VerificationKey::VerificationKey ( const VerificationKey &  vk )

default

VerificationKey() [4/4]

bb::MegaFlavor::VerificationKey::VerificationKey ( const PrecomputedData &  precomputed )

inline

Definition at line 461 of file mega_flavor.hpp.

Member Function Documentation

MSGPACK_FIELDS()

bb::MegaFlavor::VerificationKey::MSGPACK_FIELDS	(	log_circuit_size	,
		num_public_inputs	,
		pub_inputs_offset	,
		q_m	,
		q_c	,
		q_l	,
		q_r	,
		q_o	,
		q_4	,
		q_busread	,
		q_lookup	,
		q_arith	,
		q_delta_range	,
		q_elliptic	,
		q_memory	,
		q_nnf	,
		q_poseidon2_external	,
		q_poseidon2_internal	,
		sigma_1	,
		sigma_2	,
		sigma_3	,
		sigma_4	,
		id_1	,
		id_2	,
		id_3	,
		id_4	,
		table_1	,
		table_2	,
		table_3	,
		table_4	,
		lagrange_first	,
		lagrange_last	,
		lagrange_ecc_op	,
		databus_id
	)

set_metadata()

void bb::MegaFlavor::VerificationKey::set_metadata ( const MetaData &  metadata )

inline

Definition at line 454 of file mega_flavor.hpp.

Member Data Documentation

VERIFICATION_KEY_LENGTH

constexpr size_t bb::MegaFlavor::VerificationKey::VERIFICATION_KEY_LENGTH

staticconstexpr

Initial value:

=
             (3 * num_frs_fr) +
             (NUM_PRECOMPUTED_ENTITIES * num_frs_comm)

Definition at line 443 of file mega_flavor.hpp.

---

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

• src/barretenberg/flavor/mega_flavor.hpp