ultra_flavor.hpp File Reference

#include "barretenberg/commitment_schemes/kzg/kzg.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/flavor_macros.hpp"
#include "barretenberg/flavor/repeated_commitments_data.hpp"
#include "barretenberg/honk/library/grand_product_delta.hpp"
#include "barretenberg/honk/library/grand_product_library.hpp"
#include "barretenberg/polynomials/barycentric.hpp"
#include "barretenberg/polynomials/evaluation_domain.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/relations/delta_range_constraint_relation.hpp"
#include "barretenberg/relations/elliptic_relation.hpp"
#include "barretenberg/relations/logderiv_lookup_relation.hpp"
#include "barretenberg/relations/memory_relation.hpp"
#include "barretenberg/relations/non_native_field_relation.hpp"
#include "barretenberg/relations/permutation_relation.hpp"
#include "barretenberg/relations/poseidon2_external_relation.hpp"
#include "barretenberg/relations/poseidon2_internal_relation.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/ultra_arithmetic_relation.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/transcript/transcript.hpp"

Go to the source code of this file.

Classes
class	bb::UltraFlavor
class	bb::UltraFlavor::PrecomputedEntities< DataType_ >
	A base class labelling precomputed entities and (ordered) subsets of interest. More...
class	bb::UltraFlavor::WitnessEntities< DataType >
	Container for all witness polynomials used/constructed by the prover. More...
class	bb::UltraFlavor::ShiftedEntities< DataType >
	Class for ShitftedEntities, containing shifted witness polynomials. More...
class	bb::UltraFlavor::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::UltraFlavor::AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...
class	bb::UltraFlavor::ProverPolynomials
	A container for polynomials handles. More...
class	bb::UltraFlavor::Transcript_< Params >
	Derived class that defines proof structure for Ultra proofs, as well as supporting functions. More...
class	bb::UltraFlavor::VerificationKey
	The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier. More...
class	bb::UltraFlavor::PartiallyEvaluatedMultivariates
	A container for storing the partially evaluated multivariates produced by sumcheck. More...
class	bb::UltraFlavor::CommitmentLabels
	A container for commitment labels. More...
class	bb::UltraFlavor::VerifierCommitments_< Commitment, VerificationKey >
	A container encapsulating all the commitments that the verifier receives (to precomputed polynomials and witness polynomials). More...

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