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

Inheritance diagram for bb::UltraRollupFlavor::VerificationKey:

Public Member Functions
virtual	~VerificationKey ()=default

bool	operator== (const VerificationKey &) const =default

	VerificationKey ()=default

	VerificationKey (const size_t circuit_size, const size_t num_public_inputs)

	VerificationKey (const PrecomputedData &precomputed)

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.

size_t	from_field_elements (const std::span< const typename Transcript::DataType > &elements)
	Populate verification key from 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 ()

Additional Inherited Members
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

Static Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript >
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 >
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 34 of file ultra_rollup_flavor.hpp.

Constructor & Destructor Documentation

virtual bb::UltraRollupFlavor::VerificationKey::~VerificationKey ( )

virtualdefault

bb::UltraRollupFlavor::VerificationKey::VerificationKey ( )

default

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

inline

Definition at line 40 of file ultra_rollup_flavor.hpp.

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

inline

Definition at line 44 of file ultra_rollup_flavor.hpp.

bool bb::UltraRollupFlavor::VerificationKey::operator== ( const VerificationKey & ) const

default

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