Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
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/partially_evaluated_multivariates.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/relation_tuple_helpers.hpp"
#include "barretenberg/relations/translator_vm/translator_decomposition_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_decomposition_short_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_delta_range_constraint_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_delta_range_constraint_short_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_extra_relations.hpp"
#include "barretenberg/relations/translator_vm/translator_extra_short_relations.hpp"
#include "barretenberg/relations/translator_vm/translator_non_native_field_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_non_native_field_short_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_permutation_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_permutation_short_relation.hpp"
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
#include "barretenberg/translator_vm/translator_fixed_vk.hpp"
#include "barretenberg/translator_vm/translator_selectors.hpp"

Go to the source code of this file.

Classes

struct  bb::detail::ref_array_extent< RefArray< T, N > >
 
class  bb::TranslatorFlavor
 
class  bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
 A base class labelling precomputed entities and (ordered) subsets of interest. More...
 
class  bb::TranslatorFlavor::ConcatenatedPolynomials< DataType >
 
class  bb::TranslatorFlavor::NonRangeMainWires< DataType >
 Non-range main wires (13 wires that go into concatenated group 4) More...
 
class  bb::TranslatorFlavor::RangeConstraintWires< DataType >
 Range constraint wires (64 wires that go into concatenated groups 0-3) More...
 
class  bb::TranslatorFlavor::NonOpQueueWiresToBeShiftedEntities< DataType >
 All non-op-queue wires that need to be shifted (composed of non-range main + range constraint) More...
 
class  bb::TranslatorFlavor::OpQueueWiresToBeShiftedEntities< DataType >
 Op queue wires (to be shifted): first 3 wires of the to-be-shifted group. More...
 
class  bb::TranslatorFlavor::WireToBeShiftedEntities< DataType >
 All wires to be shifted (op queue + non-op-queue) More...
 
class  bb::TranslatorFlavor::OrderedRangeConstraints< DataType >
 
class  bb::TranslatorFlavor::OpQueueWireNonshiftedEntities< DataType >
 Op queue wires (non-shifted): these represent the op queue and are provided by the merge protocol. More...
 
class  bb::TranslatorFlavor::WireNonshiftedEntities< DataType >
 All wire entities that are not shifted (currently just the op queue wire) More...
 
class  bb::TranslatorFlavor::DerivedWitnessEntities< DataType >
 
class  bb::TranslatorFlavor::WitnessEntities< DataType >
 Container for all witness polynomials used/constructed by the prover. More...
 
class  bb::TranslatorFlavor::OpQueueShiftedEntities< DataType >
 Op queue shifted entities (mirrors OpQueueWiresToBeShiftedEntities) More...
 
class  bb::TranslatorFlavor::NonOpQueueShiftedEntities< DataType >
 Non-op-queue minicircuit wire shifted entities (mirrors NonOpQueueWiresToBeShiftedEntities) More...
 
class  bb::TranslatorFlavor::DerivedShiftedEntities< DataType >
 Ordered range constraint + z_perm shifted entities. More...
 
class  bb::TranslatorFlavor::ShiftedEntities< DataType >
 Represents polynomials shifted by 1 or their evaluations, defined relative to WireToBeShiftedEntities. More...
 
class  bb::TranslatorFlavor::MaskingEntities< DataType >
 Container for ZK entities (gemini masking polynomial for ZK-PCS) 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::VKEntities< DataType_ >
 The only precomputed commitment the verifier needs for PCS. More...
 
class  bb::TranslatorFlavor::CommitmentLabels
 A container for commitment labels. More...
 
class  bb::TranslatorFlavor::VerifierCommitments_< Commitment, VerificationKey >
 
class  bb::TranslatorShortMonomialFlavor
 

Namespaces

namespace  bb
 Entry point for Barretenberg command-line interface.
 
namespace  bb::detail