sumcheck.test.cpp File Reference

#include "barretenberg/sumcheck/sumcheck.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/honk/library/grand_product_delta.hpp"
#include "barretenberg/honk/library/grand_product_library.hpp"
#include "barretenberg/relations/delta_range_constraint_relation.hpp"
#include "barretenberg/relations/elliptic_relation.hpp"
#include "barretenberg/relations/permutation_relation.hpp"
#include "barretenberg/relations/ultra_arithmetic_relation.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/fixed_base/fixed_base.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/witness_computation.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	SumcheckTestsRealCircuit

Typedefs
using	Flavor = UltraFlavor
using	FF = typename Flavor::FF

Functions
	TEST_F (SumcheckTestsRealCircuit, Ultra)
	Test the Ultra Sumcheck Prover and Verifier for a real circuit.

Typedef Documentation

FF

using FF = typename Flavor::FF

Definition at line 19 of file sumcheck.test.cpp.

Flavor

using Flavor = UltraFlavor

Definition at line 18 of file sumcheck.test.cpp.

Function Documentation

TEST_F()

TEST_F	(	SumcheckTestsRealCircuit	,
		Ultra
	)

Test the Ultra Sumcheck Prover and Verifier for a real circuit.

Definition at line 30 of file sumcheck.test.cpp.