barretenberg
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
proof_system::plonk::verification_key Struct Reference

Public Member Functions

 verification_key (verification_key_data &&data, std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > const &crs)
 
 verification_key (size_t num_gates, size_t num_inputs, std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > const &crs, CircuitType circuit_type)
 
 verification_key (const verification_key &other)
 
 verification_key (verification_key &&other) noexcept
 
verification_keyoperator= (verification_key &&other) noexcept
 
verification_keyoperator= (const verification_key &other)=delete
 
sha256::hash sha256_hash ()
 
verification_key_data as_data () const
 
void msgpack_pack (auto &packer) const
 
void msgpack_unpack (auto obj)
 
void msgpack_schema (auto &packer) const
 

Public Attributes

CircuitType circuit_type
 
size_t circuit_size
 
size_t log_circuit_size
 
size_t num_public_inputs
 
barretenberg::evaluation_domain domain
 
std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > reference_string
 
std::map< std::string, barretenberg::g1::affine_elementcommitments
 
PolynomialManifest polynomial_manifest
 
barretenberg::fr z_pow_n
 
bool contains_recursive_proof = false
 
std::vector< uint32_t > recursive_proof_public_input_indices
 
size_t program_width = 3
 

The documentation for this struct was generated from the following files: