bb::MegaFlavor::VerifierCommitments_< Commitment, VerificationKey > Class Template Reference

#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor::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::MegaFlavor::AllEntities< DataType >
auto	get_unshifted ()
auto	get_precomputed ()
auto	get_witness ()
auto	get_shifted ()
Public Member Functions inherited from bb::MegaFlavor::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_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) 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::MegaFlavor::WitnessEntities< DataType >
auto	get_wires ()
auto	get_ecc_op_wires ()
auto	get_databus_entities ()
auto	get_databus_inverses ()
auto	get_to_be_shifted ()
	MSGPACK_FIELDS (this->w_l, this->w_r, this->w_o, this->w_4, this->z_perm, this->lookup_inverses, this->lookup_read_counts, this->lookup_read_tags, this->ecc_op_wire_1, this->ecc_op_wire_2, this->ecc_op_wire_3, this->ecc_op_wire_4, this->calldata, this->calldata_read_counts, this->calldata_read_tags, this->calldata_inverses, this->secondary_calldata, this->secondary_calldata_read_counts, this->secondary_calldata_read_tags, this->secondary_calldata_inverses, this->return_data, this->return_data_read_counts, this->return_data_read_tags, this->return_data_inverses)
Public Member Functions inherited from bb::MegaFlavor::WireEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4)
Public Member Functions inherited from bb::MegaFlavor::DerivedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags, ecc_op_wire_1, ecc_op_wire_2, ecc_op_wire_3, ecc_op_wire_4, calldata, calldata_read_counts, calldata_read_tags, calldata_inverses, secondary_calldata, secondary_calldata_read_counts, secondary_calldata_read_tags, secondary_calldata_inverses, return_data, return_data_read_counts, return_data_read_tags, return_data_inverses)
auto	get_to_be_shifted ()

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

Detailed Description

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

Note: Made generic for use in MegaRecursive.

Definition at line 628 of file mega_flavor.hpp.

Constructor & Destructor Documentation

VerifierCommitments_()

template<typename Commitment , typename VerificationKey >

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

inline

Definition at line 630 of file mega_flavor.hpp.

---

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

• src/barretenberg/flavor/mega_flavor.hpp