eq_polynomial.test.cpp File Reference

#include "barretenberg/polynomials/eq_polynomial.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)

Function Documentation

TEST_F() [1/13]

TEST_F	(	EqPolyTest	,
		BooleanDeltaBehavior
	)

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

TEST_F() [2/13]

TEST_F	(	EqPolyTest	,
		EdgeCases
	)

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

TEST_F() [3/13]

TEST_F	(	EqPolyTest	,
		EvaluateMatchesManualSmall
	)

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

TEST_F() [4/13]

TEST_F	(	EqPolyTest	,
		GateSeparatorBetaProductsOnPowers
	)

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

TEST_F() [5/13]

TEST_F	(	EqPolyTest	,
		GateSeparatorPartialEvaluationConsistency
	)

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

TEST_F() [6/13]

TEST_F	(	EqPolyTest	,
		InitializeCoeffs
	)

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

TEST_F() [7/13]

TEST_F	(	EqPolyTest	,
		PartialEvaluationConsistency
	)

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

TEST_F() [8/13]

TEST_F	(	EqPolyTest	,
		ProverEqAllChallengesAreOnes
	)

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

TEST_F() [9/13]

TEST_F	(	EqPolyTest	,
		ProverEqSomeChallengesAreOnes
	)

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

TEST_F() [10/13]

TEST_F	(	EqPolyTest	,
		ProverTableMatchesVerifierOnBooleanPoints
	)

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

TEST_F() [11/13]

TEST_F	(	EqPolyTest	,
		StaticEvalMatchesMemberEvaluate
	)

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

TEST_F() [12/13]

TEST_F	(	EqPolyTest	,
		SymmetryEqRUEqualsEqUR
	)

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

TEST_F() [13/13]

TEST_F	(	EqPolyTest	,
		VerifierVsProverForArbitraryU
	)

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