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::AllEntities< DataType_ >
using	DataType = DataType_

Public Member Functions
	ProvingKey ()
std::span< Polynomial >	get_all ()
std::span< const Polynomial >	get_all () const
std::span< const std::string >	get_labels () const
Public Member Functions inherited from bb::avm2::AvmFlavor::AllEntities< DataType_ >
std::span< DataType >	get_all ()
std::span< const DataType >	get_all () const
std::span< const std::string >	get_labels () const
	DEFINE_AVM_GETTER (precomputed, PRECOMPUTED_START_IDX, NUM_PRECOMPUTED_ENTITIES)
	DEFINE_AVM_GETTER (wires, WIRE_START_IDX, NUM_WIRE_ENTITIES)
	DEFINE_AVM_GETTER (derived, DERIVED_START_IDX, NUM_DERIVED_ENTITIES)
	DEFINE_AVM_GETTER (shifted, SHIFTED_START_IDX, NUM_SHIFTED_ENTITIES)
	DEFINE_AVM_GETTER (witness, WITNESS_START_IDX, NUM_WITNESS_ENTITIES)
	DEFINE_AVM_GETTER (unshifted, UNSHIFTED_START_IDX, NUM_UNSHIFTED_ENTITIES)
	DEFINE_AVM_GETTER (to_be_shifted, WIRES_TO_BE_SHIFTED_START_IDX, NUM_WIRES_TO_BE_SHIFTED)
DataType &	get (ColumnAndShifts c)
const DataType &	get (ColumnAndShifts c) const

Public Attributes
CommitmentKey	commitment_key
std::vector< FF >	public_inputs
Public Attributes inherited from bb::avm2::AvmFlavor::AllEntities< DataType_ >
std::array< DataType, NUM_ALL_ENTITIES >	entities

Static Public Attributes
static constexpr size_t	circuit_size = MAX_AVM_TRACE_SIZE
static constexpr size_t	log_circuit_size = MAX_AVM_TRACE_LOG_SIZE

Detailed Description

Definition at line 201 of file flavor.hpp.

Member Typedef Documentation

FF

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

Definition at line 208 of file flavor.hpp.

Constructor & Destructor Documentation

ProvingKey()

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

(

)

Definition at line 86 of file flavor.cpp.

Member Function Documentation

get_all() [1/2]

std::span< Polynomial > bb::avm2::AvmFlavor::ProvingKey::get_all ( )

inline

Definition at line 215 of file flavor.hpp.

get_all() [2/2]

std::span< const Polynomial > bb::avm2::AvmFlavor::ProvingKey::get_all ( ) const

inline

Definition at line 216 of file flavor.hpp.

get_labels()

std::span< const std::string > bb::avm2::AvmFlavor::ProvingKey::get_labels ( ) const

inline

Definition at line 217 of file flavor.hpp.

Member Data Documentation

circuit_size

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

staticconstexpr

Definition at line 210 of file flavor.hpp.

commitment_key

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

Definition at line 219 of file flavor.hpp.

log_circuit_size

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

staticconstexpr

Definition at line 211 of file flavor.hpp.

public_inputs

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

Definition at line 223 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