The proving key is responsible for storing the polynomials used by the prover. More...
#include <goblin_translator.hpp>
Inheritance diagram for proof_system::honk::flavor::GoblinTranslator::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 | |
| std::vector< std::string > | get_labels () |
| RefVector< Polynomial > | get_all () |
| ProvingKey (const size_t circuit_size) | |
| 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) | |
Public Attributes | |
| BF | batching_challenge_v = { 0 } |
| BF | evaluation_input_x = { 0 } |
| 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
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/goblin_translator.hpp
