translator_flavor.hpp File Reference

#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/commitment_schemes/kzg/kzg.hpp"
#include "barretenberg/common/ref_vector.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/flavor_macros.hpp"
#include "barretenberg/flavor/relation_definitions.hpp"
#include "barretenberg/flavor/repeated_commitments_data.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/translator_vm/translator_decomposition_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_delta_range_constraint_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_extra_relations.hpp"
#include "barretenberg/relations/translator_vm/translator_non_native_field_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_permutation_relation.hpp"
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
#include "barretenberg/translator_vm/translator_fixed_vk.hpp"

Go to the source code of this file.

Classes
class	bb::TranslatorFlavor
class	bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
	A base class labelling precomputed entities and (ordered) subsets of interest. More...
class	bb::TranslatorFlavor::InterleavedRangeConstraints< DataType >
class	bb::TranslatorFlavor::WireToBeShiftedEntities< DataType >
class	bb::TranslatorFlavor::OrderedRangeConstraints< DataType >
class	bb::TranslatorFlavor::WireNonshiftedEntities< DataType >
class	bb::TranslatorFlavor::DerivedWitnessEntities< DataType >
class	bb::TranslatorFlavor::WitnessEntities< DataType >
	Container for all witness polynomials used/constructed by the prover. More...
class	bb::TranslatorFlavor::ShiftedEntities< DataType >
	Represents polynomials shifted by 1 or their evaluations, defined relative to WireToBeShiftedEntities. More...
class	bb::TranslatorFlavor::AllEntities< DataType >
	A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest. More...
class	bb::TranslatorFlavor::AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...
class	bb::TranslatorFlavor::ProverPolynomials
	A container for the prover polynomials handles. More...
class	bb::TranslatorFlavor::ProvingKey
	The proving key is responsible for storing the polynomials used by the prover. More...
class	bb::TranslatorFlavor::VerificationKey
	The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier. More...
class	bb::TranslatorFlavor::PartiallyEvaluatedMultivariates
	A container for storing the partially evaluated multivariates produced by sumcheck. More...
class	bb::TranslatorFlavor::CommitmentLabels
	A container for commitment labels. More...
class	bb::TranslatorFlavor::VerifierCommitments_< Commitment, VerificationKey >

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.