Ultra Honk arithmetization. More...

Public Types
using	FF = FF_

using	SelectorType = std::vector< FF, barretenberg::ContainerSlabAllocator< FF > >

Public Member Functions
SelectorType &	q_m ()

SelectorType &	q_c ()

SelectorType &	q_1 ()

SelectorType &	q_2 ()

SelectorType &	q_3 ()

SelectorType &	q_4 ()

SelectorType &	q_arith ()

SelectorType &	q_sort ()

SelectorType &	q_elliptic ()

SelectorType &	q_aux ()

SelectorType &	q_lookup_type ()

SelectorType &	q_busread ()

SelectorType &	q_poseidon2_external ()

SelectorType &	q_poseidon2_internal ()

const SelectorType &	q_m () const

const SelectorType &	q_c () const

const SelectorType &	q_1 () const

const SelectorType &	q_2 () const

const SelectorType &	q_3 () const

const SelectorType &	q_4 () const

const SelectorType &	q_arith () const

const SelectorType &	q_sort () const

const SelectorType &	q_elliptic () const

const SelectorType &	q_aux () const

const SelectorType &	q_lookup_type () const

const SelectorType &	q_busread () const

const SelectorType &	q_poseidon2_external () const

const SelectorType &	q_poseidon2_internal () const

const auto &	get () const

void	reserve (size_t size_hint)

void	pad_additional ()
	Add zeros to all selectors which are not part of the conventional Ultra arithmetization.

Static Public Attributes
static constexpr size_t	NUM_WIRES = 4

static constexpr size_t	NUM_SELECTORS = 14

static const std::vector< std::string >	selector_names = {}

Detailed Description

template<typename FF_>
class arithmetization::UltraHonk< FF_ >

Ultra Honk arithmetization.

Extends the conventional Ultra arithmetization with a new selector related to databus lookups

Template Parameters

FF_

Member Function Documentation

template<typename FF_ >

void arithmetization::UltraHonk< FF_ >::pad_additional ( )

inline

Add zeros to all selectors which are not part of the conventional Ultra arithmetization.

Facilitates reuse of Ultra gate construction functions in arithmetizations which extend the conventional Ultra arithmetization

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