Loading...
Searching...
No Matches
bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey > Class Template Reference
Simple stdlib verification key class for fixed-size circuits (ECCVM, Translator, AVM). More...
#include <flavor.hpp>
Inheritance diagram for bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey >:
Public Types | |
| using | Builder = Builder_ |
| using | Commitment = typename PrecomputedCommitments::DataType |
| using | FF = stdlib::field_t< Builder > |
Public Member Functions | |
| bool | operator== (const FixedStdlibVKAndHash_ &) const =default |
| FixedStdlibVKAndHash_ ()=default | |
| FixedStdlibVKAndHash_ (Builder *builder, const std::shared_ptr< NativeVerificationKey > &native_key) | |
| Construct from native verification key and fix all witnesses (VK is constant for fixed circuits) | |
| FF | get_hash () const |
Private Attributes | |
| FF | hash |
Detailed Description
template<typename Builder_, typename PrecomputedCommitments, typename NativeVerificationKey>
class bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey >
class bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey >
Simple stdlib verification key class for fixed-size circuits (ECCVM, Translator, AVM).
Stores only the commitments and precomputed VK hash as witnesses. Circuit size and public inputs are known constants for these fixed circuits and don't need to be stored.
- Template Parameters
-
Builder_ The circuit builder type PrecomputedCommitments The precomputed entities type NativeVerificationKey The native VK type for construction from native key
Definition at line 337 of file flavor.hpp.
Member Typedef Documentation
◆ Builder
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
| using bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey >::Builder = Builder_ |
Definition at line 339 of file flavor.hpp.
◆ Commitment
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
| using bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey >::Commitment = typename PrecomputedCommitments::DataType |
Definition at line 340 of file flavor.hpp.
◆ FF
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
| using bb::FixedStdlibVKAndHash_< Builder_, PrecomputedCommitments, NativeVerificationKey >::FF = stdlib::field_t<Builder> |
Definition at line 341 of file flavor.hpp.
Constructor & Destructor Documentation
◆ FixedStdlibVKAndHash_() [1/2]
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
|
default |
◆ FixedStdlibVKAndHash_() [2/2]
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
|
inline |
Construct from native verification key and fix all witnesses (VK is constant for fixed circuits)
Definition at line 349 of file flavor.hpp.
Member Function Documentation
◆ get_hash()
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
|
inline |
Definition at line 362 of file flavor.hpp.
◆ operator==()
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
|
default |
Member Data Documentation
◆ hash
template<typename Builder_ , typename PrecomputedCommitments , typename NativeVerificationKey >
|
private |
Definition at line 365 of file flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/flavor/flavor.hpp
