eq_polynomial.test.cpp File Reference

#include "barretenberg/polynomials/eq_polynomial.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "gate_separator.hpp"
#include <algorithm>
#include <array>
#include <cstdint>
#include <gtest/gtest.h>
#include <span>
#include <vector>

Go to the source code of this file.

Classes
class	EqPolyTest

Functions
	TEST_F (EqPolyTest, InitializeCoeffs)
	TEST_F (EqPolyTest, EvaluateMatchesManualSmall)
	TEST_F (EqPolyTest, StaticEvalMatchesMemberEvaluate)
	TEST_F (EqPolyTest, SymmetryEqRUEqualsEqUR)
	TEST_F (EqPolyTest, BooleanDeltaBehavior)
	TEST_F (EqPolyTest, EdgeCases)
	TEST_F (EqPolyTest, ProverTableMatchesVerifierOnBooleanPoints)
	TEST_F (EqPolyTest, VerifierVsProverForArbitraryU)
	TEST_F (EqPolyTest, PartialEvaluationConsistency)
	TEST_F (EqPolyTest, GateSeparatorPartialEvaluationConsistency)
	TEST_F (EqPolyTest, GateSeparatorBetaProductsOnPowers)
	TEST_F (EqPolyTest, ProverEqAllChallengesAreOnes)
	TEST_F (EqPolyTest, ProverEqSomeChallengesAreOnes)
	TEST_F (EqPolyTest, ConstructRejectsTooFewChallenges)
	TEST_F (EqPolyTest, ConstructAcceptsExtraChallenges)
	TEST_F (EqPolyTest, ConstructZeroVariablesReturnsOne)

Function Documentation

TEST_F() [1/16]

TEST_F	(	EqPolyTest	,
		BooleanDeltaBehavior
	)

Definition at line 118 of file eq_polynomial.test.cpp.

TEST_F() [2/16]

TEST_F	(	EqPolyTest	,
		ConstructAcceptsExtraChallenges
	)

Definition at line 372 of file eq_polynomial.test.cpp.

TEST_F() [3/16]

TEST_F	(	EqPolyTest	,
		ConstructRejectsTooFewChallenges
	)

Definition at line 364 of file eq_polynomial.test.cpp.

TEST_F() [4/16]

TEST_F	(	EqPolyTest	,
		ConstructZeroVariablesReturnsOne
	)

Definition at line 381 of file eq_polynomial.test.cpp.

TEST_F() [5/16]

TEST_F	(	EqPolyTest	,
		EdgeCases
	)

Definition at line 145 of file eq_polynomial.test.cpp.

TEST_F() [6/16]

TEST_F	(	EqPolyTest	,
		EvaluateMatchesManualSmall
	)

Definition at line 80 of file eq_polynomial.test.cpp.

TEST_F() [7/16]

TEST_F	(	EqPolyTest	,
		GateSeparatorBetaProductsOnPowers
	)

Definition at line 296 of file eq_polynomial.test.cpp.

TEST_F() [8/16]

TEST_F	(	EqPolyTest	,
		GateSeparatorPartialEvaluationConsistency
	)

Definition at line 271 of file eq_polynomial.test.cpp.

TEST_F() [9/16]

TEST_F	(	EqPolyTest	,
		InitializeCoeffs
	)

Definition at line 59 of file eq_polynomial.test.cpp.

TEST_F() [10/16]

TEST_F	(	EqPolyTest	,
		PartialEvaluationConsistency
	)

Definition at line 244 of file eq_polynomial.test.cpp.

TEST_F() [11/16]

TEST_F	(	EqPolyTest	,
		ProverEqAllChallengesAreOnes
	)

Definition at line 308 of file eq_polynomial.test.cpp.

TEST_F() [12/16]

TEST_F	(	EqPolyTest	,
		ProverEqSomeChallengesAreOnes
	)

Definition at line 329 of file eq_polynomial.test.cpp.

TEST_F() [13/16]

TEST_F	(	EqPolyTest	,
		ProverTableMatchesVerifierOnBooleanPoints
	)

Definition at line 194 of file eq_polynomial.test.cpp.

TEST_F() [14/16]

TEST_F	(	EqPolyTest	,
		StaticEvalMatchesMemberEvaluate
	)

Definition at line 92 of file eq_polynomial.test.cpp.

TEST_F() [15/16]

TEST_F	(	EqPolyTest	,
		SymmetryEqRUEqualsEqUR
	)

Definition at line 104 of file eq_polynomial.test.cpp.

TEST_F() [16/16]

TEST_F	(	EqPolyTest	,
		VerifierVsProverForArbitraryU
	)

Definition at line 215 of file eq_polynomial.test.cpp.