Classes
class	AllValues

class	CommitmentLabels

class	PartiallyEvaluatedMultivariates

class	ProverPolynomials
	A container for the prover polynomials handles. More...

class	ProvingKey

class	Transcript

class	VerifierCommitments

Public Types
using	Curve = curve::BN254

using	G1 = Curve::Group

using	PCS = pcs::kzg::KZG< Curve >

using	FF = G1::subgroup_field

using	Polynomial = barretenberg::Polynomial< FF >

using	PolynomialHandle = std::span< FF >

using	GroupElement = G1::element

using	Commitment = G1::affine_element

using	CommitmentHandle = G1::affine_element

using	CommitmentKey = pcs::CommitmentKey< Curve >

using	VerifierCommitmentKey = pcs::VerifierCommitmentKey< Curve >

using	Relations = std::tuple< AvmMini_vm::avm_mini< FF >, AvmMini_vm::mem_trace< FF > >

template<size_t NUM_INSTANCES>
using	ProtogalaxyTupleOfTuplesOfUnivariates = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_INSTANCES >())

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 > >

using	FoldedPolynomials = AllEntities< std::vector< FF > >

using	RowPolynomials = AllEntities< FF >

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

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

Static Public Attributes
static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = 2

static constexpr size_t	NUM_WITNESS_ENTITIES = 20

static constexpr size_t	NUM_WIRES = NUM_WITNESS_ENTITIES + NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_ALL_ENTITIES = 25

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1

static constexpr size_t	NUM_RELATIONS = std::tuple_size<Relations>::value

static constexpr bool	has_zero_row = true

Member Typedef Documentation

◆ ProverUnivariates

template<size_t LENGTH>

A container for univariates used during Protogalaxy folding and sumcheck.

During folding and sumcheck, the prover evaluates the relations on these univariates.

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