bb::DeciderVerificationKeys_< Flavor_, NUM_ > Struct Template Reference

#include <decider_keys.hpp>

Public Types
using	Flavor = Flavor_
using	FF = typename Flavor_::FF
using	Commitment = typename Flavor_::Commitment
using	VerificationKey = typename Flavor::VerificationKey
using	DeciderVK = DeciderVerificationKey_< Flavor >
using	ArrayType = std::array< std::shared_ptr< DeciderVK >, NUM_ >

Public Member Functions
std::shared_ptr< DeciderVK > const &	operator[] (size_t idx) const
ArrayType::iterator	begin ()
ArrayType::iterator	end ()
	DeciderVerificationKeys_ ()=default
	DeciderVerificationKeys_ (const std::vector< std::shared_ptr< DeciderVK > > &data)
std::vector< std::vector< Commitment > >	get_precomputed_commitments () const
std::vector< std::vector< Commitment > >	get_witness_commitments () const
	Get the witness commitments grouped by commitment index.
std::vector< std::vector< FF > >	get_alphas () const
	Get the alphas grouped by commitment index.
std::vector< std::vector< FF > >	get_relation_parameters () const
	Get the relation parameters grouped by commitment index.

Public Attributes
ArrayType	_data

Static Public Attributes
static constexpr size_t	NUM = NUM_
static constexpr size_t	BATCHED_EXTENDED_LENGTH = (Flavor::MAX_TOTAL_RELATION_LENGTH - 1 + NUM - 1) * (NUM - 1) + 1

Detailed Description

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>
struct bb::DeciderVerificationKeys_< Flavor_, NUM_ >

Definition at line 108 of file decider_keys.hpp.

Member Typedef Documentation

ArrayType

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderVerificationKeys_< Flavor_, NUM_ >::ArrayType = std::array<std::shared_ptr<DeciderVK>, NUM_>

Definition at line 115 of file decider_keys.hpp.

Commitment

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderVerificationKeys_< Flavor_, NUM_ >::Commitment = typename Flavor_::Commitment

Definition at line 112 of file decider_keys.hpp.

DeciderVK

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderVerificationKeys_< Flavor_, NUM_ >::DeciderVK = DeciderVerificationKey_<Flavor>

Definition at line 114 of file decider_keys.hpp.

FF

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderVerificationKeys_< Flavor_, NUM_ >::FF = typename Flavor_::FF

Definition at line 111 of file decider_keys.hpp.

Flavor

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderVerificationKeys_< Flavor_, NUM_ >::Flavor = Flavor_

Definition at line 110 of file decider_keys.hpp.

VerificationKey

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderVerificationKeys_< Flavor_, NUM_ >::VerificationKey = typename Flavor::VerificationKey

Definition at line 113 of file decider_keys.hpp.

Constructor & Destructor Documentation

DeciderVerificationKeys_() [1/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

bb::DeciderVerificationKeys_< Flavor_, NUM_ >::DeciderVerificationKeys_ ( )

default

DeciderVerificationKeys_() [2/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

bb::DeciderVerificationKeys_< Flavor_, NUM_ >::DeciderVerificationKeys_ ( const std::vector< std::shared_ptr< DeciderVK > > &  data )

inline

Definition at line 126 of file decider_keys.hpp.

Member Function Documentation

begin()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType::iterator bb::DeciderVerificationKeys_< Flavor_, NUM_ >::begin ( )

inline

Definition at line 122 of file decider_keys.hpp.

end()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType::iterator bb::DeciderVerificationKeys_< Flavor_, NUM_ >::end ( )

inline

Definition at line 123 of file decider_keys.hpp.

get_alphas()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

std::vector< std::vector< FF > > bb::DeciderVerificationKeys_< Flavor_, NUM_ >::get_alphas ( ) const

inline

Get the alphas grouped by commitment index.

See get_precomputed_commitments; this is essentially the same.

Definition at line 180 of file decider_keys.hpp.

get_precomputed_commitments()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

std::vector< std::vector< Commitment > > bb::DeciderVerificationKeys_< Flavor_, NUM_ >::get_precomputed_commitments ( ) const

inline

Definition at line 146 of file decider_keys.hpp.

get_relation_parameters()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

std::vector< std::vector< FF > > bb::DeciderVerificationKeys_< Flavor_, NUM_ >::get_relation_parameters ( ) const

inline

Get the relation parameters grouped by commitment index.

See get_precomputed_commitments; this is essentially the same.

Definition at line 197 of file decider_keys.hpp.

get_witness_commitments()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

std::vector< std::vector< Commitment > > bb::DeciderVerificationKeys_< Flavor_, NUM_ >::get_witness_commitments ( ) const

inline

Get the witness commitments grouped by commitment index.

See get_precomputed_commitments; this is essentially the same.

Definition at line 163 of file decider_keys.hpp.

operator[]()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

std::shared_ptr< DeciderVK > const & bb::DeciderVerificationKeys_< Flavor_, NUM_ >::operator[] ( size_t  idx ) const

inline

Definition at line 121 of file decider_keys.hpp.

Member Data Documentation

_data

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType bb::DeciderVerificationKeys_< Flavor_, NUM_ >::_data

Definition at line 120 of file decider_keys.hpp.

BATCHED_EXTENDED_LENGTH

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

constexpr size_t bb::DeciderVerificationKeys_< Flavor_, NUM_ >::BATCHED_EXTENDED_LENGTH = (Flavor::MAX_TOTAL_RELATION_LENGTH - 1 + NUM - 1) * (NUM - 1) + 1

staticconstexpr

Definition at line 119 of file decider_keys.hpp.

NUM

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

constexpr size_t bb::DeciderVerificationKeys_< Flavor_, NUM_ >::NUM = NUM_

staticconstexpr

Definition at line 118 of file decider_keys.hpp.

---

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

• src/barretenberg/ultra_honk/decider_keys.hpp