Loading...
Searching...
No Matches
bb::avm2::AvmFlavor::VerificationKey Class Reference
#include <flavor.hpp>
Inheritance diagram for bb::avm2::AvmFlavor::VerificationKey:
Public Member Functions | |
| VerificationKey ()=default | |
| VerificationKey (const std::shared_ptr< ProvingKey > &proving_key) | |
| VerificationKey (std::array< Commitment, NUM_PRECOMPUTED_COMMITMENTS > const &precomputed_cmts) | |
| fr | hash_through_transcript (const std::string &domain_separator, Transcript &transcript) const override |
| Unimplemented because AVM VK is hardcoded so hash does not need to be computed. Rather, we just add the provided VK hash directly to the transcript. | |
 Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA > | |
| bool | operator== (const NativeVerificationKey_ &) const=default |
| virtual | ~NativeVerificationKey_ ()=default |
| NativeVerificationKey_ ()=default | |
| NativeVerificationKey_ (const size_t circuit_size, const size_t num_public_inputs) | |
| virtual std::vector< typename Transcript::DataType > | to_field_elements () const |
| Serialize verification key to field elements. | |
| size_t | from_field_elements (const std::span< const typename Transcript::DataType > &elements) |
| Populate verification key from field elements. | |
| fr | hash () const |
| A model function to show how to compute the VK hash(without the Transcript abstracting things away) | |
| virtual Transcript::DataType | hash_through_transcript (const std::string &domain_separator, Transcript &transcript) const |
| Hashes the vk using the transcript's independent buffer and returns the hash. | |
| Public Member Functions inherited from bb::ECCVMFlavor::PrecomputedEntities< Commitment > | |
| bool | operator== (const PrecomputedEntities &other) const=default |
| DEFINE_FLAVOR_MEMBERS (DataType, lagrange_first, lagrange_second, lagrange_last) | |
| DataType | get_selectors () |
Static Public Attributes | |
| static constexpr size_t | NUM_PRECOMPUTED_COMMITMENTS = NUM_PRECOMPUTED_ENTITIES |
Additional Inherited Members | |
| Public Types inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA > | |
| using | Commitment = typename PrecomputedCommitments::DataType |
| Public Types inherited from bb::ECCVMFlavor::PrecomputedEntities< Commitment > | |
| using | DataType = Commitment |
| Static Public Member Functions inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA > | |
| static size_t | calc_num_data_types () |
| Calculate the number of field elements needed for serialization. | |
| Public Attributes inherited from bb::NativeVerificationKey_< PrecomputedEntities< Commitment >, Transcript, VKSerializationMode::NO_METADATA > | |
| uint64_t | log_circuit_size |
| uint64_t | num_public_inputs |
| uint64_t | pub_inputs_offset |
Detailed Description
Definition at line 226 of file flavor.hpp.
Constructor & Destructor Documentation
◆ VerificationKey() [1/3]
|
default |
◆ VerificationKey() [2/3]
|
inline |
Definition at line 233 of file flavor.hpp.
◆ VerificationKey() [3/3]
|
inline |
Definition at line 241 of file flavor.hpp.
Member Function Documentation
◆ hash_through_transcript()
|
inlineoverride |
Unimplemented because AVM VK is hardcoded so hash does not need to be computed. Rather, we just add the provided VK hash directly to the transcript.
Definition at line 253 of file flavor.hpp.
Member Data Documentation
◆ NUM_PRECOMPUTED_COMMITMENTS
|
staticconstexpr |
Definition at line 229 of file flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/vm2/constraining/flavor.hpp
