graph_description_ipa_recursive.test.cpp File Reference

#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/commitment_key.test.hpp"
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"

Go to the source code of this file.

Classes
class	BoomerangIPARecursiveTests

Typedefs
using	NativeCurve = curve::Grumpkin
using	Builder = UltraCircuitBuilder
using	Curve = stdlib::grumpkin< Builder >

Functions
	TEST_F (BoomerangIPARecursiveTests, FullRecursiveVerifierMediumRandom)
	TEST_F (BoomerangIPARecursiveTests, AccumulateSmallRandom)
	TEST_F (BoomerangIPARecursiveTests, AccumulateMediumRandom)
	TEST_F (BoomerangIPARecursiveTests, AccumulateMediumFirstZeroPoly)
	TEST_F (BoomerangIPARecursiveTests, AccumulationAndFullRecursiveVerifierMediumRandom)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

Definition at line 16 of file graph_description_ipa_recursive.test.cpp.

Curve

using Curve = stdlib::grumpkin<Builder>

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

NativeCurve

using NativeCurve = curve::Grumpkin

Definition at line 15 of file graph_description_ipa_recursive.test.cpp.

Function Documentation

TEST_F() [1/5]

TEST_F	(	BoomerangIPARecursiveTests	,
		AccumulateMediumFirstZeroPoly
	)

Definition at line 233 of file graph_description_ipa_recursive.test.cpp.

TEST_F() [2/5]

TEST_F	(	BoomerangIPARecursiveTests	,
		AccumulateMediumRandom
	)

Definition at line 225 of file graph_description_ipa_recursive.test.cpp.

TEST_F() [3/5]

TEST_F	(	BoomerangIPARecursiveTests	,
		AccumulateSmallRandom
	)

Definition at line 217 of file graph_description_ipa_recursive.test.cpp.

TEST_F() [4/5]

TEST_F	(	BoomerangIPARecursiveTests	,
		AccumulationAndFullRecursiveVerifierMediumRandom
	)

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

TEST_F() [5/5]

TEST_F	(	BoomerangIPARecursiveTests	,
		FullRecursiveVerifierMediumRandom
	)

Definition at line 196 of file graph_description_ipa_recursive.test.cpp.