protogalaxy.test.cpp File Reference

#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/polynomials/gate_separator.hpp"
#include "barretenberg/protogalaxy/folding_test_utils.hpp"
#include "barretenberg/protogalaxy/protogalaxy_prover.hpp"
#include "barretenberg/protogalaxy/protogalaxy_prover_internal.hpp"
#include "barretenberg/protogalaxy/protogalaxy_verifier.hpp"
#include "barretenberg/protogalaxy/prover_verifier_shared.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/ultra_honk/decider_prover.hpp"
#include "barretenberg/ultra_honk/decider_verifier.hpp"
#include "barretenberg/ultra_honk/witness_computation.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	FlavorTypes = testing::Types< MegaFlavor >

Functions
	TYPED_TEST_SUITE (ProtogalaxyTests, FlavorTypes)
	TYPED_TEST (ProtogalaxyTests, PerturbatorCoefficients)
	TYPED_TEST (ProtogalaxyTests, FullHonkEvaluationsValidCircuit)
	TYPED_TEST (ProtogalaxyTests, PerturbatorPolynomial)
	TYPED_TEST (ProtogalaxyTests, CombinerQuotient)
	TYPED_TEST (ProtogalaxyTests, CombineRelationParameters)
	TYPED_TEST (ProtogalaxyTests, CombineAlphas)
	TYPED_TEST (ProtogalaxyTests, ProtogalaxyInhomogeneous)
	TYPED_TEST (ProtogalaxyTests, FullProtogalaxyTest)
	TYPED_TEST (ProtogalaxyTests, FullProtogalaxyStructuredTrace)
	TYPED_TEST (ProtogalaxyTests, VirtualSizeExpansion)
	TYPED_TEST (ProtogalaxyTests, FullProtogalaxyStructuredTraceInhomogeneous)
	TYPED_TEST (ProtogalaxyTests, TamperedCommitment)
	TYPED_TEST (ProtogalaxyTests, TamperedAccumulatorPolynomial)
	TYPED_TEST (ProtogalaxyTests, BadLookupFailure)
	TYPED_TEST (ProtogalaxyTests, Fold1)

Typedef Documentation

FlavorTypes

using FlavorTypes = testing::Types<MegaFlavor>

Definition at line 541 of file protogalaxy.test.cpp.

Function Documentation

TYPED_TEST() [1/15]

TYPED_TEST	(	ProtogalaxyTests	,
		BadLookupFailure
	)

Definition at line 610 of file protogalaxy.test.cpp.

TYPED_TEST() [2/15]

TYPED_TEST	(	ProtogalaxyTests	,
		CombineAlphas
	)

Definition at line 569 of file protogalaxy.test.cpp.

TYPED_TEST() [3/15]

TYPED_TEST	(	ProtogalaxyTests	,
		CombineRelationParameters
	)

Definition at line 564 of file protogalaxy.test.cpp.

TYPED_TEST() [4/15]

TYPED_TEST	(	ProtogalaxyTests	,
		CombinerQuotient
	)

Definition at line 559 of file protogalaxy.test.cpp.

TYPED_TEST() [5/15]

TYPED_TEST	(	ProtogalaxyTests	,
		Fold1
	)

Definition at line 617 of file protogalaxy.test.cpp.

TYPED_TEST() [6/15]

TYPED_TEST	(	ProtogalaxyTests	,
		FullHonkEvaluationsValidCircuit
	)

Definition at line 549 of file protogalaxy.test.cpp.

TYPED_TEST() [7/15]

TYPED_TEST	(	ProtogalaxyTests	,
		FullProtogalaxyStructuredTrace
	)

Definition at line 584 of file protogalaxy.test.cpp.

TYPED_TEST() [8/15]

TYPED_TEST	(	ProtogalaxyTests	,
		FullProtogalaxyStructuredTraceInhomogeneous
	)

Definition at line 594 of file protogalaxy.test.cpp.

TYPED_TEST() [9/15]

TYPED_TEST	(	ProtogalaxyTests	,
		FullProtogalaxyTest
	)

Definition at line 579 of file protogalaxy.test.cpp.

TYPED_TEST() [10/15]

TYPED_TEST	(	ProtogalaxyTests	,
		PerturbatorCoefficients
	)

Definition at line 544 of file protogalaxy.test.cpp.

TYPED_TEST() [11/15]

TYPED_TEST	(	ProtogalaxyTests	,
		PerturbatorPolynomial
	)

Definition at line 554 of file protogalaxy.test.cpp.

TYPED_TEST() [12/15]

TYPED_TEST	(	ProtogalaxyTests	,
		ProtogalaxyInhomogeneous
	)

Definition at line 574 of file protogalaxy.test.cpp.

TYPED_TEST() [13/15]

TYPED_TEST	(	ProtogalaxyTests	,
		TamperedAccumulatorPolynomial
	)

Definition at line 604 of file protogalaxy.test.cpp.

TYPED_TEST() [14/15]

TYPED_TEST	(	ProtogalaxyTests	,
		TamperedCommitment
	)

Definition at line 599 of file protogalaxy.test.cpp.

TYPED_TEST() [15/15]

TYPED_TEST	(	ProtogalaxyTests	,
		VirtualSizeExpansion
	)

Definition at line 589 of file protogalaxy.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	ProtogalaxyTests	,
		FlavorTypes
	)