eccvm_flavor.hpp File Reference

#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/std_array.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/eccvm//eccvm_fixed_vk.hpp"
#include "barretenberg/eccvm/eccvm_circuit_builder.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/ecc_vm/ecc_bools_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_lookup_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_msm_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_point_table_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_set_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_transcript_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_wnaf_relation.hpp"
#include "barretenberg/relations/relation_parameters.hpp"

Go to the source code of this file.

Classes
class	bb::ECCVMFlavor
class	bb::ECCVMFlavor::PrecomputedEntities< DataType_ >
	A base class labelling precomputed entities and (ordered) subsets of interest. More...
struct	bb::ECCVMFlavor::DerivedWitnessEntities< DataType >
	Container for all derived witness polynomials used/constructed by the prover. More...
class	bb::ECCVMFlavor::WireNonShiftedEntities< DataType >
class	bb::ECCVMFlavor::WireToBeShiftedWithoutAccumulatorsEntities< DataType >
	Container for all to-be-shifted witness polynomials excluding the accumulators used/constructed by the prover. More...
class	bb::ECCVMFlavor::WireToBeShiftedAccumulatorEntities< DataType >
	Containter for transcript accumulators, they stand out as the only to-be-shifted wires that are always populated until the dyadic size of the circuit. More...
class	bb::ECCVMFlavor::WitnessEntities< DataType >
	Container for all witness polynomials used/constructed by the prover. More...
class	bb::ECCVMFlavor::ShiftedEntities< DataType >
	Represents polynomials shifted by 1 or their evaluations, defined relative to WitnessEntities. More...
class	bb::ECCVMFlavor::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::ECCVMFlavor::AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...
class	bb::ECCVMFlavor::ProverPolynomials
	A container for the prover polynomials. More...
class	bb::ECCVMFlavor::PartiallyEvaluatedMultivariates
	A container for storing the partially evaluated multivariates produced by sumcheck. More...
class	bb::ECCVMFlavor::ProvingKey
	The proving key is responsible for storing the polynomials used by the prover. More...
class	bb::ECCVMFlavor::VerificationKey
	The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier. More...
class	bb::ECCVMFlavor::CommitmentLabels
	A container for commitment labels. More...
class	bb::ECCVMFlavor::VerifierCommitments_< Commitment, VerificationKey >
class	bb::ECCVMFlavor::IPATranscript
	Derived class that defines proof structure for ECCVM IPA proof, as well as supporting functions. More...

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