bb::TranslatorFlavor::VKEntities< DataType_ > Class Template Reference

The only precomputed commitment the verifier needs for PCS. More...

#include <translator_flavor.hpp>

Public Types
using	DataType = DataType_

Public Member Functions
bool	operator== (const VKEntities &other) const =default
	DEFINE_FLAVOR_MEMBERS (DataType, ordered_extra_range_constraints_numerator)

Detailed Description

template<typename DataType_>
class bb::TranslatorFlavor::VKEntities< DataType_ >

The only precomputed commitment the verifier needs for PCS.

All other precomputed selectors are computable (evaluations derived from the sumcheck challenge), so they never enter PCS and don't need commitments in the VK.

Definition at line 1136 of file translator_flavor.hpp.

Member Typedef Documentation

DataType

template<typename DataType_ >

using bb::TranslatorFlavor::VKEntities< DataType_ >::DataType = DataType_

Definition at line 1139 of file translator_flavor.hpp.

Member Function Documentation

DEFINE_FLAVOR_MEMBERS()

template<typename DataType_ >

bb::TranslatorFlavor::VKEntities< DataType_ >::DEFINE_FLAVOR_MEMBERS	(	DataType	,
		ordered_extra_range_constraints_numerator
	)

operator==()

template<typename DataType_ >

bool bb::TranslatorFlavor::VKEntities< DataType_ >::operator== ( const VKEntities< DataType_ > &  other ) const

default

---

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

• src/barretenberg/translator_vm/translator_flavor.hpp