The proving key is responsible for storing the polynomials used by the prover. More...

#include <ecc_vm.hpp>

Inheritance diagram for proof_system::honk::flavor::ECCVMBase< CycleGroup_T, Curve_T, PCS_T >::ProvingKey:

Public Types
using	Base = ProvingKey_< PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial > >

Public Types inherited from proof_system::honk::flavor::ProvingKey_< PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial > >
using	Polynomial = typename PrecomputedPolynomials::DataType

using	FF = typename Polynomial::FF

Public Member Functions
RefVector< Polynomial >	get_to_be_shifted ()

std::array< PolynomialHandle, 3 >	get_table_column_wires ()

Public Member Functions inherited from proof_system::honk::flavor::ProvingKey_< PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial > >
std::vector< std::string >	get_labels () const

RefVector< Polynomial >	get_all ()

RefVector< Polynomial >	get_witness_polynomials ()

RefVector< Polynomial >	get_precomputed_polynomials ()

	ProvingKey_ (const size_t circuit_size, const size_t num_public_inputs)

Additional Inherited Members
Public Attributes inherited from proof_system::honk::flavor::ProvingKey_< PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial > >
bool	contains_recursive_proof

std::vector< uint32_t >	recursive_proof_public_input_indices

barretenberg::EvaluationDomain< FF >	evaluation_domain

Detailed Description

template<typename CycleGroup_T, typename Curve_T, typename PCS_T>
class proof_system::honk::flavor::ECCVMBase< CycleGroup_T, Curve_T, PCS_T >::ProvingKey

The proving key is responsible for storing the polynomials used by the prover.

Note: TODO(Cody): Maybe multiple inheritance is the right thing here. In that case, nothing should eve inherit from ProvingKey.

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

src/barretenberg/flavor/ecc_vm.hpp

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description