bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash > Class Template Reference

Simple verification key class for fixed-size circuits (ECCVM, Translator, AVM). More...

#include <flavor.hpp>

Inheritance diagram for bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >:

Public Types
using	Commitment = typename PrecomputedCommitments::DataType

Public Member Functions
bool	operator== (const FixedVKAndHash_ &) const =default
	FixedVKAndHash_ ()
HashType	get_hash () const

Private Attributes
HashType	hash {}

Detailed Description

template<typename PrecomputedCommitments, typename HashType, typename HardcodedVKAndHash>
class bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >

Simple verification key class for fixed-size circuits (ECCVM, Translator, AVM).

Stores only the commitments and a precomputed hash. Circuit size and public inputs count are known constants for these fixed circuits and don't need to be stored.

Template Parameters

PrecomputedCommitments	The precomputed entities containing VK commitments
HashType	The field type for the precomputed hash (e.g., fr for both ECCVM and Translator)
HardcodedVKAndHash	Class containing static vk_hash() and get_all() methods with hardcoded values

Definition at line 101 of file flavor.hpp.

Member Typedef Documentation

Commitment

template<typename PrecomputedCommitments , typename HashType , typename HardcodedVKAndHash >

using bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >::Commitment = typename PrecomputedCommitments::DataType

Definition at line 103 of file flavor.hpp.

Constructor & Destructor Documentation

FixedVKAndHash_()

template<typename PrecomputedCommitments , typename HashType , typename HardcodedVKAndHash >

bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >::FixedVKAndHash_ ( )

inline

Definition at line 108 of file flavor.hpp.

Member Function Documentation

get_hash()

template<typename PrecomputedCommitments , typename HashType , typename HardcodedVKAndHash >

HashType bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >::get_hash ( ) const

inline

Definition at line 116 of file flavor.hpp.

operator==()

template<typename PrecomputedCommitments , typename HashType , typename HardcodedVKAndHash >

bool bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >::operator== ( const FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash > &  ) const

default

Member Data Documentation

hash

template<typename PrecomputedCommitments , typename HashType , typename HardcodedVKAndHash >

HashType bb::FixedVKAndHash_< PrecomputedCommitments, HashType, HardcodedVKAndHash >::hash {}

private

Definition at line 119 of file flavor.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/flavor/flavor.hpp