sumcheck_round.test.cpp File Reference

#include "sumcheck_round.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/tuple.hpp"
#include "barretenberg/flavor/multilinear_batching_flavor.hpp"
#include "barretenberg/flavor/sumcheck_test_flavor.hpp"
#include "barretenberg/flavor/ultra_recursive_flavor.hpp"
#include "barretenberg/relations/utils.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST (SumcheckRound, SumcheckTupleOfTuplesOfUnivariates)
	Test SumcheckRound functions for operations on tuples (and tuples of tuples) of Univariates.
	TEST (SumcheckRound, TuplesOfEvaluationArrays)
	Test utility functions for applying operations to tuple of std::arrays of field elements.
	TEST (SumcheckRound, AddTuplesOfTuplesOfUnivariates)
	Test utility functions for adding two tuples of tuples of Univariates.
	TEST (SumcheckRound, ComputeEffectiveRoundSize)
	Test compute_effective_round_size optimization for non-ZK flavors.
	TEST (SumcheckRound, ComputeEffectiveRoundSizeZK)
	Test that compute_effective_round_size excludes disabled rows for ZK flavors.
	TEST (SumcheckRound, ExtendEdgesShortMonomial)
	Test that extend_edges works correctly in the cases we're using ShortMonomials.
	TEST (SumcheckRound, ExtendEdges)
	Test extend_edges with full barycentric extension (non-short-monomial flavor)
	TEST (SumcheckRound, AccumulateRelationUnivariatesSumcheckTestFlavor)
	Test accumulate_relation_univariates for SumcheckTestFlavor.
	TEST (SumcheckRound, CheckSumFieldArithmetic)
	Test check_sum with field arithmetic edge cases.
	TEST (SumcheckRound, CheckSumRoundFailurePersistence)
	Test round_failed flag persistence in check_sum.
	TEST (SumcheckRound, CheckSumRecursiveUnsatisfiableWitness)
	Test check_sum in a recursive circuit with unsatisfiable witness.

Function Documentation

TEST() [1/11]

TEST	(	SumcheckRound	,
		AccumulateRelationUnivariatesSumcheckTestFlavor
	)

Test accumulate_relation_univariates for SumcheckTestFlavor.

Tests that:

1. Arithmetic relation contributions are correctly accumulated
2. Scaling factors are properly applied
3. Multiple calls correctly accumulate (add) contributions

Definition at line 477 of file sumcheck_round.test.cpp.

TEST() [2/11]

TEST	(	SumcheckRound	,
		AddTuplesOfTuplesOfUnivariates
	)

Test utility functions for adding two tuples of tuples of Univariates.

Definition at line 114 of file sumcheck_round.test.cpp.

TEST() [3/11]

TEST	(	SumcheckRound	,
		CheckSumFieldArithmetic
	)

Test check_sum with field arithmetic edge cases.

Verifies that check_sum works correctly with large field elements near the modulus

Definition at line 685 of file sumcheck_round.test.cpp.

TEST() [4/11]

TEST	(	SumcheckRound	,
		CheckSumRecursiveUnsatisfiableWitness
	)

Test check_sum in a recursive circuit with unsatisfiable witness.

Creates a recursive circuit where check_sum is called with witnesses that don't satisfy the constraint, verifying that the circuit correctly detects the failure.

Definition at line 817 of file sumcheck_round.test.cpp.

TEST() [5/11]

TEST	(	SumcheckRound	,
		CheckSumRoundFailurePersistence
	)

Test round_failed flag persistence in check_sum.

Verifies that once a check fails, the round_failed flag persists across subsequent checks

Definition at line 752 of file sumcheck_round.test.cpp.

TEST() [6/11]

TEST	(	SumcheckRound	,
		ComputeEffectiveRoundSize
	)

Test compute_effective_round_size optimization for non-ZK flavors.

This function optimizes sumcheck iteration by only processing up to the active witness region, avoiding iteration over trailing zeros when HasZK is false.

Definition at line 150 of file sumcheck_round.test.cpp.

TEST() [7/11]

TEST	(	SumcheckRound	,
		ComputeEffectiveRoundSizeZK
	)

Test that compute_effective_round_size excludes disabled rows for ZK flavors.

For ZK flavors, we always cap at round_size - 2 (disabled rows are handled separately via compute_disabled_contribution)

Definition at line 315 of file sumcheck_round.test.cpp.

TEST() [8/11]

TEST	(	SumcheckRound	,
		ExtendEdges
	)

Test extend_edges with full barycentric extension (non-short-monomial flavor)

Uses MultilinearBatchingFlavor which has USE_SHORT_MONOMIALS=false to test that the barycentric extension to MAX_PARTIAL_RELATION_LENGTH works correctly.

Definition at line 407 of file sumcheck_round.test.cpp.

TEST() [9/11]

TEST	(	SumcheckRound	,
		ExtendEdgesShortMonomial
	)

Test that extend_edges works correctly in the cases we're using ShortMonomials.

Verifies that the barycentric extension preserves the univariate property: the extended univariate should be a degree-1 polynomial that passes through the two given points.

Definition at line 348 of file sumcheck_round.test.cpp.

TEST() [10/11]

TEST	(	SumcheckRound	,
		SumcheckTupleOfTuplesOfUnivariates
	)

Test SumcheckRound functions for operations on tuples (and tuples of tuples) of Univariates.

Definition at line 17 of file sumcheck_round.test.cpp.

TEST() [11/11]

TEST	(	SumcheckRound	,
		TuplesOfEvaluationArrays
	)

Test utility functions for applying operations to tuple of std::arrays of field elements.

Definition at line 72 of file sumcheck_round.test.cpp.