bb::avm2::AvmFlavor::ProvingKey Class Reference

#include <flavor.hpp>

Inheritance diagram for bb::avm2::AvmFlavor::ProvingKey:

Public Types
using	FF = typename Polynomial::FF
Public Types inherited from bb::avm2::AvmFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_

Public Member Functions
	DEFINE_COMPOUND_GET_ALL (PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial >)
	ProvingKey ()
auto	get_witness_polynomials ()
auto	get_precomputed_polynomials ()
auto	get_selectors ()
auto	get_to_be_shifted ()
Public Member Functions inherited from bb::avm2::AvmFlavor::WitnessEntities< DataType >
auto	get_wires ()
auto	get_derived ()

Public Attributes
size_t	circuit_size = MAX_AVM_TRACE_SIZE
size_t	log_circuit_size = MAX_AVM_TRACE_LOG_SIZE
CommitmentKey	commitment_key
std::vector< FF >	public_inputs

Additional Inherited Members
Static Public Member Functions inherited from bb::avm2::AvmFlavor::WitnessEntities< DataType >
static const auto &	get_wires_labels ()
static const auto &	get_derived_labels ()

Detailed Description

Definition at line 218 of file flavor.hpp.

Member Typedef Documentation

FF

using bb::avm2::AvmFlavor::ProvingKey::FF = typename Polynomial::FF

Definition at line 220 of file flavor.hpp.

Constructor & Destructor Documentation

ProvingKey()

bb::avm2::AvmFlavor::ProvingKey::ProvingKey

(

)

Definition at line 95 of file flavor.cpp.

Member Function Documentation

DEFINE_COMPOUND_GET_ALL()

bb::avm2::AvmFlavor::ProvingKey::DEFINE_COMPOUND_GET_ALL	(	PrecomputedEntities< Polynomial >	,
		WitnessEntities< Polynomial >
	)

get_precomputed_polynomials()

auto bb::avm2::AvmFlavor::ProvingKey::get_precomputed_polynomials ( )

inline

Definition at line 235 of file flavor.hpp.

get_selectors()

auto bb::avm2::AvmFlavor::ProvingKey::get_selectors ( )

inline

Definition at line 236 of file flavor.hpp.

get_to_be_shifted()

auto bb::avm2::AvmFlavor::ProvingKey::get_to_be_shifted ( )

inline

Definition at line 237 of file flavor.hpp.

get_witness_polynomials()

auto bb::avm2::AvmFlavor::ProvingKey::get_witness_polynomials ( )

inline

Definition at line 234 of file flavor.hpp.

Member Data Documentation

circuit_size

size_t bb::avm2::AvmFlavor::ProvingKey::circuit_size = MAX_AVM_TRACE_SIZE

Definition at line 223 of file flavor.hpp.

commitment_key

CommitmentKey bb::avm2::AvmFlavor::ProvingKey::commitment_key

Definition at line 228 of file flavor.hpp.

log_circuit_size

size_t bb::avm2::AvmFlavor::ProvingKey::log_circuit_size = MAX_AVM_TRACE_LOG_SIZE

Definition at line 224 of file flavor.hpp.

public_inputs

std::vector<FF> bb::avm2::AvmFlavor::ProvingKey::public_inputs

Definition at line 232 of file flavor.hpp.

---

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

• src/barretenberg/vm2/constraining/flavor.hpp
• src/barretenberg/vm2/constraining/flavor.cpp