Base proving key class. More...
#include <flavor.hpp>
Inheritance diagram for proof_system::honk::flavor::ProvingKey_< PrecomputedPolynomials, WitnessPolynomials >:
Public Types | |
| using | Polynomial = typename PrecomputedPolynomials::DataType |
| using | FF = typename Polynomial::FF |
Public Member Functions | |
| 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 | |
| bool | contains_recursive_proof |
| std::vector< uint32_t > | recursive_proof_public_input_indices |
| barretenberg::EvaluationDomain< FF > | evaluation_domain |
Detailed Description
template<typename PrecomputedPolynomials, typename WitnessPolynomials>
class proof_system::honk::flavor::ProvingKey_< PrecomputedPolynomials, WitnessPolynomials >
class proof_system::honk::flavor::ProvingKey_< PrecomputedPolynomials, WitnessPolynomials >
Base proving key class.
- Template Parameters
-
PrecomputedEntities An instance of PrecomputedEntities_ with polynomial data type and span handle type. FF The scalar field on which we will encode our polynomial data. When instantiating, this may be extractable from the other template paramter.
The documentation for this class was generated from the following file:
- src/barretenberg/flavor/flavor.hpp
