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

Public Member Functions

 MSGPACK_FIELDS (circuit_type, circuit_size, num_public_inputs, commitments, contains_recursive_proof, recursive_proof_public_input_indices)
 
barretenberg::fr hash_native (size_t hash_index=0) const
 Hash the verification key data.
 

Public Attributes

uint32_t circuit_type
 
uint32_t circuit_size
 
uint32_t num_public_inputs
 
std::map< std::string, barretenberg::g1::affine_elementcommitments
 
bool contains_recursive_proof = false
 
std::vector< uint32_t > recursive_proof_public_input_indices
 

Member Function Documentation

◆ hash_native()

barretenberg::fr proof_system::plonk::verification_key_data::hash_native ( size_t  hash_index = 0) const

Hash the verification key data.

Native pedersen hash of VK data that is truly core to a VK. Omits recursion proof flag and recursion input indices as they are not really core to the VK itself.

Parameters
hash_indexgenerator index to use during pedersen hashing
Returns
a field containing the hash

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