bb::TranslatorFlavor::CommitmentLabels Class Reference

A container for commitment labels. More...

#include <translator_flavor.hpp>

Inheritance diagram for bb::TranslatorFlavor::CommitmentLabels:

Public Member Functions
	CommitmentLabels ()
Public Member Functions inherited from bb::TranslatorFlavor::AllEntities< DataType >
auto	get_precomputed () const
auto	get_interleaved ()
	Getter for entities constructed by interleaving.
auto	get_ordered_range_constraints ()
	Getter for the ordered entities used in computing the denominator of the grand product in the permutation relation.
auto	get_unshifted ()
auto	get_unshifted_without_interleaved ()
auto	get_shifted ()
Public Member Functions inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
bool	operator== (const PrecomputedEntities &other) const =default
	DEFINE_FLAVOR_MEMBERS (DataType, ordered_extra_range_constraints_numerator, lagrange_first, lagrange_last, lagrange_odd_in_minicircuit, lagrange_even_in_minicircuit, lagrange_result_row, lagrange_last_in_minicircuit, lagrange_masking, lagrange_mini_masking, lagrange_real_last)
Public Member Functions inherited from bb::TranslatorFlavor::WitnessEntities< DataType >
	DEFINE_COMPOUND_GET_ALL (WireNonshiftedEntities< DataType >, WireToBeShiftedEntities< DataType >, OrderedRangeConstraints< DataType >, DerivedWitnessEntities< DataType >, InterleavedRangeConstraints< DataType >) auto get_wires()
	Entities constructed from circuit data.
auto	get_wires_to_be_shifted ()
auto	get_wires_and_ordered_range_constraints ()
	Witness Entities to which the prover commits and do not require challenges (i.e. not derived).
auto	get_unshifted_without_interleaved ()
	Witness Entities on which Shplemini operates in the default manner.
auto	get_unshifted ()
auto	get_to_be_shifted ()
auto	get_interleaved ()
	Get the entities constructed by interleaving.
std::vector< RefVector< DataType > >	get_groups_to_be_interleaved ()
	Get the entities interleaved for the permutation relation.
Public Member Functions inherited from bb::TranslatorFlavor::WireNonshiftedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, op)
Public Member Functions inherited from bb::TranslatorFlavor::WireToBeShiftedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, x_lo_y_hi, x_hi_z_1, y_lo_z_2, p_x_low_limbs, p_x_high_limbs, p_y_low_limbs, p_y_high_limbs, z_low_limbs, z_high_limbs, accumulators_binary_limbs_0, accumulators_binary_limbs_1, accumulators_binary_limbs_2, accumulators_binary_limbs_3, quotient_low_binary_limbs, quotient_high_binary_limbs, relation_wide_limbs, p_x_low_limbs_range_constraint_0, p_x_low_limbs_range_constraint_1, p_x_low_limbs_range_constraint_2, p_x_low_limbs_range_constraint_3, p_x_low_limbs_range_constraint_4, p_x_low_limbs_range_constraint_tail, p_x_high_limbs_range_constraint_0, p_x_high_limbs_range_constraint_1, p_x_high_limbs_range_constraint_2, p_x_high_limbs_range_constraint_3, p_x_high_limbs_range_constraint_4, p_x_high_limbs_range_constraint_tail, p_y_low_limbs_range_constraint_0, p_y_low_limbs_range_constraint_1, p_y_low_limbs_range_constraint_2, p_y_low_limbs_range_constraint_3, p_y_low_limbs_range_constraint_4, p_y_low_limbs_range_constraint_tail, p_y_high_limbs_range_constraint_0, p_y_high_limbs_range_constraint_1, p_y_high_limbs_range_constraint_2, p_y_high_limbs_range_constraint_3, p_y_high_limbs_range_constraint_4, p_y_high_limbs_range_constraint_tail, z_low_limbs_range_constraint_0, z_low_limbs_range_constraint_1, z_low_limbs_range_constraint_2, z_low_limbs_range_constraint_3, z_low_limbs_range_constraint_4, z_low_limbs_range_constraint_tail, z_high_limbs_range_constraint_0, z_high_limbs_range_constraint_1, z_high_limbs_range_constraint_2, z_high_limbs_range_constraint_3, z_high_limbs_range_constraint_4, z_high_limbs_range_constraint_tail, accumulator_low_limbs_range_constraint_0, accumulator_low_limbs_range_constraint_1, accumulator_low_limbs_range_constraint_2, accumulator_low_limbs_range_constraint_3, accumulator_low_limbs_range_constraint_4, accumulator_low_limbs_range_constraint_tail, accumulator_high_limbs_range_constraint_0, accumulator_high_limbs_range_constraint_1, accumulator_high_limbs_range_constraint_2, accumulator_high_limbs_range_constraint_3, accumulator_high_limbs_range_constraint_4, accumulator_high_limbs_range_constraint_tail, quotient_low_limbs_range_constraint_0, quotient_low_limbs_range_constraint_1, quotient_low_limbs_range_constraint_2, quotient_low_limbs_range_constraint_3, quotient_low_limbs_range_constraint_4, quotient_low_limbs_range_constraint_tail, quotient_high_limbs_range_constraint_0, quotient_high_limbs_range_constraint_1, quotient_high_limbs_range_constraint_2, quotient_high_limbs_range_constraint_3, quotient_high_limbs_range_constraint_4, quotient_high_limbs_range_constraint_tail, relation_wide_limbs_range_constraint_0, relation_wide_limbs_range_constraint_1, relation_wide_limbs_range_constraint_2, relation_wide_limbs_range_constraint_3)
Public Member Functions inherited from bb::TranslatorFlavor::OrderedRangeConstraints< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, ordered_range_constraints_0, ordered_range_constraints_1, ordered_range_constraints_2, ordered_range_constraints_3, ordered_range_constraints_4)
Public Member Functions inherited from bb::TranslatorFlavor::DerivedWitnessEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, z_perm)

Additional Inherited Members
Public Types inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_

Detailed Description

A container for commitment labels.

Note

It's debatable whether this should inherit from AllEntities. since most entries are not strictly needed. It has, however, been useful during debugging to have these labels available.

Definition at line 874 of file translator_flavor.hpp.

Constructor & Destructor Documentation

CommitmentLabels()

bb::TranslatorFlavor::CommitmentLabels::CommitmentLabels ( )

inline

Definition at line 876 of file translator_flavor.hpp.

---

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

• src/barretenberg/translator_vm/translator_flavor.hpp