A flexible, minimal test flavor for sumcheck testing. More...

#include <sumcheck_test_flavor.hpp>

Classes
class	AllEntities
	All entities combined. More...

class	AllValues
	Container for evaluations. More...

class	PrecomputedEntities
	Precomputed polynomials (selectors) More...

class	ProverPolynomials
	Container for prover polynomials. More...

class	ShiftedEntities
	Shifted witness polynomials. More...

class	WitnessEntities
	Witness polynomials. More...

Public Types
using	CircuitBuilder = UltraCircuitBuilder

using	Curve = CurveType

using	FF = typename Curve::ScalarField

using	GroupElement = typename Curve::Element

using	Commitment = typename Curve::AffineElement

using	PCS = KZG< Curve >

using	Polynomial = bb::Polynomial< FF >

using	CommitmentKey = bb::CommitmentKey< Curve >

using	VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve >

using	Transcript = NativeTranscript

template<typename FF_ >
using	Relations_ = std::tuple< ArithmeticRelation< FF_ >, DependentTestRelation< FF_ > >

using	Relations = Relations_< FF >

using	SubrelationSeparator = FF

template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
	Container for univariates (used in sumcheck)

using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >
	Extended edges for sumcheck.

using	PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial >
	Partially evaluated multivariates for folded sumcheck.

Static Public Attributes
static constexpr bool	HasZK = HasZK_

static constexpr bool	USE_SHORT_MONOMIALS = UseShortMonomials_

static constexpr bool	USE_PADDING = false

static constexpr size_t	NUM_WIRES = 4

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = 8

static constexpr size_t	NUM_WITNESS_ENTITIES = 6

static constexpr size_t	NUM_SHIFTED_ENTITIES = 2

static constexpr size_t	NUM_ALL_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES + NUM_SHIFTED_ENTITIES

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 + (HasZK ? 3 : 1)

static constexpr size_t	NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

static constexpr size_t	NUM_RELATIONS = std::tuple_size_v<Relations>

Detailed Description

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
class bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >

A flexible, minimal test flavor for sumcheck testing.

This flavor is designed to test sumcheck in isolation without dependencies on full Ultra complexity. It includes TWO relations:

ArithmeticRelation - linearly independent (WILL be scaled by sumcheck)
DependentTestRelation - linearly DEPENDENT (will NOT be scaled)

Tests can activate either or both relations via selectors.

Template Parameters

CurveType	The elliptic curve to use (BN254 or Grumpkin)
HasZK_	Whether to use ZK sumcheck (adds masking rows)
UseShortMonomials_	Whether to use short monomials (degree-1) or full barycentric extension

Benefits:

Tests are faster (only 16 entities vs 41 in UltraFlavor)
Tests are clearer (only essential relations)
No coupling to Ultra-specific features (lookups, permutations, etc.)
Template parameters allow all combinations (ZK + Grumpkin + FullBary, etc.)
Clean separation: one independent relation, one dependent relation

Example usage:

// Base flavor (BN254, non-ZK, short monomials)
using Flavor = SumcheckTestFlavor_<>;
 
// ZK variant
using FlavorZK = SumcheckTestFlavor_<curve::BN254, true>;
 
// Grumpkin with full barycentric extension
using FlavorGrumpkin = SumcheckTestFlavor_<curve::Grumpkin, false, false>;
 
// In tests, activate relations via selectors:
prover_polynomials.q_arith = Polynomial({ 1, 1, 1, 1 }); // Activate arithmetic (independent)
prover_polynomials.q_test = Polynomial({ 1, 1, 1, 1 });  // Activate test relation (dependent)

Definition at line 138 of file sumcheck_test_flavor.hpp.