A container encapsulating all the commitments that the verifier receives (to precomputed polynomials and witness polynomials). More...

Inheritance diagram for bb::UltraFlavor::VerifierCommitments_< Commitment, VerificationKey >:

Public Member Functions
	VerifierCommitments_ (const std::shared_ptr< VerificationKey > &verification_key, const std::optional< WitnessEntities< Commitment > > &witness_commitments=std::nullopt)

Public Member Functions inherited from bb::UltraFlavor::AllEntities< DataType >
auto	get_unshifted ()

auto	get_precomputed ()

auto	get_witness ()

Public Member Functions inherited from bb::UltraFlavor::PrecomputedEntities< DataType_ >
bool	operator== (const PrecomputedEntities &) const =default

	DEFINE_FLAVOR_MEMBERS (DataType, q_m, q_c, q_l, q_r, q_o, q_4, 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) static const expr CircuitType CIRCUIT_TYPE

auto	get_non_gate_selectors ()

auto	get_gate_selectors ()

auto	get_selectors ()

auto	get_sigmas ()

auto	get_ids ()

auto	get_tables ()

Public Member Functions inherited from bb::UltraFlavor::WitnessEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags) auto get_wires()

auto	get_to_be_shifted ()

	MSGPACK_FIELDS (w_l, w_r, w_o, w_4, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags)

Public Member Functions inherited from bb::UltraFlavor::ShiftedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_l_shift, w_r_shift, w_o_shift, w_4_shift, z_perm_shift) auto get_shifted()

Additional Inherited Members
Public Types inherited from bb::UltraFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_

Detailed Description

template<typename Commitment, typename VerificationKey>
class bb::UltraFlavor::VerifierCommitments_< Commitment, VerificationKey >

A container encapsulating all the commitments that the verifier receives (to precomputed polynomials and witness polynomials).

Definition at line 641 of file ultra_flavor.hpp.

Constructor & Destructor Documentation

template<typename Commitment , typename VerificationKey >

bb::UltraFlavor::VerifierCommitments_< Commitment, VerificationKey >::VerifierCommitments_	(	const std::shared_ptr< VerificationKey > &	verification_key,
		const std::optional< WitnessEntities< Commitment > > &	witness_commitments = `std::nullopt`
	)

inline

Definition at line 643 of file ultra_flavor.hpp.

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