A container for the prover polynomials handles. More...

#include <flavor.hpp>

Inheritance diagram for bb::avm2::AvmFlavor::ProverPolynomials:

Public Member Functions
	ProverPolynomials ()=default

ProverPolynomials &	operator= (const ProverPolynomials &)=delete

	ProverPolynomials (const ProverPolynomials &o)=delete

	ProverPolynomials (ProverPolynomials &&o) noexcept=default

ProverPolynomials &	operator= (ProverPolynomials &&o) noexcept=default

	~ProverPolynomials ()=default

	ProverPolynomials (ProvingKey &proving_key)

	ProverPolynomials (const ProverPolynomials &full_polynomials, size_t circuit_size)

PolynomialEntitiesAtFixedRow< ProverPolynomials >	get_row (size_t row_idx) 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

Additional Inherited Members
Public Types inherited from bb::avm2::AvmFlavor::AllEntities< DataType_ >
using	DataType = DataType_

Public Attributes inherited from bb::avm2::AvmFlavor::AllEntities< DataType_ >
std::array< DataType, NUM_ALL_ENTITIES >	entities

Detailed Description

A container for the prover polynomials handles.

Definition at line 281 of file flavor.hpp.

Constructor & Destructor Documentation

◆ ProverPolynomials() [1/5]

bb::avm2::AvmFlavor::ProverPolynomials::ProverPolynomials ( )

default

◆ ProverPolynomials() [2/5]

bb::avm2::AvmFlavor::ProverPolynomials::ProverPolynomials ( const ProverPolynomials & o )

delete

◆ ProverPolynomials() [3/5]

bb::avm2::AvmFlavor::ProverPolynomials::ProverPolynomials ( ProverPolynomials && o )

defaultnoexcept

◆ ~ProverPolynomials()

bb::avm2::AvmFlavor::ProverPolynomials::~ProverPolynomials ( )

default

◆ ProverPolynomials() [4/5]

bb::avm2::AvmFlavor::ProverPolynomials::ProverPolynomials ( ProvingKey & proving_key )

Definition at line 6 of file flavor.cpp.

◆ ProverPolynomials() [5/5]

bb::avm2::AvmFlavor::ProverPolynomials::ProverPolynomials	(	const ProverPolynomials &	full_polynomials,
		size_t	circuit_size
	)

Definition at line 77 of file flavor.cpp.

Member Function Documentation

◆ get_row()

PolynomialEntitiesAtFixedRow< ProverPolynomials > bb::avm2::AvmFlavor::ProverPolynomials::get_row ( size_t row_idx ) const

inline

Definition at line 298 of file flavor.hpp.

◆ operator=() [1/2]

ProverPolynomials & bb::avm2::AvmFlavor::ProverPolynomials::operator= ( const ProverPolynomials & )