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

Inheritance diagram for proof_system::honk::flavor::GoblinUltraRecursive_< BuilderType >::VerificationKey:

Public Member Functions
	VerificationKey (CircuitBuilder *builder, const std::shared_ptr< NativeVerificationKey > &native_key)
	Construct a new Verification Key with stdlib types from a provided native verification key.

Public Member Functions inherited from proof_system::honk::flavor::VerificationKey_< GoblinUltra::PrecomputedEntities< Commitment > >
	VerificationKey_ (const size_t circuit_size, const size_t num_public_inputs)

Public Member Functions inherited from proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< Commitment >
	DEFINE_FLAVOR_MEMBERS (DataType, q_m, q_c, q_l, q_r, q_o, q_4, q_arith, q_sort, q_elliptic, q_aux, q_lookup, q_busread, 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) static const expr CircuitType CIRCUIT_TYPE

RefVector< DataType >	get_selectors ()

RefVector< DataType >	get_sigma_polynomials ()

RefVector< DataType >	get_id_polynomials ()

RefVector< DataType >	get_table_polynomials ()

Additional Inherited Members
Public Types inherited from proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< Commitment >
using	DataType = Commitment

Public Attributes inherited from proof_system::honk::flavor::PrecomputedEntitiesBase
size_t	circuit_size

size_t	log_circuit_size

size_t	num_public_inputs

CircuitType	circuit_type

Detailed Description

template<typename BuilderType>
class proof_system::honk::flavor::GoblinUltraRecursive_< BuilderType >::VerificationKey

The verification key is responsible for storing the 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. This differs from GoblinUltra in how we construct the commitments.

Constructor & Destructor Documentation

template<typename BuilderType >

proof_system::honk::flavor::GoblinUltraRecursive_< BuilderType >::VerificationKey::VerificationKey	(	CircuitBuilder *	builder,
		const std::shared_ptr< NativeVerificationKey > &	native_key
	)

inline

Construct a new Verification Key with stdlib types from a provided native verification key.

Parameters

builder
native_key	Native verification key from which to extract the precomputed commitments

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