Inheritance diagram for proof_system::honk::flavor::ECCVM:

Additional Inherited Members
Public Types inherited from proof_system::honk::flavor::ECCVMBase< barretenberg::g1, curve::Grumpkin, pcs::ipa::IPA< curve::Grumpkin > >
using	CycleGroup = barretenberg::g1

using	Curve = curve::Grumpkin

using	G1 = typename Curve::Group

using	PCS = pcs::ipa::IPA< curve::Grumpkin >

using	FF = typename G1::subgroup_field

using	Polynomial = barretenberg::Polynomial< FF >

using	PolynomialHandle = std::span< FF >

using	GroupElement = typename G1::element

using	Commitment = typename G1::affine_element

using	CommitmentHandle = typename G1::affine_element

using	CommitmentKey = pcs::CommitmentKey< Curve >

using	VerifierCommitmentKey = pcs::VerifierCommitmentKey< Curve >

using	GrandProductRelations = std::tuple< sumcheck::ECCVMSetRelation< FF > >

using	Relations = std::tuple< sumcheck::ECCVMTranscriptRelation< FF >, sumcheck::ECCVMPointTableRelation< FF >, sumcheck::ECCVMWnafRelation< FF >, sumcheck::ECCVMMSMRelation< FF >, sumcheck::ECCVMSetRelation< FF >, sumcheck::ECCVMLookupRelation< FF > >

using	LookupRelation = sumcheck::ECCVMLookupRelation< FF >

using	SumcheckTupleOfTuplesOfUnivariates = decltype(create_sumcheck_tuple_of_tuples_of_univariates< Relations >())

using	TupleOfArraysOfValues = decltype(create_tuple_of_arrays_of_values< Relations >())

using	VerificationKey = VerificationKey_< PrecomputedEntities< Commitment > >
	The verification key is responsible for storing the the commitments to the precomputed (non-witnessk) polynomials used by the verifier.

using	FoldedPolynomials = AllEntities< std::vector< FF > >
	A container for polynomials produced after the first round of sumcheck.

using	RowPolynomials = AllEntities< FF >
	A container for polynomials produced after the first round of sumcheck.

using	ProverUnivariates = AllEntities< barretenberg::Univariate< FF, LENGTH > >
	A container for univariates used during sumcheck.

using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >
	A container for univariates produced during the hot loop in sumcheck.

Static Public Attributes inherited from proof_system::honk::flavor::ECCVMBase< barretenberg::g1, curve::Grumpkin, pcs::ipa::IPA< curve::Grumpkin > >
static constexpr size_t	NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH

static constexpr size_t	NUM_RELATIONS

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

src/barretenberg/flavor/ecc_vm.hpp

Additional Inherited Members